Xiaoyu Song
发表
Xiaoyu Song,
Yong Guan,
Yan Zhang,
2014
.
Xiaoyu Song,
M. Perkowski,
Guowu Yang,
2008
.
Xiaoyu Song,
Ming Gu,
Jie Cai,
2014,
Wirel. Pers. Commun..
Min Zhou,
Xiaoyu Song,
Ming Gu,
2018,
IEEE Transactions on Circuits and Systems II: Express Briefs.
Xiaoyu Song,
Jing Liu,
Xinming Ye,
2014
.
Anas N. Al-Rabadi,
Svetlana Yanushkevich,
Xiaoyu Song,
2001
.
Xiaoyu Song,
M. Perkowski,
S. Mostame,
2019
.
Xiaoyu Song,
M. Gu,
Hai Wan,
2010
.
Xiaoyu Song,
M. Gu,
Kai-duo He,
2009
.
Guowu Yang,
Xiaoyu Song,
Marek Perkowski,
2005,
quant-ph/0509192.
Guowu Yang,
Xiaoyu Song,
William N. N. Hung,
2005,
Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005..
S. Edwards,
Xiaoyu Song,
Osama Neiroukh,
2008
.
Guowu Yang,
Xiaoyu Song,
William N. N. Hung,
2005,
Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005..
Xiaoyu Song,
M. Perkowski,
Zhiqiang Li,
2020
.
Xiaoyu Song,
M. Perkowski,
Jinzhao Wu,
2005,
quant-ph/0509192.
Xiaoyu Song,
M. Perkowski,
S. Mostame,
2018,
1811.09011.
Xiaoyu Song,
Guowu Yang,
W. Hung,
2013,
Journal of Computer Science and Technology.
Xiaoyu Song,
Yuke Wang,
Yingtao Jiang,
2004
.
Xiaoyu Song,
Jian-Tao Zhou,
Rui-dong Qi,
2018,
2018 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Ubiquitous Computing & Communications, Big Data & Cloud Computing, Social Computing & Networking, Sustainable Computing & Communications (ISPA/IUCC/BDCloud/SocialCom/SustainCom).
Xiaoyu Song,
Ming Gu,
Anduo Wang,
2006,
30th Annual International Computer Software and Applications Conference (COMPSAC'06).
Yan Wang,
Xiaoyu Song,
Jian-Tao Zhou,
2020,
Comput. J..
Yan Wang,
Jiantao Zhou,
Xiaoyu Song,
2017,
2017 IEEE International Conference on Web Services (ICWS).
Guowu Yang,
Fei Xie,
Xiaoyu Song,
2005,
COCOON.
Yongdong Li,
Xiaoyu Song,
Yong Guan,
2017,
2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
Yu Jiang,
Hehua Zhang,
Xiaoyu Song,
2015,
IEEE Transactions on Parallel and Distributed Systems.
Yu Jiang,
Hehua Zhang,
Xiaoyu Song,
2015,
IEEE Transactions on Industrial Electronics.
Yu Jiang,
Hehua Zhang,
Xiaoyu Song,
2013,
IEEE Transactions on Industrial Electronics.
Guowu Yang,
Fei Xie,
Xiaoyu Song,
2011,
Theor. Comput. Sci..
Guowu Yang,
Xiaoyu Song,
William N. N. Hung,
2010
.
Guowu Yang,
Fei Xie,
Xiaoyu Song,
2006,
TAMC.
Machine-learning based three-qubit gate for realization of a Toffoli gate with cQED-based transmon systems
pdf
Marek Perkowski,
Sahar Daraeizadeh,
Xiaoyu Song,
2019,
ArXiv.
Guowu Yang,
Xiaoyu Song,
Chen Lin,
2021
.
Xiaoyu Song,
Marek A. Perkowski,
Edison Tsai,
2018,
Quantum Inf. Comput..
Yingfeng Zhang,
Xiaoyu Song,
Xibin Zhao,
2020,
IEEE Transactions on Cybernetics.
Guowu Yang,
Fei Xie,
Xiaoyu Song,
2006,
2006 IEEE International Conference on Evolutionary Computation.
Guowu Yang,
Xiaoyu Song,
William N. N. Hung,
2006,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Xiaojuan Li,
Xiaoyu Song,
Houbing Song,
2018,
IEEE Transactions on Industrial Informatics.
Hai Wan,
Ming Gu,
Xiaoyu Song,
2020,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Hai Wan,
Ming Gu,
Xiaoyu Song,
2019,
IEEE/ACM Transactions on Networking.
Xiaoyu Song,
Ming Gu,
William N. N. Hung,
2010,
2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering.
Xiaoyu Song,
Zhoujun Li,
Mengjun Li,
2011,
FAW-AAIM.
Hui Wang,
Xiaoyu Song,
Shengyi Jiang,
2006,
Pattern Recognit. Lett..
Marly Roncken,
Xiaoyu Song,
Ivan Sutherland,
2019,
IEEE Transactions on Circuits and Systems II: Express Briefs.
Xiaoyu Song,
Yinshui Xia,
William N. N. Hung,
2013
.
Sofiène Tahar,
Xiaoyu Song,
Eduard Cerny,
2004,
J. Circuits Syst. Comput..
Guowu Yang,
Xiaoyu Song,
William N. N. Hung,
2004,
Proceedings. 41st Design Automation Conference, 2004..
Sofiène Tahar,
Xiaoyu Song,
M. H. Zobair,
2004
.
Sofiène Tahar,
Xiaoyu Song,
Eduard Cerny,
1999,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Sofiène Tahar,
Xiaoyu Song,
Jianping Lu,
1998,
Proceedings International Conference on Computer Design. VLSI in Computers and Processors (Cat. No.98CB36273).
Sofiène Tahar,
Xiaoyu Song,
Jianping Lu,
1998
.
Sofiène Tahar,
Eduard Cerny,
Xiaoyu Song,
1997
.
Sofiène Tahar,
Xiaoyu Song,
Francisco Corella,
1996,
FMCAD.
Sofiène Tahar,
Xiaoyu Song,
Eduard Cerny,
1996,
Proceedings International Conference on Computer Design. VLSI in Computers and Processors.
Sofiène Tahar,
Xiaoyu Song,
Eduard Cerny,
1996,
Proceedings of the Sixth Great Lakes Symposium on VLSI.
Min Zhou,
Xiaoyu Song,
Ming Gu,
2017,
IEEE Transactions on Industrial Electronics.
Xiaoyu Song,
Ming Gu,
Jie Cai,
2014,
EURASIP J. Wirel. Commun. Netw..
Xinrui Guo,
Min Zhou,
Xiaoyu Song,
2016,
2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC).
Xiaoyu Song,
Ming Gu,
William N. N. Hung,
2009,
2009 Formal Methods in Computer-Aided Design.
Xiaoyu Song,
Yinshui Xia,
Zhufei Chu,
2011,
IEEE Transactions on Nanotechnology.
Guowu Yang,
Fei Xie,
Xiaoyu Song,
2006
.
Yinsong Xu,
Jiahao Tang,
Xiaoyu Song,
2020,
Computers, Materials & Continua.
Guowu Yang,
Xiaoyu Song,
William N. N. Hung,
2010,
IEEE Congress on Evolutionary Computation.
Guowu Yang,
Fei Xie,
Xiaoyu Song,
2006,
CIAA.
Stephen A. Edwards,
Xiaoyu Song,
Osama Neiroukh,
2008,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Stephen A. Edwards,
Xiaoyu Song,
Osama Neiroukh,
2006,
IEEE Computer Society Annual Symposium on Emerging VLSI Technologies and Architectures (ISVLSI'06).
Min Zhou,
Xiaoyu Song,
Ming Gu,
2016,
2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC).
Zhe Wang,
Shan Ren,
Xiaoyu Song,
2018,
Journal of Ambient Intelligence and Humanized Computing.
Hong Shen,
Xiaoyu Song,
Yuke Wang,
2002,
IEEE Trans. Signal Process..
Xiaoyu Song,
Yuke Wang,
El Mostapha Aboulhamid,
1999,
Proceedings Ninth Great Lakes Symposium on VLSI.
Xiaoyu Song,
Yuke Wang,
El Mostapha Aboulhamid,
1998,
Proceedings of the 8th Great Lakes Symposium on VLSI (Cat. No.98TB100222).
Yongjian Li,
Xiaoyu Song,
William N. N. Hung,
2011,
Theor. Comput. Sci..
Qian Wang,
Xiaoyu Song,
Ming Gu,
2015,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Marly Roncken,
Xiaoyu Song,
Ivan E. Sutherland,
2016,
Journal of Computer Science and Technology.
Xiaoyu Song,
Gang Chen,
Ping Hu,
2009,
IEEE Transactions on Nanotechnology.
Timothy R. Anderson,
Rolf Färe,
Shawna Grosskopf,
2002
.
Sofiène Tahar,
Xiaoyu Song,
Otmane Aït Mohamed,
2008,
ICTAC.
Yu Jiang,
Hehua Zhang,
Xiaoyu Song,
2013,
ESEC/FSE 2013.
Yongjian Li,
Xiaojuan Li,
Xiaoyu Song,
2012,
2012 13th International Conference on Parallel and Distributed Computing, Applications and Technologies.
Jiantao Zhou,
Xiaoyu Song,
Hai-feng Xing,
2018,
2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC).
Xiaoyu Song,
Fei He,
M. Gu,
2015,
Theory of Computing Systems.
Guowu Yang,
Xiaoyu Song,
William N. N. Hung,
2007,
IET Comput. Digit. Tech..
Yue Gao,
Hai Wan,
Xiaoyu Song,
2020,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Xiaoyu Song,
Hanwu Chen,
Marek Perkowski,
2016,
International Journal of Theoretical Physics.
Guowu Yang,
Xiaoyu Song,
William N. N. Hung,
2008,
Comput. J..
Hai Wan,
Xiaoyu Song,
Xibin Zhao,
2019,
IEEE Transactions on Industrial Informatics.
Haitham Akkary,
Xiaoyu Song,
Komal Jothi,
2008,
2008 IEEE International Conference on Computer Design.
Yuke Wang,
Xiaoyu Song,
C. Pai,
2002
.
Min Zhou,
Xiaoyu Song,
Ming Gu,
2018,
IEEE Transactions on Evolutionary Computation.
Min Zhou,
Xiaoyu Song,
Ming Gu,
2019,
IEEE Transactions on Computers.
Xiaoyu Song,
Houbing Song,
Xiaojuan Li,
2019,
IEEE Systems Journal.
Ping Luo,
Jie Zhang,
Xiaojuan Li,
2014,
2014 IEEE International Conference on Robotics and Automation (ICRA).
Lui Sha,
Min Zhou,
Xiaoyu Song,
2018,
IEEE Access.
Hong Chen,
Marly Roncken,
Xiaoyu Song,
2017,
2017 51st Asilomar Conference on Signals, Systems, and Computers.
Yu Jiang,
Hehua Zhang,
Xiaoyu Song,
2014,
2014 Theoretical Aspects of Software Engineering Conference.
Yu Jiang,
Hehua Zhang,
Xiaoyu Song,
2013,
ESEC/FSE 2013.
Peng Zhang,
Xiaoyu Song,
Ke Gu,
2019,
Physica A: Statistical Mechanics and its Applications.
Hehua Zhang,
Hui Kong,
Xiaoyu Song,
2011,
2011 Fifth International Conference on Theoretical Aspects of Software Engineering.
Yan Wang,
Jiantao Zhou,
Xiaoyu Song,
2018,
2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC).
Yu Jiang,
Hehua Zhang,
Xiaoyu Song,
2013,
2013 18th Asia and South Pacific Design Automation Conference (ASP-DAC).
Chi Zhang,
Hao Wu,
He Guo,
2020,
The Journal of Supercomputing.
Xiaoyu Song,
Xin Chen,
Hao Wu,
2020,
Concurr. Comput. Pract. Exp..
Jinzhao Wu,
Xiuli Sun,
Xiaoyu Song,
2004,
Fifth International Workshop on Microprocessor Test and Verification (MTV'04).
Andrew A. Kennings,
Alan Mishchenko,
Malgorzata Chrzanowska-Jeske,
2003,
IEEE Trans. Very Large Scale Integr. Syst..
Jiaguang Sun,
Xiaoyu Song,
Fei He,
2015,
Frontiers of Computer Science.
Hehua Zhang,
Xiaoyu Song,
Ming Gu,
2008,
2008 International Symposium on Industrial Embedded Systems.
Xiaoyu Song,
Francisco Corella,
Eduard Cerny,
1998,
CAV.
Xiaoyu Song,
Francisco Corella,
Eduard Cerny,
1997,
Formal Methods Syst. Des..
Xiaoyu Song,
Francisco Corella,
Eduard Cerny,
1995,
CHARME.
Xiaoyu Song,
Eduard Cerny,
Otmane Aït Mohamed,
2004,
Comput. J..
Guowu Yang,
Xiaoyu Song,
William N. N. Hung,
2016,
IEEE Transactions on Computers.
Yu Jiang,
Hehua Zhang,
Xiaoyu Song,
2012,
2012 IEEE Computer Society Annual Symposium on VLSI.
Xiaoyu Song,
Francisco Corella,
Eduard Cerny,
1995,
Proceedings. Fifth Great Lakes Symposium on VLSI.
Jiantao Zhou,
Xiaoyu Song,
Xinming Ye,
2001,
Int. J. Comput. Math..
Xiaoyu Song,
Yuke Wang,
Qian-Yu Tang,
1999,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Xiaoyu Song,
Qian-Yu Tang,
Q. Tang,
1999,
IEEE Trans. Computers.
Jiantao Zhou,
Xiaoyu Song,
Xinming Ye,
2001,
Int. J. Comput. Math..
Guowu Yang,
Xiaoyu Song,
William N. N. Hung,
2018,
Theory of Computing Systems.
Rolf Drechsler,
Yuke Wang,
Xiaoyu Song,
2000,
Proceedings of the 43rd IEEE Midwest Symposium on Circuits and Systems (Cat.No.CH37144).
Xiaoyu Song,
Yuke Wang,
Carl McCrosky,
2001,
Comput. J..
Yu Jiang,
Hehua Zhang,
Xiaoyu Song,
2013,
2013 IEEE 37th Annual Computer Software and Applications Conference.
Xiaoyu Song,
Yi Feng,
Xiaoyu Song,
2006
.
Xiaoyu Song,
William N. N. Hung,
Michael A. Driscoll,
2002,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Hehua Zhang,
Xiaoyu Song,
Ming Gu,
2011
.
Hehua Zhang,
Xiaoyu Song,
Ming Gu,
2008,
2008 International Symposium on Industrial Embedded Systems.
Xiaoyu Song,
M. Perkowski,
Guowu Yang,
2011,
Theoretical Computer Science.
Guowu Yang,
Xiaoyu Song,
William N. N. Hung,
2005,
Theor. Comput. Sci..
Guowu Yang,
Xiaoyu Song,
William N. N. Hung,
2005,
Design, Automation and Test in Europe.
Xiaoyu Song,
Hanwu Chen,
Marek A. Perkowski,
2014,
ACM J. Emerg. Technol. Comput. Syst..
Hanwu Chen,
Xiaoyu Song,
Zhiqiang Li,
2014
.
Guowu Yang,
Xiaoyu Song,
Yuke Wang,
2006,
Theory of Computing Systems.
Guowu Yang,
Xiaoyu Song,
Xiaoyu Song,
2005,
Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005..
Yan Wang,
Xiaoyu Song,
Jiantao Zhou,
2022,
IEEE Transactions on Services Computing.
Yan Wang,
Jiantao Zhou,
Xiaoyu Song,
2016,
2016 IEEE International Conference on Services Computing (SCC).
Guowu Yang,
Xiaoyu Song,
William N. N. Hung,
2013,
J. Appl. Math..
Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems
Hui Kong,
Xiaoyu Song,
Ming Gu,
2013,
CAV.