 | 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 |
| 95 |  | Flavio Corradini,
Maria Rita Di Berardini,
Walter Vogler:
Time and Fairness in a Process Algebra with Non-blocking Reading.
SOFSEM 2009: 193-204 |
| 94 | | Flavio Corradini,
Maria Rita Di Berardini,
Walter Vogler:
Liveness of a mutex algorithm in a fair process algebra.
Acta Inf. 46(3): 209-235 (2009) |
| 93 | | 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) |
| 92 | | Ezio Bartocci,
Flavio Corradini,
Emanuela Merelli,
Luca Tesei:
Model Checking Biological Oscillators.
Electr. Notes Theor. Comput. Sci. 229(1): 41-58 (2009) |
| 91 | | Diletta Cacciagrano,
Flavio Corradini,
Catuscia Palamidessi:
Explicit fairness in testing semantics
Logical Methods in Computer Science 5(2): (2009) |
| 90 | | 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) |
| 2008 |
|---|
| 89 | | 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 |
| 88 | | Flavio Corradini,
Francesco De Angelis,
Andrea Polini,
Alberto Polzonetti:
Improving Trust in Composite eServices Via Run-Time Participants Testing.
EGOV 2008: 279-290 |
| 87 | | 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 |
| 86 | | Flavio Corradini,
Francesco De Angelis,
Andrea Polini,
Alberto Polzonetti:
A participant testing strategy for service orchestrations.
ICDIM 2008: 308-313 |
| 85 | | Diletta Cacciagrano,
Flavio Corradini,
Rosario Culmone,
Luca Tesei,
Leonardo Vito:
A model-prover for constrained dynamic conversations.
iiWAS 2008: 630-633 |
| 84 | | Ezio Bartocci,
Flavio Corradini,
Emilia Entcheva,
Radu Grosu,
Scott A. Smolka:
CellExcite: an efficient simulation environment for excitable cells.
BMC Bioinformatics 9(S-2): (2008) |
| 83 | | Diletta 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) |
| 82 | | 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.
Electr. Notes Theor. Comput. Sci. 194(3): 51-67 (2008) |
| 81 | | Flavio 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) |
| 80 | | Flavio 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 |
|---|
| 79 | | 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 |
| 78 | | Nicola Cannata,
Flavio Corradini,
Francesca Piersigilli,
Emanuela Merelli,
Leonardo Vito:
Semantic Resource Management in MAS.
WOA 2007: 42-47 |
| 77 | | Ezio Bartocci,
Flavio Corradini,
Emanuela Merelli,
Lorenzo Scortichini:
BioWMS: a web-based Workflow Management System for bioinformatics.
BMC Bioinformatics 8(S-1): (2007) |
| 76 | | Emanuela 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) |
| 75 | | Flavio Corradini,
Carlo Toffalori:
Preface.
Electr. Notes Theor. Comput. Sci. 169: 1-2 (2007) |
| 74 | | Diletta Cacciagrano,
Flavio Corradini,
Catuscia Palamidessi:
Fair Pi.
Electr. Notes Theor. Comput. Sci. 175(3): 3-26 (2007) |
| 73 | | Nicola Cannata,
Flavio Corradini,
Emanuela Merelli:
A Resourceomic Grid for bioinformatics.
Future Generation Comp. Syst. 23(3): 510-516 (2007) |
| 72 | | Jos C. M. Baeten,
Flavio Corradini,
Clemens Grabmayer:
A characterization of regular expressions under bisimulation.
J. ACM 54(2): (2007) |
| 71 | | Flavio Corradini,
Walter Vogler:
Performance of pipelined asynchronous systems.
J. Log. Algebr. Program. 70(2): 201-221 (2007) |
| 70 | | Diletta Cacciagrano,
Flavio Corradini,
Catuscia Palamidessi:
Separation of synchronous and asynchronous communication via testing.
Theor. Comput. Sci. 386(3): 218-235 (2007) |
| 2006 |
|---|
| 69 | | Flavio Corradini,
Maria Rita Di Berardini,
Walter Vogler:
Checking a Mutex Algorithm in a Process Algebra with Fairness.
CONCUR 2006: 142-157 |
| 68 | | Flavio Corradini,
Alberto Polzonetti,
Romeo Pruno,
Lucio Forastieri:
Document Exchange Methodology for Collaborative Work in e-Government.
DEXA Workshops 2006: 283-287 |
| 67 | | 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 |
| 66 | | Flavio Corradini,
Francesco De Angelis,
Alberto Polzonetti,
Barbara Re:
Quality evaluation of e-Government digital services.
DG.O 2006: 377-378 |
| 65 | | Ezio Bartocci,
Flavio Corradini,
Emanuela Merelli:
Enacting Proactive Workflows Engine in e-Science.
International Conference on Computational Science (3) 2006: 1012-1015 |
| 64 | | Ezio Bartocci,
Flavio Corradini,
Emanuela Merelli:
Building a MultiAgent System from a User Workflow Specification.
WOA 2006 |
| 63 | | Ezio Bartocci,
Flavio Corradini,
Emanuela Merelli,
Leonardo Vito:
Model driven design and implementation of activity-based applications in Hermes.
WOA 2006 |
| 62 | | Diletta Cacciagrano,
Flavio Corradini,
Rosario Culmone,
Leonardo Vito:
Dynamic Constraint-Based Invocation of Web Services.
WS-FM 2006: 138-147 |
| 61 | | Flavio Corradini,
Maria Rita Di Berardini,
Walter Vogler:
Fairness of Actions in System Computations.
Acta Inf. 43(2): 73-130 (2006) |
| 60 | | Diletta Cacciagrano,
Flavio Corradini,
Catuscia Palamidessi:
Separation of Synchronous and Asynchronous Communication Via Testing.
Electr. Notes Theor. Comput. Sci. 154(3): 95-108 (2006) |
| 59 | | 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) |
| 58 | | Jos C. M. Baeten,
Flavio Corradini:
Preface.
Theor. Comput. Sci. 356(3): 263-264 (2006) |
| 57 | | Flavio 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 |
| 53 | | Flavio Corradini,
Walter Vogler:
Performance of Pipelined Asynchronous Systems.
FORMATS 2005: 242-257 |
| 52 | | Flavio Corradini,
Emanuela Merelli,
Marco Vita:
A Multi-agent System for Modelling Carbohydrate Oxidation in Cell.
ICCSA (2) 2005: 1264-1273 |
| 51 | | Jos C. M. Baeten,
Flavio Corradini:
Regular Expressions in Process Algebra.
LICS 2005: 12-19 |
| 50 | | Flavio Corradini,
Emanuela Merelli:
Hermes: Agent-Based Middleware for Mobile Computing.
SFM 2005: 234-270 |
| 49 | | Flavio Corradini,
Rosario Culmone,
Maria Rita Di Berardini,
Emanuela Merelli:
Integrating Ontologies in Mobile Agents.
WOA 2005: 37-45 |
| 48 | | Jos C. M. Baeten,
Flavio Corradini:
Preface.
Electr. Notes Theor. Comput. Sci. 128(2): 1-3 (2005) |
| 47 | | Flavio Corradini,
Maria Rita Di Berardini,
Walter Vogler:
Fairness of Components in System Computations.
Electr. Notes Theor. Comput. Sci. 128(2): 35-52 (2005) |
| 46 | | Nicola Cannata,
Flavio Corradini,
Emanuela Merelli,
Andrea Omicini,
Alessandro Ricci:
An Agent-Oriented Conceptual Framework for Systems Biology.
T. Comp. Sys. Biology: 105-122 (2005) |
| 45 | | Flavio 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) |
| 44 | | Flavio 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 |
| 42 | | Diletta Cacciagrano,
Flavio Corradini:
Expressiveness of Timed Events and Timed Languages.
SFM 2004: 98-131 |
| 41 | | Flavio Corradini,
Rosario Culmone,
Maria Rita Di Berardini:
Code Mobility for Pervasive Computing.
WETICE 2004: 431-432 |
| 40 | | Diego 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 |
| 38 | | Flavio Corradini,
Uwe Nestmann:
Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency.
Electr. Notes Theor. Comput. Sci. 96: 1-3 (2004) |
| 37 | | Flavio Corradini,
Leonardo Mariani,
Emanuela Merelli:
An agent-based approach to tool integration.
STTT 6(3): 231-244 (2004) |
| 2003 |
|---|
| 36 | | Flavio 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) |
| 33 | | Candida Attanasio,
Flavio Corradini,
Paola Inverardi:
Static analysis of real-time component-based systems configurations.
Sci. Comput. Program. 46(1-2): 5-30 (2003) |
| 2002 |
|---|
| 32 | | Flavio Corradini,
Walter Vogler,
Lars Jenner:
Comparing the worst-case efficiency of asynchronous systems with PAFAS.
Acta Inf. 38(11/12): 735-792 (2002) |
| 31 | | Flavio Corradini,
Rocco De Nicola,
Anna Labella:
An Equational Axiomatization of Bisimulation over Regular Expressions.
J. Log. Comput. 12(2): 301-320 (2002) |
| 2001 |
|---|
| 30 | | Flavio Corradini,
Maria Rita Di Berardini,
Walter Vogler:
PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations.
APAQS 2001: 231-240 |
| 29 | | Diletta Cacciagrano,
Flavio Corradini:
On Synchronous and Asynchronous Communication Paradigms.
ICTCS 2001: 256-268 |
| 28 | | Flavio Corradini,
Marco Pistore:
`Closed Interval Process Algebra' versus `Interval Process Algebra'.
Acta Inf. 37(7): 467-509 (2001) |
| 27 | | Flavio Corradini,
Walter Vogler:
Preface.
Electr. Notes Theor. Comput. Sci. 52(3): (2001) |
| 26 | | Flavio Corradini,
Dino Di Cola:
On testing urgency through laziness over processes with durational actions.
Theor. Comput. Sci. 258(1-2): 393-407 (2001) |
| 25 | | Flavio Corradini,
Gian Luigi Ferrari,
Marco Pistore:
On the semantics of durational actions.
Theor. Comput. Sci. 269(1-2): 47-82 (2001) |
| 2000 |
|---|
| 24 | | Antonia Bertolino,
Flavio Corradini,
Paola Inverardi,
Henry Muccini:
Deriving test plans from architectural descriptions.
ICSE 2000: 220-229 |
| 23 | | Mauro Cioffi,
Flavio Corradini:
Specification and Analysis of Timed and Functional TRMCS Behaviours.
IWSSD 2000: 31-38 |
| 22 | | Flavio 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) |
| 21 | | Flavio 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 |
|---|
| 19 | | Candida 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 |
| 17 | | Flavio 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) |
| 12 | | Flavio 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 |
| 10 | | Flavio 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) |
| 8 | | Flavio Corradini:
Absolute versus relative time in process algebras.
Electr. Notes Theor. Comput. Sci. 7: (1997) |
| 7 | | Flavio 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 |
| 5 | | Flavio 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 |
|---|
| 3 | | Flavio Corradini,
Rocco De Nicola,
Anna Labella:
Fully Abstract Models for Nondeterministic Regular Expressions.
CONCUR 1995: 130-144 |
| 2 | | Flavio Corradini,
Roberto Gorrieri,
Marco Roccetti:
Performance Preorder: Ordering Processes with Respect to Speed.
MFCS 1995: 444-453 |
| 1994 |
|---|
| 1 | | Flavio Corradini,
Rocco De Nicola:
Distribution and Locality of Concurrent Systems.
ICALP 1994: 154-165 |
