The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Flavio Corradini: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. Flavio Corradini, Eleonora Paganelli, Alberto Polzonetti
    e-Democracy: A Solution for Disadvantaged Territories. [Citation Graph (0, 0)][DBLP]
    ECEG, 2005, pp:101-110 [Conf]
  12. 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]
  13. 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]
  14. Flavio Corradini, Walter Vogler
    Performance of Pipelined Asynchronous Systems. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2005, pp:242-257 [Conf]
  15. Flavio Corradini, Rocco De Nicola, Anna Labella
    Graded Modalities and Resource Bisimulation. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1999, pp:381-393 [Conf]
  16. Flavio Corradini, Rocco De Nicola
    Distribution and Locality of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    ICALP, 1994, pp:154-165 [Conf]
  17. 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]
  18. 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]
  19. 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]
  20. Diletta Cacciagrano, Flavio Corradini
    On Synchronous and Asynchronous Communication Paradigms. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2001, pp:256-268 [Conf]
  21. Mauro Cioffi, Flavio Corradini
    Specification and Analysis of Timed and Functional TRMCS Behaviours. [Citation Graph (0, 0)][DBLP]
    IWSSD, 2000, pp:31-38 [Conf]
  22. Jos C. M. Baeten, Flavio Corradini
    Regular Expressions in Process Algebra. [Citation Graph (0, 0)][DBLP]
    LICS, 2005, pp:12-19 [Conf]
  23. 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]
  24. Flavio Corradini, Marco Pistore
    Specification and Verification of Timed Lazy Systems. [Citation Graph (0, 0)][DBLP]
    MFCS, 1996, pp:279-290 [Conf]
  25. Diletta Cacciagrano, Flavio Corradini
    Expressiveness of Timed Events and Timed Languages. [Citation Graph (0, 0)][DBLP]
    SFM, 2004, pp:98-131 [Conf]
  26. Flavio Corradini, Emanuela Merelli
    Hermes: Agent-Based Middleware for Mobile Computing. [Citation Graph (0, 0)][DBLP]
    SFM, 2005, pp:234-270 [Conf]
  27. 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]
  28. Flavio Corradini, Rosario Culmone, Maria Rita Di Berardini
    Code Mobility for Pervasive Computing. [Citation Graph (0, 0)][DBLP]
    WETICE, 2004, pp:431-432 [Conf]
  29. 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]
  30. Flavio Corradini, Chiara Ercoli, Emanuela Merelli, Barbara Re
    An agent-based matchmaker. [Citation Graph (0, 0)][DBLP]
    WOA, 2004, pp:150-156 [Conf]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. 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]
  44. 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]
  45. Flavio Corradini, Paola Inverardi
    Preface [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:39, n:3, pp:- [Journal]
  46. 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]
  47. Flavio Corradini, Walter Vogler
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:52, n:3, pp:- [Journal]
  48. Flavio Corradini, Carlo Toffalori
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:169, n:, pp:1-2 [Journal]
  49. 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]
  50. 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]
  51. 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]
  52. 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]
  53. Flavio Corradini
    On Performance Congruences for Process Algebras. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1998, v:145, n:2, pp:191-230 [Journal]
  54. 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]
  55. 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]
  56. 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]
  57. 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]
  58. 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]
  59. 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]
  60. 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]
  61. 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]
  62. Jos C. M. Baeten, Flavio Corradini
    Preface. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:356, n:3, pp:263-264 [Journal]
  63. 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]
  64. 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]
  65. 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]
  66. 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]
  67. 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]
  68. 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]
  69. 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]
  70. 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]
  71. Ezio Bartocci, Flavio Corradini, Emanuela Merelli
    Building a MultiAgent System from a User Workflow Specification. [Citation Graph (0, 0)][DBLP]
    WOA, 2006, pp:- [Conf]
  72. 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]
  73. 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]
  74. 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]

  75. Bone Remodelling: A Complex Automata-Based Model Running in BioShape. [Citation Graph (, )][DBLP]


  76. StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes. [Citation Graph (, )][DBLP]


  77. Resourceome for e-Government: Semantic Web Tool for Managing PA Resources. [Citation Graph (, )][DBLP]


  78. Online Public Service Delivery. [Citation Graph (, )][DBLP]


  79. Improving Trust in Composite eServices Via Run-Time Participants Testing. [Citation Graph (, )][DBLP]


  80. Designing Quality Business Processes for E-Government Digital Services. [Citation Graph (, )][DBLP]


  81. Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes. [Citation Graph (, )][DBLP]


  82. A model-prover for constrained dynamic conversations. [Citation Graph (, )][DBLP]


  83. Time and Fairness in a Process Algebra with Non-blocking Reading. [Citation Graph (, )][DBLP]


  84. Semantic Resource Management in MAS. [Citation Graph (, )][DBLP]


  85. Constraint-Based Dynamic Conversations. [Citation Graph (, )][DBLP]


  86. A participant testing strategy for service orchestrations. [Citation Graph (, )][DBLP]


  87. Holistic development of online public services. [Citation Graph (, )][DBLP]


  88. Liveness of a mutex algorithm in a fair process algebra. [Citation Graph (, )][DBLP]


  89. BioWMS: a web-based Workflow Management System for bioinformatics. [Citation Graph (, )][DBLP]


  90. CellExcite: an efficient simulation environment for excitable cells. [Citation Graph (, )][DBLP]


  91. Learning and detecting emergent behavior in networks of cardiac myocytes. [Citation Graph (, )][DBLP]


  92. Explicit fairness in testing semantics [Citation Graph (, )][DBLP]


  93. An Individual-based Probabilistic Model for Fish Stock Simulation [Citation Graph (, )][DBLP]


  94. Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus. [Citation Graph (, )][DBLP]


  95. Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue. [Citation Graph (, )][DBLP]


  96. Model Checking Biological Oscillators. [Citation Graph (, )][DBLP]


Search in 0.797secs, Finished in 0.802secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002