CORRADINI, Flavio
CORRADINI, Flavio
Scuola di Scienze e Tecnologie
"An agent-oriented conceptual framework for biological systems modelling"
2004-01-01 Cannata, Nicola; Corradini, Flavio; Merelli, Emanuela; Omicini, A.; Ricci, A.
11ᵗʰ Advanced Scientific Programming in Python
2018-01-01 Zito, Tiziano; Buizza, Caterina; Jędrzejewski-Szmek, Zbigniew; Jordan, Jakob; Re, Barbara; Corradini, Flavio
12th Italian Conference on Theoretical Computer Science, September 15-17, 2010
2010-01-01 Anselmo, M.; Calamoneri, T.; Corradini, Flavio; Merelli, Emanuela; Moggi, E.
12ᵗʰ Advanced Scientific Programming in Python
2019-01-01 Zito, Tiziano; Buizza, Caterina; Jędrzejewski-Szmek, Zbigniew; Jordan, Jakob; Schwetlick, Lisa; Re, Barbara; Corradini, Flavio
1st International Conference on Methodologies, Technologies and Tools Enabling e-Government
2007-01-01 Corradini, Flavio; Polzonetti, Alberto
2. Towards Bioinformatics Resourceomes
2009-01-01 Cannata, Nicola; Corradini, Flavio; Merelli, Emanuela; Piersigilli, Francesca; Vito, Leonardo
2nd International Conference on Methodologies, Technologies and Tools Enabling e-Government
2008-01-01 Corradini, Flavio; Polzonetti, Alberto
5th International Conference on Methodologies, Technologies and Tools enabling e-Government
2011-01-01 Corradini, Flavio; Polzonetti, Alberto
`Closed Interval Process Algebra' versus `Interval Process Algebra'
2001-01-01 Corradini, Flavio; Pistore, M.
A BPMN-Based Approach for IoT Systems Engineering
2024-01-01 Corradini, Flavio; Fornari, Fabrizio; Pettinari, Sara; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco
A BPMN-driven framework for Multi-Robot System development
2023-01-01 Corradini, F; Pettinari, S; Re, B; Rossi, L; Tiezzi, F
A Case Study of a Semantic Search Engine for G2G Collaboration based on Intelligent Documents
2008-01-01 Corradini, Flavio; DE ANGELIS, Francesco; Paoloni, Federico; Polzonetti, Alberto; Re, Barbara
A case study of participatory design in E-Government systems: E-service and E-id
2005-01-01 Corradini, Flavio; Polzonetti, Alberto; Ercoli, Chiara; Re, Barbara
A Case Study of Semantic Solutions for Citizen-Centered Web Portals in eGovernment: The Tecut Portal
2007-01-01 Corradini, Flavio; ÁLVAREZ SABUCEDO, L. A.; Polzonetti, Alberto; ANIDO RIFON, L. E.; Re, Barbara
A case study to face intelligent document management and semantic interoperability in regione Marche
2006-01-01 Polzonetti, Alberto; Corradini, Flavio; Re, Barbara
A characterization of regular expressions under bisimulation
2007-01-01 J. C. M., Baeten; Corradini, Flavio; C. A., Grabmayer
A Choreography-Driven Approach for Blockchain-Based IoT Applications
2022-01-01 Corradini, Flavio; Marcelletti, Alessandro; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Tiezzi, Francesco
A Classification of BPMN Collaborations based on Safeness and Soundness Notions
2018-01-01 Corradini, Flavio; Muzi, Chiara; Re, Barbara; Tiezzi, Francesco
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 Constrained ECA Language Supporting Formal Verification of WSNs
2015-01-01 Corradini, Flavio; Culmone, Rosario; Mostarda, Leonardo; Tesei, Luca; Franco, Raimondi
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
"An agent-oriented conceptual framework for biological systems modelling" | 1-gen-2004 | Cannata, Nicola; Corradini, Flavio; Merelli, Emanuela; Omicini, A.; Ricci, A. | Altro | |
11ᵗʰ Advanced Scientific Programming in Python | 1-gen-2018 | Zito, Tiziano; Buizza, Caterina; Jędrzejewski-Szmek, Zbigniew; Jordan, Jakob; Re, Barbara; Corradini, Flavio | ORGANIZZAZIONE DI EVENTI | |
12th Italian Conference on Theoretical Computer Science, September 15-17, 2010 | 1-gen-2010 | Anselmo, M.; Calamoneri, T.; Corradini, Flavio; Merelli, Emanuela; Moggi, E. | ORGANIZZAZIONE DI EVENTI | |
12ᵗʰ Advanced Scientific Programming in Python | 1-gen-2019 | Zito, Tiziano; Buizza, Caterina; Jędrzejewski-Szmek, Zbigniew; Jordan, Jakob; Schwetlick, Lisa; Re, Barbara; Corradini, Flavio | ORGANIZZAZIONE DI EVENTI | |
1st International Conference on Methodologies, Technologies and Tools Enabling e-Government | 1-gen-2007 | Corradini, Flavio; Polzonetti, Alberto | ORGANIZZAZIONE DI EVENTI | |
2. Towards Bioinformatics Resourceomes | 1-gen-2009 | Cannata, Nicola; Corradini, Flavio; Merelli, Emanuela; Piersigilli, Francesca; Vito, Leonardo | Capitolo di libro o voce di enciclopedia | |
2nd International Conference on Methodologies, Technologies and Tools Enabling e-Government | 1-gen-2008 | Corradini, Flavio; Polzonetti, Alberto | ORGANIZZAZIONE DI EVENTI | |
5th International Conference on Methodologies, Technologies and Tools enabling e-Government | 1-gen-2011 | Corradini, Flavio; Polzonetti, Alberto | Cura di atti, volumi e cataloghi | |
`Closed Interval Process Algebra' versus `Interval Process Algebra' | 1-gen-2001 | Corradini, Flavio; Pistore, M. | Articolo | |
A BPMN-Based Approach for IoT Systems Engineering | 1-gen-2024 | Corradini, Flavio; Fornari, Fabrizio; Pettinari, Sara; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia | |
A BPMN-driven framework for Multi-Robot System development | 1-gen-2023 | Corradini, F; Pettinari, S; Re, B; Rossi, L; Tiezzi, F | Articolo | |
A Case Study of a Semantic Search Engine for G2G Collaboration based on Intelligent Documents | 1-gen-2008 | Corradini, Flavio; DE ANGELIS, Francesco; Paoloni, Federico; Polzonetti, Alberto; Re, Barbara | Contributo in atto di convegno su volume | |
A case study of participatory design in E-Government systems: E-service and E-id | 1-gen-2005 | Corradini, Flavio; Polzonetti, Alberto; Ercoli, Chiara; Re, Barbara | Contributo in atto di convegno su volume | |
A Case Study of Semantic Solutions for Citizen-Centered Web Portals in eGovernment: The Tecut Portal | 1-gen-2007 | Corradini, Flavio; ÁLVAREZ SABUCEDO, L. A.; Polzonetti, Alberto; ANIDO RIFON, L. E.; Re, Barbara | Contributo in atto di convegno su volume | |
A case study to face intelligent document management and semantic interoperability in regione Marche | 1-gen-2006 | Polzonetti, Alberto; Corradini, Flavio; Re, Barbara | Contributo in atto di convegno su volume | |
A characterization of regular expressions under bisimulation | 1-gen-2007 | J. C. M., Baeten; Corradini, Flavio; C. A., Grabmayer | Articolo | |
A Choreography-Driven Approach for Blockchain-Based IoT Applications | 1-gen-2022 | Corradini, Flavio; Marcelletti, Alessandro; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Tiezzi, Francesco | Contributo in atto di convegno su volume | |
A Classification of BPMN Collaborations based on Safeness and Soundness Notions | 1-gen-2018 | Corradini, Flavio; Muzi, Chiara; Re, Barbara; Tiezzi, Francesco | 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 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 |