Search the dblp DataBase
Flavio Corradini :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Xiao Jun Chen , Flavio Corradini On the Specification and Verification of Performance Properties for a Timed Process Algebra. [Citation Graph (0, 0)][DBLP ] AMAST, 1997, pp:123-137 [Conf ] Xiao Jun Chen , Flavio Corradini , Roberto Gorrieri A Study on the Specification and Verification of Performance Properties (Extended Abstract). [Citation Graph (0, 0)][DBLP ] AMAST, 1996, pp:306-320 [Conf ] Flavio Corradini , Maria Rita Di Berardini , Walter Vogler PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations. [Citation Graph (0, 0)][DBLP ] APAQS, 2001, pp:231-240 [Conf ] Flavio Corradini , Maria Rita Di Berardini , Walter Vogler Relating Fairness and Timing in Process Algebras. [Citation Graph (0, 0)][DBLP ] CONCUR, 2003, pp:438-452 [Conf ] Flavio Corradini , Maria Rita Di Berardini , Walter Vogler Checking a Mutex Algorithm in a Process Algebra with Fairness. [Citation Graph (0, 0)][DBLP ] CONCUR, 2006, pp:142-157 [Conf ] Flavio Corradini , Rocco De Nicola , Anna Labella Fully Abstract Models for Nondeterministic Regular Expressions. [Citation Graph (0, 0)][DBLP ] CONCUR, 1995, pp:130-144 [Conf ] Candida Attanasio , Flavio Corradini , Paola Inverardi Static Analysis of Real-Time Component-Based Systems Configurations. [Citation Graph (0, 0)][DBLP ] COORDINATION, 1999, pp:323-339 [Conf ] Flavio Corradini , Alberto Polzonetti , Romeo Pruno , Roberto D'Angelo Social Enterprise Architecture: Towards an Extendable and Scaleable System Architecture for KM. [Citation Graph (0, 0)][DBLP ] DEXA Workshops, 2006, pp:584-587 [Conf ] Flavio Corradini , Alberto Polzonetti , Romeo Pruno , Lucio Forastieri Document Exchange Methodology for Collaborative Work in e-Government. [Citation Graph (0, 0)][DBLP ] DEXA Workshops, 2006, pp:283-287 [Conf ] Flavio Corradini , Francesco De Angelis , Alberto Polzonetti , Barbara Re Quality evaluation of e-Government digital services. [Citation Graph (0, 0)][DBLP ] DG.O, 2006, pp:377-378 [Conf ] Flavio Corradini , Eleonora Paganelli , Alberto Polzonetti e-Democracy: A Solution for Disadvantaged Territories. [Citation Graph (0, 0)][DBLP ] ECEG, 2005, pp:101-110 [Conf ] Flavio Corradini , Alberto Polzonetti , Romeo Pruno eGovernment Administrative and Semantic Cooperation: The Role of "Intelligent Documents". [Citation Graph (0, 0)][DBLP ] EGOV (Workshops and Posters), 2005, pp:150-157 [Conf ] Candida Attanasio , Flavio Corradini , Paola Inverardi Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance. [Citation Graph (0, 0)][DBLP ] FASE, 1999, pp:45-59 [Conf ] Flavio Corradini , Walter Vogler Performance of Pipelined Asynchronous Systems. [Citation Graph (0, 0)][DBLP ] FORMATS, 2005, pp:242-257 [Conf ] Flavio Corradini , Rocco De Nicola , Anna Labella Graded Modalities and Resource Bisimulation. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1999, pp:381-393 [Conf ] Flavio Corradini , Rocco De Nicola Distribution and Locality of Concurrent Systems. [Citation Graph (0, 0)][DBLP ] ICALP, 1994, pp:154-165 [Conf ] Ezio Bartocci , Flavio Corradini , Emanuela Merelli Enacting Proactive Workflows Engine in e-Science. [Citation Graph (0, 0)][DBLP ] International Conference on Computational Science (3), 2006, pp:1012-1015 [Conf ] Flavio Corradini , Emanuela Merelli , Marco Vita A Multi-agent System for Modelling Carbohydrate Oxidation in Cell. [Citation Graph (0, 0)][DBLP ] ICCSA (2), 2005, pp:1264-1273 [Conf ] Antonia Bertolino , Flavio Corradini , Paola Inverardi , Henry Muccini Deriving test plans from architectural descriptions. [Citation Graph (0, 0)][DBLP ] ICSE, 2000, pp:220-229 [Conf ] Diletta Cacciagrano , Flavio Corradini On Synchronous and Asynchronous Communication Paradigms. [Citation Graph (0, 0)][DBLP ] ICTCS, 2001, pp:256-268 [Conf ] Mauro Cioffi , Flavio Corradini Specification and Analysis of Timed and Functional TRMCS Behaviours. [Citation Graph (0, 0)][DBLP ] IWSSD, 2000, pp:31-38 [Conf ] Jos C. M. Baeten , Flavio Corradini Regular Expressions in Process Algebra. [Citation Graph (0, 0)][DBLP ] LICS, 2005, pp:12-19 [Conf ] Flavio Corradini , Roberto Gorrieri , Marco Roccetti Performance Preorder: Ordering Processes with Respect to Speed. [Citation Graph (0, 0)][DBLP ] MFCS, 1995, pp:444-453 [Conf ] Flavio Corradini , Marco Pistore Specification and Verification of Timed Lazy Systems. [Citation Graph (0, 0)][DBLP ] MFCS, 1996, pp:279-290 [Conf ] Diletta Cacciagrano , Flavio Corradini Expressiveness of Timed Events and Timed Languages. [Citation Graph (0, 0)][DBLP ] SFM, 2004, pp:98-131 [Conf ] Flavio Corradini , Emanuela Merelli Hermes: Agent-Based Middleware for Mobile Computing. [Citation Graph (0, 0)][DBLP ] SFM, 2005, pp:234-270 [Conf ] Diego Bonura , Flavio Corradini , Emanuela Merelli , Gino Romiti FarMAS: A MAS for Extended Quality Workflow. [Citation Graph (0, 0)][DBLP ] WETICE, 2004, pp:435-440 [Conf ] Flavio Corradini , Rosario Culmone , Maria Rita Di Berardini Code Mobility for Pervasive Computing. [Citation Graph (0, 0)][DBLP ] WETICE, 2004, pp:431-432 [Conf ] Flavio Corradini , Rosario Culmone , Maria Rita Di Berardini , Emanuela Merelli Integrating Ontologies in Mobile Agents. [Citation Graph (0, 0)][DBLP ] WOA, 2005, pp:37-45 [Conf ] Flavio Corradini , Chiara Ercoli , Emanuela Merelli , Barbara Re An agent-based matchmaker. [Citation Graph (0, 0)][DBLP ] WOA, 2004, pp:150-156 [Conf ] Flavio Corradini , Leonardo Mariani , Emanuela Merelli A Programming Environment for Global Activity-based Applications. [Citation Graph (0, 0)][DBLP ] WOA, 2003, pp:163-169 [Conf ] Diletta Cacciagrano , Flavio Corradini , Rosario Culmone , Leonardo Vito Dynamic Constraint-Based Invocation of Web Services. [Citation Graph (0, 0)][DBLP ] WS-FM, 2006, pp:138-147 [Conf ] Flavio Corradini , Maria Rita Di Berardini , Walter Vogler Fairness of Actions in System Computations. [Citation Graph (0, 0)][DBLP ] Acta Inf., 2006, v:43, n:2, pp:73-130 [Journal ] Flavio Corradini , Roberto Gorrieri , Marco Roccetti Performance Preorder and Competitive Equivalence. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1997, v:34, n:11, pp:805-835 [Journal ] Flavio Corradini , Rocco De Nicola Locality Based Semantics for Process Algebras. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1997, v:34, n:4, pp:291-324 [Journal ] Flavio Corradini , Marco Pistore `Closed Interval Process Algebra' versus `Interval Process Algebra'. [Citation Graph (0, 0)][DBLP ] Acta Inf., 2001, v:37, n:7, pp:467-509 [Journal ] Flavio Corradini , Walter Vogler , Lars Jenner Comparing the worst-case efficiency of asynchronous systems with PAFAS. [Citation Graph (0, 0)][DBLP ] Acta Inf., 2002, v:38, n:11/12, pp:735-792 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Briefings in Bioinformatics, 2007, v:8, n:1, pp:45-59 [Journal ] Jos C. M. Baeten , Flavio Corradini Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:128, n:2, pp:1-3 [Journal ] Diletta Cacciagrano , Flavio Corradini , Catuscia Palamidessi Separation of Synchronous and Asynchronous Communication Via Testing. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:154, n:3, pp:95-108 [Journal ] Flavio Corradini Absolute versus relative time in process algebras. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1997, v:7, n:, pp:- [Journal ] Flavio Corradini , Maria Rita Di Berardini , Walter Vogler Fairness of Components in System Computations. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:128, n:2, pp:35-52 [Journal ] Flavio Corradini , Dino Di Cola The Expressive Power of Urgent, Lazy and Busy-Waiting Actions in Timed Processes. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:39, n:1, pp:- [Journal ] Flavio Corradini , Gian Luigi Ferrari , Marco Pistore Eager, busy-waiting and lazy actions in timed computation? [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1997, v:7, n:, pp:- [Journal ] Flavio Corradini , Paola Inverardi Preface [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:39, n:3, pp:- [Journal ] Flavio Corradini , Uwe Nestmann Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2004, v:96, n:, pp:1-3 [Journal ] Flavio Corradini , Walter Vogler Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:52, n:3, pp:- [Journal ] Flavio Corradini , Carlo Toffalori Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:169, n:, pp:1-2 [Journal ] Nicola Cannata , Flavio Corradini , Emanuela Merelli A Resourceomic Grid for bioinformatics. [Citation Graph (0, 0)][DBLP ] Future Generation Comp. Syst., 2007, v:23, n:3, pp:510-516 [Journal ] Flavio Corradini , Domenicantonio D'Ortenzio , Paola Inverardi On the Relationships among four Timed Process Algebras. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 1999, v:38, n:4, pp:377-395 [Journal ] Flavio Corradini , Rocco De Nicola On Four Partial Ordering Semantics for a Process Calculus. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 1996, v:27, n:4, pp:349-383 [Journal ] Flavio Corradini Absolute versus Relative Time in Process Algebras. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2000, v:156, n:1-2, pp:122-172 [Journal ] Flavio Corradini On Performance Congruences for Process Algebras. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1998, v:145, n:2, pp:191-230 [Journal ] Flavio Corradini , Rocco De Nicola , Anna Labella A finite axiomatization of nondeterministic regular expressions. [Citation Graph (0, 0)][DBLP ] ITA, 1999, v:33, n:4/5, pp:447-466 [Journal ] Jos C. M. Baeten , Flavio Corradini , Clemens Grabmayer A characterization of regular expressions under bisimulation. [Citation Graph (0, 0)][DBLP ] J. ACM, 2007, v:54, n:2, pp:- [Journal ] Flavio Corradini , Rocco De Nicola , Anna Labella Models of Nondeterministic Regular Expressions. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1999, v:59, n:3, pp:412-449 [Journal ] Flavio Corradini , Rocco De Nicola , Anna Labella An Equational Axiomatization of Bisimulation over Regular Expressions. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 2002, v:12, n:2, pp:301-320 [Journal ] Flavio Corradini , Dino Di Cola The Expressive Power Of Urgent, Lazy And Busy-Waiting Actions In Timed Processes. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 2003, v:13, n:4, pp:619-656 [Journal ] Candida Attanasio , Flavio Corradini , Paola Inverardi Static analysis of real-time component-based systems configurations. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2003, v:46, n:1-2, pp:5-30 [Journal ] Flavio Corradini , Paola Inverardi , Alexander L. Wolf On relating functional specifications to architectural specifications: A case study. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2006, v:59, n:3, pp:171-208 [Journal ] Flavio Corradini , Leonardo Mariani , Emanuela Merelli An agent-based approach to tool integration. [Citation Graph (0, 0)][DBLP ] STTT, 2004, v:6, n:3, pp:231-244 [Journal ] Jos C. M. Baeten , Flavio Corradini Preface. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2006, v:356, n:3, pp:263-264 [Journal ] Flavio Corradini On the Coarsest Congruence Within Global-Clock-Bounded Equivalence. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1998, v:198, n:1-2, pp:225-237 [Journal ] Flavio Corradini , Maria Rita Di Berardini , Walter Vogler Fairness of components in system computations. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2006, v:356, n:3, pp:291-324 [Journal ] Flavio Corradini , Dino Di Cola On testing urgency through laziness over processes with durational actions. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2001, v:258, n:1-2, pp:393-407 [Journal ] Flavio Corradini , Gian Luigi Ferrari , Marco Pistore On the semantics of durational actions. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2001, v:269, n:1-2, pp:47-82 [Journal ] Flavio Corradini , Uwe Nestmann EDITORIAL: Selected papers of the tenth international workshop on expressiveness in concurrency (EXPRESS 2003). [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2005, v:330, n:3, pp:375-376 [Journal ] Flavio Corradini , Walter Vogler Measuring the performance of asynchronous systems with PAFAS. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2005, v:335, n:2-3, pp:187-213 [Journal ] Nicola Cannata , Flavio Corradini , Emanuela Merelli , Andrea Omicini , Alessandro Ricci An Agent-Oriented Conceptual Framework for Systems Biology. [Citation Graph (0, 0)][DBLP ] , 2005, v:, n:, pp:105-122 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] EGOV, 2007, pp:204-215 [Conf ] Ezio Bartocci , Flavio Corradini , Emanuela Merelli Building a MultiAgent System from a User Workflow Specification. [Citation Graph (0, 0)][DBLP ] WOA, 2006, pp:- [Conf ] Ezio Bartocci , Flavio Corradini , Emanuela Merelli , Leonardo Vito Model driven design and implementation of activity-based applications in Hermes. [Citation Graph (0, 0)][DBLP ] WOA, 2006, pp:- [Conf ] Diletta Cacciagrano , Flavio Corradini , Catuscia Palamidessi Fair Pi. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:175, n:3, pp:3-26 [Journal ] Flavio Corradini , Walter Vogler Performance of pipelined asynchronous systems. [Citation Graph (0, 0)][DBLP ] J. Log. Algebr. Program., 2007, v:70, n:2, pp:201-221 [Journal ] Bone Remodelling: A Complex Automata-Based Model Running in BioShape. [Citation Graph (, )][DBLP ] StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes. [Citation Graph (, )][DBLP ] Resourceome for e-Government: Semantic Web Tool for Managing PA Resources. [Citation Graph (, )][DBLP ] Online Public Service Delivery. [Citation Graph (, )][DBLP ] Improving Trust in Composite eServices Via Run-Time Participants Testing. [Citation Graph (, )][DBLP ] Designing Quality Business Processes for E-Government Digital Services. [Citation Graph (, )][DBLP ] Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes. [Citation Graph (, )][DBLP ] A model-prover for constrained dynamic conversations. [Citation Graph (, )][DBLP ] Time and Fairness in a Process Algebra with Non-blocking Reading. [Citation Graph (, )][DBLP ] Semantic Resource Management in MAS. [Citation Graph (, )][DBLP ] Constraint-Based Dynamic Conversations. [Citation Graph (, )][DBLP ] A participant testing strategy for service orchestrations. [Citation Graph (, )][DBLP ] Holistic development of online public services. [Citation Graph (, )][DBLP ] Liveness of a mutex algorithm in a fair process algebra. [Citation Graph (, )][DBLP ] BioWMS: a web-based Workflow Management System for bioinformatics. [Citation Graph (, )][DBLP ] CellExcite: an efficient simulation environment for excitable cells. [Citation Graph (, )][DBLP ] Learning and detecting emergent behavior in networks of cardiac myocytes. [Citation Graph (, )][DBLP ] Explicit fairness in testing semantics [Citation Graph (, )][DBLP ] An Individual-based Probabilistic Model for Fish Stock Simulation [Citation Graph (, )][DBLP ] Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus. [Citation Graph (, )][DBLP ] Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue. [Citation Graph (, )][DBLP ] Model Checking Biological Oscillators. [Citation Graph (, )][DBLP ] Search in 0.010secs, Finished in 0.014secs