Optimal synthesis of multiple output boolean functions using a set of quantum gates by symbolic reachability analysis WNN Hung, X Song, G Yang, J Yang, M Perkowski IEEE transactions on Computer-Aided Design of integrated circuits and …, 2006 | 317 | 2006 |
Adder based residue to binary number converters for (2/sup n/-1, 2/sup n/, 2/sup n/+ 1) Y Wang, X Song, M Aboulhamid, H Shen IEEE Transactions on Signal Processing 50 (7), 1772-1779, 2002 | 263 | 2002 |
A general decomposition for reversible logic M Perkowski, L Jozwiak, P Kerntopf, A Mishchenko, A Al-Rabadi, ... | 245 | 2001 |
A clustering-based method for unsupervised intrusion detections SY Jiang, X Song, H Wang, JJ Han, QH Li Pattern Recognition Letters 27 (7), 802-810, 2006 | 242 | 2006 |
Multiway decision graphs for automated hardware verification F Corella, Z Zhou, X Song, M Langevin, E Cerny Formal methods in system design 10, 7-46, 1997 | 185 | 1997 |
CPS-based self-adaptive collaborative control for smart production-logistics systems Z Guo, Y Zhang, X Zhao, X Song IEEE transactions on cybernetics 51 (1), 188-198, 2020 | 113 | 2020 |
The design of hybrid carry-lookahead/carry-select adders Y Wang, C Pai, X Song IEEE Transactions on circuits and systems II: Analog and Digital Signal …, 2002 | 108 | 2002 |
Exponential-condition-based barrier certificate generation for safety verification of hybrid systems H Kong, F He, X Song, WNN Hung, M Gu International Conference on Computer Aided Verification, 242-257, 2013 | 107 | 2013 |
Quantum logic synthesis by symbolic reachability analysis WNN Hung, X Song, G Yang, J Yang, M Perkowski Proceedings of the 41st annual Design Automation Conference, 838-841, 2004 | 105 | 2004 |
A 2d channel router for the diagonal model E Lodi, F Luccio, X Song Integration 11 (2), 111-125, 1991 | 100 | 1991 |
Fast synthesis of exact minimal reversible circuits using group theory G Yang, X Song, WNN Hung, MA Perkowski Proceedings of the 2005 Asia and South Pacific Design Automation Conference …, 2005 | 86 | 2005 |
On the sum coloring problem on interval graphs S Nicoloso, M Sarrafzadeh, X Song Algorithmica 23 (2), 109-126, 1999 | 85 | 1999 |
Design and optimization of multi-clocked embedded systems using formal technique Y Jiang, Z Li, H Zhang, Y Deng, X Song, M Gu, J Sun Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013 | 77 | 2013 |
Majority-based reversible logic gates G Yang, WNN Hung, X Song, M Perkowski Theoretical computer science 334 (1-3), 259-274, 2005 | 74 | 2005 |
Regularity and symmetry as a base for efficient realization of reversible logic circuits M Perkowski, P Kerntopf, A Buller, M Chrzanowska-Jeske, A Mishchenko, ... | 74 | 2001 |
Regular realization of symmetric functions using reversible logic M Perkowski, P Kerntopf, A Buller, M Chrzanowska-Jeske, A Mishchenko, ... Proceedings Euromicro Symposium on Digital Systems Design, 245-252, 2001 | 65 | 2001 |
Bayesian-network-based reliability analysis of PLC systems Y Jiang, H Zhang, X Song, X Jiao, WNN Hung, M Gu, J Sun IEEE transactions on industrial electronics 60 (11), 5325-5336, 2012 | 62 | 2012 |
Further examination of Moore's law with data envelopment analysis T Anderson, R Färe, S Grosskopf, L Inman, X Song Technological Forecasting and Social Change 69 (5), 465-477, 2002 | 60 | 2002 |
On reachability graphs of Petri nets X Ye, J Zhou, X Song Computers & Electrical Engineering 29 (2), 263-272, 2003 | 58 | 2003 |
Group theory based synthesis of binary reversible circuits G Yang, X Song, WNN Hung, F Xie, MA Perkowski International Conference on Theory and Applications of Models of Computation …, 2006 | 57 | 2006 |