The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Roberto Gorrieri: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Nadia Busi, Roberto Gorrieri
    A Survey on Non-interference with Petri Nets. [Citation Graph (0, 0)][DBLP]
    Lectures on Concurrency and Petri Nets, 2003, pp:328-344 [Conf]
  2. Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli
    Compositional Verification of Integrity for Digital Stream Signature Protocols. [Citation Graph (0, 0)][DBLP]
    ACSD, 2003, pp:142-149 [Conf]
  3. Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
    Process Calculi for Coordination: From Linda to JavaSpaces. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:198-212 [Conf]
  4. 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]
  5. Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
    Message Authentication through Non Interference. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:258-272 [Conf]
  6. Roberto Gorrieri, Marco Roccetti
    Towards Performance Evaluation in Process Algebras. [Citation Graph (0, 0)][DBLP]
    AMAST, 1993, pp:289-296 [Conf]
  7. Nadia Busi, Roberto Gorrieri
    Positive Non-interference in Elementary and Trace Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:1-16 [Conf]
  8. Pierpaolo Degano, Roberto Gorrieri, Sergio Marchetti
    An Exercise in Concurrency: a CSP Process as a Condition/ event System. [Citation Graph (0, 0)][DBLP]
    European Workshop on Applications and Theory of Petri Nets, 1987, pp:85-105 [Conf]
  9. Roberto Gorrieri, Ugo Montanari
    Distributed Implementation of CCS. [Citation Graph (0, 0)][DBLP]
    Applications and Theory of Petri Nets, 1991, pp:244-266 [Conf]
  10. Roberto Gorrieri, Sergio Marchetti, Ugo Montanari
    A²CCS: A Simple Extension of CCS for Handling Atomic Actions. [Citation Graph (0, 0)][DBLP]
    CAAP, 1988, pp:258-270 [Conf]
  11. Roberto Gorrieri, Glauco Siliprandi
    Real-Time System Verification using P/T Nets. [Citation Graph (0, 0)][DBLP]
    CAV, 1994, pp:14-26 [Conf]
  12. Mario Bravetti, Marco Bernardo, Roberto Gorrieri
    Towards Performance Evaluation with General Distributions in Process Algebras. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1998, pp:405-422 [Conf]
  13. Marco Bernardo, Roberto Gorrieri
    Extended Markovian Process Algebra. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1996, pp:315-330 [Conf]
  14. Nadia Busi, Roberto Gorrieri
    A Petri Net Semantics for pi-Calculus. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1995, pp:145-159 [Conf]
  15. Roberto Gorrieri, Ugo Montanari
    SCONE: A Simple Calculus of Nets. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1990, pp:2-30 [Conf]
  16. Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
    Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2004, pp:55-70 [Conf]
  17. Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
    Choreography and Orchestration Conformance for System Design. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2006, pp:63-81 [Conf]
  18. Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
    Three Semantics of the Output Operation for Generative Communication. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 1997, pp:205-219 [Conf]
  19. Antonio Durante, Riccardo Focardi, Roberto Gorrieri
    CVS: A Compiler for the Analysis of Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
    CSFW, 1999, pp:203-212 [Conf]
  20. Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
    Information Flow Analysis in a Discrete-Time Process Algebra. [Citation Graph (0, 0)][DBLP]
    CSFW, 2000, pp:170-184 [Conf]
  21. Riccardo Focardi, Roberto Gorrieri, V. Panini
    The security checker: a semantics-based tool for the verification of security properties. [Citation Graph (0, 0)][DBLP]
    CSFW, 1995, pp:60-69 [Conf]
  22. Riccardo Focardi, Roberto Gorrieri
    A Taxonomy of Security Properties for CCS. [Citation Graph (0, 0)][DBLP]
    CSFW, 1994, pp:126-136 [Conf]
  23. Roberto Gorrieri, Paul F. Syverson, Martín Abadi, Riccardo Focardi, Dieter Gollmann, Gavin Lowe, Catherine Meadows
    Panel Introduction: Varieties of Authentication. [Citation Graph (0, 0)][DBLP]
    CSFW, 1998, pp:79-82 [Conf]
  24. Nadia Busi, Roberto Gorrieri
    Distributed Conflicts in Communicating Systems. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshop, 1994, pp:49-65 [Conf]
  25. Roberto Gorrieri, Claudio Guidi, Roberto Lucchi
    Reasoning About Interaction Patterns in Choreography. [Citation Graph (0, 0)][DBLP]
    EPEW/WS-FM, 2005, pp:333-348 [Conf]
  26. Roberto Gorrieri, Enrico Locatelli, Fabio Martinelli
    A Simple Language for Real-Time Cryptographic Protocol Analysis. [Citation Graph (0, 0)][DBLP]
    ESOP, 2003, pp:114-128 [Conf]
  27. Arend Rensink, Roberto Gorrieri
    Action refinement for Vertical Implementation. [Citation Graph (0, 0)][DBLP]
    FBT, 1997, pp:69-78 [Conf]
  28. Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
    On the Semantics of JavaSpaces. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2000, pp:3-0 [Conf]
  29. Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli
    Formal Anaylsis of Some Timed Security Properties in Wireless Protocols. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2003, pp:139-154 [Conf]
  30. Marco Bernardo, Lorenzo Donatiello, Roberto Gorrieri
    Integrated analysis of concurrent distributed systems using Markovian process algebra. [Citation Graph (0, 0)][DBLP]
    FORTE, 1994, pp:455-457 [Conf]
  31. Alessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky
    Two Formal Approaches for Approximating Noninterference Properties. [Citation Graph (0, 0)][DBLP]
    FOSAD, 2002, pp:1-43 [Conf]
  32. Riccardo Focardi, Roberto Gorrieri
    Classification of Security Properties (Part I: Information Flow). [Citation Graph (0, 0)][DBLP]
    FOSAD, 2000, pp:331-396 [Conf]
  33. Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
    Classification of Security Properties - Part II: Network Security. [Citation Graph (0, 0)][DBLP]
    FOSAD, 2002, pp:139-185 [Conf]
  34. Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
    Temporary Data in Shared Dataspace Coordination Languages. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2001, pp:121-136 [Conf]
  35. Angelo Troina, Alessandro Aldini, Roberto Gorrieri
    Towards a Formal Treatment of Secrecy Against Computational Adversaries. [Citation Graph (0, 0)][DBLP]
    Global Computing, 2004, pp:77-92 [Conf]
  36. Alessandro Aldini, Roberto Gorrieri
    A Study about Trade-Off between Performance and Security in an Internet Audio Mechanism. [Citation Graph (0, 0)][DBLP]
    Global Computing, 2003, pp:203-228 [Conf]
  37. Mario Bravetti, Roberto Gorrieri
    A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors. [Citation Graph (0, 0)][DBLP]
    ICALP, 2000, pp:744-755 [Conf]
  38. Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
    Non Interference for the Analysis of Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
    ICALP, 2000, pp:354-372 [Conf]
  39. Roberto Gorrieri
    Introduction: International Workshop on Process Algebra and Performance Modelling. [Citation Graph (0, 0)][DBLP]
    ICALP Satellite Workshops, 2000, pp:485-486 [Conf]
  40. Antonio Brogi, Roberto Gorrieri
    Model Theoretic, Fixpoint and Operational Semantics for a Distributed Logic Language. [Citation Graph (0, 0)][DBLP]
    ICLP, 1989, pp:637-652 [Conf]
  41. Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
    Choreography and Orchestration: A Synergic Approach for System Design. [Citation Graph (0, 0)][DBLP]
    ICSOC, 2005, pp:228-240 [Conf]
  42. Claudio Guidi, Roberto Lucchi, Roberto Gorrieri, Nadia Busi, Gianluigi Zavattaro
    : A Calculus for Service Oriented Computing. [Citation Graph (0, 0)][DBLP]
    ICSOC, 2006, pp:327-338 [Conf]
  43. Mario Bravetti, Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
    Security Issues in the Tuple-Space Coordination Model. [Citation Graph (0, 0)][DBLP]
    Formal Aspects in Security and Trust, 2004, pp:1-12 [Conf]
  44. 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]
  45. Pierpaolo Degano, Roberto Gorrieri
    Atomic Refinement in Process Description Languages. [Citation Graph (0, 0)][DBLP]
    MFCS, 1991, pp:121-130 [Conf]
  46. Roberto Gorrieri, Cosimo Laneve
    The Limit of Split_n-Bisimulations for CCS Agents. [Citation Graph (0, 0)][DBLP]
    MFCS, 1991, pp:170-180 [Conf]
  47. Roberto Gorrieri, Fabio Martinelli
    Process Algebraic Frameworks for the Specification and Analysis of Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
    MFCS, 2003, pp:46-67 [Conf]
  48. Antonio Durante, Riccardo Focardi, Roberto Gorrieri
    CVS at Work: A Report on New Failures upon Some Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
    MMM-ACNS, 2001, pp:287-299 [Conf]
  49. Alessandro Aldini, Roberto Gorrieri
    Security Analysis of a Probabilistic Non-repudiation Protocol. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2002, pp:17-36 [Conf]
  50. Andrea Asperti, Gian Luigi Ferrari, Roberto Gorrieri
    Implicative Formulae in the ``Proofs as Computations'' Analogy. [Citation Graph (0, 0)][DBLP]
    POPL, 1990, pp:59-71 [Conf]
  51. Nadia Busi, Rob J. van Glabbeek, Roberto Gorrieri
    Axiomatising ST-Bisimulation Equivalence. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1994, pp:169-188 [Conf]
  52. Pierpaolo Degano, Roberto Gorrieri, Giuseppe Rosolini
    A Categorial View of Process Refinement. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1992, pp:138-153 [Conf]
  53. Mario Bravetti, Roberto Lucchi, Gianluigi Zavattaro, Roberto Gorrieri
    Web Services for E-commerce: guaranteeing security access and quality of service. [Citation Graph (0, 0)][DBLP]
    SAC, 2004, pp:800-806 [Conf]
  54. Vincenzo Ciaschini, Roberto Gorrieri
    Contrasting Malicious Java Applets by Modifying the Java Virtual Machine. [Citation Graph (0, 0)][DBLP]
    SEC, 2004, pp:47-64 [Conf]
  55. Riccardo Focardi, Roberto Gorrieri
    Automatic Compositional Verification of Some Security Properties. [Citation Graph (0, 0)][DBLP]
    TACAS, 1996, pp:167-186 [Conf]
  56. Ursula Goltz, Roberto Gorrieri, Arend Rensink
    On Syntactic and Semantic Action Refinement. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:385-404 [Conf]
  57. Antonio Brogi, Roberto Gorrieri
    A Distributed, Net Oriented Semantics for Delta Prolog. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1989, pp:162-177 [Conf]
  58. Pierpaolo Degano, Roberto Gorrieri, Sebastiano Vigna
    On Relating Some Models for Concurrency. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1993, pp:15-30 [Conf]
  59. Gian Luigi Ferrari, Roberto Gorrieri, Ugo Montanari
    An Extended Expansion Theorem. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1991, pp:29-48 [Conf]
  60. Arend Rensink, Roberto Gorrieri
    Action Refinement as an Implementation Relations. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:772-786 [Conf]
  61. Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
    Towards a formal framework for Choreography. [Citation Graph (0, 0)][DBLP]
    WETICE, 2005, pp:107-112 [Conf]
  62. 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]
  63. Marco Bernardo, Nadia Busi, Roberto Gorrieri
    A Distributed Semantics for EMPA Based on Stochastic Contextual Nets. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1995, v:38, n:7, pp:492-509 [Journal]
  64. Maria Felicia Florio, Roberto Gorrieri, Gianluigi Marchetti
    Coping with denial of service due to malicious Java applets. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 2000, v:23, n:17, pp:1645-1654 [Journal]
  65. Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela, Peter Wegner
    Computing Surveys' Electronic Symposium on the Theory of Computation. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1999, v:31, n:3, pp:223-226 [Journal]
  66. Roberto Gorrieri
    On the Power of Concurrency Theory. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:42- [Journal]
  67. Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
    Techniques for Security Checking: Non-Interference vs Control Flow Analysis. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal]
  68. Mario Bravetti, Roberto Gorrieri
    Preface: Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:99, n:, pp:1-2 [Journal]
  69. Mario Bravetti, Roberto Gorrieri
    Deciding and Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action Refinement. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:27, n:, pp:- [Journal]
  70. Mario Bravetti, Roberto Gorrieri, Roberto Lucchi
    A formal approach for checking security properties in SecSpaces. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:85, n:3, pp:- [Journal]
  71. Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
    Combining Partitions in SecSpaces. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:99, n:, pp:31-47 [Journal]
  72. Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
    On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:5, pp:39-53 [Journal]
  73. Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
    SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agents. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:68, n:3, pp:- [Journal]
  74. Nadia Busi, Roberto Gorrieri, Fabio Martinelli
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:121, n:, pp:1-2 [Journal]
  75. Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
    On the Turing equivalence of Linda coordination primitives. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:7, n:, pp:- [Journal]
  76. Riccardo Focardi, Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci
    Formal Models of Timing Attacks on Web Privacy. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal]
  77. Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
    Secrecy in Security Protocols as Non Interference. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:32, n:, pp:- [Journal]
  78. Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi
    A Formalization of Credit and Responsibility Within the GNDC Schema. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:157, n:3, pp:61-78 [Journal]
  79. Angelo Troina, Alessandro Aldini, Roberto Gorrieri
    Approximating Imperfect Cryptography in a Formal Model. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:99, n:, pp:183-203 [Journal]
  80. Marco Bernardo, Roberto Gorrieri, Marco Roccetti
    Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1998, v:10, n:4, pp:313-337 [Journal]
  81. Roberto Gorrieri
    A hierarchy of system descriptions via atomic linear refinement. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1992, v:16, n:3-4, pp:289-336 [Journal]
  82. Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
    Supporting Secure Coordination in SecSpaces. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:73, n:4, pp:479-506 [Journal]
  83. Marco Bernardo, Lorenzo Donatiello, Roberto Gorrieri
    A Formal Approach to the Integration of Performance Aspects in the Modeling and Analysis of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1998, v:144, n:2, pp:83-154 [Journal]
  84. Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
    On the Expressiveness of Linda Coordination Primitives. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2000, v:156, n:1-2, pp:90-121 [Journal]
  85. Pierpaolo Degano, Roberto Gorrieri
    A Causal Operational Semantics of Action Refinement [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:122, n:1, pp:97-119 [Journal]
  86. Ursula Goltz, Roberto Gorrieri, Arend Rensink
    Comparing Syntactic and Semantic Sction Refinement. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1996, v:125, n:2, pp:118-143 [Journal]
  87. Roberto Gorrieri, Cosimo Laneve
    Split and ST Bisimulation Semantics [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:118, n:2, pp:272-288 [Journal]
  88. Arend Rensink, Roberto Gorrieri
    Vertical Implementation. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2001, v:170, n:1, pp:95-133 [Journal]
  89. Roberto Gorrieri, Ugo Montanari
    Towards Hierarchical Description of Systems: A Proof System for Strong Prefixing. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 1990, v:1, n:3, pp:277-294 [Journal]
  90. Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci
    Automated analysis of timed security: a case study on web privacy. [Citation Graph (0, 0)][DBLP]
    Int. J. Inf. Sec., 2004, v:2, n:3-4, pp:168-186 [Journal]
  91. Alessandro Aldini, Mario Bravetti, Roberto Gorrieri
    A process-algebraic approach for the analysis of probabilistic noninterference. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2004, v:12, n:2, pp:191-245 [Journal]
  92. Riccardo Focardi, Roberto Gorrieri
    A Taxonomy of Security Properties for Process Algebras. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 1995, v:3, n:1, pp:5-34 [Journal]
  93. Antonio Brogi, Roberto Gorrieri
    Distributed Logic Programming. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1993, v:15, n:4, pp:295-335 [Journal]
  94. Roberto Gorrieri, Ulrich Herzog, Jane Hillston
    Unified specification and performance evaluation using stochastic process algebras. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2002, v:50, n:2/3, pp:79-82 [Journal]
  95. Roberto Gorrieri, Fabio Martinelli
    A simple framework for real-time cryptographic protocol analysis with compositional proof rules. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2004, v:50, n:1-3, pp:23-49 [Journal]
  96. Marco Bernardo, Roberto Gorrieri
    Corrigendum to ``A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time'' - [TCS 202 (1998) 1-54]. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:254, n:1-2, pp:691-694 [Journal]
  97. Marco Bernardo, Roberto Gorrieri
    A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:202, n:1-2, pp:1-54 [Journal]
  98. Mario Bravetti, Roberto Gorrieri
    The theory of interactive generalized semi-Markov processes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:282, n:1, pp:5-32 [Journal]
  99. Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
    Quantitative information in the tuple space coordination model. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:346, n:1, pp:28-57 [Journal]
  100. Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
    Comparing three semantics for Linda-like languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:240, n:1, pp:49-90 [Journal]
  101. Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
    A Process Algebraic View of Linda Coordination Primitives. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:192, n:2, pp:167-199 [Journal]
  102. Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
    A comparison of three authentication properties. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:291, n:3, pp:285-327 [Journal]
  103. Roberto Gorrieri
    Editorial. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:283, n:2, pp:269-270 [Journal]
  104. Roberto Gorrieri, Chris Hankin
    Foreword: Theoretical Aspects of Coordination Languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:192, n:2, pp:163-165 [Journal]
  105. Roberto Gorrieri, Fabio Martinelli
    Theoretical foundations of security analysis and design II. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:340, n:1, pp:1-2 [Journal]
  106. Roberto Gorrieri, Ugo Montanari
    On the Implementation of Concurrent Calculi in Net Calculi: Two Case Studies. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:141, n:1&2, pp:195-252 [Journal]
  107. Roberto Gorrieri, Sergio Marchetti, Ugo Montanari
    A2CCKS: Atomic Actions for CCS. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:72, n:2&3, pp:203-223 [Journal]
  108. Roberto Gorrieri, Marco Roccetti, Enrico Stancampiano
    A Theory of Processes with Durational Actions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:140, n:1, pp:73-94 [Journal]
  109. Nadia Busi, Roberto Gorrieri
    On the Computational Power of Brane Calculi. [Citation Graph (0, 0)][DBLP]
    , 2006, v:, n:, pp:16-43 [Journal]
  110. Mario Bravetti, Roberto Gorrieri
    Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2002, v:3, n:4, pp:465-520 [Journal]
  111. Alessandro Aldini, Marco Bernardo, Roberto Gorrieri, Marco Roccetti
    Comparing the QoS of Internet audio mechanisms via formal methods. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Model. Comput. Simul., 2001, v:11, n:1, pp:1-42 [Journal]
  112. Antonio Durante, Riccardo Focardi, Roberto Gorrieri
    A compiler for analyzing cryptographic protocols using noninterference. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2000, v:9, n:4, pp:488-528 [Journal]
  113. Riccardo Focardi, Roberto Gorrieri
    The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1997, v:23, n:9, pp:550-571 [Journal]
  114. Cristian Versari, Nadia Busi, Roberto Gorrieri
    On the Expressive Power of Global and Local Priority in Process Calculi. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2007, pp:241-255 [Conf]

  115. Ugo Montanari and Concurrency Theory. [Citation Graph (, )][DBLP]


  116. On the Relationship between π-Calculus and Finite Place/Transition Petri Nets. [Citation Graph (, )][DBLP]


  117. Petri Net Security Checker: Structural Non-interference at Work. [Citation Graph (, )][DBLP]


  118. pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi. [Citation Graph (, )][DBLP]


  119. Towards Information Flow Properties for Distributed Systems. [Citation Graph (, )][DBLP]


Search in 0.080secs, Finished in 0.085secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002