Sfoglia per Autore
BioShape: a spatial shape-based scale-independent simulation environment for biological systems
2010-01-01 Buti, Federico; Cacciagrano, Diletta Romana; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca
Bone Remodelling: A Complex Automata-Based Model Running in BioShape
2010-01-01 Cacciagrano, Diletta Romana; Corradini, Flavio; Merelli, Emanuela
Sanità sostenibile: servizi ubiquiti e personalizzati orientati al risparmio energetico
2011-01-01 Corradini, Flavio; Cacciagrano, Diletta Romana; Tesei, Luca
A Uniform Multiscale Meta-model of BioShape
2011-01-01 Buti, Federico; Cacciagrano, Diletta Romana; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca
BIOSHAPE: End-User Development for Simulating Biological Systems
2011-01-01 Buti, Federico; Cacciagrano, Diletta Romana; CALLISTO DE DONATO, Massimo; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca
ACTIVAge: proACTIVe and Self-Adaptive Social Sensor Network for Ageing People
2011-01-01 Corradini, Flavio; Merelli, Emanuela; Cacciagrano, Diletta Romana; Culmone, Rosario; Tesei, Luca; Vito, Leonardo
ACTIVAge: proACTIVe and self-adaptive social-sensor network for Ageing people
2012-01-01 Cacciagrano, Diletta Romana; Corradini, Flavio; Culmone, Rosario; Merelli, Emanuela; Tesei, Luca; Vito, Leonardo
UBioLab: a web-LABoratory for Ubiquitous in-silico experiments
2012-01-01 Bartocci, Ezio; Cacciagrano, Diletta Romana; DI BERARDINI, Maria Rita; Merelli, Emanuela; Vito, Leonardo
Sinergy: how semantics can improve early prevention of skin cancers.
2013-01-01 Cacciagrano, Diletta Romana; L., Cavalieri; Corradini, Flavio; Vito, Leonardo
Interoperability issues among smart home technological rameworks
2014-01-01 Lorena, Rossi; Alberto, Belli; Adelmo De, Santis; Claudia, Diamantini; Emanuele, Frontoni; Ennio, Gambi; Lorenzo, Palma; Luca, Pernini; Paola, Pierleoni; Domenico, Potena; Laura, Raffaeli; Susanna, Spinsante; Primo, Zingaretti; Cacciagrano, Diletta Romana; Corradini, Flavio; Culmone, Rosario; DE ANGELIS, Francesco; Merelli, Emanuela; Re, Barbara
Semantic Business Process Representation to Enhance the Degree of BPM Mechanization - An Ontology
2015-01-01 Fanesi, Diego; Cacciagrano, Diletta Romana; Hinkelmann, Knut
Towards a Uniform Ontology-Driven Approach for Modeling, Checking and Executing WSANs
2016-01-01 Vannucchi, Claudia; Cacciagrano, Diletta Romana; Culmone, Rosario; Mostarda, Leonardo
A Comparison of HEED Based Clustering Algorithms - Introducing ER-HEED
2016-01-01 ZAIB ULLAH, ZAIB ULLAH; Mostarda, Leonardo; Gagliardi, Roberto; Cacciagrano, Diletta Romana; Corradini, Flavio
A Formal Model for Event-Condition-Action Rules in Intelligent Environments
2016-01-01 Vannucchi, Claudia; Cacciagrano, Diletta Romana; Corradini, Flavio; Culmone, Rosario; Mostarda, Leonardo; Raimondi, Franco; Tesei, Luca
Uniformity in Multiscale Models: From Complex Automata to BioShape
2017-01-01 Cacciagrano, Diletta Romana; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca
Symbolic verification of event–condition–action rules in intelligent environments
2017-01-01 Vannucchi, Claudia; Diamanti, Michelangelo; Mazzante, Gianmarco; Cacciagrano, Diletta Romana; Culmone, Rosario; Gorogiannis, Nikos; Mostarda, Leonardo; Raimondi, Franco
vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments
2017-01-01 Vannucchi, Claudia; Diamanti, Michelangelo; Mazzante, Gianmarco; Cacciagrano, Diletta Romana; Corradini, Flavio; Culmone, Rosario; Gorogiannis, Nikos; Mostarda, Leonardo; Raimondi, Franco
Energy saving and collision-free motion planning for oblivious robots
2018-01-01 Navarra, A.; Cacciagrano, D. R.
Analysis and verification of ECA rules in intelligent environments
2018-01-01 Cacciagrano, Diletta Romana; Corradini, Flavio; Culmone, Rosario; Gorogiannis, Nikos; Mostarda, Leonardo; Raimondi, Franco; Vannucchi, Claudia
Formal Semantics of an IoT-Specific Language
2018-01-01 Cacciagrano, Diletta Romana; Culmone, Rosario
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
BioShape: a spatial shape-based scale-independent simulation environment for biological systems | 1-gen-2010 | Buti, Federico; Cacciagrano, Diletta Romana; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca | Contributo in atto di convegno su rivista | |
Bone Remodelling: A Complex Automata-Based Model Running in BioShape | 1-gen-2010 | Cacciagrano, Diletta Romana; Corradini, Flavio; Merelli, Emanuela | Contributo in atto di convegno su volume | |
Sanità sostenibile: servizi ubiquiti e personalizzati orientati al risparmio energetico | 1-gen-2011 | Corradini, Flavio; Cacciagrano, Diletta Romana; Tesei, Luca | Capitolo di libro o voce di enciclopedia | |
A Uniform Multiscale Meta-model of BioShape | 1-gen-2011 | Buti, Federico; Cacciagrano, Diletta Romana; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca | Contributo in atto di convegno su rivista | |
BIOSHAPE: End-User Development for Simulating Biological Systems | 1-gen-2011 | Buti, Federico; Cacciagrano, Diletta Romana; CALLISTO DE DONATO, Massimo; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca | Contributo in atto di convegno su volume | |
ACTIVAge: proACTIVe and Self-Adaptive Social Sensor Network for Ageing People | 1-gen-2011 | Corradini, Flavio; Merelli, Emanuela; Cacciagrano, Diletta Romana; Culmone, Rosario; Tesei, Luca; Vito, Leonardo | Articolo | |
ACTIVAge: proACTIVe and self-adaptive social-sensor network for Ageing people | 1-gen-2012 | Cacciagrano, Diletta Romana; Corradini, Flavio; Culmone, Rosario; Merelli, Emanuela; Tesei, Luca; Vito, Leonardo | Contributo in atto di convegno su volume | |
UBioLab: a web-LABoratory for Ubiquitous in-silico experiments | 1-gen-2012 | Bartocci, Ezio; Cacciagrano, Diletta Romana; DI BERARDINI, Maria Rita; Merelli, Emanuela; Vito, Leonardo | Articolo | |
Sinergy: how semantics can improve early prevention of skin cancers. | 1-gen-2013 | Cacciagrano, Diletta Romana; L., Cavalieri; Corradini, Flavio; Vito, Leonardo | Contributo in atto di convegno su rivista | |
Interoperability issues among smart home technological rameworks | 1-gen-2014 | Lorena, Rossi; Alberto, Belli; Adelmo De, Santis; Claudia, Diamantini; Emanuele, Frontoni; Ennio, Gambi; Lorenzo, Palma; Luca, Pernini; Paola, Pierleoni; Domenico, Potena; Laura, Raffaeli; Susanna, Spinsante; Primo, Zingaretti; Cacciagrano, Diletta Romana; Corradini, Flavio; Culmone, Rosario; DE ANGELIS, Francesco; Merelli, Emanuela; Re, Barbara | Contributo in atto di convegno su volume | |
Semantic Business Process Representation to Enhance the Degree of BPM Mechanization - An Ontology | 1-gen-2015 | Fanesi, Diego; Cacciagrano, Diletta Romana; Hinkelmann, Knut | Contributo in atto di convegno su volume | |
Towards a Uniform Ontology-Driven Approach for Modeling, Checking and Executing WSANs | 1-gen-2016 | Vannucchi, Claudia; Cacciagrano, Diletta Romana; Culmone, Rosario; Mostarda, Leonardo | Contributo in atto di convegno su volume | |
A Comparison of HEED Based Clustering Algorithms - Introducing ER-HEED | 1-gen-2016 | ZAIB ULLAH, ZAIB ULLAH; Mostarda, Leonardo; Gagliardi, Roberto; Cacciagrano, Diletta Romana; Corradini, Flavio | Contributo in atto di convegno su volume | |
A Formal Model for Event-Condition-Action Rules in Intelligent Environments | 1-gen-2016 | Vannucchi, Claudia; Cacciagrano, Diletta Romana; Corradini, Flavio; Culmone, Rosario; Mostarda, Leonardo; Raimondi, Franco; Tesei, Luca | Contributo in atto di convegno su volume | |
Uniformity in Multiscale Models: From Complex Automata to BioShape | 1-gen-2017 | Cacciagrano, Diletta Romana; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca | Articolo | |
Symbolic verification of event–condition–action rules in intelligent environments | 1-gen-2017 | Vannucchi, Claudia; Diamanti, Michelangelo; Mazzante, Gianmarco; Cacciagrano, Diletta Romana; Culmone, Rosario; Gorogiannis, Nikos; Mostarda, Leonardo; Raimondi, Franco | Articolo | |
vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments | 1-gen-2017 | Vannucchi, Claudia; Diamanti, Michelangelo; Mazzante, Gianmarco; Cacciagrano, Diletta Romana; Corradini, Flavio; Culmone, Rosario; Gorogiannis, Nikos; Mostarda, Leonardo; Raimondi, Franco | Contributo in atto di convegno su volume | |
Energy saving and collision-free motion planning for oblivious robots | 1-gen-2018 | Navarra, A.; Cacciagrano, D. R. | Contributo in atto di convegno su volume | |
Analysis and verification of ECA rules in intelligent environments | 1-gen-2018 | Cacciagrano, Diletta Romana; Corradini, Flavio; Culmone, Rosario; Gorogiannis, Nikos; Mostarda, Leonardo; Raimondi, Franco; Vannucchi, Claudia | Articolo | |
Formal Semantics of an IoT-Specific Language | 1-gen-2018 | Cacciagrano, Diletta Romana; Culmone, Rosario | Contributo in atto di convegno su volume |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile