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

Flavio Corradini Vis

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

*2009
97 Flavio Corradini, Alberto Polzonetti, Oliviero Riganelli: Online Public Service Delivery. CSREA EE 2009: 319-318
96 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
95EEFlavio Corradini, Maria Rita Di Berardini, Walter Vogler: Time and Fairness in a Process Algebra with Non-blocking Reading. SOFSEM 2009: 193-204
94EEFlavio Corradini, Maria Rita Di Berardini, Walter Vogler: Liveness of a mutex algorithm in a fair process algebra. Acta Inf. 46(3): 209-235 (2009)
93EERadu 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)
92EEEzio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei: Model Checking Biological Oscillators. Electr. Notes Theor. Comput. Sci. 229(1): 41-58 (2009)
91EEDiletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi: Explicit fairness in testing semantics Logical Methods in Computer Science 5(2): (2009)
90EEEzio 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
89EEEzio 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
88EEFlavio Corradini, Francesco De Angelis, Andrea Polini, Alberto Polzonetti: Improving Trust in Composite eServices Via Run-Time Participants Testing. EGOV 2008: 279-290
87EERadu 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
86EEFlavio Corradini, Francesco De Angelis, Andrea Polini, Alberto Polzonetti: A participant testing strategy for service orchestrations. ICDIM 2008: 308-313
85EEDiletta Cacciagrano, Flavio Corradini, Rosario Culmone, Luca Tesei, Leonardo Vito: A model-prover for constrained dynamic conversations. iiWAS 2008: 630-633
84EEEzio Bartocci, Flavio Corradini, Emilia Entcheva, Radu Grosu, Scott A. Smolka: CellExcite: an efficient simulation environment for excitable cells. BMC Bioinformatics 9(S-2): (2008)
83EEDiletta 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)
82EEEzio 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)
81EEFlavio 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)
80EEFlavio 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
79EEFlavio 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
78EENicola Cannata, Flavio Corradini, Francesca Piersigilli, Emanuela Merelli, Leonardo Vito: Semantic Resource Management in MAS. WOA 2007: 42-47
77EEEzio Bartocci, Flavio Corradini, Emanuela Merelli, Lorenzo Scortichini: BioWMS: a web-based Workflow Management System for bioinformatics. BMC Bioinformatics 8(S-1): (2007)
76EEEmanuela 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)
75EEFlavio Corradini, Carlo Toffalori: Preface. Electr. Notes Theor. Comput. Sci. 169: 1-2 (2007)
74EEDiletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi: Fair Pi. Electr. Notes Theor. Comput. Sci. 175(3): 3-26 (2007)
73EENicola Cannata, Flavio Corradini, Emanuela Merelli: A Resourceomic Grid for bioinformatics. Future Generation Comp. Syst. 23(3): 510-516 (2007)
72EEJos C. M. Baeten, Flavio Corradini, Clemens Grabmayer: A characterization of regular expressions under bisimulation. J. ACM 54(2): (2007)
71EEFlavio Corradini, Walter Vogler: Performance of pipelined asynchronous systems. J. Log. Algebr. Program. 70(2): 201-221 (2007)
70EEDiletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi: Separation of synchronous and asynchronous communication via testing. Theor. Comput. Sci. 386(3): 218-235 (2007)
2006
69EEFlavio Corradini, Maria Rita Di Berardini, Walter Vogler: Checking a Mutex Algorithm in a Process Algebra with Fairness. CONCUR 2006: 142-157
68EEFlavio Corradini, Alberto Polzonetti, Romeo Pruno, Lucio Forastieri: Document Exchange Methodology for Collaborative Work in e-Government. DEXA Workshops 2006: 283-287
67EEFlavio 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
66EEFlavio Corradini, Francesco De Angelis, Alberto Polzonetti, Barbara Re: Quality evaluation of e-Government digital services. DG.O 2006: 377-378
65EEEzio Bartocci, Flavio Corradini, Emanuela Merelli: Enacting Proactive Workflows Engine in e-Science. International Conference on Computational Science (3) 2006: 1012-1015
64EEEzio Bartocci, Flavio Corradini, Emanuela Merelli: Building a MultiAgent System from a User Workflow Specification. WOA 2006
63EEEzio Bartocci, Flavio Corradini, Emanuela Merelli, Leonardo Vito: Model driven design and implementation of activity-based applications in Hermes. WOA 2006
62EEDiletta Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Vito: Dynamic Constraint-Based Invocation of Web Services. WS-FM 2006: 138-147
61EEFlavio Corradini, Maria Rita Di Berardini, Walter Vogler: Fairness of Actions in System Computations. Acta Inf. 43(2): 73-130 (2006)
60EEDiletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi: Separation of Synchronous and Asynchronous Communication Via Testing. Electr. Notes Theor. Comput. Sci. 154(3): 95-108 (2006)
59EEFlavio Corradini, Paola Inverardi, Alexander L. Wolf: On relating functional specifications to architectural specifications: A case study. Sci. Comput. Program. 59(3): 171-208 (2006)
58EEJos C. M. Baeten, Flavio Corradini: Preface. Theor. Comput. Sci. 356(3): 263-264 (2006)
57EEFlavio Corradini, Maria Rita Di Berardini, Walter Vogler: Fairness of components in system computations. Theor. Comput. Sci. 356(3): 291-324 (2006)
2005
56 Flavio 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
55 Flavio Corradini, Eleonora Paganelli, Alberto Polzonetti: e-Democracy: A Solution for Disadvantaged Territories. ECEG 2005: 101-110
54 Flavio Corradini, Alberto Polzonetti, Romeo Pruno: eGovernment Administrative and Semantic Cooperation: The Role of "Intelligent Documents". EGOV (Workshops and Posters) 2005: 150-157
53EEFlavio Corradini, Walter Vogler: Performance of Pipelined Asynchronous Systems. FORMATS 2005: 242-257
52EEFlavio Corradini, Emanuela Merelli, Marco Vita: A Multi-agent System for Modelling Carbohydrate Oxidation in Cell. ICCSA (2) 2005: 1264-1273
51EEJos C. M. Baeten, Flavio Corradini: Regular Expressions in Process Algebra. LICS 2005: 12-19
50EEFlavio Corradini, Emanuela Merelli: Hermes: Agent-Based Middleware for Mobile Computing. SFM 2005: 234-270
49EEFlavio Corradini, Rosario Culmone, Maria Rita Di Berardini, Emanuela Merelli: Integrating Ontologies in Mobile Agents. WOA 2005: 37-45
48EEJos C. M. Baeten, Flavio Corradini: Preface. Electr. Notes Theor. Comput. Sci. 128(2): 1-3 (2005)
47EEFlavio Corradini, Maria Rita Di Berardini, Walter Vogler: Fairness of Components in System Computations. Electr. Notes Theor. Comput. Sci. 128(2): 35-52 (2005)
46EENicola Cannata, Flavio Corradini, Emanuela Merelli, Andrea Omicini, Alessandro Ricci: An Agent-Oriented Conceptual Framework for Systems Biology. T. Comp. Sys. Biology: 105-122 (2005)
45EEFlavio 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)
44EEFlavio Corradini, Walter Vogler: Measuring the performance of asynchronous systems with PAFAS. Theor. Comput. Sci. 335(2-3): 187-213 (2005)
2004
43 Marco 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
42EEDiletta Cacciagrano, Flavio Corradini: Expressiveness of Timed Events and Timed Languages. SFM 2004: 98-131
41EEFlavio Corradini, Rosario Culmone, Maria Rita Di Berardini: Code Mobility for Pervasive Computing. WETICE 2004: 431-432
40EEDiego Bonura, Flavio Corradini, Emanuela Merelli, Gino Romiti: FarMAS: A MAS for Extended Quality Workflow. WETICE 2004: 435-440
39 Flavio Corradini, Chiara Ercoli, Emanuela Merelli, Barbara Re: An agent-based matchmaker. WOA 2004: 150-156
38EEFlavio Corradini, Uwe Nestmann: Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency. Electr. Notes Theor. Comput. Sci. 96: 1-3 (2004)
37EEFlavio Corradini, Leonardo Mariani, Emanuela Merelli: An agent-based approach to tool integration. STTT 6(3): 231-244 (2004)
2003
36EEFlavio Corradini, Maria Rita Di Berardini, Walter Vogler: Relating Fairness and Timing in Process Algebras. CONCUR 2003: 438-452
35 Flavio Corradini, Leonardo Mariani, Emanuela Merelli: A Programming Environment for Global Activity-based Applications. WOA 2003: 163-169
34 Flavio 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)
33EECandida Attanasio, Flavio Corradini, Paola Inverardi: Static analysis of real-time component-based systems configurations. Sci. Comput. Program. 46(1-2): 5-30 (2003)
2002
32EEFlavio Corradini, Walter Vogler, Lars Jenner: Comparing the worst-case efficiency of asynchronous systems with PAFAS. Acta Inf. 38(11/12): 735-792 (2002)
31EEFlavio Corradini, Rocco De Nicola, Anna Labella: An Equational Axiomatization of Bisimulation over Regular Expressions. J. Log. Comput. 12(2): 301-320 (2002)
2001
30EEFlavio Corradini, Maria Rita Di Berardini, Walter Vogler: PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations. APAQS 2001: 231-240
29EEDiletta Cacciagrano, Flavio Corradini: On Synchronous and Asynchronous Communication Paradigms. ICTCS 2001: 256-268
28EEFlavio Corradini, Marco Pistore: `Closed Interval Process Algebra' versus `Interval Process Algebra'. Acta Inf. 37(7): 467-509 (2001)
27EEFlavio Corradini, Walter Vogler: Preface. Electr. Notes Theor. Comput. Sci. 52(3): (2001)
26EEFlavio Corradini, Dino Di Cola: On testing urgency through laziness over processes with durational actions. Theor. Comput. Sci. 258(1-2): 393-407 (2001)
25EEFlavio Corradini, Gian Luigi Ferrari, Marco Pistore: On the semantics of durational actions. Theor. Comput. Sci. 269(1-2): 47-82 (2001)
2000
24EEAntonia Bertolino, Flavio Corradini, Paola Inverardi, Henry Muccini: Deriving test plans from architectural descriptions. ICSE 2000: 220-229
23EEMauro Cioffi, Flavio Corradini: Specification and Analysis of Timed and Functional TRMCS Behaviours. IWSSD 2000: 31-38
22EEFlavio Corradini, Dino Di Cola: The Expressive Power of Urgent, Lazy and Busy-Waiting Actions in Timed Processes. Electr. Notes Theor. Comput. Sci. 39(1): (2000)
21EEFlavio Corradini, Paola Inverardi: Preface Electr. Notes Theor. Comput. Sci. 39(3): (2000)
20 Flavio Corradini: Absolute versus Relative Time in Process Algebras. Inf. Comput. 156(1-2): 122-172 (2000)
1999
19EECandida Attanasio, Flavio Corradini, Paola Inverardi: Static Analysis of Real-Time Component-Based Systems Configurations. COORDINATION 1999: 323-339
18 Candida 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
17EEFlavio Corradini, Rocco De Nicola, Anna Labella: Graded Modalities and Resource Bisimulation. FSTTCS 1999: 381-393
16 Flavio Corradini, Domenicantonio D'Ortenzio, Paola Inverardi: On the Relationships among four Timed Process Algebras. Fundam. Inform. 38(4): 377-395 (1999)
15 Flavio Corradini, Rocco De Nicola, Anna Labella: A finite axiomatization of nondeterministic regular expressions. ITA 33(4/5): 447-466 (1999)
14 Flavio Corradini, Rocco De Nicola, Anna Labella: Models of Nondeterministic Regular Expressions. J. Comput. Syst. Sci. 59(3): 412-449 (1999)
1998
13 Flavio Corradini: On Performance Congruences for Process Algebras. Inf. Comput. 145(2): 191-230 (1998)
12EEFlavio Corradini: On the Coarsest Congruence Within Global-Clock-Bounded Equivalence. Theor. Comput. Sci. 198(1-2): 225-237 (1998)
1997
11 Xiao Jun Chen, Flavio Corradini: On the Specification and Verification of Performance Properties for a Timed Process Algebra. AMAST 1997: 123-137
10EEFlavio Corradini, Roberto Gorrieri, Marco Roccetti: Performance Preorder and Competitive Equivalence. Acta Inf. 34(11): 805-835 (1997)
9 Flavio Corradini, Rocco De Nicola: Locality Based Semantics for Process Algebras. Acta Inf. 34(4): 291-324 (1997)
8EEFlavio Corradini: Absolute versus relative time in process algebras. Electr. Notes Theor. Comput. Sci. 7: (1997)
7EEFlavio Corradini, Gian Luigi Ferrari, Marco Pistore: Eager, busy-waiting and lazy actions in timed computation? Electr. Notes Theor. Comput. Sci. 7: (1997)
1996
6 Xiao Jun Chen, Flavio Corradini, Roberto Gorrieri: A Study on the Specification and Verification of Performance Properties (Extended Abstract). AMAST 1996: 306-320
5EEFlavio Corradini, Marco Pistore: Specification and Verification of Timed Lazy Systems. MFCS 1996: 279-290
4 Flavio Corradini, Rocco De Nicola: On Four Partial Ordering Semantics for a Process Calculus. Fundam. Inform. 27(4): 349-383 (1996)
1995
3EEFlavio Corradini, Rocco De Nicola, Anna Labella: Fully Abstract Models for Nondeterministic Regular Expressions. CONCUR 1995: 130-144
2EEFlavio Corradini, Roberto Gorrieri, Marco Roccetti: Performance Preorder: Ordering Processes with Respect to Speed. MFCS 1995: 444-453
1994
1EEFlavio Corradini, Rocco De Nicola: Distribution and Locality of Concurrent Systems. ICALP 1994: 154-165

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)