Follow
chunqing chen
chunqing chen
Researcher at HP Labs
Verified email at hp.com - Homepage
Title
Cited by
Cited by
Year
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
17902010
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
2702010
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
1562009
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
752013
Measurement of jet activity in top quark events using the final state with two -tagged jets in collisions at TeV with the ATLAS detector
ATLAS collaboration
arXiv preprint arXiv:1606.09490, 2016
592016
四川地区参考作物蒸散量的变化特征及气候影响因素分析
陈超, 庞艳梅, 潘学标, 王春艳
中国农业气象 32 (1), 35-40, 2011
512011
A formal framework for modeling and validating Simulink diagrams
C Chen, JS Dong, J Sun
Formal Aspects of Computing 21 (5), 451-483, 2009
422009
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
292012
Genome sequences of wild and domestic bactrian camels
TBCG Sequencing, Analysis Consortium
Nature communications 3, 1202, 2012
262012
Finite element modeling of thermomechanical performance of friction stir welding
C Chen, R Kovacevic
4th International Symposium on Friction Stir Welding 214, 2003
202003
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
182017
近半个世纪以来四川盆地气温和降水的变化特征
陈超, 庞艳梅, 潘学标
中国农业气象, 27-31, 2010
172010
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
172007
Applying timed interval calculus to Simulink diagrams
C Chen, J Dong
Formal Methods and Software Engineering, 74-93, 2006
172006
The analysis of periodic layer formation during solid state reactions
陈永翀, 其鲁, 张永刚, 陈昌麒
金属学报 41 (3), 235-241, 2005
142005
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
132010
山药系列食品的研制
谢宪章, 潘孝平, 张美仙, 陈婵
食品科学, 40-43, 1994
131994
大停电后初期基于分布式电源的配电网局部自我恢复方案
谢夏慧, 汪沨, 卢鸣凯, 陈春, 陈奇朋, 曹一家, 董旭柱
电网技术 37 (007), 1834-1840, 2013
122013
Formal Analysis for Stateflow Diagrams
C Chen
Secure Software Integration and Reliability Improvement Companion (SSIRI-C …, 2010
122010
A verification system for timed interval calculus
C Chen, JS Dong, J Sun
Proceedings of the 30th international conference on Software engineering …, 2008
92008
The system can't perform the operation now. Try again later.
Articles 1–20