Pubblicazioni
2015 - Proceedings of the 23rd Euromicro International Conference on Parallel, distributed and network-based Processing (PDP 2015)
Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico
2015 - Proceedings of the Twenty-Fourth International Joint Conference onArtificial Intelligence, IJCAI 2015
Calvanese, Diego; Montali, Marco; Patrizi, Fabio; DE GIACOMO, Giuseppe
2015 - Logics and Formal Verification 2015 (GandALFâ15)
Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico
2015 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
DE NICOLA, Rocco; Maggi, Alessandro; Petrocchi, Marinella; SPOGNARDI, Angelo; Tiezzi, Francesco