SPALAZZI, Luca
SPALAZZI, Luca
Dipartimento Ingegneria dell'Informazione
``A Logic of Belief and a Model Checking Algorithm for Security Protocols''
2000-01-01 M., Benerecetti; F., Giunchiglia; Panti, Maurizio; Spalazzi, Luca
`eLearning for Complex System Professionals: Material Knowledge Representation, Retrieval, and Building
2009-01-01 T., Leo; F., Pagliarecci; Spalazzi, Luca
A Business Process Design Framework for B2B Collaboration
2011-01-01 Boaro, Lorenzo; Glorio, Emanuele; Pagliarecci, Francesco; Spalazzi, Luca
A Case-Based Approach to Information Integration
2000-01-01 Panti, Maurizio; Spalazzi, Luca; Giretti, Alberto
A Distributed Case-Based Query Rewriting
2001-01-01 M., Panti; Spalazzi, Luca; L., Penserini
A Dynamic Logic for Acting, Sensing, and Planning
2000-01-01 Spalazzi, Luca; Traverso, P.
A FIPA Compliant Agent Platform for Federated Information Systems
2000-01-01 Panti, Maurizio; Penserini, Loris; Spalazzi, Luca; Valenti, Salvatore
A functional approach to cyber risk assessment
2021-01-01 Rafaiani, Giulia; Battaglioni, Massimo; Baldi, Marco; Chiaraluce, Franco; Libertini, Giovanni; Spalazzi, Luca; Cancellieri, Giovanni
A fuzzy logic system for the home assessment of freezing of gait in subjects with Parkinsons disease
2020-01-01 Pepa, Lucia; Capecci, Marianna; Andrenelli, Elisa; Ciabattoni, Lucio; Spalazzi, Luca; Ceravolo, Maria Gabriella
A Goal-Oriented Framework to cope with Requirements Changes: Tropos & Alan
2008-01-01 F., Pagliarecci; L., Penserini; Spalazzi, Luca
A low-cost telerehabilitation and telemonitoring system for people with Parkinson's disease: the architecture
2022-01-01 Antoniello, Antonia; Sabatelli, Antonio; Valenti, Simone; Di Tillo, Maria; Pepa, Lucia; Spalazzi, Luca; Andrenelli, Elisa; Capecci, Marianna; Ceravolo, Maria Gabriella
A Minimalist Approach to Semantic Annotations for Web Processes Compositions
2006-01-01 M., Pistore; Spalazzi, Luca; P., Traverso
A minimalist approach to semantic annotations for web processes compositions (extended abstract)
2006-01-01 Pistore, Marco; Spalazzi, Luca; Traverso, Paolo
A modular environment for software development and re-engineering
2012-01-01 Salvatore, Campana; Andrea, Poli; Spalazzi, Luca; Spegni, Francesco
A P2P-based Infrastructure for Virtual-Enterprise's Supply-Chain Management
2004-01-01 L., Penserini; M., Panti; Spalazzi, Luca
A Planner in Architectural Design
1991-01-01 Lemma, Massimo; Spalazzi, Luca
A planning language for embedded systems
1999-01-01 Spalazzi, Luca
A Precision Cybersecurity Workflow for Cyber-physical Systems: The IoT Healthcare Use Case
2023-01-01 Spegni, F.; Sabatelli, A.; Merlo, A.; Pepa, L.; Spalazzi, L.; Verderame, L.
A probabilistic small model theorem to assess confidentiality of dispersed cloud storage
2017-01-01 Baldi, Marco; Bartocci, Ezio; Chiaraluce, Franco; Cucchiarelli, Alessandro; Senigagliesi, Linda; Spalazzi, Luca; Spegni, Francesco
A probabilistic small model theorem to assess confidentiality of dispersed cloud storage (extended abstract)
2017-01-01 Baldi, Marco; Bartocci, Ezio; Chiaraluce, Franco; Cucchiarelli, Alessandro; Senigagliesi, Linda; Spalazzi, Luca; Spegni, Francesco
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| ``A Logic of Belief and a Model Checking Algorithm for Security Protocols'' | 1-gen-2000 | M., Benerecetti; F., Giunchiglia; Panti, Maurizio; Spalazzi, Luca | |
| `eLearning for Complex System Professionals: Material Knowledge Representation, Retrieval, and Building | 1-gen-2009 | T., Leo; F., Pagliarecci; Spalazzi, Luca | |
| A Business Process Design Framework for B2B Collaboration | 1-gen-2011 | Boaro, Lorenzo; Glorio, Emanuele; Pagliarecci, Francesco; Spalazzi, Luca | |
| A Case-Based Approach to Information Integration | 1-gen-2000 | Panti, Maurizio; Spalazzi, Luca; Giretti, Alberto | |
| A Distributed Case-Based Query Rewriting | 1-gen-2001 | M., Panti; Spalazzi, Luca; L., Penserini | |
| A Dynamic Logic for Acting, Sensing, and Planning | 1-gen-2000 | Spalazzi, Luca; Traverso, P. | |
| A FIPA Compliant Agent Platform for Federated Information Systems | 1-gen-2000 | Panti, Maurizio; Penserini, Loris; Spalazzi, Luca; Valenti, Salvatore | |
| A functional approach to cyber risk assessment | 1-gen-2021 | Rafaiani, Giulia; Battaglioni, Massimo; Baldi, Marco; Chiaraluce, Franco; Libertini, Giovanni; Spalazzi, Luca; Cancellieri, Giovanni | |
| A fuzzy logic system for the home assessment of freezing of gait in subjects with Parkinsons disease | 1-gen-2020 | Pepa, Lucia; Capecci, Marianna; Andrenelli, Elisa; Ciabattoni, Lucio; Spalazzi, Luca; Ceravolo, Maria Gabriella | |
| A Goal-Oriented Framework to cope with Requirements Changes: Tropos & Alan | 1-gen-2008 | F., Pagliarecci; L., Penserini; Spalazzi, Luca | |
| A low-cost telerehabilitation and telemonitoring system for people with Parkinson's disease: the architecture | 1-gen-2022 | Antoniello, Antonia; Sabatelli, Antonio; Valenti, Simone; Di Tillo, Maria; Pepa, Lucia; Spalazzi, Luca; Andrenelli, Elisa; Capecci, Marianna; Ceravolo, Maria Gabriella | |
| A Minimalist Approach to Semantic Annotations for Web Processes Compositions | 1-gen-2006 | M., Pistore; Spalazzi, Luca; P., Traverso | |
| A minimalist approach to semantic annotations for web processes compositions (extended abstract) | 1-gen-2006 | Pistore, Marco; Spalazzi, Luca; Traverso, Paolo | |
| A modular environment for software development and re-engineering | 1-gen-2012 | Salvatore, Campana; Andrea, Poli; Spalazzi, Luca; Spegni, Francesco | |
| A P2P-based Infrastructure for Virtual-Enterprise's Supply-Chain Management | 1-gen-2004 | L., Penserini; M., Panti; Spalazzi, Luca | |
| A Planner in Architectural Design | 1-gen-1991 | Lemma, Massimo; Spalazzi, Luca | |
| A planning language for embedded systems | 1-gen-1999 | Spalazzi, Luca | |
| A Precision Cybersecurity Workflow for Cyber-physical Systems: The IoT Healthcare Use Case | 1-gen-2023 | Spegni, F.; Sabatelli, A.; Merlo, A.; Pepa, L.; Spalazzi, L.; Verderame, L. | |
| A probabilistic small model theorem to assess confidentiality of dispersed cloud storage | 1-gen-2017 | Baldi, Marco; Bartocci, Ezio; Chiaraluce, Franco; Cucchiarelli, Alessandro; Senigagliesi, Linda; Spalazzi, Luca; Spegni, Francesco | |
| A probabilistic small model theorem to assess confidentiality of dispersed cloud storage (extended abstract) | 1-gen-2017 | Baldi, Marco; Bartocci, Ezio; Chiaraluce, Franco; Cucchiarelli, Alessandro; Senigagliesi, Linda; Spalazzi, Luca; Spegni, Francesco |