Follow
Xiaoyu Song
Xiaoyu Song
Portland State University
No verified email
Title
Cited by
Cited by
Year
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
3142006
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
2612002
A general decomposition for reversible logic
M Perkowski, L Jozwiak, P Kerntopf, A Mishchenko, A Al-Rabadi, ...
2422001
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
2412006
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
1851997
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
1082020
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
1082002
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
1062013
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
1052004
A 2d channel router for the diagonal model
E Lodi, F Luccio, X Song
Integration 11 (2), 111-125, 1991
1001991
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
862005
On the sum coloring problem on interval graphs
S Nicoloso, M Sarrafzadeh, X Song
Algorithmica 23 (2), 109-126, 1999
851999
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
772013
Majority-based reversible logic gates
G Yang, WNN Hung, X Song, M Perkowski
Theoretical computer science 334 (1-3), 259-274, 2005
732005
Regularity and symmetry as a base for efficient realization of reversible logic circuits
M Perkowski, P Kerntopf, A Buller, M Chrzanowska-Jeske, A Mishchenko, ...
722001
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
642001
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
622012
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
602002
On reachability graphs of Petri nets
X Ye, J Zhou, X Song
Computers & Electrical Engineering 29 (2), 263-272, 2003
582003
Component-based hardware/software co-verification for building trustworthy embedded systems
F Xie, G Yang, X Song
Journal of Systems and Software 80 (5), 643-654, 2007
562007
The system can't perform the operation now. Try again later.
Articles 1–20