Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFlavio 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
- 2023
[j67]Flavio Corradini, Sara Pettinari
, Barbara Re, Lorenzo Rossi, Francesco Tiezzi:
A BPMN-driven framework for Multi-Robot System development. Robotics Auton. Syst. 160: 104322 (2023)- [j66]Flavio Corradini, Arianna Fedeli, Fabrizio Fornari, Andrea Polini, Barbara Re:
FloWare: a model-driven approach fostering reuse and customisation in IoT applications modelling and development. Softw. Syst. Model. 22(1): 131-158 (2023) - [j65]Ivan Compagnucci, Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi:
A systematic literature review on IoT-aware business process modeling views, requirements and notations. Softw. Syst. Model. 22(3): 969-1004 (2023) - [c131]Diletta Cacciagrano, Flavio Corradini, Marco Piangerelli:
Sensorless Predictive Maintenance: An Example on a 'Not 4.0' Coffee Machine Production Process. AINA (3) 2023: 311-320 - [c130]Emanuele Scala, Changyu Dong, Flavio Corradini, Leonardo Mostarda:
Zero-Knowledge Multi-transfer Based on Range Proofs and Homomorphic Encryption. AINA (2) 2023: 461-472 - 2022
- [j64]Flavio Corradini, Andrea Polini, Barbara Re, Lorenzo Rossi, Francesco Tiezzi:
Consistent modelling of hierarchical BPMN collaborations. Bus. Process. Manag. J. 28(2): 442-460 (2022) - [j63]Fabio Pagnotta, Leonardo Mostarda, Orhan Gemikonakli, Rosario Culmone, Diletta Romana Cacciagrano, Flavio Corradini:
NARUN: noise adaptive routing for utility networks. Int. J. Web Grid Serv. 18(4): 384-410 (2022) - [j62]Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi:
Formalising and animating multiple instances in BPMN collaborations. Inf. Syst. 103: 101459 (2022) - [j61]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) - [j60]Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi:
Engineering Trustable and Auditable Choreography-based Systems Using Blockchain. ACM Trans. Manag. Inf. Syst. 13(3): 31:1-31:53 (2022) - [c129]Flavio Corradini, Leonardo Mostarda, Emanuele Scala:
ZeroMT: Multi-transfer Protocol for Enabling Privacy in Off-Chain Payments. AINA (2) 2022: 611-623 - [c128]Alessandro Antinori, Riccardo Coltrinari, Flavio Corradini, Fabrizio Fornari, Barbara Re, Marco Scarpetta:
BPMN-Redrawer: From Images to BPMN Models. BPM (PhD/Demos) 2022: 107-111 - [c127]Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi:
ChorChain: A Blockchain-Based Framework for Executing and Auditing BPMN Choreographies. BPM (PhD/Demos) 2022: 132-136 - [c126]Flavio Corradini, Barbara Re, Lorenzo Rossi, Francesco Tiezzi:
A Technique for Collaboration Discovery. BPMDS/EMMSAD@CAiSE 2022: 63-78 - [c125]Flavio Corradini, Arianna Fedeli, Andrea Polini, Barbara Re:
Towards a Digital Twin Modelling Notation. DASC/PiCom/CBDCom/CyberSciTech 2022: 1-6 - [c124]Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Francesco Tiezzi:
An Approach to Support Digital Process Twin. DASC/PiCom/CBDCom/CyberSciTech 2022: 1-4 - [c123]Flavio Corradini, Arianna Fedeli, Fabrizio Fornari, Andrea Polini, Barbara Re:
DTMN a Modelling Notation for Digital Twins. EDOC Workshops 2022: 63-78 - [c122]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 - [c121]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 - [c120]Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi:
Flexible execution of multi-party business processes on blockchain. WETSEB@ICSE 2022: 25-32 - [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
- [j59]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) - [j58]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) - [c119]Diletta Cacciagrano, Flavio Corradini, Gianmarco Mazzante, Leonardo Mostarda, Davide Sestili:
Off-Chain Execution of IoT Smart Contracts. AINA (2) 2021: 608-619 - [c118]Ivan Compagnucci, Flavio Corradini, Fabrizio Fornari, Barbara Re:
Trends on the Usage of BPMN 2.0 from Publicly Available Repositories. BIR 2021: 84-99 - [c117]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 - [c116]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 - [c115]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 - [c114]Flavio Corradini, Caterina Luciani, Andrea Morichetta, Marco Piangerelli, Andrea Polini:
TLV-dissγ : A Dissimilarity Measure for Public Administration Process Logs. EGOV 2021: 301-314 - [c113]Khalid Bourr, 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 - [c112]Flavio Corradini, Caterina Luciani, Andrea Morichetta, Andrea Polini:
Process Variance Analysis and Configuration in the Public Administration Sector. RTA-CSIT 2021: 103-112 - 2020
- [j57]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) - [j56]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) - [j55]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) - [j54]Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi:
Collaboration vs. choreography conformance in BPMN. Log. Methods Comput. Sci. 16(4) (2020) - [c111]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 - [c110]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
- [c109]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 - [c108]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 - [c107]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 - [c106]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 - [c105]Basit Mubeen Abdul, Flavio Corradini, Barbara Re, Lorenzo Rossi, Francesco Tiezzi:
UBBA: Unity Based BPMN Animator. CAiSE Forum 2019: 1-9 - [e8]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
- [j53]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) - [j52]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) - [j51]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) - [j50]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) - [c104]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 - [c103]Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi:
MIDA: Multiple Instances and Data Animator. BPM (Dissertation/Demos/Industry) 2018: 86-90 - [c102]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 - [c101]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
- [j49]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) - [j48]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) - [c100]Flavio Corradini, Fabrizio Fornari, Chiara Muzi, Andrea Polini, Barbara Re, Francesco Tiezzi:
On Avoiding Erroneous Synchronization in BPMN Processes. BIS 2017: 106-119 - [c99]Flavio Corradini, Andrea Polini, Barbara Re, Lorenzo Rossi, Francesco Tiezzi:
Supporting Multi-layer Modeling in BPMN Collaborations. EOMAS@CAiSE 2017: 53-67 - [c98]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 - [c97]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 - [c96]Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin:
BProVe: tool support for business process verification. ASE 2017: 937-942 - 2016
- [j47]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) - [c95]Zaib Ullah, Leonardo Mostarda, Roberto Gagliardi, Diletta Cacciagrano, Flavio Corradini:
A Comparison of HEED Based Clustering Algorithms - Introducing ER-HEED. AINA 2016: 339-345 - [c94]Flavio Corradini, Francesco De Angelis, Andrea Polini, Samuele Sabbatini:
A Pattern for Enabling Multitenancy in Legacy Application. CLOSER (2) 2016: 257-264 - [c93]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 - [c92]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 - [c91]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
- [j46]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) - [j45]Flavio Corradini, Andrea Polini, Barbara Re:
Inter-organizational business process verification in public administration. Bus. Process. Manag. J. 21(5): 1040-1065 (2015) - [c90]Flavio Corradini, Rosario Culmone, Leonardo Mostarda, Luca Tesei, Franco Raimondi:
A Constrained ECA Language Supporting Formal Verification of WSNs. AINA Workshops 2015: 187-192 - [c89]Riccardo Cognini, Flavio Corradini, Andrea Polini, Barbara Re:
Extending Feature Models to Express Variability in Business Process Models. CAiSE Workshops 2015: 245-256 - [c88]Flavio Corradini, Francesco De Angelis, Andrea Polini, Samuele Sabbatini:
Cloud Readiness Assessment of Legacy Application. CLOSER 2015: 119-126 - [c87]Flavio Corradini, Francesco De Angelis, Fabrizio Ippoliti, Fausto Marcantoni:
A Survey of Trust Management Models for Cloud Computing. CLOSER 2015: 155-162 - [c86]Riccardo Cognini, Flavio Corradini, Andrea Polini, Barbara Re:
Process Variability Modeling for Complex Organizations. ES 2015: 9-20 - [c85]Flavio Corradini, Andrea Polini, Barbara Re, Francesco Tiezzi:
An Operational Semantics of BPMN Collaboration. FACS 2015: 161-180 - [c84]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 - [c83]Flavio Corradini, Francesco De Angelis, Daniele Fanì, Andrea Polini:
A Flexible Architecture to Monitor Dynamic Web Services Composition. WEBIST 2015: 64-72 - 2014
- [c82]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 - [c81]Riccardo Cognini, Flavio Corradini, Andrea Polini, Barbara Re:
Modelling Process Intensive Scenarios for the Smart City. EGOV 2014: 147-158 - [c80]Marco Bernardo, Flavio Corradini, Luca Tesei:
Timed process calculi: from durationless actions to durational ones. ICTCS 2014: 21-32 - [c79]Riccardo Cognini, Flavio Corradini, Alberto Polzonetti, Barbara Re:
Five factors that make pervasive business intelligence a winning wager. IEEM 2014: 617-621 - [c78]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 - [c77]Riccardo Cognini, Flavio Corradini, Stefania Gnesi, Andrea Polini, Barbara Re:
Research challenges in business process adaptability. SAC 2014: 1049-1054 - 2012
- [c76]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 - [c75]Federico Buti, Flavio Corradini, Emanuela Merelli, Luca Tesei:
A Geometrical Refinement of Shape Calculus Enabling Direct Simulation. SIMULTECH 2012: 218-227 - 2011
- [c74]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 - [c73]Flavio Corradini, Maria Rita Di Berardini, Walter Vogler:
Read Operators and their Expressiveness in Process Algebras. EXPRESS 2011: 31-43 - [c72]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 - [c71]Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei:
A Uniform Multiscale Meta-model of BioShape. CS2Bio@DisCoTec 2011: 15-27 - [c70]Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei:
Towards Abstraction-Based Verification of Shape Calculus. SASB 2011: 23-34 - [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 - [j44]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) - [j43]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) - [j42]Flavio Corradini, Andrea Polini, Alberto Polzonetti, Barbara Re:
Business Processes Verification for e-Government Service Delivery. Inf. Syst. Manag. 27(4): 293-308 (2010) - [j41]Luis E. Anido-Rifón, Flavio Corradini:
Methodologies, Technologies and Tools Enabling e-Government. J. Univers. Comput. Sci. 16(8): 1055 (2010) - [j40]Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei:
Detecting synchronisation of biological oscillators by model checking. Theor. Comput. Sci. 411(20): 1999-2018 (2010) - [c69]Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli:
Bone Remodelling: A Complex Automata-Based Model Running in BioShape. ACRI 2010: 116-127 - [c68]Flavio Corradini, Damiano Falcioni, Andrea Polini, Alberto Polzonetti, Barbara Re:
Designing Quality Business Processes for E-Government Digital Services. EGOV 2010: 424-435 - [c67]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 - [c66]Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei:
Multiscale Bone Remodelling with Spatial P Systems. MeCBIC 2010: 70-84 - [c65]Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei, M. Pani:
Bone Remodelling in BioShape. CS2Bio 2010: 17-29 - [c64]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
- [j39]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) - [j38]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) - [j37]Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi:
Explicit fairness in testing semantics. Log. Methods Comput. Sci. 5(2) (2009) - [j36]