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 | 69 | 1998 |
Embedded architecture description language J Li, NT Pilkington, F Xie, Q Liu Journal of Systems and Software 83 (2), 235-252, 2010 | 34 | 2010 |
Timed API rules for runtime verification VA Levin, J Li, JF Lichtenberg US Patent 9,519,495, 2016 | 31 | 2016 |
API Rules Verification Platform VA Levin, J Li, R Opavsky, JF Lichtenberg, A Pavlov US Patent App. 13/918,851, 2014 | 31 | 2014 |
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 | 29 | 2006 |
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 | 26 | 2010 |
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 | 22 | 2007 |
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 | 21 | 2011 |
Component-based abstraction and refinement J Li, X Sun, F Xie, X Song International Conference on Software Reuse, 39-51, 2008 | 18 | 2008 |
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 | 15 | 2001 |
多分层对复合材料层合板自振特性的影响 吉桂秀, 李娇颜, 陈浩然 复合材料学报 24 (4), 161-165, 2007 | 12 | 2007 |
A fingerprint enhancement algorithm using a federated filter Y Zhang, Y Jiao, J Li, X Niu HIT, China, 2002 | 12 | 2002 |
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 | 11 | 2011 |
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 | 10 | 2006 |
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 | 9 | 2005 |
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 | 7 | 2007 |
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 | 6 | 2009 |
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 | 5 | 2010 |
玫瑰香叶油的化学成分 马剑冰, 李坚, 喻学俭, 丁靖垲, 吴玉, 丁智慧 云南植物研究 13 (1), 89-92, 1991 | 5 | 1991 |
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 | 4 | 2014 |