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
1764 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
268 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
156 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
75 2013 Measurement of jet activity in top quark events using the ATLAS collaboration
arXiv preprint arXiv:1606.09490, 2016
59 2016 四川地区参考作物蒸散量的变化特征及气候影响因素分析 陈超， 庞艳梅， 潘学标， 王春艳
中国农业气象 32 (1), 35-40, 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 近半个世纪以来四川盆地气温和降水的变化特征 陈超， 庞艳梅， 潘学标
中国农业气象, 27-31, 2010
17 2010 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
17 2007 Applying timed interval calculus to Simulink diagrams C Chen, J Dong
Formal Methods and Software Engineering, 74-93, 2006
17 2006 The analysis of periodic layer formation during solid state reactions 陈永翀， 其鲁， 张永刚， 陈昌麒
金属学报 41 (3), 235-241, 2005
14 2005 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 大停电后初期基于分布式电源的配电网局部自我恢复方案 谢夏慧， 汪沨， 卢鸣凯， 陈春， 陈奇朋， 曹一家， 董旭柱
电网技术 37 (007), 1834-1840, 2013
12 2013 Formal Analysis for Stateflow Diagrams C Chen
Secure Software Integration and Reliability Improvement Companion (SSIRI-C …, 2010
12 2010 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 SingaporeПотвърден имейл адрес: nus.edu.sg
