Cacciagrano, Diletta Romana and Corradini, Flavio and Culmone, Rosario and Gorogiannis, Nikos and Mostarda, Leonardo and Raimondi, Franco and Vannucchi, Claudia (2018) Analysis and verification of ECA rules in intelligent environments. Journal of Ambient Intelligence and Smart Environments, 10 (3). pp. 261-273. ISSN 1876-1364
Androutsopoulos, Kelly and Aristodemou, Leonidas and Boender, Jaap and Bottone, Michele and Currie, Ed and El-Aroussi, Inas and Fields, Bob and Gheri, Lorenzo and Gorogiannis, Nikos and Heeney, Michael and Micheletti, Matteo and Loomes, Martin J. and Margolis, Michael and Petridis, Miltos and Piermarteri, Andrea and Primiero, Giuseppe and Raimondi, Franco and Weldin, Nick (2018) MIRTO: an open-source robotic platform for education. In: 3rd European Conference on Software Engineering Education, 14-15 June 2018, Seeon, Germany.
Gorogiannis, Nikos and Raimondi, Franco and Boureanu, Ioana (2017) A novel symbolic approach to verifying epistemic properties of programs. In: Twenty-Sixth International Joint Conference on Artificial Intelligence, 19-25 August 2017, Melbourne, Australia.
Brotherston, James and Gorogiannis, Nikos and Kanovich, Max (2017) Biabduction (and related problems) in array separation logic. In: International Conference on Automated Deduction, 8-11 August 2017, Gothenburg.
Vannucchi, Claudia and Diamanti, Michelangelo and Mazzante, Gianmarco and Cacciagrano, Diletta and Culmone, Rosario and Gorogiannis, Nikos and Mostarda, Leonardo and Raimondi, Franco (2017) Symbolic verification of event–condition–action rules in intelligent environments. Journal of Reliable Intelligent Environments . ISSN 2199-4668