Giorgio Audrito
发表
Mirko Viroli,
Ferruccio Damiani,
Giorgio Audrito,
2020,
ArXiv.
Mirko Viroli,
Danilo Pianini,
Ferruccio Damiani,
2019,
J. Log. Algebraic Methods Program..
Alexandru I. Tomescu,
Giorgio Audrito,
Giorgio Audrito,
2013,
J. Log. Comput..
Jacob Beal,
Mirko Viroli,
Danilo Pianini,
2018,
COORDINATION.
Mirko Viroli,
Ferruccio Damiani,
Giorgio Audrito,
2016,
2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W).
Jacob Beal,
Mirko Viroli,
Danilo Pianini,
2017,
ACM Trans. Model. Comput. Simul..
Matteo Viale,
Giorgio Audrito,
2017,
J. Math. Log..
Giorgio Audrito,
2020,
2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS).
Mirko Viroli,
Danilo Pianini,
Ferruccio Damiani,
2019,
COORDINATION.
Alan A. Bertossi,
Alfredo Navarra,
Maria Cristina Pinotti,
2017,
J. Discrete Algorithms.
Mirko Viroli,
Ferruccio Damiani,
Giorgio Audrito,
2017,
2017 IEEE 11th International Conference on Self-Adaptive and Self-Organizing Systems (SASO).
Marco Temperini,
Umberto Nanni,
Luigi Laura,
2019,
MIS4TEL.
Jacob Beal,
Mirko Viroli,
Danilo Pianini,
2019,
COORDINATION.
Giorgio Audrito,
Sergio Bergamini,
2017,
ALP4IoT@iFM.
Mirko Viroli,
Danilo Pianini,
Ferruccio Damiani,
2021,
Eng. Appl. Artif. Intell..
Mirko Viroli,
Ferruccio Damiani,
Giorgio Audrito,
2019,
AAMAS.
Mirko Viroli,
Ferruccio Damiani,
Giorgio Audrito,
2017,
COORDINATION.
Mirko Viroli,
Volker Stolz,
Ferruccio Damiani,
2018,
VORTEX@ECOOP/ISSTA.
Mirko Viroli,
Ferruccio Damiani,
Giorgio Audrito,
2020,
COORDINATION.
Mirko Viroli,
Ferruccio Damiani,
Giorgio Audrito,
2018,
Sci. Comput. Program..
Mirko Viroli,
Ferruccio Damiani,
Giorgio Audrito,
2017,
ALP4IoT@iFM.
Elio Giovannetti,
Giuseppina Demo,
Giorgio Audrito,
2012
.
Luigi Laura,
Giorgio Audrito,
Nadia Amaroli,
2018
.
Mirko Viroli,
Danilo Pianini,
Ferruccio Damiani,
2020,
Log. Methods Comput. Sci..
Jacob Beal,
Mirko Viroli,
Ferruccio Damiani,
2018,
COORDINATION.
Giorgio Audrito,
G. Audrito,
2016
.
Maria Cristina Pinotti,
Daniele Diodati,
Giorgio Audrito,
2016,
2016 IEEE International Conference on Smart Computing (SMARTCOMP).
Mirko Viroli,
Enrico Bini,
Ferruccio Damiani,
2018,
2018 IEEE Real-Time Systems Symposium (RTSS).
Silvia Steila,
Giorgio Audrito,
Giorgio Audrito,
2015,
The Journal of Symbolic Logic.
Mirko Viroli,
Ferruccio Damiani,
Giorgio Audrito,
2020,
ISoLA.
Mirko Viroli,
Danilo Pianini,
Ferruccio Damiani,
2016,
ACM Trans. Comput. Log..
Mirko Viroli,
Danilo Pianini,
Ferruccio Damiani,
2021,
Sci. Comput. Program..
Soura Dasgupta,
Giorgio Audrito,
Jacob Beal,
2020,
2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C).
Jacob Beal,
Soura Dasgupta,
Giorgio Audrito,
2021,
2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C).
Gianluca Torta,
Giorgio Audrito,
2021,
VORTEX@ISSTA.
Jacob Beal,
Soura Dasgupta,
Giorgio Audrito,
2021,
ArXiv.
Mirko Viroli,
Volker Stolz,
Ferruccio Damiani,
2021,
J. Syst. Softw..
Gianluca Torta,
Giorgio Audrito,
Roberto Casadei,
2021,
2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C).
Gianluca Torta,
Giorgio Audrito,
Roberto Casadei,
2021,
2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C).
Alessandro Ricci,
Mirko Viroli,
Giorgio Audrito,
2021,
COORDINATION.
Mirko Viroli,
Danilo Pianini,
Ferruccio Damiani,
2021,
Comput. Electr. Eng..
Giorgio Audrito,
2012
.