Guowu Yang (杨国武)
Guowu Yang (杨国武)
Verifierad e-postadress på uestc.edu.cn
Titel
Citeras av
Citeras av
År
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
2612006
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
952004
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
722005
Majority-based reversible logic gates
G Yang, WNN Hung, X Song, M Perkowski
Theoretical computer science 334 (1-3), 259-274, 2005
662005
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
472007
Algebraic characterization of reversible logic gates
X Song, G Yang, M Perkowski, Y Wang
Theory of Computing Systems 39 (2), 311-319, 2006
472006
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
462006
An efficient algorithm for computing attractors of synchronous and asynchronous Boolean networks
D Zheng, G Yang, X Li, Z Wang, F Liu, L He
PloS one 8 (4), e60593, 2013
422013
Realizing ternary quantum switching networks without ancilla bits
G Yang, X Song, M Perkowski, J Wu
Journal of Physics A: Mathematical and General 38 (44), 9689, 2005
422005
Global finite-time stabilization: from state feedback to output feedback
Y Hong, G Yang, L Bushnell, HO Wang
Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No …, 2000
422000
Finite time convergent control using terminal sliding mode
Y Hong, G Yang, D Cheng, S Spurgeon
Journal of Control Theory and Applications 2 (1), 69-74, 2004
402004
A parallel attractor finding algorithm based on Boolean satisfiability for genetic regulatory networks
W Guo, G Yang, W Wu, L He, M Sun
PloS one 9 (4), e94258, 2014
382014
Bi-directional synthesis of 4-bit reversible circuits
G Yang, X Song, WNN Hung, MA Perkowski
The Computer Journal 51 (2), 207-215, 2008
332008
A new approach to terminal sliding mode control design
Y Hong, G Yang, D Cheng, S Spurgeon
Asian Journal of Control 7 (2), 177-181, 2005
312005
Multi-party quantum private comparison protocol based on -dimensional entangled states
Q Luo, G Yang, K She, W Niu, Y Wang
Quantum information processing 13 (10), 2343-2352, 2014
282014
File-centric multi-key aggregate keyword searchable encryption for industrial internet of things
R Zhou, X Zhang, X Du, X Wang, G Yang, M Guizani
IEEE Transactions on Industrial Informatics 14 (8), 3648-3658, 2018
252018
Routability checking for three-dimensional architectures
WNN Hung, X Song, T Kam, L Cheng, G Yang
IEEE Transactions on Very Large Scale Integration (VLSI) Systems 12 (12 …, 2004
252004
A constructive algorithm for reversible logic synthesis
G Yang, F Xie, X Song, WNN Hung, MA Perkowski
2006 IEEE International Conference on Evolutionary Computation, 2416-2421, 2006
242006
Discrete personalized ranking for fast collaborative filtering from implicit feedback
Y Zhang, D Lian, G Yang
Thirty-First AAAI Conference on Artificial Intelligence, 2017
212017
Universality of 2-qudit ternary reversible gates
G Yang, F Xie, X Song, MA Perkowski
Journal of Physics A: Mathematical and General 39 (24), 7763, 2006
202006
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20