| 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 | 67 | 1998 |
| Embedded architecture description language J Li, NT Pilkington, F Xie, Q Liu Journal of Systems and Software 83 (2), 235-252, 2010 | 32 | 2010 |
| API Rules Verification Platform VA Levin, J Li, R Opavsky, JF Lichtenberg, A Pavlov US Patent App. 13/918,851, 2014 | 31 | 2014 |
| Timed API rules for runtime verification VA Levin, J Li, JF Lichtenberg US Patent 9,519,495, 2016 | 30 | 2016 |
| 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 | 28 | 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 | 23 | 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 | 17 | 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 |
