The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Pierpaolo Degano: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
    CCS is an (Augmented) Contact Free C/E System. [Citation Graph (0, 0)][DBLP]
    Mathematical Models for the Semantics of Parallelism, 1986, pp:144-165 [Conf]
  2. Pierpaolo Degano, Corrado Priami
    A Transitional Semantics of Full Prolog. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE, 1995, pp:511-520 [Conf]
  3. 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]
  4. Pierpaolo Degano, Francesca Levi, Chiara Bodei
    Safe Ambients: Control Flow Analysis and Security. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2000, pp:199-214 [Conf]
  5. Alan Mycroft, Pierpaolo Degano, Corrado Priami
    Complexity as a Basis for Comparing Semantic Models of Concurrency. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1995, pp:141-155 [Conf]
  6. D. Chiarugi, M. Chinellato, Pierpaolo Degano, G. Lo Brutto, Roberto Marangoni
    Feedbacks and Oscillations in the Virtual Cell VICE. [Citation Graph (0, 0)][DBLP]
    CMSB, 2006, pp:93-107 [Conf]
  7. D. Chiarugi, Michele Curti, Pierpaolo Degano, Roberto Marangoni
    VICE: A VIrtual CEll. [Citation Graph (0, 0)][DBLP]
    CMSB, 2004, pp:207-220 [Conf]
  8. Michele Curti, Pierpaolo Degano, Cosima Tatiana Baldari
    Causal pi-Calculus for Biochemical Modelling. [Citation Graph (0, 0)][DBLP]
    CMSB, 2003, pp:21-33 [Conf]
  9. Pierpaolo Degano, Corrado Priami
    Enhanced Operational Semantics in Systems Biology. [Citation Graph (0, 0)][DBLP]
    CMSB, 2003, pp:178-181 [Conf]
  10. Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
    Control Flow Analysis for the pi-calculus. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1998, pp:84-98 [Conf]
  11. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari
    Enforcing Secure Service Composition. [Citation Graph (0, 0)][DBLP]
    CSFW, 2005, pp:211-223 [Conf]
  12. Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
    Automatic Validation of Protocol Narration. [Citation Graph (0, 0)][DBLP]
    CSFW, 2003, pp:126-140 [Conf]
  13. Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami
    Authentication via Localized Names. [Citation Graph (0, 0)][DBLP]
    CSFW, 1999, pp:98-110 [Conf]
  14. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari
    Types and Effects for Secure Service Orchestration. [Citation Graph (0, 0)][DBLP]
    CSFW, 2006, pp:57-69 [Conf]
  15. Pierpaolo Degano, Stefano Kasangian, Sebastiano Vigna
    Applications of the Calculus of Trees to Process Description Languages. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1991, pp:282-301 [Conf]
  16. Pierpaolo Degano, Fabio Gadducci, Corrado Priami
    Causality and Replication in Concurrent Processes. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2003, pp:307-318 [Conf]
  17. Chiara Nottegar, Corrado Priami, Pierpaolo Degano
    Semantic-Driven Performance Evaluation (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    FASE, 1999, pp:204-218 [Conf]
  18. Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
    Partial ordering derivations for CCS. [Citation Graph (0, 0)][DBLP]
    FCT, 1985, pp:520-533 [Conf]
  19. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari
    Security Issues in Service Composition. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2006, pp:1-16 [Conf]
  20. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari
    History-Based Access Control with Local Policies. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2005, pp:316-332 [Conf]
  21. Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
    Static Analysis of Processes for No and Read-Up nad No Write-Down. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 1999, pp:120-134 [Conf]
  22. Roberto Zunino, Pierpaolo Degano
    A Note on the Perfect Encryption Assumption in a Process Calculus. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2004, pp:514-528 [Conf]
  23. Roberto Zunino, Pierpaolo Degano
    Handling exp, × (and Timestamps) in Protocol Analysis. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:413-427 [Conf]
  24. Linda Brodo, Pierpaolo Degano, Stephen Gilmore, Jane Hillston, Corrado Priami
    Performance Evaluation for Global Computation. [Citation Graph (0, 0)][DBLP]
    Global Computing, 2003, pp:229-253 [Conf]
  25. Linda Brodo, Pierpaolo Degano, Corrado Priami
    Reflecting Mobile Ambients into the p-Calculus. [Citation Graph (0, 0)][DBLP]
    Global Computing, 2003, pp:25-56 [Conf]
  26. Chiara Bodei, Pierpaolo Degano, Corrado Priami
    Mobile Processes with a Distributed Environment. [Citation Graph (0, 0)][DBLP]
    ICALP, 1996, pp:490-501 [Conf]
  27. Linda Brodo, Pierpaolo Degano, Corrado Priami
    A tool for quantitative analysis of calculus processes. [Citation Graph (0, 0)][DBLP]
    ICALP Satellite Workshops, 2000, pp:535-550 [Conf]
  28. Philippe Darondeau, Pierpaolo Degano
    Causal Trees. [Citation Graph (0, 0)][DBLP]
    ICALP, 1989, pp:234-248 [Conf]
  29. Pierpaolo Degano, Corrado Priami
    Proved Trees. [Citation Graph (0, 0)][DBLP]
    ICALP, 1992, pp:629-640 [Conf]
  30. Pierpaolo Degano, Corrado Priami
    Causality for Mobile Processes. [Citation Graph (0, 0)][DBLP]
    ICALP, 1995, pp:660-671 [Conf]
  31. Roberto Barbuti, Pierpaolo Degano, Giorgio Levi
    Toward an Inductionless Technique for Proving Properties of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1982, pp:175-181 [Conf]
  32. Patrizia Asirelli, Pierpaolo Degano, Giorgio Levi, Alberto Martelli, Ugo Montanari, Giuliano Pacini, Franco Sirovich, Franco Turini
    A Flexible Environment for Program Development Based on a Symbolic Interpreter. [Citation Graph (0, 0)][DBLP]
    ICSE, 1979, pp:251-264 [Conf]
  33. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari
    Security-Aware Program Transformations. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2003, pp:355-368 [Conf]
  34. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari
    Checking Risky Events Is Enough for Local Policies. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2005, pp:97-112 [Conf]
  35. Pierpaolo Degano, José Meseguer, Ugo Montanari
    Axiomatizing Net Computations and Processes [Citation Graph (0, 0)][DBLP]
    LICS, 1989, pp:175-185 [Conf]
  36. Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
    On the Consistency of ``Truly Concurrent'' Operational and Denotational Semantics (Extended Abstract) [Citation Graph (0, 0)][DBLP]
    LICS, 1988, pp:133-141 [Conf]
  37. Philippe Darondeau, Pierpaolo Degano
    Causal Trees: Interleaving + Causality. [Citation Graph (0, 0)][DBLP]
    Semantics of Systems of Concurrent Processes, 1990, pp:239-255 [Conf]
  38. Pierpaolo Degano, Jean-Vincent Loddo, Corrado Priami
    Mobile Processes with Local Clocks. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:296-319 [Conf]
  39. Pierpaolo Degano, Corrado Priami, Lone Leth, Bent Thomsen
    Analysis of Facile Programs: A Case Study. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:345-369 [Conf]
  40. Flemming Nielson, Patrick Cousot, Mads Dam, Pierpaolo Degano, Pierre Jouvelot, Alan Mycroft, Bent Thomsen
    Logical and Operational Methods in the Analysis of Programs and Systems. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:1-21 [Conf]
  41. Philippe Darondeau, Pierpaolo Degano
    Event Structures, Causal Trees, and Refinements. [Citation Graph (0, 0)][DBLP]
    MFCS, 1990, pp:239-245 [Conf]
  42. Pierpaolo Degano, Roberto Gorrieri
    Atomic Refinement in Process Description Languages. [Citation Graph (0, 0)][DBLP]
    MFCS, 1991, pp:121-130 [Conf]
  43. Pierpaolo Degano, A. Lomanto, Franco Sirovich
    On Finding the Optimal Access Path to Resolve a Relational Data Base Query. [Citation Graph (0, 0)][DBLP]
    MFCS, 1980, pp:219-230 [Conf]
  44. Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
    Observation Trees. [Citation Graph (0, 0)][DBLP]
    NAPAW, 1992, pp:103-118 [Conf]
  45. Alessandro Bianchi, Stefano Coluccini, Pierpaolo Degano, Corrado Priami
    An Efficient Verifier of Truly Concurrent Properties. [Citation Graph (0, 0)][DBLP]
    PaCT, 1995, pp:36-50 [Conf]
  46. Chiara Bodei, Mikael Buchholtz, Michele Curti, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson, Corrado Priami
    On Evaluating the Performance of Security Protocols. [Citation Graph (0, 0)][DBLP]
    PaCT, 2005, pp:1-15 [Conf]
  47. Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami
    Authentication Primitives for Protocol Specifications. [Citation Graph (0, 0)][DBLP]
    PaCT, 2003, pp:49-65 [Conf]
  48. Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
    Static Analysis for Secrecy and Non-interference in Networks of Processes. [Citation Graph (0, 0)][DBLP]
    PaCT, 2001, pp:27-41 [Conf]
  49. Marco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli
    Applicative communicating processes in first order logic. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1982, pp:1-14 [Conf]
  50. Pierpaolo Degano, Roberto Gorrieri, Giuseppe Rosolini
    A Categorial View of Process Refinement. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1992, pp:138-153 [Conf]
  51. Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
    Partial orderings descriptions and observations of nondeterministic concurrent processes. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1988, pp:438-466 [Conf]
  52. Chiara Bodei, Pierpaolo Degano, Corrado Priami
    Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    SAS, 1998, pp:168-183 [Conf]
  53. Roberta Borgia, Pierpaolo Degano, Corrado Priami, Lone Leth, Bent Thomsen
    Understanding Mobile Agents via a Non-Interleaving Semantics for Facile. [Citation Graph (0, 0)][DBLP]
    SAS, 1996, pp:98-112 [Conf]
  54. Pierpaolo Degano, Ugo Montanari
    Liveness Properties as Convergence in Metric Spaces [Citation Graph (0, 0)][DBLP]
    STOC, 1984, pp:31-38 [Conf]
  55. Pierpaolo Degano, Roberto Gorrieri, Sebastiano Vigna
    On Relating Some Models for Concurrency. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1993, pp:15-30 [Conf]
  56. Pierpaolo Degano, Ugo Montanari
    Specification Languages for Distributed Systems. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1985, pp:29-51 [Conf]
  57. Pierpaolo Degano, José Meseguer, Ugo Montanari
    Axiomatizing the Algebra of Net Computations and Processes. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1996, v:33, n:7, pp:641-667 [Journal]
  58. Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
    A Distributed Operational Semantics for CCS Based on Condition/Event Systems. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1988, v:26, n:1/2, pp:59-91 [Journal]
  59. Pierpaolo Degano, Corrado Priami, Lone Leth, Bent Thomsen
    Causality for Debugging Mobile Agents. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1999, v:36, n:5, pp:335-374 [Journal]
  60. Pierpaolo Degano, Corrado Priami
    LR Techniques for Handling Syntax Errors. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1998, v:24, n:2, pp:73-98 [Journal]
  61. 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]
  62. Pierpaolo Degano, Corrado Priami
    Enhanced operational semantics. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 2001, v:33, n:2, pp:135-176 [Journal]
  63. Pierpaolo Degano, Corrado Priami
    Enhanced Operational Semantics. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:2, pp:352-354 [Journal]
  64. Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
    Security Analysis using Flow Logics. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 2000, v:70, n:, pp:112-130 [Journal]
  65. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari
    Static Analysis for Stack Inspection. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:54, n:, pp:- [Journal]
  66. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari
    Program Transformations under Dynamic Security Policies. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:99, n:, pp:49-86 [Journal]
  67. Chiara Bodei, Michele Curti, Pierpaolo Degano, Mikael Buchholtz, Flemming Nielson, Hanne Riis Nielson, Corrado Priami
    Performance Evaluation of Security Protocols Specified in LySa. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:112, n:, pp:167-189 [Journal]
  68. Chiara Bodei, Michele Curti, Pierpaolo Degano, Corrado Priami
    A Quantitative Study of Two Attacks. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:121, n:, pp:65-85 [Journal]
  69. 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]
  70. Georgia Carabetta, Pierpaolo Degano, Fabio Gadducci
    CCS semantics via proved transition systems and rewriting logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:15, n:, pp:- [Journal]
  71. Pierpaolo Degano, Luca Viganò
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:135, n:1, pp:1-2 [Journal]
  72. Pierpaolo Degano, Davide Prandi, Corrado Priami, Paola Quaglia
    Beta-binders for Biological Quantitative Experiments. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:164, n:3, pp:101-117 [Journal]
  73. Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami
    Authentication primitives for secure protocol specifications. [Citation Graph (0, 0)][DBLP]
    Future Generation Comp. Syst., 2005, v:21, n:4, pp:645-653 [Journal]
  74. Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
    Flow logic for Dolev-Yao secrecy in cryptographic processes. [Citation Graph (0, 0)][DBLP]
    Future Generation Comp. Syst., 2002, v:18, n:6, pp:747-756 [Journal]
  75. Philippe Darondeau, Pierpaolo Degano
    About semantic action refinement. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1991, v:14, n:2, pp:221-234 [Journal]
  76. Pierpaolo Degano, Leonarda Raffoni
    Fairness and Priority. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1995, v:22, n:3, pp:299-306 [Journal]
  77. Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
    Static Analysis for the pi-Calculus with Applications to Security. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2001, v:168, n:1, pp:68-92 [Journal]
  78. 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]
  79. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari
    Stack inspection and secure program transformations. [Citation Graph (0, 0)][DBLP]
    Int. J. Inf. Sec., 2004, v:2, n:3-4, pp:187-217 [Journal]
  80. Pierpaolo Degano, Patrizia M. Gianni
    A Normal Form for Restricted Exponential Functions. [Citation Graph (0, 0)][DBLP]
    ITA, 1989, v:23, n:2, pp:217-231 [Journal]
  81. Pierpaolo Degano, Ugo Montanari
    A model for distributed systems based on graph rewriting. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1987, v:34, n:2, pp:411-449 [Journal]
  82. Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
    Static validation of security protocols. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2005, v:13, n:3, pp:347-390 [Journal]
  83. Chiara Bodei, Pierpaolo Degano, Corrado Priami
    Checking security policies through an enhanced Control Flow Analysis. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2005, v:13, n:1, pp:49-85 [Journal]
  84. Pierpaolo Degano, Ugo Montanari
    Concurrent Histories: A Basis for Observing Distributed Systems. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1987, v:34, n:2/3, pp:422-461 [Journal]
  85. U. Bianchi, Pierpaolo Degano, Stefano Mannucci, Simone Martini, Bruno Mojana, Corrado Priami, E. Salvatori
    Generating the analytic component parts of syntax-directed editors with efficient-error recovery. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1993, v:23, n:1, pp:65-79 [Journal]
  86. Pierpaolo Degano
    Preface. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2004, v:50, n:1-3, pp:1- [Journal]
  87. Pierpaolo Degano, Corrado Priami
    Comparison of Syntactic Error Handling in LR Parsers. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1995, v:25, n:6, pp:657-679 [Journal]
  88. Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami
    Primitives for authentication in process algebras. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:283, n:2, pp:271-304 [Journal]
  89. Chiara Bodei, Pierpaolo Degano, Corrado Priami
    Names of the -calculus agents handled locally. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:253, n:2, pp:155-184 [Journal]
  90. Michele Curti, Pierpaolo Degano, Corrado Priami, Cosima Tatiana Baldari
    Modelling biochemical pathways through enhanced pi-calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:325, n:1, pp:111-140 [Journal]
  91. Pierpaolo Degano, Fabio Gadducci, Corrado Priami
    A causal semantics for CCS via rewriting logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:275, n:1-2, pp:259-282 [Journal]
  92. Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
    A Partial Ordering Semantics for CCS. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:75, n:3, pp:223-262 [Journal]
  93. Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
    Universal Axioms for Bisimulations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:114, n:1, pp:63-91 [Journal]
  94. Pierpaolo Degano, Corrado Priami
    Non-Interleaving Semantics for Mobile Processes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:216, n:1-2, pp:237-270 [Journal]
  95. Pierpaolo Degano, Luca Viganò
    Preface. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:367, n:1-2, pp:1- [Journal]
  96. Philippe Darondeau, Pierpaolo Degano
    Refinement of Actions in Event Structures and Causal Trees. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:118, n:1, pp:21-48 [Journal]
  97. Roberto Zunino, Pierpaolo Degano
    Weakening the perfect encryption assumption in Dolev-Yao adversaries. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:340, n:1, pp:154-178 [Journal]
  98. Pierpaolo Degano, Stefano Mannucci, Bruno Mojana
    Efficient Incremental LR Parsing for Syntax-Directed Editors. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1988, v:10, n:3, pp:345-373 [Journal]
  99. Chiara Nottegar, Corrado Priami, Pierpaolo Degano
    Performance Evaluation of Mobile Processes via Abstract Machines. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2001, v:27, n:10, pp:867-889 [Journal]
  100. Han Gao, Chiara Bodei, Pierpaolo Degano, Hanne Riis Nielson
    A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2007, pp:150-165 [Conf]
  101. Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano
    Expressive Models for Synaptic Plasticity. [Citation Graph (0, 0)][DBLP]
    CMSB, 2007, pp:152-167 [Conf]
  102. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino
    Secure Service Orchestration. [Citation Graph (0, 0)][DBLP]
    FOSAD, 2007, pp:24-74 [Conf]
  103. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino
    Types and Effects for Resource Usage Analysis. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2007, pp:32-47 [Conf]
  104. Linda Brodo, Pierpaolo Degano, Corrado Priami
    A Stochastic Semantics for BioAmbients. [Citation Graph (0, 0)][DBLP]
    PaCT, 2007, pp:22-34 [Conf]

  105. A Formal Analysis of Complex Type Flaw Attacks on Security Protocols. [Citation Graph (, )][DBLP]


  106. Ugo Montanari in a Nutshell. [Citation Graph (, )][DBLP]


  107. nu-Types for Effects and Freshness Analysis. [Citation Graph (, )][DBLP]


  108. Policy framings for access control. [Citation Graph (, )][DBLP]


  109. Cells in Silico: A Holistic Approach. [Citation Graph (, )][DBLP]


  110. Model Checking Usage Policies. [Citation Graph (, )][DBLP]


  111. Stochastic models for the in silico simulation of synaptic processes. [Citation Graph (, )][DBLP]


  112. Detecting and Preventing Type flaws: a Control Flow Analysis with Tags. [Citation Graph (, )][DBLP]


  113. Hard Life with Weak Binders. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.010secs
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