


Остановите войну!
for scientists:
Flavio Corradini
Flávio Corradini
Person information

Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
- [j69]Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi
, Francesco Tiezzi:
Formalising and animating multiple instances in BPMN collaborations. Inf. Syst. 103: 101459 (2022) - [j68]Flavio Corradini, Chiara Muzi, Barbara Re
, Lorenzo Rossi
, Francesco Tiezzi:
BPMN 2.0 OR-Join Semantics: Global and local characterisation. Inf. Syst. 105: 101934 (2022) - [c114]Flavio Corradini, Leonardo Mostarda, Emanuele Scala:
ZeroMT: Multi-transfer Protocol for Enabling Privacy in Off-Chain Payments. AINA (2) 2022: 611-623 - [c113]Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi:
A Choreography-Driven Approach for Blockchain-Based IoT Applications. PerCom Workshops 2022: 255-260 - [c112]Flavio Corradini, Arianna Fedeli, Fabrizio Fornari, Andrea Polini, Barbara Re:
X-IoT: a model-driven approach for cross-platform IoT applications development. SAC 2022: 1448-1451 - [i11]Sajjad Ahmed, Knut Hinkelmann, Flavio Corradini:
Development of Fake News Model using Machine Learning through Natural Language Processing. CoRR abs/2201.07489 (2022) - [i10]Sajjad Ahmed, Knut Hinkelmann, Flavio Corradini:
Combining Machine Learning with Knowledge Engineering to detect Fake News in Social Networks-a survey. CoRR abs/2201.08032 (2022) - [i9]Flavio Corradini, Michele Loreti, Marco Piangerelli, Giacomo Rocchetti:
REPTILE: A Proactive Real-Time Deep Reinforcement Learning Self-adaptive Framework. CoRR abs/2203.14686 (2022) - 2021
- [j67]Flavio Corradini, Andrea Morichetta, Chiara Muzi, Barbara Re
, Francesco Tiezzi:
Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations. J. Log. Algebraic Methods Program. 119: 100630 (2021) - [j66]Flavio Corradini, Fabrizio Fornari
, Andrea Polini
, Barbara Re
, Francesco Tiezzi
, Andrea Vandin
:
A formal approach for the analysis of BPMN collaboration models. J. Syst. Softw. 180: 111007 (2021) - [c111]Diletta Cacciagrano, Flavio Corradini, Gianmarco Mazzante, Leonardo Mostarda, Davide Sestili:
Off-Chain Execution of IoT Smart Contracts. AINA (2) 2021: 608-619 - [c110]Ivan Compagnucci
, Flavio Corradini
, Fabrizio Fornari
, Barbara Re
:
Trends on the Usage of BPMN 2.0 from Publicly Available Repositories. BIR 2021: 84-99 - [c109]Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi:
RePROSitory: a Repository platform for sharing business PROcess models and logS. ITBPM@BPM 2021: 13-18 - [c108]Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi:
ChorChain: A model-driven framework for choreography-based systems using blockchain. ITBPM@BPM 2021: 26-32 - [c107]Flavio Corradini
, Arianna Fedeli
, Fabrizio Fornari
, Andrea Polini
, Barbara Re
:
FloWare: An Approach for IoT Support and Application Development. BPMDS/EMMSAD@CAiSE 2021: 350-365 - [c106]Flavio Corradini, Caterina Luciani, Andrea Morichetta, Marco Piangerelli, Andrea Polini:
TLV-dissγ : A Dissimilarity Measure for Public Administration Process Logs. EGOV 2021: 301-314 - [c105]Khalid Burr, Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Francesco Tiezzi:
Disciplined use of BPMN for mission modeling of Multi-Robot Systems. PoEM (Forum) 2021: 1-10 - [c104]Flavio Corradini, Caterina Luciani, Andrea Morichetta, Andrea Polini:
Process Variance Analysis and Configuration in the Public Administration Sector. RTA-CSIT 2021: 103-112 - 2020
- [j65]Diletta Cacciagrano, Flavio Corradini, Matteo Micheletti, Leonardo Mostarda:
Applying REECHD to non-uniformly distributed heterogeneous devices. Int. J. Grid Util. Comput. 11(5): 629-645 (2020) - [j64]Flavio Corradini, Francesco De Angelis
, Andrea Polini, Carlo Castagnari, Jacopo de Berardinis
, Giorgio Forcina:
Tangramob: An Agent-Based Simulation Framework for Validating Urban Smart Mobility Solutions. J. Intell. Syst. 29(1): 1188-1201 (2020) - [j63]Flavio Corradini, Andrea Morichetta
, Andrea Polini, Barbara Re, Lorenzo Rossi
, Francesco Tiezzi:
Correctness checking for BPMN collaborations with sub-processes. J. Syst. Softw. 166: 110594 (2020) - [j62]Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi:
Collaboration vs. choreography conformance in BPMN. Log. Methods Comput. Sci. 16(4) (2020) - [c103]Ivan Compagnucci
, Flavio Corradini, Fabrizio Fornari
, Andrea Polini, Barbara Re, Francesco Tiezzi:
Modelling Notations for IoT-Aware Business Processes: A Systematic Literature Review. Business Process Management Workshops 2020: 108-121 - [c102]Flávio Corradini, Alessandro Marcelletti, Andrea Morichetta
, Andrea Polini, Barbara Re, Francesco Tiezzi:
Engineering trustable choreography-based systems using blockchain. SAC 2020: 1470-1479 - [i8]Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi:
Collaboration vs. choreography conformance in BPMN. CoRR abs/2002.04396 (2020)
2010 – 2019
- 2019
- [c101]Knut Hinkelmann, Sajjad Ahmed, Flavio Corradini:
Combining Machine Learning with Knowledge Engineering to detect Fake News in Social Networks - A Survey. AAAI Spring Symposium: Combining Machine Learning with Knowledge Engineering 2019 - [c100]Flavio Corradini, Andrea Morichetta, Barbara Re, Francesco Tiezzi:
Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies. The Art of Modelling Computational Systems 2019: 163-181 - [c99]Flavio Corradini, Fausto Marcantoni, Andrea Morichetta, Andrea Polini, Barbara Re, Massimiliano Sampaolo:
Enabling Auditing of Smart Contracts Through Process Mining. From Software Engineering to Formal Methods and Tools, and Back 2019: 467-480 - [c98]Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi:
RePROSitory: a Repository Platform for Sharing Business PROcess modelS. BPM (PhD/Demos) 2019: 149-153 - [c97]Basit Mubeen Abdul, Flavio Corradini, Barbara Re, Lorenzo Rossi
, Francesco Tiezzi:
UBBA: Unity Based BPMN Animator. CAiSE Forum 2019: 1-9 - [e5]Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese:
Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 11665, Springer 2019, ISBN 978-3-030-21484-5 [contents] - 2018
- [j61]Flavio Corradini, Alessio Ferrari
, Fabrizio Fornari
, Stefania Gnesi, Andrea Polini, Barbara Re, Giorgio Oronzo Spagnolo
:
A Guidelines framework for understandable BPMN models. Data Knowl. Eng. 113: 129-154 (2018) - [j60]Riccardo Cognini, Flavio Corradini, Stefania Gnesi, Andrea Polini, Barbara Re:
Business process flexibility - a systematic literature review with a software systems perspective. Inf. Syst. Frontiers 20(2): 343-371 (2018) - [j59]Diletta Romana Cacciagrano
, Flavio Corradini, Rosario Culmone
, Nikos Gorogiannis, Leonardo Mostarda, Franco Raimondi, Claudia Vannucchi:
Analysis and verification of ECA rules in intelligent environments. J. Ambient Intell. Smart Environ. 10(3): 261-273 (2018) - [j58]Flavio Corradini, Fabrizio Fornari
, Andrea Polini, Barbara Re
, Francesco Tiezzi:
A formal approach to modeling and verification of business process collaborations. Sci. Comput. Program. 166: 35-70 (2018) - [c96]Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi
, Francesco Tiezzi:
Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support. BPM 2018: 83-101 - [c95]Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi:
MIDA: Multiple Instances and Data Animator. BPM (Dissertation/Demos/Industry) 2018: 86-90 - [c94]Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi:
Collaboration vs. Choreography Conformance in BPMN 2.0: From Theory to Practice. EDOC 2018: 95-104 - [c93]Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi
, Francesco Tiezzi:
Global vs. Local Semantics of BPMN 2.0 OR-Join. SOFSEM 2018: 321-336 - [i7]Flavio Corradini, Lucio Forastieri, Alberto Polzonetti, Oliviero Riganelli, Andrea Sergiacomi:
Shared Services Center for E-Government Policy. CoRR abs/1802.07982 (2018) - [i6]Flavio Corradini, Alberto Polzonetti, Oliviero Riganelli:
Business Rules in e-Government Applications. CoRR abs/1802.08484 (2018) - [i5]Carlo Castagnari, Flavio Corradini, Francesco De Angelis, Jacopo de Berardinis, Giorgio Forcina, Andrea Polini:
Tangramob: an agent-based simulation framework for validating urban smart mobility solutions. CoRR abs/1805.10906 (2018) - [i4]Flavio Corradini, Chiara Muzi, Barbara Re, Francesco Tiezzi:
A Classification of BPMN Collaborations based on Safeness and Soundness Notions. CoRR abs/1809.06178 (2018) - 2017
- [j57]Flavio Corradini, Francesco De Angelis, Barbara Re, Emiliano Anceschi, Massimo Callisto De Donato, Paolo Iddas:
Private assisted house for smart living. J. Ambient Intell. Smart Environ. 9(6): 725-741 (2017) - [j56]Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei:
Uniformity in Multiscale Models: From Complex Automata to BioShape. J. Cell. Autom. 12(5): 333-359 (2017) - [c92]Flavio Corradini, Fabrizio Fornari
, Chiara Muzi, Andrea Polini, Barbara Re, Francesco Tiezzi:
On Avoiding Erroneous Synchronization in BPMN Processes. BIS 2017: 106-119 - [c91]Flavio Corradini, Andrea Polini, Barbara Re, Lorenzo Rossi
, Francesco Tiezzi:
Supporting Multi-layer Modeling in BPMN Collaborations. EOMAS@CAiSE 2017: 53-67 - [c90]Claudia Vannucchi, Michelangelo Diamanti, Gianmarco Mazzante, Diletta Romana Cacciagrano
, Flavio Corradini, Rosario Culmone
, Nikos Gorogiannis, Leonardo Mostarda, Franco Raimondi:
vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments. Intelligent Environments 2017: 92-99 - [c89]Flavio Corradini, Fabrizio Fornari
, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin
:
BProVe: a formal verification framework for business process models. ASE 2017: 217-228 - [c88]Flavio Corradini, Fabrizio Fornari
, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin
:
BProVe: tool support for business process verification. ASE 2017: 937-942 - 2016
- [j55]Marco Bernardo
, Flavio Corradini, Luca Tesei
:
Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions. Theor. Comput. Sci. 629: 2-39 (2016) - [c87]Zaib Ullah, Leonardo Mostarda, Roberto Gagliardi, Diletta Cacciagrano
, Flavio Corradini:
A Comparison of HEED Based Clustering Algorithms - Introducing ER-HEED. AINA 2016: 339-345 - [c86]Flavio Corradini, Francesco De Angelis, Andrea Polini, Samuele Sabbatini:
A Pattern for Enabling Multitenancy in Legacy Application. CLOSER (2) 2016: 257-264 - [c85]Claudia Vannucchi, Diletta Romana Cacciagrano, Flavio Corradini, Rosario Culmone
, Leonardo Mostarda, Franco Raimondi, Luca Tesei:
A Formal Model for Event-Condition-Action Rules in Intelligent Environments. Intelligent Environments (Workshops) 2016: 56-65 - [c84]Flavio Corradini, Barbara Re:
The European Digital Agenda and the Impact of ICT on Public Administrations and Small and Medium Enterprises. RTA-CSIT 2016: 11-16 - [c83]Flavio Corradini, Francesco De Angelis, Daniele Fanì, Andrea Polini:
An Overview of Service-Oriented Computing Challenges and Issues. WEBIST (1) 2016: 231-238 - [p2]Riccardo Cognini, Flavio Corradini, Andrea Polini, Barbara Re:
Business Process Feature Model: An Approach to Deal with Variability of Business Processes. Domain-Specific Conceptual Modeling 2016: 171-194 - 2015
- [j54]Gerald Lüttgen, Flavio Corradini:
Special issue on "Comprehending asynchrony in specification and analysis" dedicated to Walter Vogler on the occasion of his 60th birthday. Acta Informatica 52(2-3): 107-108 (2015) - [j53]Flavio Corradini, Andrea Polini, Barbara Re:
Inter-organizational business process verification in public administration. Bus. Process. Manag. J. 21(5): 1040-1065 (2015) - [c82]Flavio Corradini, Rosario Culmone
, Leonardo Mostarda, Luca Tesei
, Franco Raimondi:
A Constrained ECA Language Supporting Formal Verification of WSNs. AINA Workshops 2015: 187-192 - [c81]Riccardo Cognini, Flavio Corradini, Andrea Polini, Barbara Re:
Extending Feature Models to Express Variability in Business Process Models. CAiSE Workshops 2015: 245-256 - [c80]Flavio Corradini, Francesco De Angelis, Andrea Polini, Samuele Sabbatini:
Cloud Readiness Assessment of Legacy Application. CLOSER 2015: 119-126 - [c79]Flavio Corradini, Francesco De Angelis, Fabrizio Ippoliti, Fausto Marcantoni:
A Survey of Trust Management Models for Cloud Computing. CLOSER 2015: 155-162 - [c78]Riccardo Cognini, Flavio Corradini, Andrea Polini, Barbara Re:
Process Variability Modeling for Complex Organizations. ES 2015: 9-20 - [c77]Flavio Corradini, Andrea Polini, Barbara Re, Francesco Tiezzi:
An Operational Semantics of BPMN Collaboration. FACS 2015: 161-180 - [c76]Flavio Corradini, Francesco De Angelis, Barbara Re, Emiliano Anceschi, Massimo Callisto De Donato, Paolo Iddas:
An Integration Platform for Private Assisted Houses. ICT4AgeingWell 2015: 45-52 - [c75]Flavio Corradini, Francesco De Angelis, Daniele Fanì, Andrea Polini:
A Flexible Architecture to Monitor Dynamic Web Services Composition. WEBIST 2015: 64-72 - 2014
- [c74]Riccardo Cognini, Flavio Corradini, Andrea Polini, Barbara Re
:
Using Data-Object Flow Relations to Derive Control Flow Variants in Configurable Business Processes. Business Process Management Workshops 2014: 210-221 - [c73]Riccardo Cognini, Flavio Corradini, Andrea Polini, Barbara Re:
Modelling Process Intensive Scenarios for the Smart City. EGOV 2014: 147-158 - [c72]Marco Bernardo, Flavio Corradini, Luca Tesei:
Timed process calculi: from durationless actions to durational ones. ICTCS 2014: 21-32 - [c71]Riccardo Cognini, Flavio Corradini, Alberto Polzonetti, Barbara Re:
Five factors that make pervasive business intelligence a winning wager. IEEM 2014: 617-621 - [c70]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
, Diletta Cacciagrano
, Flavio Corradini, Rosario Culmone
, Francesco De Angelis, Emanuela Merelli
, Barbara Re
:
Interoperability issues among smart home technological frameworks. MESA 2014: 1-7 - [c69]Riccardo Cognini, Flavio Corradini, Stefania Gnesi
, Andrea Polini, Barbara Re
:
Research challenges in business process adaptability. SAC 2014: 1049-1054 - 2012
- [j52]Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli
, Luca Tesei
:
Towards Abstraction-Based Verification of Shape Calculus. Electron. Notes Theor. Comput. Sci. 284: 23-34 (2012) - [c68]Serenella Carota, Flavio Corradini, Damiano Falcioni, Maria Laura Maggiulli, Fausto Marcantoni, Roberto Piangerelli, Alberto Polzonetti, Barbara Re
, Andrea Sergiacomi:
FedCohesion: Federated Identity Management in the Marche Region. EGOVIS/EDEM 2012: 112-124 - [c67]Federico Buti, Flavio Corradini, Emanuela Merelli, Luca Tesei:
A Geometrical Refinement of Shape Calculus Enabling Direct Simulation. SIMULTECH 2012: 218-227 - 2011
- [j51]Federico Buti, Diletta Cacciagrano
, Flavio Corradini, Emanuela Merelli
, Luca Tesei
:
A Uniform Multiscale Meta-model of BioShape. Electron. Notes Theor. Comput. Sci. 277: 15-27 (2011) - [c66]Federico Buti, Diletta Cacciagrano
, Massimo Callisto De Donato, Flavio Corradini, Emanuela Merelli
, Luca Tesei
:
BIOSHAPE\textsc{BioShape}: End-User Development for Simulating Biological Systems. IS-EUD 2011: 379-382 - [c65]Flavio Corradini, Maria Rita Di Berardini, Walter Vogler:
Read Operators and their Expressiveness in Process Algebras. EXPRESS 2011: 31-43 - [c64]Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Walter Vogler:
Automated Analysis of MUTEX Algorithms with FASE. GandALF 2011: 45-59 - [i3]Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Walter Vogler:
Evaluating the Efficiency of Asynchronous Systems with FASE. CoRR abs/1105.1369 (2011) - [i2]Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Emanuela Merelli, Luca Tesei:
Multiscale Modelling: A Mobile Membrane Approach. CoRR abs/1108.3434 (2011) - [i1]Flavio Corradini, Emanuela Merelli, Diletta Romana Cacciagrano, Rosario Culmone, Luca Tesei, Leonardo Vito:
ACTIVAge: proACTIVe and Self-Adaptive Social Sensor Network for Ageing People. ERCIM News 2011(87) (2011) - 2010
- [b1]Alessandro Aldini
, Marco Bernardo
, Flavio Corradini:
A Process Algebraic Approach to Software Architecture Design. Springer 2010, ISBN 978-1-84800-222-7, pp. I-XV, 1-304 - [j50]Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei:
Shape Calculus. A Spatial Mobile Calculus for 3D Shapes. Sci. Ann. Comput. Sci. 20: 1-31 (2010) - [j49]Federico Buti, Diletta Cacciagrano
, Flavio Corradini, Emanuela Merelli
, Luca Tesei
, M. Pani:
Bone Remodelling in BioShape. Electron. Notes Theor. Comput. Sci. 268: 17-29 (2010) - [j48]Luis Álvarez Sabucedo
, Luis E. Anido-Rifón
, Flavio Corradini, Alberto Polzonetti, Barbara Re
:
Knowledge-based platform for eGovernment agents: A Web-based solution using semantic technologies. Expert Syst. Appl. 37(5): 3647-3656 (2010) - [j47]Flavio Corradini, Andrea Polini, Alberto Polzonetti, Barbara Re
:
Business Processes Verification for e-Government Service Delivery. Inf. Syst. Manag. 27(4): 293-308 (2010) - [j46]Luis E. Anido-Rifón, Flavio Corradini:
Methodologies, Technologies and Tools Enabling e-Government. J. Univers. Comput. Sci. 16(8): 1055 (2010) - [j45]Ezio Bartocci
, Flavio Corradini, Emanuela Merelli
, Luca Tesei
:
Detecting synchronisation of biological oscillators by model checking. Theor. Comput. Sci. 411(20): 1999-2018 (2010) - [c63]Diletta Cacciagrano
, Flavio Corradini, Emanuela Merelli
:
Bone Remodelling: A Complex Automata-Based Model Running in BioShape. ACRI 2010: 116-127 - [c62]Flavio Corradini, Damiano Falcioni, Andrea Polini, Alberto Polzonetti, Barbara Re
:
Designing Quality Business Processes for E-Government Digital Services. EGOV 2010: 424-435 - [c61]Federico Buti, Flavio Corradini, Emanuela Merelli, Elio Paschini, Pierluigi Penna
, Luca Tesei:
An Individual-based Probabilistic Model for Fish Stock Simulation. AMCA-POP 2010: 37-55 - [c60]Diletta Cacciagrano
, Flavio Corradini, Emanuela Merelli, Luca Tesei
:
Multiscale Bone Remodelling with Spatial P Systems. MeCBIC 2010: 70-84 - [c59]Federico Buti, Diletta Cacciagrano
, Flavio Corradini, Emanuela Merelli
, Luca Tesei
:
BioShape: a spatial shape-based scale-independent simulation environment for biological systems. ICCS 2010: 827-835
2000 – 2009
- 2009
- [j44]Flavio Corradini, Maria Rita Di Berardini, Walter Vogler:
Liveness of a mutex algorithm in a fair process algebra. Acta Informatica 46(3): 209-235 (2009) - [j43]Radu Grosu, Scott A. Smolka, Flavio Corradini, Anita Wasilewska, Emilia Entcheva, Ezio Bartocci
:
Learning and detecting emergent behavior in networks of cardiac myocytes. Commun. ACM 52(3): 97-105 (2009) - [j42]Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi:
Explicit fairness in testing semantics. Log. Methods Comput. Sci. 5(2) (2009) - [j41]Ezio Bartocci
, Flavio Corradini, Emanuela Merelli
, Luca Tesei
:
Model Checking Biological Oscillators. Electron. Notes Theor. Comput. Sci. 229(1): 41-58 (2009) - [j40]Ezio Bartocci
, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Scott A. Smolka, Radu Grosu:
Modeling and simulation of cardiac tissue using hybrid I/O automata. Theor. Comput. Sci. 410(33-34): 3149-3165 (2009) - [c58]Flavio Corradini, Alberto Polzonetti, Oliviero Riganelli:
Online Public Service Delivery. CSREA EE 2009: 319-318 - [c57]Flavio Corradini, Emanuela Merelli, Alberto Polzonetti, Barbara Re, Leonardo Vito:
Resourceome for e-Government: Semantic Web Tool for Managing PA Resources. CSREA EE 2009: 354-356 - [c56]Flavio Corradini, Alberto Polzonetti, Oliviero Riganelli
:
Holistic development of online public services. ICEGOV 2009: 227-234 - [c55]Diletta Cacciagrano
, Flavio Corradini, Rosario Culmone
, Leonardo Vito:
Constraint-Based Dynamic Conversations. ICNS 2009: 7-12 - [c54]Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei:
A Shape Calculus for Biological Processes. ICTCS 2009: 30-33 - [c53]Flavio Corradini, Maria Rita Di Berardini, Walter Vogler:
Time and Fairness in a Process Algebra with Non-blocking Reading. SOFSEM 2009: 193-204 - [p1]Nicola Cannata, Flavio Corradini, Emanuela Merelli
, Francesca Piersigilli, Leonardo Vito:
Towards Bioinformatics Resourceomes. Biomedical Data and Applications 2009: 13-36 - 2008
- [j39]Ezio Bartocci
, Flavio Corradini, Emilia Entcheva, Radu Grosu, Scott A. Smolka:
CellExcite: an efficient simulation environment for excitable cells. BMC Bioinform. 9(S-2) (2008) - [j38]Ezio Bartocci
, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Radu Grosu, Scott A. Smolka:
Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue. Electron. Notes Theor. Comput. Sci. 194(3): 51-67 (2008) - [j37]Flavio Corradini, Alberto Polzonetti, Barbara Re
, Luca Tesei
:
Quality of service in e-government underlines the role of information usability. Int. J. Inf. Qual. 2(2): 133-151 (2008) - [j36]Nicola Cannata, Flavio Corradini, Emanuela Merelli
:
Multiagent modelling and simulation of carbohydrate oxidation in cell. Int. J. Model. Identif. Control. 3(1): 17-28 (2008) - [j35]Flavio Corradini, Carlo Toffalori:
Preface to Special Issue devoted to the memory of Sauro Tulipani. Math. Struct. Comput. Sci. 18(1): 1-4 (2008) - [c52]Ezio Bartocci
, Flavio Corradini, Radu Grosu, Emanuela Merelli
, Oliviero Riganelli
, Scott A. Smolka:
StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes. Concurrency, Graphs and Models 2008: 493-502 - [c51]Flavio Corradini, Francesco De Angelis, Andrea Polini, Alberto Polzonetti:
Improving Trust in Composite eServices Via Run-Time Participants Testing. EGOV 2008: 279-290 - [c50]Radu Grosu, Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Scott A. Smolka, Anita Wasilewska:
Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes. HSCC 2008: 229-243 - [c49]Flavio Corradini, Francesco De Angelis, Andrea Polini, Alberto Polzonetti:
A participant testing strategy for service orchestrations. ICDIM 2008: 308-313