Science is the only bank that pays the best
interest (expressing my appreciation of how
my life and mind have been shaped through science)
Springer International Journal on Software Tools for Technology Transfer
Elsevier Journal of Logical and Algebraic Methods in Programming
ACM Transactions on Modelling and Computer Simulation Journal: Special Issues for FORECAST 2017 and QEST 2018
Concur2020, LPAR 2020, WRLA 2020, SEFM 2019, SEFM 2018, MFCS17, TTCS 2017, TASE 2017, COORDINATION 2016 and 2017,
FACS 2014 and 2017, FoCAS@SASO14, and WRLA 2014.
Co-supervised Giulio Garbi, a Ph.D. Student @ IMT School for
Advanced Studies, Italy
- Reconfigruable Interaction for MAS Modelling, AAMAS 2020, Auckland, New Zealand, 2020. Watch Here!
A Computational Framework for Adaptive Systems and its Verification, Bernoulli Institute, Netherlands, 2019.
A Distributed Communication Infrastructure for Attribute-based Interaction, FORTE'18, Madrid, Spain, 2018;
A Theoretical Framework for Collective-Adaptive Systems, Camerino, Italy, January 2018;
A Distributed Coordination Infrastructure for Attribute-based Communication, QUANTICOL, Pisa, Italy, 2017;
On the Power of Attribute-based
Communication, FORTE'16, Heraklion, Greece, 2016;
On the Expressiveness of Attribute-based
Communication, PEPA CLUB, Edinburgh, UK, 2016;
On Expressiveness and Behavioural Theory of Attribute-based Interaction, QUANTICOL, Lucca, Italy, 2015;
A Calculus for Attribute-based Communication, SAC'15, Salamanca, Spain, 2015;
A Calculus for Attribute-based Communication, CINA meeting, Turin, Italy, 2015;