The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Flavio Corradini" ( http://dblp.L3S.de/Authors/Flavio_Corradini )

  Author page on DBLP  Author page in RDF  Community of Flavio Corradini in ASPL-2

Publication years (Num. hits)
1994-1999 (19) 2000-2003 (17) 2004-2005 (20) 2006-2007 (23) 2008-2009 (22) 2010-2011 (19)
Publication types (Num. hits)
article(61) book(1) incollection(1) inproceedings(55) proceedings(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 15 occurrences of 15 keywords

Results
Found 120 publication records. Showing 120 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei A Uniform Multiscale Meta-model of BioShape. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Emanuela Merelli, Luca Tesei Multiscale Modelling: A Mobile Membrane Approach Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Walter Vogler Automated Analysis of MUTEX Algorithms with FASE Search on Bibsonomy GandALF The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Flavio Corradini, Maria Rita Di Berardini, Walter Vogler Read Operators and their Expressiveness in Process Algebras Search on Bibsonomy EXPRESS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Walter Vogler Evaluating the Efficiency of Asynchronous Systems with FASE Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Flavio Corradini, Emanuela Merelli, Diletta Romana Cacciagrano, Rosario Culmone, Luca Tesei, Leonardo Vito ACTIVAge: proACTIVe and Self-Adaptive Social Sensor Network for Ageing People. Search on Bibsonomy ERCIM News The full citation details ... 2011 DBLP  BibTeX  RDF
1Federico Buti, Diletta Cacciagrano, Massimo Callisto De Donato, Flavio Corradini, Emanuela Merelli, Luca Tesei BIOSHAPE\textsc{BioShape}: End-User Development for Simulating Biological Systems. Search on Bibsonomy IS-EUD The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei Detecting synchronisation of biological oscillators by model checking. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Luis Á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. Search on Bibsonomy Expert Syst. Appl. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei BioShape: a spatial shape-based scale-independent simulation environment for biological systems. Search on Bibsonomy Procedia CS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei Shape Calculus. A Spatial Mobile Calculus for 3D Shapes. Search on Bibsonomy Sci. Ann. Comp. Sci. The full citation details ... 2010 DBLP  BibTeX  RDF
1Luis E. Anido-Rifón, Flavio Corradini Methodologies, Technologies and Tools Enabling e-Government. Search on Bibsonomy J. UCS The full citation details ... 2010 DBLP  BibTeX  RDF
1Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei, M. Pani Bone Remodelling in BioShape. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei Multiscale Bone Remodelling with Spatial P Systems Search on Bibsonomy MeCBIC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Federico Buti, Flavio Corradini, Emanuela Merelli, Elio Paschini, Pierluigi Penna, Luca Tesei An Individual-based Probabilistic Model for Fish Stock Simulation Search on Bibsonomy AMCA-POP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Flavio Corradini, Andrea Polini, Alberto Polzonetti, Barbara Re Business Processes Verification for e-Government Service Delivery. Search on Bibsonomy IS Management The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alessandro Aldini, Marco Bernardo, Flavio Corradini A Process Algebraic Approach to Software Architecture Design. Search on Bibsonomy 2010   DOI  RDF
1Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli Bone Remodelling: A Complex Automata-Based Model Running in BioShape. Search on Bibsonomy ACRI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Flavio Corradini, Damiano Falcioni, Andrea Polini, Alberto Polzonetti, Barbara Re Designing Quality Business Processes for E-Government Digital Services. Search on Bibsonomy EGOV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ezio 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. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Flavio Corradini, Maria Rita Di Berardini, Walter Vogler Liveness of a mutex algorithm in a fair process algebra. Search on Bibsonomy Acta Inf. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei Model Checking Biological Oscillators. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Radu Grosu, Scott A. Smolka, Flavio Corradini, Anita Wasilewska, Emilia Entcheva, Ezio Bartocci Learning and detecting emergent behavior in networks of cardiac myocytes. Search on Bibsonomy Commun. ACM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi Explicit fairness in testing semantics Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2009 DBLP  BibTeX  RDF
1Nicola Cannata, Flavio Corradini, Emanuela Merelli, Francesca Piersigilli, Leonardo Vito Towards Bioinformatics Resourceomes. Search on Bibsonomy Biomedical Data and Applications The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei A Shape Calculus for Biological Processes. Search on Bibsonomy ICTCS The full citation details ... 2009 DBLP  BibTeX  RDF
1Flavio Corradini, Alberto Polzonetti, Oliviero Riganelli Online Public Service Delivery. Search on Bibsonomy CSREA EE The full citation details ... 2009 DBLP  BibTeX  RDF
1Flavio Corradini, Emanuela Merelli, Alberto Polzonetti, Barbara Re, Leonardo Vito Resourceome for e-Government: Semantic Web Tool for Managing PA Resources. Search on Bibsonomy CSREA EE The full citation details ... 2009 DBLP  BibTeX  RDF
1Flavio Corradini, Maria Rita Di Berardini, Walter Vogler Time and Fairness in a Process Algebra with Non-blocking Reading. Search on Bibsonomy SOFSEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Flavio Corradini, Alberto Polzonetti, Oliviero Riganelli Holistic development of online public services. Search on Bibsonomy ICEGOV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF multidimensional perspective, online public service, egovernment
1Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Vito Constraint-Based Dynamic Conversations. Search on Bibsonomy ICNS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Radu Grosu, Scott A. Smolka CellExcite: an efficient simulation environment for excitable cells. Search on Bibsonomy BMC Bioinformatics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Flavio Corradini, Carlo Toffalori Preface to Special Issue devoted to the memory of Sauro Tulipani. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Diletta Cacciagrano, Flavio Corradini, Jesús Aranda, Frank D. Valencia Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ezio 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. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Flavio Corradini, Alberto Polzonetti, Barbara Re, Luca Tesei Quality of service in e-government underlines the role of information usability. Search on Bibsonomy IJIQ The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Luca Tesei, Leonardo Vito A model-prover for constrained dynamic conversations. Search on Bibsonomy iiWAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF web service, UML, conversations, OCL, WSDL, alloy
1Flavio Corradini, Francesco De Angelis, Andrea Polini, Alberto Polzonetti A participant testing strategy for service orchestrations. Search on Bibsonomy ICDIM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ezio Bartocci, Flavio Corradini, Radu Grosu, Emanuela Merelli, Oliviero Riganelli, Scott A. Smolka StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes. Search on Bibsonomy Concurrency, Graphs and Models The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Radu Grosu, Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Scott A. Smolka, Anita Wasilewska Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes. Search on Bibsonomy HSCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Flavio Corradini, Francesco De Angelis, Andrea Polini, Alberto Polzonetti Improving Trust in Composite eServices Via Run-Time Participants Testing. Search on Bibsonomy EGOV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Flavio Corradini, Walter Vogler Performance of pipelined asynchronous systems. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Lorenzo Scortichini BioWMS: a web-based Workflow Management System for bioinformatics. Search on Bibsonomy BMC Bioinformatics The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi Separation of synchronous and asynchronous communication via testing. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Nicola Cannata, Flavio Corradini, Emanuela Merelli A Resourceomic Grid for bioinformatics. Search on Bibsonomy Future Generation Comp. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Flavio Corradini, Carlo Toffalori Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi Fair Pi. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jos C. M. Baeten, Flavio Corradini, Clemens Grabmayer A characterization of regular expressions under bisimulation. Search on Bibsonomy J. ACM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF regular expressions, Bisimulation equivalence
1Emanuela 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. Search on Bibsonomy Briefings in Bioinformatics The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Nicola Cannata, Flavio Corradini, Francesca Piersigilli, Emanuela Merelli, Leonardo Vito Semantic Resource Management in MAS. Search on Bibsonomy WOA The full citation details ... 2007 DBLP  BibTeX  RDF
1Flavio 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. Search on Bibsonomy EGOV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Flavio Corradini, Paola Inverardi, Alexander L. Wolf On relating functional specifications to architectural specifications: A case study. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jos C. M. Baeten, Flavio Corradini Preface. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Flavio Corradini, Maria Rita Di Berardini, Walter Vogler Fairness of components in system computations. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Flavio Corradini, Maria Rita Di Berardini, Walter Vogler Fairness of Actions in System Computations. Search on Bibsonomy Acta Inf. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi Separation of Synchronous and Asynchronous Communication Via Testing. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Flavio Corradini, Maria Rita Di Berardini, Walter Vogler Checking a Mutex Algorithm in a Process Algebra with Fairness. Search on Bibsonomy CONCUR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ezio Bartocci, Flavio Corradini, Emanuela Merelli Enacting Proactive Workflows Engine in e-Science. Search on Bibsonomy International Conference on Computational Science The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ezio Bartocci, Flavio Corradini, Emanuela Merelli Building a MultiAgent System from a User Workflow Specification. Search on Bibsonomy WOA The full citation details ... 2006 DBLP  BibTeX  RDF
1Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Leonardo Vito Model driven design and implementation of activity-based applications in Hermes. Search on Bibsonomy WOA The full citation details ... 2006 DBLP  BibTeX  RDF
1Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Vito Dynamic Constraint-Based Invocation of Web Services. Search on Bibsonomy WS-FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Flavio Corradini, Francesco De Angelis, Alberto Polzonetti, Barbara Re Quality evaluation of e-Government digital services. Search on Bibsonomy DG.O The full citation details ... 2006 DBLP  DOI  BibTeX  RDF quality of service, e-government, quality model
1Flavio Corradini, Alberto Polzonetti, Romeo Pruno, Roberto D'Angelo Social Enterprise Architecture: Towards an Extendable and Scaleable System Architecture for KM. Search on Bibsonomy DEXA Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Flavio Corradini, Alberto Polzonetti, Romeo Pruno, Lucio Forastieri Document Exchange Methodology for Collaborative Work in e-Government. Search on Bibsonomy DEXA Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Flavio Corradini, Walter Vogler Measuring the performance of asynchronous systems with PAFAS. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Flavio Corradini, Uwe Nestmann EDITORIAL: Selected papers of the tenth international workshop on expressiveness in concurrency (EXPRESS 2003). Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Flavio Corradini, Maria Rita Di Berardini, Walter Vogler Fairness of Components in System Computations. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Jos C. M. Baeten, Flavio Corradini Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Nicola Cannata, Flavio Corradini, Emanuela Merelli, Andrea Omicini, Alessandro Ricci An Agent-Oriented Conceptual Framework for Systems Biology. Search on Bibsonomy T. Comp. Sys. Biology The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Flavio Corradini, Flavio De Paoli, Emanuela Merelli, Andrea Omicini (eds.) 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 Search on Bibsonomy WOA The full citation details ... 2005 DBLP  BibTeX  RDF
1Flavio Corradini, Rosario Culmone, Maria Rita Di Berardini, Emanuela Merelli Integrating Ontologies in Mobile Agents. Search on Bibsonomy WOA The full citation details ... 2005 DBLP  BibTeX  RDF
1Flavio Corradini, Walter Vogler Performance of Pipelined Asynchronous Systems. Search on Bibsonomy FORMATS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Flavio Corradini, Emanuela Merelli Hermes: Agent-Based Middleware for Mobile Computing. Search on Bibsonomy SFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Flavio Corradini, Emanuela Merelli, Marco Vita A Multi-agent System for Modelling Carbohydrate Oxidation in Cell. Search on Bibsonomy ICCSA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Jos C. M. Baeten, Flavio Corradini Regular Expressions in Process Algebra. Search on Bibsonomy LICS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Flavio Corradini, Eleonora Paganelli, Alberto Polzonetti e-Democracy: A Solution for Disadvantaged Territories. Search on Bibsonomy ECEG The full citation details ... 2005 DBLP  BibTeX  RDF
1Flavio Corradini, Alberto Polzonetti, Romeo Pruno eGovernment Administrative and Semantic Cooperation: The Role of "Intelligent Documents". Search on Bibsonomy EGOV (Workshops and Posters) The full citation details ... 2005 DBLP  BibTeX  RDF
1Flavio Corradini, Uwe Nestmann Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Flavio Corradini, Leonardo Mariani, Emanuela Merelli An agent-based approach to tool integration. Search on Bibsonomy STTT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Agent supported tool integration, WfMS (Workflow management system), Data extraction and integration, Bioinformatics tools, MAS (Multiagent systems), Data Management
1Flavio Corradini, Chiara Ercoli, Emanuela Merelli, Barbara Re An agent-based matchmaker. Search on Bibsonomy WOA The full citation details ... 2004 DBLP  BibTeX  RDF
1Flavio Corradini, Rosario Culmone, Maria Rita Di Berardini Code Mobility for Pervasive Computing. Search on Bibsonomy WETICE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Diego Bonura, Flavio Corradini, Emanuela Merelli, Gino Romiti FarMAS: A MAS for Extended Quality Workflow. Search on Bibsonomy WETICE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Diletta Cacciagrano, Flavio Corradini Expressiveness of Timed Events and Timed Languages. Search on Bibsonomy SFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Marco Bernardo, Flavio Corradini (eds.) 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 Search on Bibsonomy SFM The full citation details ... 2004 DBLP  BibTeX  RDF
1Candida Attanasio, Flavio Corradini, Paola Inverardi Static analysis of real-time component-based systems configurations. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Flavio Corradini, Dino Di Cola The Expressive Power Of Urgent, Lazy And Busy-Waiting Actions In Timed Processes. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Flavio Corradini, Maria Rita Di Berardini, Walter Vogler Relating Fairness and Timing in Process Algebras. Search on Bibsonomy CONCUR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Flavio Corradini, Leonardo Mariani, Emanuela Merelli A Programming Environment for Global Activity-based Applications. Search on Bibsonomy WOA The full citation details ... 2003 DBLP  BibTeX  RDF
1Flavio Corradini, Walter Vogler, Lars Jenner Comparing the worst-case efficiency of asynchronous systems with PAFAS. Search on Bibsonomy Acta Inf. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Flavio Corradini, Rocco De Nicola, Anna Labella An Equational Axiomatization of Bisimulation over Regular Expressions. Search on Bibsonomy J. Log. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Flavio Corradini, Gian Luigi Ferrari, Marco Pistore On the semantics of durational actions. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Flavio Corradini, Dino Di Cola On testing urgency through laziness over processes with durational actions. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Flavio Corradini, Marco Pistore `Closed Interval Process Algebra' versus `Interval Process Algebra'. Search on Bibsonomy Acta Inf. The full citation details ... 2001 DBLP  BibTeX  RDF
1Flavio Corradini, Walter Vogler Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Diletta Cacciagrano, Flavio Corradini On Synchronous and Asynchronous Communication Paradigms. Search on Bibsonomy ICTCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Flavio Corradini, Maria Rita Di Berardini, Walter Vogler PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations. Search on Bibsonomy APAQS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Flavio Corradini Absolute versus Relative Time in Process Algebras. Search on Bibsonomy Inf. Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Flavio Corradini, Dino Di Cola The Expressive Power of Urgent, Lazy and Busy-Waiting Actions in Timed Processes. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Flavio Corradini, Paola Inverardi Preface Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Mauro Cioffi, Flavio Corradini Specification and Analysis of Timed and Functional TRMCS Behaviours. Search on Bibsonomy IWSSD The full citation details ... 2000 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 120 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.