CULMONE, Rosario
CULMONE, Rosario
Scuola di Scienze e Tecnologie
A Constrained ECA Language Supporting Formal Verification of WSNs
2015-01-01 Corradini, Flavio; Culmone, Rosario; Mostarda, Leonardo; Tesei, Luca; Franco, Raimondi
A Data Acquisition and Document Oriented Storage Methodology for ANT+ Protocol Sensors in Real-Time Web
2016-01-01 Mehmood, NADEEM QAISAR; Culmone, Rosario
A Flexible and Scalable Architecture for Real-Time ANT+ Sensor Data Acquisition and NoSQL Storage
2016-01-01 Mehmood, NADEEM QAISAR; Culmone, Rosario; Mostarda, Leonardo
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
A mechanism design approach for allocation of commodities
2016-01-01 Bistarelli, Stefano; Culmone, Rosario; Giuliodori, Paolo; Mugnoz, Stefano
A model-prover for constrained dynamic conversations
2008-01-01 Cacciagrano, Diletta Romana; Corradini, Flavio; Culmone, Rosario; Tesei, Luca; Vito, Leonardo
A reactive constrained programming language on supervisioned data
2012-01-01 Culmone, Rosario
AAL domain ontology for event-based human activity recognition
2014-01-01 Culmone, Rosario; Falcioni, Marco; Giuliodori, Paolo; Merelli, Emanuela; Orru', Alessandro; Quadrini, Michela; P., Ciampolini; F., Grossi; G., Matrella
AALISABETH: Home environment cooperating to health assessment
2014-01-01 G., Vespasiania; I., Corradetti; N., Pierantozzi; Culmone, Rosario; Quadrini, Michela; Falcioni, Marco; G., Matrella; I., De Munari; P., Ciampolini
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
Active Database and Mobile Agent in Bioinformatics
2002-01-01 Bonura, D.; Culmone, Rosario; Merelli, Emanuela
AI-Powered Drone to Address Smart City Security Issues
2023-01-01 Salama, R.; Al-Turjman, F.; Culmone, R.
An ANT+ Protocol Based Health Care System
2015-01-01 Mehmood, NADEEM QAISAR; Culmone, Rosario
An intelligent agents architecture for DNA-microarray data integration
2001-01-01 Angeletti, Mauro; Culmone, Rosario; Merelli, Emanuela
An Ontology Driven Software Framework for the Healthcare Applications Based on ANT+ Protocol
2014-01-01 Mehmood, NADEEM QAISAR; Culmone, Rosario; Mostarda, Leonardo
An ontology model for BioAgent
2002-01-01 Culmone, Rosario; Merelli, Emanuela; Rossi, G.
An ontology similarity algorithm for BioAgent
2002-01-01 Merelli, Emanuela; Culmone, Rosario; Rossi, G.
An Ontology-Based Framework for Semantic Data Preprocessing Aimed at Human Activity Recognition
2014-01-01 Culmone, Rosario; Falcioni, Marco; Quadrini, Michela
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
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
A Constrained ECA Language Supporting Formal Verification of WSNs | 1-gen-2015 | Corradini, Flavio; Culmone, Rosario; Mostarda, Leonardo; Tesei, Luca; Franco, Raimondi | Contributo in atto di convegno su volume | |
A Data Acquisition and Document Oriented Storage Methodology for ANT+ Protocol Sensors in Real-Time Web | 1-gen-2016 | Mehmood, NADEEM QAISAR; Culmone, Rosario | Contributo in atto di convegno su volume | |
A Flexible and Scalable Architecture for Real-Time ANT+ Sensor Data Acquisition and NoSQL Storage | 1-gen-2016 | Mehmood, NADEEM QAISAR; Culmone, Rosario; Mostarda, Leonardo | Articolo | |
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 | |
A mechanism design approach for allocation of commodities | 1-gen-2016 | Bistarelli, Stefano; Culmone, Rosario; Giuliodori, Paolo; Mugnoz, Stefano | Contributo in atto di convegno su volume | |
A model-prover for constrained dynamic conversations | 1-gen-2008 | Cacciagrano, Diletta Romana; Corradini, Flavio; Culmone, Rosario; Tesei, Luca; Vito, Leonardo | Contributo in atto di convegno su volume | |
A reactive constrained programming language on supervisioned data | 1-gen-2012 | Culmone, Rosario | Poster atto convegno su volume | |
AAL domain ontology for event-based human activity recognition | 1-gen-2014 | Culmone, Rosario; Falcioni, Marco; Giuliodori, Paolo; Merelli, Emanuela; Orru', Alessandro; Quadrini, Michela; P., Ciampolini; F., Grossi; G., Matrella | Contributo in atto di convegno su volume | |
AALISABETH: Home environment cooperating to health assessment | 1-gen-2014 | G., Vespasiania; I., Corradetti; N., Pierantozzi; Culmone, Rosario; Quadrini, Michela; Falcioni, Marco; G., Matrella; I., De Munari; P., Ciampolini | Abstract atto convegno su rivista | |
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 | |
Active Database and Mobile Agent in Bioinformatics | 1-gen-2002 | Bonura, D.; Culmone, Rosario; Merelli, Emanuela | Altro | |
AI-Powered Drone to Address Smart City Security Issues | 1-gen-2023 | Salama, R.; Al-Turjman, F.; Culmone, R. | Contributo in atto di convegno su volume | |
An ANT+ Protocol Based Health Care System | 1-gen-2015 | Mehmood, NADEEM QAISAR; Culmone, Rosario | Contributo in atto di convegno su volume | |
An intelligent agents architecture for DNA-microarray data integration | 1-gen-2001 | Angeletti, Mauro; Culmone, Rosario; Merelli, Emanuela | Contributo in atto di convegno su volume | |
An Ontology Driven Software Framework for the Healthcare Applications Based on ANT+ Protocol | 1-gen-2014 | Mehmood, NADEEM QAISAR; Culmone, Rosario; Mostarda, Leonardo | Contributo in atto di convegno su volume | |
An ontology model for BioAgent | 1-gen-2002 | Culmone, Rosario; Merelli, Emanuela; Rossi, G. | Altro | |
An ontology similarity algorithm for BioAgent | 1-gen-2002 | Merelli, Emanuela; Culmone, Rosario; Rossi, G. | Altro | |
An Ontology-Based Framework for Semantic Data Preprocessing Aimed at Human Activity Recognition | 1-gen-2014 | Culmone, Rosario; Falcioni, Marco; Quadrini, Michela | 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 |