A comparison of heed based clustering algorithms--Introducing ER-HEED Z Ullah, L Mostarda, R Gagliardi, D Cacciagrano, F Corradini 2016 IEEE 30th international conference on advanced information networking …, 2016 | 60 | 2016 |
Symbolic verification of event–condition–action rules in intelligent environments C Vannucchi, M Diamanti, G Mazzante, D Cacciagrano, R Culmone, ... Journal of Reliable Intelligent Environments 3, 117-130, 2017 | 46 | 2017 |
Interoperability issues among smart home technological frameworks L Rossi, A Belli, A De Santis, C Diamantini, E Frontoni, E Gambi, L Palma, ... 2014 IEEE/ASME 10th International Conference on Mechatronic and Embedded …, 2014 | 38 | 2014 |
Energy-efficient clustering for wireless sensor devices in internet of things D Cacciagrano, R Culmone, M Micheletti, L Mostarda Performability in internet of things, 59-80, 2019 | 37 | 2019 |
On synchronous and asynchronous communication paradigms A Restivo, SR Della Rocca, L Roversi, D Cacciagrano, F Corradini Theoretical Computer Science: 7th Italian Conference, ICTCS 2001 Torino …, 2001 | 34 | 2001 |
Separation of synchronous and asynchronous communication via testing D Cacciagrano, F Corradini, C Palamidessi Theoretical Computer Science 386 (3), 218-235, 2007 | 32 | 2007 |
An agent-based multilayer architecture for bioinformatics grids E Bartocci, D Cacciagrano, N Cannata, F Corradini, E Merelli, L Milanesi, ... IEEE transactions on Nanobioscience 6 (2), 142-148, 2007 | 29 | 2007 |
BioShape: a spatial shape-based scale-independent simulation environment for biological systems F Buti, D Cacciagrano, F Corradini, E Merelli, L Tesei Procedia Computer Science 1 (1), 827-835, 2010 | 28 | 2010 |
virony: A tool for analysis and verification of ECA rules in intelligent environments C Vannucchi, M Diamanti, G Mazzante, DR Cacciagrano, F Corradini, ... 2017 International Conference on Intelligent Environments (IE), 92-99, 2017 | 23 | 2017 |
Linearity, persistence and testing semantics in the asynchronous pi-calculus D Cacciagrano, F Corradini, J Aranda, FD Valencia Electronic Notes in Theoretical Computer Science 194 (2), 59-84, 2008 | 21 | 2008 |
Timed operational semantics and well-formedness of shape calculus E Bartocci, DR Cacciagrano, MR Di Berardini, E Merelli, L Tesei Scientific Annals of Computer Science 20, 33, 2010 | 17 | 2010 |
IRON: Reliable domain specific language for programming IoT devices DR Cacciagrano, R Culmone Internet of Things 9, 100020, 2020 | 16 | 2020 |
Dynamic constraint-based invocation of web services D Cacciagrano, F Corradini, R Culmone, L Vito Web Services and Formal Methods: Third International Workshop, WS-FM 2006 …, 2006 | 16 | 2006 |
Semantic business process representation to enhance the degree of BPM mechanization-an ontology D Fanesi, DR Cacciagrano, K Hinkelmann 2015 International Conference on Enterprise Systems (ES), 21-32, 2015 | 15 | 2015 |
Explicit fairness in testing semantics D Cacciagrano, F Corradini, C Palamidessi Logical Methods in Computer Science 5, 2009 | 15 | 2009 |
Bone remodelling in BioShape F Buti, D Cacciagrano, F Corradini, E Merelli, L Tesei, M Pani Electronic Notes in Theoretical Computer Science 268, 17-29, 2010 | 14 | 2010 |
Bone Remodelling: A Complex Automata-Based Model Running in BioShape D Cacciagrano, F Corradini, E Merelli Cellular Automata: 9th International Conference on Cellular Automata for …, 2010 | 14 | 2010 |
Multiscale bone remodelling with spatial p systems D Cacciagrano, F Corradini, E Merelli, L Tesei arXiv preprint arXiv:1011.0492, 2010 | 11 | 2010 |
Resourceome: a multilevel model and a Semantic Web tool for managing domain and operational knowledge D Cacciagrano, F Corradini, E Merelli, L Vito, G Romiti 2009 Third International Conference on Advances in Semantic Processing, 38-43, 2009 | 11 | 2009 |
A formal model for event-condition-action rules in intelligent environments C Vannucchi, DR Cacciagrano, F Corradini, R Culmone, L Mostarda, ... Intelligent Environments 2016, 56-65, 2016 | 10 | 2016 |