Segui
Diletta Romana Cacciagrano
Diletta Romana Cacciagrano
Email verificata su unicam.it
Titolo
Citata da
Citata da
Anno
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
582016
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
442017
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
362019
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
362014
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
342001
Separation of synchronous and asynchronous communication via testing
D Cacciagrano, F Corradini, C Palamidessi
Theoretical Computer Science 386 (3), 218-235, 2007
312007
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
292007
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
282010
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
232017
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
212008
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
172010
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
162006
IRON: Reliable domain specific language for programming IoT devices
DR Cacciagrano, R Culmone
Internet of Things 9, 100020, 2020
152020
Explicit fairness in testing semantics
D Cacciagrano, F Corradini, C Palamidessi
Logical Methods in Computer Science 5, 2009
152009
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
142015
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
142010
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
132010
Multiscale bone remodelling with spatial p systems
D Cacciagrano, F Corradini, E Merelli, L Tesei
arXiv preprint arXiv:1011.0492, 2010
112010
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
112009
Analysis and verification of ECA rules in intelligent environments
DR Cacciagrano, F Corradini, R Culmone, N Gorogiannis, L Mostarda, ...
Journal of Ambient Intelligence and Smart Environments 10 (3), 261-273, 2018
92018
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20