Tiexin Wang

ORCID: 0000-0002-5432-3812
Publications
Citations
Views
---
Saved
---
About
Contact & Profiles
Research Areas
  • Service-Oriented Architecture and Web Services
  • Topic Modeling
  • Model-Driven Software Engineering Techniques
  • Software Testing and Debugging Techniques
  • Monoclonal and Polyclonal Antibodies Research
  • Advanced Software Engineering Methodologies
  • Semantic Web and Ontologies
  • Glycosylation and Glycoproteins Research
  • Software Reliability and Analysis Research
  • Viral Infectious Diseases and Gene Expression in Insects
  • Natural Language Processing Techniques
  • Formal Methods in Verification
  • Advanced Graph Neural Networks
  • Data Quality and Management
  • Autonomous Vehicle Technology and Safety
  • Business Process Modeling and Analysis
  • Protein purification and stability
  • Embedded Systems Design Techniques
  • Real-Time Systems Scheduling
  • Micro and Nano Robotics
  • Multimodal Machine Learning Applications
  • Advanced Computational Techniques and Applications
  • Web Data Mining and Analysis
  • Digital Transformation in Industry
  • Simulation Techniques and Applications

Nanjing University of Aeronautics and Astronautics
2017-2025

University of Michigan
2022-2023

Zhejiang University-University of Edinburgh Institute
2023

Zhejiang University
2023

Zhejiang International Studies University
2023

Ministry of Industry and Information Technology
2020-2022

Johns Hopkins University
2019-2022

BioSurfaces (United States)
2022

Critical Software (Portugal)
2021

San Jose State University
2017

Therapeutic antibody development requires selection and engineering of molecules with high affinity other drug-like biophysical properties. Co-optimization multiple properties remains a difficult time-consuming process that impedes drug development. Here we evaluate the use machine learning to simplify co-optimization for clinical-stage (emibetuzumab) displays levels both on-target (antigen) off-target (non-specific) binding. We mutate sites in complementarity-determining regions, sort...

10.1038/s41467-022-31457-3 article EN cc-by Nature Communications 2022-07-01

Autonomous vehicles must operate safely in their dynamic and continuously-changing environment. However, the operating environment of an autonomous vehicle is complicated full various types uncertainties. Additionally, has many configurations, including static obstacles with which avoid collisions. Though approaches targeting configuration for have shown promising results, effectiveness dealing a continuous-changing limited. Thus, it essential to learn realistic configurations environment,...

10.1109/tse.2022.3150788 article EN IEEE Transactions on Software Engineering 2022-02-14

With the fast growth of artificial intelligence and big data computing technologies, more software service systems have been developed using diverse machine learning models technologies to make business intelligent decisions based on their multimedia input achieve features, such as image recognition, recommendation, decision making, prediction, etc. Nevertheless, there are increasing quality problems resulting in erroneous testing costs enterprises businesses. Existing work seldom discusses...

10.1109/access.2019.2937107 article EN cc-by IEEE Access 2019-01-01

The traditional synthesis problem aims to automatically construct a reactive system (if it exists) satisfying given Linear Temporal Logic (LTL) specifications, and is often referred as qualitative problem. There also class of problems aiming at quantitative properties, such mean-payoff values, this type called For the two types problems, research on former has been relatively mature, latter received huge amounts attention. System designers prefer synthesize systems that satisfy resource...

10.1038/s41598-025-85589-9 article EN cc-by-nc-nd Scientific Reports 2025-01-17

Fc-mediated effector functions are key for conferring potent antibody-mediated killing of cancer cells. However, it is difficult to achieve highly selective targeting cells while minimizing toxicity on healthy tissue because the expression most receptors, albeit at lower levels, non-cancer Previous attempts increase selectivity have sought reduce binding affinity and/or avidity, which typically results in modest improvements selectivity. To overcome this limitation, we report use mixtures...

10.1080/19420862.2025.2480666 article EN cc-by-nc mAbs 2025-04-03

Abstract Chinese hamster ovary (CHO) cells, predominant hosts for recombinant biotherapeutics production, generate lactate as a major glycolysis by‐product. High levels adversely impact cell growth and productivity. The goal of this study was to reduce in CHO cultures by adding chemical inhibitors hexokinase‐2 (HK2), the enzyme catalyzing conversion glucose 6‐phosphate, examine their on accumulation, growth, protein titers, N ‐glycosylation. Five HK2 at different concentrations were...

10.1002/bit.28417 article EN cc-by-nc-nd Biotechnology and Bioengineering 2023-05-06

Abstract Identifying, designing, deploying and maintaining accurate collaborative networks of organizations (e.g. responders in a crisis situation) are key activities nowadays ecosystems. However, there is lack regarding formal approaches dedicated to characterize organizations. Formal descriptions situations, that could be used, transformed, computed exploited would great benefit for the quality such networks. This article presents model‐based AI framework describing situations associated...

10.1111/1468-5973.12310 article EN Journal of Contingencies and Crisis Management 2020-09-01

The N-glycan pattern of an IgG antibody, attached at a conserved site within the fragment crystallizable (Fc) region, is critical antibody quality attribute whose structural variability can also impact function. For tailoring Fc glycoprofile, glycoengineering in cell lines as well amino acid mutations have been applied. Multiple glycoengineered Chinese hamster ovary were generated, including defucosylated (FUT8KO), α-2,6-sialylated (ST6KI), and (FUT8KOST6KI), expressing either wild-type...

10.1002/bit.27953 article EN Biotechnology and Bioengineering 2021-10-14

With the increasing demand to provide more detailed quality attributes, sophisticated glycan analysis tools are highly desirable for biopharmaceutical manufacturing. Here, we performed an intact glycopeptide method simultaneously analyze site-specific N- and O-glycan profiles of recombinant erythropoietin Fc (EPO-Fc) protein secreted from a Chinese hamster ovary glutamine synthetase stable cell line compared effects two commercial culture media, EX-CELL (EX) immediate advantage (IA) on...

10.1002/bit.27009 article EN Biotechnology and Bioengineering 2019-05-07

10.1631/fitee.2000311 article EN Frontiers of Information Technology & Electronic Engineering 2020-11-01

Glycoproteomic analysis of three Chinese hamster ovary (CHO) suspension host cell lines (CHO-K1, CHO-S, and CHO-Pro5) commonly utilized in biopharmaceutical settings for recombinant protein production is reported. Intracellular secreted glycoproteins were examined. We an immobilization chemoenzymatic strategy our analysis. Glycoproteins or glycopeptides first immobilized through reductive amination, the sialyl moieties amidated protection. The desired N- O-glycans released from resin by...

10.1021/acs.jproteome.2c00207 article EN Journal of Proteome Research 2022-09-21

Autonomous driving simulators are commonly used to develop autonomous systems (ADS) since they provide the flexibility experiment with scenarios that could even be dangerous in a real setting. This flexibility, however, comes possibility of experimenting unrealistic scenarios. To this end, we present an initial co-simulation framework integrating OpenModelica and CARLA enable real-time communication between them. As proof concept, experimented two Modelica models (air resistance energy...

10.1145/3550356.3561558 article EN 2022-10-23

With the rapid advance of mobile computing technology and wireless networking, there is a significant increase subscriptions.This brings new business requirements demands in software testing, causes issues challenges testing automation.As are multiple platforms for diverse devices, engineers suffer from different scripting languages to write platform-specific test scripts.In addition, unified automation infrastructure not offered with existing platform.This paper proposes novel approach...

10.18293/seke2017-170 article EN Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering 2017-07-05

Summary Collaborative and autonomous driving vehicles combine hardware software complex processes, also are heavily dependent on influenced by the world of physical cyber interactions. They have enabled many new features advanced functionalities, such as stochastic hybrid natures, mobile spatial topologies, time‐critical dependability. However, existing modeling verification techniques not established faith in proving correctness safety. Spatial time collision avoidance remains crucial...

10.1002/cpe.6550 article EN Concurrency and Computation Practice and Experience 2021-08-08
Coming Soon ...