Kai Chen - Concepedia

Author

Kai Chen

Also Known As

Chen, Kai, KAI CHEN, Kai Chen

Publications

354

Citations

H-Index

Concepts

All Affiliations

Kai Chen is an author at Vanderbilt University specializing in engineering, formal methods, and software engineering.

#	Concept	H-Index	Publications	Citations
1	Engineering	5	5	187
2	Computer Engineering	2	2	64
3	Language Studies	1	1	31
4	Chemical Engineering	1	1	16
5	Chemistry	1	1	16

Kai Chen

Publications

197

Citations

H-Index

Page 1

	Year	Citations
Toward a semantic anchoring infrastructure for domain-specific modeling languages Kai Chen, János Sztipanovits, Sandeep Neema EngineeringSoftware EngineeringSemanticsSemantic WebFormal Verification	2005	76
1dVul: Discovering 1-Day Vulnerabilities through Binary Patches Jiaqi Peng, Feng Li, Bingchang Liu, Software MaintenanceEngineeringInformation SecuritySoftware EngineeringNew Solution	2019	34
Compositional specification of behavioral semantics Kai Chen, Janos Sztipanovits, Sandeep Neema Design, Automation, and Test in Europe EngineeringBehavioral SemanticsSoftware EngineeringSemanticsSemantic Web	2007	31
TransRepair: Context-aware Program Repair for Compilation Errors Xueyang Li, Shangqing Liu, Ruitao Feng, Software MaintenanceEngineeringMachine LearningContext-aware Program RepairSoftware Engineering	2022	30
High‐Voltage Rechargeable Alkali–Acid Zn–PbO<sub>2</sub> Hybrid Battery Yunpeng Xu, Pingwei Cai, Kai Chen, Angewandte Chemie Electric BatteryHybrid Aqueous BatteryElectrical EngineeringChemical EngineeringEngineering	2020	16
A Semantic Unit for Timed Automata Based Modeling Languages Kai Chen, J. Sztipanovits, Sherif Abdelwahed	2006	10

Page 1