Hongyang Qu
发表
Sandor M. Veres,
Hongyang Qu,
Andreas Kolling,
2014
.
Francesca Lonetti,
Eda Marchetti,
Valérie Issarny,
2012
.
Doron A. Peled,
Stavros Tripakis,
Hongyang Qu,
2004,
ISoLA.
S. Veres,
D. Bauso,
Hongyang Qu,
2020,
ICAART.
Liyun Dai,
Jun Pang,
Hongyang Qu,
2019,
ArXiv.
Jun Pang,
Qixia Yuan,
Hongyang Qu,
2019,
Sci. Comput. Program..
Hongyang Qu,
Marta Z. Kwiatkowska,
Gethin Norman,
2010,
TACAS.
Alessio Lomuscio,
Hongyang Qu,
Franco Raimondi,
2017,
International Journal on Software Tools for Technology Transfer.
Wojciech Penczek,
Alessio Lomuscio,
Hongyang Qu,
2010,
Fundam. Informaticae.
Doron A. Peled,
Hongyang Qu,
D. Peled,
2003,
FORTE.
Valérie Issarny,
Silvano Chiaradonna,
Felicita Di Giandomenico,
2011
.
Sandor M. Veres,
Hongyang Qu,
Paolo Izzo,
2016,
2016 IEEE 55th Conference on Decision and Control (CDC).
Sandor M. Veres,
Hongyang Qu,
S. Veres,
2016,
Robotics Auton. Syst..
Sandor M. Veres,
Hongyang Qu,
Mohammed Y. Hazim,
2016,
TAROS.
Sandor M. Veres,
Hongyang Qu,
Paolo Izzo,
2016,
ArXiv.
Jamal Bentahar,
Rachida Dssouli,
Hongyang Qu,
2012,
Knowl. Based Syst..
Alessio Lomuscio,
Hongyang Qu,
Francesco Russo,
2010,
MoChArt.
Jamal Bentahar,
Rachida Dssouli,
Hongyang Qu,
2014,
ACM Trans. Softw. Eng. Methodol..
Hongyang Qu,
Marta Z. Kwiatkowska,
Henri Hansen,
2011,
2011 Eighth International Conference on Quantitative Evaluation of SysTems.
Valérie Issarny,
Silvano Chiaradonna,
Felicita Di Giandomenico,
2010
.
Hongyang Qu,
Hongyang Qu,
2005
.
Jamal Bentahar,
Rachida Dssouli,
Hongyang Qu,
2017,
Fundam. Informaticae.
Alessio Lomuscio,
Hongyang Qu,
Monika Solanki,
2008,
2008 IEEE International Conference on Web Services.
Sandor M. Veres,
Hongyang Qu,
Michalis Smyrnakis,
2016,
ArXiv.
Alessio Lomuscio,
Hongyang Qu,
Monika Solanki,
2008,
AAMAS.
Doron A. Peled,
Hongyang Qu,
D. Peled,
2006,
RV@ETAPS.
Wojciech Penczek,
Alessio Lomuscio,
Hongyang Qu,
2009,
MoChArt.
Hongyang Qu,
Peter Niebert,
P. Niebert,
2006,
FORMATS.
Hongyang Qu,
Marta Z. Kwiatkowska,
Gethin Norman,
2013,
Inf. Comput..
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.
Jamal Bentahar,
Rachida Dssouli,
Hongyang Qu,
2011,
AAMAS.
Hongyang Qu,
Sandor M. Veres,
Mohammed Al-Nuaimi,
2018,
2018 IEEE International Conference on Intelligence and Safety for Robotics (ISR).
Hongyang Qu,
Mohammed Al-Nuaimi,
Sandor Veres,
2021,
J. Sens. Actuator Networks.
Alessio Lomuscio,
Hongyang Qu,
Franco Raimondi,
2009,
CAV.
Hongyang Qu,
Marta Z. Kwiatkowska,
Gethin Norman,
2011,
TACAS.
Paola Inverardi,
Felicita Di Giandomenico,
Bengt Jonsson,
2011
.
Jamal Bentahar,
Elhadi M. Shakshuki,
Hongyang Qu,
2018,
Future Gener. Comput. Syst..
Jamal Bentahar,
Rachida Dssouli,
Hongyang Qu,
2014,
Expert Syst. Appl..
Paola Inverardi,
Felicita Di Giandomenico,
Bengt Jonsson,
2010
.
Farhad Arbab,
Sun Meng,
Hongyang Qu,
2009,
ESEC/SIGSOFT FSE.
Lijun Zhang,
Hongyang Qu,
Taolue Chen,
2013,
2013 International Symposium on Theoretical Aspects of Software Engineering.
Edith Elkind,
Doron A. Peled,
Hongyang Qu,
2006,
FORTE.
Nicolás Wolovick,
Pedro R. D'Argenio,
Hongyang Qu,
2009,
2009 International Conference on Software Testing Verification and Validation.
Wojciech Penczek,
Alessio Lomuscio,
Hongyang Qu,
2010,
AAMAS.
Jun Pang,
Qixia Yuan,
Hongyang Qu,
2015,
Science China Information Sciences.