dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Flavio Corradini Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Maria Rita Di Berardini, Walter Vogler: Read Operators and their Expressiveness in Process Algebras EXPRESS 2011: 31-43
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFederico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Walter Vogler: Automated Analysis of MUTEX Algorithms with FASE GandALF 2011: 45-59
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFederico 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
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFederico 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)
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFederico Buti, Massimo Callisto De Donato, Flavio Corradini, Emanuela Merelli, Luca Tesei: Multiscale Modelling: A Mobile Membrane Approach CoRR abs/1108.3434: (2011)
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio 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)
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFederico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei: A Uniform Multiscale Meta-model of BioShape. Electr. Notes Theor. Comput. Sci. 277: 15-27 (2011)
2010
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Aldini, Marco Bernardo, Flavio Corradini: A Process Algebraic Approach to Software Architecture Design. Springer 2010: I-XV, 1-304
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiletta Cacciagrano, Flavio Corradini, Emanuela Merelli: Bone Remodelling: A Complex Automata-Based Model Running in BioShape. ACRI 2010: 116-127
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFederico 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
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Damiano Falcioni, Andrea Polini, Alberto Polzonetti, Barbara Re: Designing Quality Business Processes for E-Government Digital Services. EGOV 2010: 424-435
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei: Multiscale Bone Remodelling with Spatial P Systems MeCBIC 2010: 70-84
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFederico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei, M. Pani: Bone Remodelling in BioShape. Electr. Notes Theor. Comput. Sci. 268: 17-29 (2010)
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Á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)
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Andrea Polini, Alberto Polzonetti, Barbara Re: Business Processes Verification for e-Government Service Delivery. IS Management 27(4): 293-308 (2010)
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis E. Anido-Rifón, Flavio Corradini: Methodologies, Technologies and Tools Enabling e-Government. J. UCS 16(8): 1055 (2010)
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFederico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei: BioShape: a spatial shape-based scale-independent simulation environment for biological systems. Procedia CS 1(1): 827-835 (2010)
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEzio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei: Shape Calculus. A Spatial Mobile Calculus for 3D Shapes. Sci. Ann. Comp. Sci. 20: 1-31 (2010)
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEzio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei: Detecting synchronisation of biological oscillators by model checking. Theor. Comput. Sci. 411(20): 1999-2018 (2010)
2009
101no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Alberto Polzonetti, Oliviero Riganelli: Online Public Service Delivery. CSREA EE 2009: 319-318
100no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio 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
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Alberto Polzonetti, Oliviero Riganelli: Holistic development of online public services. ICEGOV 2009: 227-234
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiletta Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Vito: Constraint-Based Dynamic Conversations. ICNS 2009: 7-12
97no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEzio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei: A Shape Calculus for Biological Processes. ICTCS 2009: 30-33
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Maria Rita Di Berardini, Walter Vogler: Time and Fairness in a Process Algebra with Non-blocking Reading. SOFSEM 2009: 193-204
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicola Cannata, Flavio Corradini, Emanuela Merelli, Francesca Piersigilli, Leonardo Vito: Towards Bioinformatics Resourceomes. Biomedical Data and Applications 2009: 13-36
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Maria Rita Di Berardini, Walter Vogler: Liveness of a mutex algorithm in a fair process algebra. Acta Inf. 46(3): 209-235 (2009)
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRadu 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)
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEzio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei: Model Checking Biological Oscillators. Electr. Notes Theor. Comput. Sci. 229(1): 41-58 (2009)
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi: Explicit fairness in testing semantics Logical Methods in Computer Science 5(2): (2009)
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEzio 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)
2008
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEzio 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
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Francesco De Angelis, Andrea Polini, Alberto Polzonetti: Improving Trust in Composite eServices Via Run-Time Participants Testing. EGOV 2008: 279-290
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRadu 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
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Francesco De Angelis, Andrea Polini, Alberto Polzonetti: A participant testing strategy for service orchestrations. ICDIM 2008: 308-313
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiletta Cacciagrano, Flavio Corradini, Rosario Culmone, Luca Tesei, Leonardo Vito: A model-prover for constrained dynamic conversations. iiWAS 2008: 630-633
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEzio Bartocci, Flavio Corradini, Emilia Entcheva, Radu Grosu, Scott A. Smolka: CellExcite: an efficient simulation environment for excitable cells. BMC Bioinformatics 9(S-2): (2008)
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiletta Cacciagrano, Flavio Corradini, Jesús Aranda, Frank D. Valencia: Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus. Electr. Notes Theor. Comput. Sci. 194(2): 59-84 (2008)
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEzio 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. Electr. Notes Theor. Comput. Sci. 194(3): 51-67 (2008)
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Alberto Polzonetti, Barbara Re, Luca Tesei: Quality of service in e-government underlines the role of information usability. IJIQ 2(2): 133-151 (2008)
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Carlo Toffalori: Preface to Special Issue devoted to the memory of Sauro Tulipani. Mathematical Structures in Computer Science 18(1): 1-4 (2008)
2007
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio 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
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicola Cannata, Flavio Corradini, Francesca Piersigilli, Emanuela Merelli, Leonardo Vito: Semantic Resource Management in MAS. WOA 2007: 42-47
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEzio Bartocci, Flavio Corradini, Emanuela Merelli, Lorenzo Scortichini: BioWMS: a web-based Workflow Management System for bioinformatics. BMC Bioinformatics 8(S-1): (2007)
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmanuela Merelli, Giuliano Armano, Nicola Cannata, Flavio Corradini, Mark d'Inverno, Andreas Doms, Phillip W. Lord, Andrew Martin, Luciano Milanesi, Steffen Möller, Michael Schroeder, Michael Luck: Agents in bioinformatics, computational and systems biology. Briefings in Bioinformatics 8(1): 45-59 (2007)
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Carlo Toffalori: Preface. Electr. Notes Theor. Comput. Sci. 169: 1-2 (2007)
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi: Fair Pi. Electr. Notes Theor. Comput. Sci. 175(3): 3-26 (2007)
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicola Cannata, Flavio Corradini, Emanuela Merelli: A Resourceomic Grid for bioinformatics. Future Generation Comp. Syst. 23(3): 510-516 (2007)
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJos C. M. Baeten, Flavio Corradini, Clemens Grabmayer: A characterization of regular expressions under bisimulation. J. ACM 54(2): (2007)
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Walter Vogler: Performance of pipelined asynchronous systems. J. Log. Algebr. Program. 70(2): 201-221 (2007)
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi: Separation of synchronous and asynchronous communication via testing. Theor. Comput. Sci. 386(3): 218-235 (2007)
2006
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Maria Rita Di Berardini, Walter Vogler: Checking a Mutex Algorithm in a Process Algebra with Fairness. CONCUR 2006: 142-157
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Alberto Polzonetti, Romeo Pruno, Lucio Forastieri: Document Exchange Methodology for Collaborative Work in e-Government. DEXA Workshops 2006: 283-287
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio 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
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Francesco De Angelis, Alberto Polzonetti, Barbara Re: Quality evaluation of e-Government digital services. DG.O 2006: 377-378
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEzio Bartocci, Flavio Corradini, Emanuela Merelli: Enacting Proactive Workflows Engine in e-Science. International Conference on Computational Science (3) 2006: 1012-1015
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEzio Bartocci, Flavio Corradini, Emanuela Merelli: Building a MultiAgent System from a User Workflow Specification. WOA 2006
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEzio Bartocci, Flavio Corradini, Emanuela Merelli, Leonardo Vito: Model driven design and implementation of activity-based applications in Hermes. WOA 2006
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiletta Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Vito: Dynamic Constraint-Based Invocation of Web Services. WS-FM 2006: 138-147
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Maria Rita Di Berardini, Walter Vogler: Fairness of Actions in System Computations. Acta Inf. 43(2): 73-130 (2006)
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi: Separation of Synchronous and Asynchronous Communication Via Testing. Electr. Notes Theor. Comput. Sci. 154(3): 95-108 (2006)
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Paola Inverardi, Alexander L. Wolf: On relating functional specifications to architectural specifications: A case study. Sci. Comput. Program. 59(3): 171-208 (2006)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJos C. M. Baeten, Flavio Corradini: Preface. Theor. Comput. Sci. 356(3): 263-264 (2006)
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Maria Rita Di Berardini, Walter Vogler: Fairness of components in system computations. Theor. Comput. Sci. 356(3): 291-324 (2006)
2005
56no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Flavio De Paoli, Emanuela Merelli, Andrea Omicini: WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, 14-16 November 2005, Camerino, MC, Italy Pitagora Editrice Bologna 2005
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Eleonora Paganelli, Alberto Polzonetti: e-Democracy: A Solution for Disadvantaged Territories. ECEG 2005: 101-110
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Alberto Polzonetti, Romeo Pruno: eGovernment Administrative and Semantic Cooperation: The Role of "Intelligent Documents". EGOV (Workshops and Posters) 2005: 150-157
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Walter Vogler: Performance of Pipelined Asynchronous Systems. FORMATS 2005: 242-257
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Emanuela Merelli, Marco Vita: A Multi-agent System for Modelling Carbohydrate Oxidation in Cell. ICCSA (2) 2005: 1264-1273
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJos C. M. Baeten, Flavio Corradini: Regular Expressions in Process Algebra. LICS 2005: 12-19
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Emanuela Merelli: Hermes: Agent-Based Middleware for Mobile Computing. SFM 2005: 234-270
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Rosario Culmone, Maria Rita Di Berardini, Emanuela Merelli: Integrating Ontologies in Mobile Agents. WOA 2005: 37-45
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJos C. M. Baeten, Flavio Corradini: Preface. Electr. Notes Theor. Comput. Sci. 128(2): 1-3 (2005)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Maria Rita Di Berardini, Walter Vogler: Fairness of Components in System Computations. Electr. Notes Theor. Comput. Sci. 128(2): 35-52 (2005)
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicola Cannata, Flavio Corradini, Emanuela Merelli, Andrea Omicini, Alessandro Ricci: An Agent-Oriented Conceptual Framework for Systems Biology. T. Comp. Sys. Biology: 105-122 (2005)
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Uwe Nestmann: EDITORIAL: Selected papers of the tenth international workshop on expressiveness in concurrency (EXPRESS 2003). Theor. Comput. Sci. 330(3): 375-376 (2005)
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Walter Vogler: Measuring the performance of asynchronous systems with PAFAS. Theor. Comput. Sci. 335(2-3): 187-213 (2005)
2004
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bernardo, Flavio Corradini: Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures Springer 2004
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiletta Cacciagrano, Flavio Corradini: Expressiveness of Timed Events and Timed Languages. SFM 2004: 98-131
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Rosario Culmone, Maria Rita Di Berardini: Code Mobility for Pervasive Computing. WETICE 2004: 431-432
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Bonura, Flavio Corradini, Emanuela Merelli, Gino Romiti: FarMAS: A MAS for Extended Quality Workflow. WETICE 2004: 435-440
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Chiara Ercoli, Emanuela Merelli, Barbara Re: An agent-based matchmaker. WOA 2004: 150-156
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Uwe Nestmann: Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency. Electr. Notes Theor. Comput. Sci. 96: 1-3 (2004)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Leonardo Mariani, Emanuela Merelli: An agent-based approach to tool integration. STTT 6(3): 231-244 (2004)
2003
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Maria Rita Di Berardini, Walter Vogler: Relating Fairness and Timing in Process Algebras. CONCUR 2003: 438-452
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Leonardo Mariani, Emanuela Merelli: A Programming Environment for Global Activity-based Applications. WOA 2003: 163-169
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Dino Di Cola: The Expressive Power Of Urgent, Lazy And Busy-Waiting Actions In Timed Processes. Mathematical Structures in Computer Science 13(4): 619-656 (2003)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCandida Attanasio, Flavio Corradini, Paola Inverardi: Static analysis of real-time component-based systems configurations. Sci. Comput. Program. 46(1-2): 5-30 (2003)
2002
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Walter Vogler, Lars Jenner: Comparing the worst-case efficiency of asynchronous systems with PAFAS. Acta Inf. 38(11/12): 735-792 (2002)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Rocco De Nicola, Anna Labella: An Equational Axiomatization of Bisimulation over Regular Expressions. J. Log. Comput. 12(2): 301-320 (2002)
2001
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Maria Rita Di Berardini, Walter Vogler: PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations. APAQS 2001: 231-240
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiletta Cacciagrano, Flavio Corradini: On Synchronous and Asynchronous Communication Paradigms. ICTCS 2001: 256-268
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Marco Pistore: `Closed Interval Process Algebra' versus `Interval Process Algebra'. Acta Inf. 37(7): 467-509 (2001)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Walter Vogler: Preface. Electr. Notes Theor. Comput. Sci. 52(3): 323-324 (2001)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Dino Di Cola: On testing urgency through laziness over processes with durational actions. Theor. Comput. Sci. 258(1-2): 393-407 (2001)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Gian Luigi Ferrari, Marco Pistore: On the semantics of durational actions. Theor. Comput. Sci. 269(1-2): 47-82 (2001)
2000
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonia Bertolino, Flavio Corradini, Paola Inverardi, Henry Muccini: Deriving test plans from architectural descriptions. ICSE 2000: 220-229
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Cioffi, Flavio Corradini: Specification and Analysis of Timed and Functional TRMCS Behaviours. IWSSD 2000: 31-38
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Dino Di Cola: The Expressive Power of Urgent, Lazy and Busy-Waiting Actions in Timed Processes. Electr. Notes Theor. Comput. Sci. 39(1): 47-64 (2000)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Paola Inverardi: Preface Electr. Notes Theor. Comput. Sci. 39(3): 195-196 (2000)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini: Absolute versus Relative Time in Process Algebras. Inf. Comput. 156(1-2): 122-172 (2000)
1999
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCandida Attanasio, Flavio Corradini, Paola Inverardi: Static Analysis of Real-Time Component-Based Systems Configurations. COORDINATION 1999: 323-339
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCandida Attanasio, Flavio Corradini, Paola Inverardi: Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance. FASE 1999: 45-59
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Rocco De Nicola, Anna Labella: Graded Modalities and Resource Bisimulation. FSTTCS 1999: 381-393
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Domenicantonio D'Ortenzio, Paola Inverardi: On the Relationships among four Timed Process Algebras. Fundam. Inform. 38(4): 377-395 (1999)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Rocco De Nicola, Anna Labella: A finite axiomatization of nondeterministic regular expressions. ITA 33(4/5): 447-466 (1999)
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Rocco De Nicola, Anna Labella: Models of Nondeterministic Regular Expressions. J. Comput. Syst. Sci. 59(3): 412-449 (1999)
1998
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini: On Performance Congruences for Process Algebras. Inf. Comput. 145(2): 191-230 (1998)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini: On the Coarsest Congruence Within Global-Clock-Bounded Equivalence. Theor. Comput. Sci. 198(1-2): 225-237 (1998)
1997
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiao Jun Chen, Flavio Corradini: On the Specification and Verification of Performance Properties for a Timed Process Algebra. AMAST 1997: 123-137
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Roberto Gorrieri, Marco Roccetti: Performance Preorder and Competitive Equivalence. Acta Inf. 34(11): 805-835 (1997)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Rocco De Nicola: Locality Based Semantics for Process Algebras. Acta Inf. 34(4): 291-324 (1997)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini: Absolute versus relative time in process algebras. Electr. Notes Theor. Comput. Sci. 7: 76-95 (1997)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Gian Luigi Ferrari, Marco Pistore: Eager, busy-waiting and lazy actions in timed computation? Electr. Notes Theor. Comput. Sci. 7: 96-114 (1997)
1996
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiao Jun Chen, Flavio Corradini, Roberto Gorrieri: A Study on the Specification and Verification of Performance Properties (Extended Abstract). AMAST 1996: 306-320
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Marco Pistore: Specification and Verification of Timed Lazy Systems. MFCS 1996: 279-290
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Rocco De Nicola: On Four Partial Ordering Semantics for a Process Calculus. Fundam. Inform. 27(4): 349-383 (1996)
1995
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Rocco De Nicola, Anna Labella: Fully Abstract Models for Nondeterministic Regular Expressions. CONCUR 1995: 130-144
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Roberto Gorrieri, Marco Roccetti: Performance Preorder: Ordering Processes with Respect to Speed. MFCS 1995: 444-453
1994
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Corradini, Rocco De Nicola: Distribution and Locality of Concurrent Systems. ICALP 1994: 154-165

Coauthor Index

1Alessandro Aldini [113]
2Francesco De Angelis [66] [86] [88]
3Luis E. Anido-Rifón [79] [105] [107]
4Jesús Aranda [83]
5Giuliano Armano [76]
6Candida Attanasio [18] [19] [33]
7Jos C. M. Baeten [48] [51] [58] [72]
8Ezio Bartocci [63] [64] [65] [77] [82] [84] [87] [89] [90] [92] [93] [97] [102] [103]
9Maria Rita Di Berardini [30] [36] [41] [47] [49] [57] [61] [69] [82] [90] [94] [96] [97] [103] [117] [119] [120]
10Marco Bernardo [43] [113]
11Antonia Bertolino [24]
12Diego Bonura [40]
13Federico Buti [104] [108] [111] [114] [116] [117] [118] [119]
14Diletta Cacciagrano (Diletta Romana Cacciagrano) [29] [42] [60] [62] [70] [74] [83] [85] [91] [98] [104] [108] [109] [112] [114] [115] [118]
15Nicola Cannata [46] [73] [76] [78] [95]
16Xiao Jun Chen [6] [11]
17Mauro Cioffi [23]
18Dino Di Cola [22] [26] [34]
19Rosario Culmone [41] [49] [62] [85] [98] [115]
20Roberto D'Angelo [67]
21Domenicantonio D'Ortenzio [16]
22Andreas Doms [76]
23Massimo Callisto De Donato [116] [117] [118] [119]
24Emilia Entcheva [82] [84] [87] [90] [93]
25Chiara Ercoli [39]
26Damiano Falcioni [110]
27Gian Luigi Ferrari (GianLuigi Ferrari) [7] [25]
28Lucio Forastieri [68]
29Roberto Gorrieri [2] [6] [10]
30Clemens Grabmayer [72]
31Radu Grosu [82] [84] [87] [89] [90] [93]
32Paola Inverardi [16] [18] [19] [21] [24] [33] [59]
33Lars Jenner [32]
34Anna Labella [3] [14] [15] [17] [31]
35Phillip W. Lord [76]
36Michael Luck [76]
37Leonardo Mariani [35] [37]
38Andrew Martin [76]
39Emanuela Merelli [35] [37] [39] [40] [46] [49] [50] [52] [56] [63] [64] [65] [73] [76] [77] [78] [89] [92] [95] [97] [100] [102] [103] [104] [108] [109] [111] [112] [114] [115] [116] [118]
40Luciano Milanesi [76]
41Steffen Möller [76]
42Henry Muccini [24]
43Uwe Nestmann [38] [45]
44Rocco De Nicola [1] [3] [4] [9] [14] [15] [17] [31]
45Andrea Omicini [46] [56]
46Eleonora Paganelli [55]
47Catuscia Palamidessi [60] [70] [74] [91]
48M. Pani [108]
49Flavio De Paoli [56]
50Elio Paschini [111]
51Pierluigi Penna [111]
52Francesca Piersigilli [78] [95]
53Marco Pistore [5] [7] [25] [28]
54Andrea Polini [86] [88] [106] [110]
55Alberto Polzonetti [54] [55] [66] [67] [68] [79] [81] [86] [88] [99] [100] [101] [106] [107] [110]
56Romeo Pruno [54] [67] [68]
57Barbara Re [39] [66] [79] [81] [100] [106] [107] [110]
58Alessandro Ricci [46]
59Oliviero Riganelli [89] [99] [101]
60Marco Roccetti [2] [10]
61Gino Romiti [40]
62Luis Álvarez Sabucedo (Luis M. Álvarez) [79] [107]
63Michael Schroeder [76]
64Lorenzo Scortichini [77]
65Scott A. Smolka [82] [84] [87] [89] [90] [93]
66Luca Tesei [81] [85] [92] [97] [102] [103] [104] [108] [109] [111] [114] [115] [116] [118]
67Carlo Toffalori [75] [80]
68Frank D. Valencia (Frank Valencia) [83]
69Marco Vita [52]
70Leonardo Vito [62] [63] [78] [85] [95] [98] [100] [115]
71Walter Vogler [27] [30] [32] [36] [44] [47] [53] [57] [61] [69] [71] [94] [96] [117] [119] [120]
72Anita Wasilewska [87] [93]
73Alexander L. Wolf [59]
74Mark d'Inverno [76]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page