Hongyang Qu

发表

Jun Pang, Qixia Yuan, Hongyang Qu, 2016, Science China Information Sciences.
Jamal Bentahar, Rachida Dssouli, Hongyang Qu, 2012, Knowl. Based Syst..
Doron A. Peled, Hongyang Qu, D. Peled, 2003, FORTE.
Walter Vogler, Hongyang Qu, Peter Niebert, 2006, ICTAC.
Jamal Bentahar, Rachida Dssouli, Hongyang Qu, 2013, AAMAS.
Jamal Bentahar, Hongyang Qu, Nagat Drawel, 2020, AAMAS.
Alessio Lomuscio, Hongyang Qu, Monika Solanki, 2008, AAMAS.
Charles Pecheur, Hongyang Qu, Simon Busard, 2018, International Journal on Software Tools for Technology Transfer.
Dario Bauso, Sandor M. Veres, Hongyang Qu, 2020, ICAART.
Hongyang Qu, Marta Z. Kwiatkowska, Henri Hansen, 2011, 2011 Eighth International Conference on Quantitative Evaluation of SysTems.
Sandor M. Veres, Hongyang Qu, Michalis Smyrnakis, 2015, AAMAS.
Sandor M. Veres, Hongyang Qu, Paolo Izzo, 2016, 2016 IEEE 55th Conference on Decision and Control (CDC).
Alessio Lomuscio, Marek J. Sergot, Hongyang Qu, 2007, ICSOC.
Sandor M. Veres, Hongyang Qu, Michalis Smyrnakis, 2018, Int. J. Artif. Intell. Tools.
Felicita Di Giandomenico, Hongyang Qu, Marta Z. Kwiatkowska, 2010, ISoLA.
Hongyang Qu, Marta Z. Kwiatkowska, David Parker, 2011, 2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN).
Hongyang Qu, Peter Niebert, P. Niebert, 2006, FORMATS.
Francesca Lonetti, Eda Marchetti, Valérie Issarny, 2012 .
Paola Inverardi, Bengt Jonsson, Marta Kwiatkowska, 2012 .
Francesca Lonetti, Silvano Chiaradonna, Felicita Di Giandomenico, 2012 .
Jun Pang, Qixia Yuan, Hongyang Qu, 2015, Internetware.
Sandor M. Veres, Hongyang Qu, 2014, 2014 European Control Conference (ECC).
Farhad Arbab, Sun Meng, Hongyang Qu, 2009, ESEC/SIGSOFT FSE.
Doron A. Peled, Stavros Tripakis, Hongyang Qu, 2008, Theor. Comput. Sci..
Alessio Lomuscio, Hongyang Qu, Franco Raimondi, 2009, CAV.
Hongyang Qu, Marta Z. Kwiatkowska, David Parker, 2014, Theor. Comput. Sci..
Doron A. Peled, Marcin Jurdzinski, Hongyang Qu, 2005, FATES.
Valérie Issarny, Silvano Chiaradonna, Felicita Di Giandomenico, 2011 .
Wojciech Penczek, Alessio Lomuscio, Hongyang Qu, 2010, Fundam. Informaticae.
Jamal Bentahar, Rachida Dssouli, Hongyang Qu, 2014, 2014 IEEE International Conference on Web Services.
Alessio Lomuscio, Hongyang Qu, Mads Dam, 2009, ATVA.
Lijun Zhang, Hongyang Qu, Taolue Chen, 2013, 2013 International Symposium on Theoretical Aspects of Software Engineering.
Jamal Bentahar, Rachida Dssouli, Hongyang Qu, 2011, AAMAS.
Hongyang Qu, Marta Z. Kwiatkowska, David Parker, 2014, HOWARD-60.
Edith Elkind, Doron A. Peled, Hongyang Qu, 2006, FORTE.
Hongyang Qu, Taolue Chen, Tingting Han, 2013 .
Sandor M. Veres, Hongyang Qu, Michalis Smyrnakis, 2016, ArXiv.
Paola Inverardi, Felicita Di Giandomenico, Bengt Jonsson, 2011 .
Wojciech Penczek, Alessio Lomuscio, Hongyang Qu, 2009, MoChArt.
Alessio Lomuscio, Hongyang Qu, Monika Solanki, 2008, ICWS.
Nicolás Wolovick, Pedro R. D'Argenio, Hongyang Qu, 2009, 2009 International Conference on Software Testing Verification and Validation.
Jamal Bentahar, Elhadi M. Shakshuki, Hongyang Qu, 2018, Future Gener. Comput. Syst..
Charles Pecheur, Hongyang Qu, Simon Busard, 2013, SR.
Jun Pang, Qixia Yuan, Hongyang Qu, 2019, Sci. Comput. Program..
Hongyang Qu, Marta Z. Kwiatkowska, Gethin Norman, 2010, TACAS.
Sandor M. Veres, Hongyang Qu, Mohammed Y. Hazim, 2016, TAROS.
Jamal Bentahar, Rachida Dssouli, Hongyang Qu, 2015, IEEE Intelligent Systems.
Hongyang Qu, Marta Z. Kwiatkowska, David Parker, 2012, RV.
Hongyang Qu, Sandor M. Veres, Mohammed Al-Nuaimi, 2018, 2018 IEEE International Conference on Intelligence and Safety for Robotics (ISR).
Alessio Lomuscio, Hongyang Qu, Franco Raimondi, 2017, International Journal on Software Tools for Technology Transfer.
Jamal Bentahar, Rachida Dssouli, Hongyang Qu, 2014, ACM Trans. Softw. Eng. Methodol..
Doron A. Peled, Stavros Tripakis, Hongyang Qu, 2005, IFM.
Liyun Dai, Jun Pang, Hongyang Qu, 2019, ArXiv.
Doron A. Peled, Stavros Tripakis, Lenore D. Zuck, 2007, Haifa Verification Conference.
Doron A. Peled, Hongyang Qu, D. Peled, 2006, RV@ETAPS.
Alessio Lomuscio, Hongyang Qu, Marta Z. Kwiatkowska, 2010, ECAI.
Hongyang Qu, Marta Z. Kwiatkowska, Gethin Norman, 2011, TACAS.
Doron A. Peled, Stavros Tripakis, Hongyang Qu, 2004, ISoLA.
Hongyang Qu, Peter Niebert, 2006, ATVA.
Sandor M. Veres, Hongyang Qu, S. Veres, 2016, Robotics Auton. Syst..
Doron A. Peled, Hongyang Qu, 2005, Electron. Notes Theor. Comput. Sci..
Alessio Lomuscio, Hongyang Qu, Francesco Russo, 2010, MoChArt.
Sandor M. Veres, Hongyang Qu, Paolo Izzo, 2016, ArXiv.
Jamal Bentahar, Rachida Dssouli, Hongyang Qu, 2017, Fundam. Informaticae.
Sandor M. Veres, Hongyang Qu, Michalis Smyrnakis, 2017, 2017 IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI).
Jun Pang, Qixia Yuan, Hongyang Qu, 2017, IEEE/ACM Transactions on Computational Biology and Bioinformatics.
Hongyang Qu, Sandor M. Veres, Mohammed Al-Nuaimi, 2018, 2018 IEEE Conference on Control Technology and Applications (CCTA).
Alessio Lomuscio, Hongyang Qu, Monika Solanki, 2008, 2008 IEEE International Conference on Web Services.
Paola Inverardi, Felicita Di Giandomenico, Bengt Jonsson, 2010 .
Hongyang Qu, Marta Z. Kwiatkowska, Gethin Norman, 2013, Inf. Comput..
Doron A. Peled, Hongyang Qu, 2005, FATES.
Hongyang Qu, Mohammed Al-Nuaimi, Sandor Veres, 2021, J. Sens. Actuator Networks.
Wojciech Penczek, Alessio Lomuscio, Hongyang Qu, 2009 .
Sandor M. Veres, Hongyang Qu, Andreas Kolling, 2014 .