| Design and construction of the BESIII detector M Ablikim, ZH An, JZ Bai, N Berger, JM Bian, X Cai, GF Cao, XX Cao, ... Nuclear Instruments and Methods in Physics Research Section A: Accelerators …, 2010 | 1783 | 2010 |
| Nonvolatile resistive switching memories-characteristics, mechanisms and challenges PAN Feng, C Chao, Z Wang, Y Yang, Y Jing, Z Fei Progress in Natural Science: Materials International 20, 1-15, 2010 | 271 | 2010 |
| Integrating specification and programs for system modeling and verification J Sun, Y Liu, JS Dong, C Chen 2009 Third IEEE International Symposium on Theoretical Aspects of Software …, 2009 | 158 | 2009 |
| VBM reveals brain volume differences between Parkinson’s disease and essential tremor patients CH Lin, CM Chen, MK Lu, CH Tsai, JC Chiou, JR Liao, JR Duann Frontiers in human neuroscience 7, 247, 2013 | 77 | 2013 |
| Measurement of jet activity in top quark events using the eμ final state with two b-tagged jets in pp collisions at TeV with the ATLAS detector M Aaboud, G Aad, B Abbott, J Abdallah, B Abeloos, R Aben, OS AbouZeid, ... Journal of High Energy Physics 2016 (9), 1-62, 2016 | 68 | 2016 |
| 四川地区参考作物蒸散量的变化特征及气候影响因素分析 陈超， 庞艳梅， 潘学标， 王春艳 中国农业气象 32 (01), 35, 2011 | 51 | 2011 |
| A formal framework for modeling and validating Simulink diagrams C Chen, JS Dong, J Sun Formal Aspects of Computing 21 (5), 451-483, 2009 | 42 | 2009 |
| Formal modeling and validation of Stateflow diagrams C Chen, J Sun, Y Liu, JS Dong, M Zheng International Journal on Software Tools for Technology Transfer (STTT), 1-19, 2012 | 29 | 2012 |
| Genome sequences of wild and domestic bactrian camels TBCG Sequencing, Analysis Consortium Nature communications 3, 1202, 2012 | 26 | 2012 |
| Finite element modeling of thermomechanical performance of friction stir welding C Chen, R Kovacevic 4th International Symposium on Friction Stir Welding 214, 2003 | 20 | 2003 |
| Feline cutaneous histoplasmosis: The first case report from Thailand L Larsuprom, L Duangkaew, C Kasorndorkbua, C Chen, A Chindamporn, ... Medical mycology case reports 18, 28-30, 2017 | 18 | 2017 |
| 近半个世纪以来四川盆地气温和降水的变化特征 陈超， 庞艳梅， 潘学标 中国农业气象 31 (S1), 27, 2010 | 18 | 2010 |
| Applying timed interval calculus to Simulink diagrams C Chen, J Dong Formal Methods and Software Engineering, 74-93, 2006 | 17 | 2006 |
| Modal calculation and test of truss in space remote sensor C Changzheng, Z Lingling, L Lei Optics and Precision Engineering 15 (8), 1166-1169, 2007 | 16 | 2007 |
| A verification system for interval-based specification languages C Chen, JS Dong, J Sun, A Martin ACM Transactions on Software Engineering and Methodology (TOSEM) 19 (4), 1-36, 2010 | 13 | 2010 |
| 山药系列食品的研制 谢宪章， 潘孝平， 张美仙， 陈婵 食品科学, 40-43, 1994 | 13 | 1994 |
| Formal Analysis for Stateflow Diagrams C Chen Secure Software Integration and Reliability Improvement Companion (SSIRI-C …, 2010 | 12 | 2010 |
| 大停电后初期基于分布式电源的配电网局部自我恢复方案 谢夏慧， 汪沨， 卢鸣凯， 陈春， 陈奇朋， 曹一家， 董旭柱 电网技术 37 (007), 1834-1840, 2013 | 11 | 2013 |
| The analysis of periodic layer formation during solid state reactions YC Chen, LU Qi, YG Zhang, CQ Chen Acta Metall Sinica 41, 235-241, 2005 | 11 | 2005 |
| A verification system for timed interval calculus C Chen, JS Dong, J Sun Proceedings of the 30th international conference on Software engineering …, 2008 | 9 | 2008 |
Jin Song DongProfessor of Computer Science, National University of SingaporeVerified email at nus.edu.sg
