Follow
Juncao Li
Juncao Li
Portland State University, Microsoft,
No verified email
Title
Cited by
Cited by
Year
Formation and restraint of toxic emissions in hydrogen-gasoline mixture fueled engines
L Jingding, G Linsong, D Tianshen
International journal of hydrogen energy 23 (10), 971-975, 1998
691998
Embedded architecture description language
J Li, NT Pilkington, F Xie, Q Liu
Journal of Systems and Software 83 (2), 235-252, 2010
342010
Timed API rules for runtime verification
VA Levin, J Li, JF Lichtenberg
US Patent 9,519,495, 2016
312016
API Rules Verification Platform
VA Levin, J Li, R Opavsky, JF Lichtenberg, A Pavlov
US Patent App. 13/918,851, 2014
312014
Relational databases watermark technique based on content characteristic
Y Zhang, X Niu, D Zhao, J Li, S Liu
First International Conference on Innovative Computing, Information and …, 2006
292006
An automata-theoretic approach to hardware/software co-verification
J Li, F Xie, T Ball, V Levin, C McGarvey
Fundamental Approaches to Software Engineering: 13th International …, 2010
262010
Determination of lysozyme at the nanogram level by a resonance light-scattering technique with functionalized CdTe nanoparticles
J Li, XW He, YL Wu, WY Li, YK Zhang
Analytical Sciences 23 (3), 331-335, 2007
222007
Formalizing hardware/software interface specifications
J Li, F Xie, T Ball, V Levin, C McGarvey
2011 26th IEEE/ACM International Conference on Automated Software …, 2011
212011
Component-based abstraction and refinement
J Li, X Sun, F Xie, X Song
International Conference on Software Reuse, 39-51, 2008
182008
Sedimentation and evolution background of large incised channel and submarine gravity flow systems in Ying-Qiong basin
CS Lin, JY Liu, SX Cai, YM Zhang, M Lv, J Li
Chinese Science Bulletin 46 (1), 69-72, 2001
152001
多分层对复合材料层合板自振特性的影响
吉桂秀, 李娇颜, 陈浩然
复合材料学报 24 (4), 161-165, 2007
122007
A fingerprint enhancement algorithm using a federated filter
Y Zhang, Y Jiao, J Li, X Niu
HIT, China, 2002
122002
Blowup of smooth solutions to the Navier-Stokes equations for compressible isothermal fluids
D Dapeng, L Jingyu, Z Kaijun
arXiv preprint arXiv:1108.1613, 2011
112011
Research on a novel hashing stream cipher
Y Zhang, X Niu, J Li, C Li
2006 International Conference on Computational Intelligence and Security 2 …, 2006
102006
A method of verifying relational databases ownership with image watermark
Y Zhang, XM Niu, D Wu, L Zhao, JC Liang, WJ Xu
The 6th International Symposium on Test and Measurement, Dalian, PR China …, 2005
92005
Guiding component-based hardware/software co-verification with patterns
J Li, F Xie, H Liu
33rd EUROMICRO Conference on Software Engineering and Advanced Applications …, 2007
72007
Eside: An integrated development environment for component-based embedded systems
NT Pilkington, J Li, F Xie
2009 33rd Annual IEEE International Computer Software and Applications …, 2009
62009
Efficient reachability analysis of Büchi pushdown systems for hardware/software co-verification
J Li, F Xie, T Ball, V Levin
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010
52010
玫瑰香叶油的化学成分
马剑冰, 李坚, 喻学俭, 丁靖垲, 吴玉, 丁智慧
云南植物研究 13 (1), 89-92, 1991
51991
Laser Microembossing of Thin Copper and Silver Foils with an Ultraviolet (UV) Excimer Laser.
M Ehrhardt, P Lorenz, K Zimmer
Lasers in Engineering (Old City Publishing) 27, 2014
42014
The system can't perform the operation now. Try again later.
Articles 1–20