Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDFlavio Corradini
Flávio Corradini
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
[j66]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)- [c103]Diletta Cacciagrano, Flavio Corradini, Gianmarco Mazzante, Leonardo Mostarda, Davide Sestili:
Off-Chain Execution of IoT Smart Contracts. AINA (2) 2021: 608-619 - 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) - [c102]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 - [c101]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
- [c100]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 - [c99]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 - [c98]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 - [c97]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 - [c96]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) - [c95]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 - [c94]Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi:
MIDA: Multiple Instances and Data Animator. BPM (Dissertation/Demos/Industry) 2018: 86-90 - [c93]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 - [c92]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) - [c91]Flavio Corradini, Fabrizio Fornari, Chiara Muzi, Andrea Polini, Barbara Re, Francesco Tiezzi:
On Avoiding Erroneous Synchronization in BPMN Processes. BIS 2017: 106-119 - [c90]Flavio Corradini, Andrea Polini, Barbara Re, Lorenzo Rossi, Francesco Tiezzi:
Supporting Multi-layer Modeling in BPMN Collaborations. EOMAS@CAiSE 2017: 53-67 - [c89]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 - [c88]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 - [c87]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) - [c86]Zaib Ullah, Leonardo Mostarda, Roberto Gagliardi, Diletta Cacciagrano, Flavio Corradini:
A Comparison of HEED Based Clustering Algorithms - Introducing ER-HEED. AINA 2016: 339-345 - [c85]Flavio Corradini, Francesco De Angelis, Andrea Polini, Samuele Sabbatini:
A Pattern for Enabling Multitenancy in Legacy Application. CLOSER (2) 2016: 257-264 - [c84]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 - [c83]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 - [c82]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) - [c81]Flavio Corradini, Rosario Culmone, Leonardo Mostarda, Luca Tesei, Franco Raimondi:
A Constrained ECA Language Supporting Formal Verification of WSNs. AINA Workshops 2015: 187-192 - [c80]Riccardo Cognini, Flavio Corradini, Andrea Polini, Barbara Re:
Extending Feature Models to Express Variability in Business Process Models. CAiSE Workshops 2015: 245-256 - [c79]Flavio Corradini, Francesco De Angelis, Andrea Polini, Samuele Sabbatini:
Cloud Readiness Assessment of Legacy Application. CLOSER 2015: 119-126 - [c78]Flavio Corradini, Francesco De Angelis, Fabrizio Ippoliti, Fausto Marcantoni:
A Survey of Trust Management Models for Cloud Computing. CLOSER 2015: 155-162 - [c77]Riccardo Cognini, Flavio Corradini, Andrea Polini, Barbara Re:
Process Variability Modeling for Complex Organizations. ES 2015: 9-20 - [c76]Flavio Corradini, Andrea Polini, Barbara Re, Francesco Tiezzi:
An Operational Semantics of BPMN Collaboration. FACS 2015: 161-180 - [c75]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 - [c74]Flavio Corradini, Francesco De Angelis, Daniele Fanì, Andrea Polini:
A Flexible Architecture to Monitor Dynamic Web Services Composition. WEBIST 2015: 64-72 - 2014
- [c73]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 - [c72]Riccardo Cognini, Flavio Corradini, Andrea Polini, Barbara Re:
Modelling Process Intensive Scenarios for the Smart City. EGOV 2014: 147-158 - [c71]Marco Bernardo, Flavio Corradini, Luca Tesei:
Timed process calculi: from durationless actions to durational ones. ICTCS 2014: 21-32 - [c70]Riccardo Cognini, Flavio Corradini, Alberto Polzonetti, Barbara Re:
Five factors that make pervasive business intelligence a winning wager. IEEM 2014: 617-621 - [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 - [c48]Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Luca Tesei, Leonardo Vito:
A model-prover for constrained dynamic conversations. iiWAS 2008: 630-633 - [c47]Flavio Corradini, Roberto Gagliardi, Michele Papalini, Alberto Polzonetti, Oliviero Riganelli:
On the fault tolerance of mobile ad hoc networks. ITI 2008: 827-832 - 2007
- [j34]Emanuela Merelli, Giuliano Armano, Nicola Cannata, Flavio Corradini, Mark d'Inverno, Andreas Doms, Phillip W. Lord, Andrew C. R. Martin, Luciano Milanesi, Steffen Möller, Michael Schroeder, Michael Luck:
Agents in bioinformatics, computational and systems biology. Briefings Bioinform. 8(1): 45-59 (2007) - [j33]Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Lorenzo Scortichini:
BioWMS: a web-based Workflow Management System for bioinformatics. BMC Bioinform. 8(S-1) (2007) - [j32]Flavio Corradini, Carlo Toffalori:
Preface. Electron. Notes Theor. Comput. Sci. 169: 1-2 (2007) - [j31]Nicola Cannata, Flavio Corradini, Emanuela Merelli:
A Resourceomic Grid for bioinformatics. Future Gener. Comput. Syst. 23(3): 510-516 (2007) - [j30]Jos C. M. Baeten, Flavio Corradini, Clemens Grabmayer:
A characterization of regular expressions under bisimulation. J. ACM 54(2): 6 (2007) - [j29]Flavio Corradini, Walter Vogler:
Performance of pipelined asynchronous systems. J. Log. Algebraic Methods Program. 70(2): 201-221 (2007) - [j28]Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi:
Separation of synchronous and asynchronous communication via testing. Theor. Comput. Sci. 386(3): 218-235 (2007) - [c46]Flavio Corradini, Luis Álvarez Sabucedo, Alberto Polzonetti, Luis E. Anido-Rifón, Barbara Re:
A Case Study of Semantic Solutions for Citizen-Centered Web Portals in eGovernment: The Tecut Portal. EGOV 2007: 204-215 - [c45]Nicola Cannata, Flavio Corradini, Francesca Piersigilli, Emanuela Merelli, Leonardo Vito:
Semantic Resource Management in MAS. WOA 2007: 42-47 - [c44]Diletta Cacciagrano, Flavio Corradini, Jesús Aranda, Frank D. Valencia:
Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus. EXPRESS 2007: 59-84 - 2006
- [j27]Flavio Corradini, Maria Rita Di Berardini, Walter Vogler:
Fairness of Actions in System Computations. Acta Informatica 43(2): 73-130 (2006) - [j26]Flavio Corradini, Paola Inverardi, Alexander L. Wolf:
On relating functional specifications to architectural specifications: A case study. Sci. Comput. Program. 59(3): 171-208 (2006) - [j25]Jos C. M. Baeten, Flavio Corradini:
Preface. Theor. Comput. Sci. 356(3): 263-264 (2006) - [j24]Flavio Corradini, Maria Rita Di Berardini, Walter Vogler:
Fairness of components in system computations. Theor. Comput. Sci. 356(3): 291-324 (2006) - [c43]Flavio Corradini, Maria Rita Di Berardini, Walter Vogler:
Checking a Mutex Algorithm in a Process Algebra with Fairness. CONCUR 2006: 142-157 - [c42]Flavio Corradini, Alberto Polzonetti, Romeo Pruno, Lucio Forastieri:
Document Exchange Methodology for Collaborative Work in e-Government. DEXA Workshops 2006: 283-287 - [c41]Flavio Corradini, Alberto Polzonetti, Romeo Pruno, Roberto D'Angelo:
Social Enterprise Architecture: Towards an Extendable and Scaleable System Architecture for KM. DEXA Workshops 2006: 584-587 - [c40]Flavio Corradini, Francesco De Angelis, Alberto Polzonetti, Barbara Re:
Quality evaluation of e-Government digital services. DG.O 2006: 377-378 - [c39]Ezio Bartocci, Flavio Corradini, Emanuela Merelli:
Enacting Proactive Workflows Engine in e-Science. International Conference on Computational Science (3) 2006: 1012-1015 - [c38]Flavio Corradini, Chiara Ercoli, Andrea Lazzari, Alberto Polzonetti:
A secure framework in mobile business transactions. Mobility Conference 2006: 35 - [c37]Ezio Bartocci, Flavio Corradini, Emanuela Merelli:
Building a MultiAgent System from a User Workflow Specification. WOA 2006 - [c36]Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Leonardo Vito:
Model driven design and implementation of activity-based applicat