dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Pierpaolo Degano Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
144Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Joshua D. Guttman: Principles of Security and Trust - First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings Springer 2012
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabriele Costa, Pierpaolo Degano, Fabio Martinelli: Modular plans for secure service composition. Journal of Computer Security 20(1): 81-117 (2012)
2011
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Sandro Etalle, Joshua D. Guttman: Formal Aspects of Security and Trust - 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers Springer 2011
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Gian Luigi Ferrari, Gianluca Mezzetti: On Quantitative Security Policies. PaCT 2011: 23-39
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: Call-by-Contract for Service Discovery, Orchestration and Recovery. Results of the SENSORIA Project 2011: 232-261
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi: Differential Privacy: on the trade-off between Utility and Information Leakage CoRR abs/1103.5188: (2011)
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabriele Costa, Pierpaolo Degano, Fabio Martinelli: Secure service orchestration in open networks. Journal of Systems Architecture - Embedded Systems Design 57(3): 231-239 (2011)
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano: Preface. Theor. Comput. Sci. 412(21): 2094 (2011)
2010
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Joshua D. Guttman: Formal Aspects in Security and Trust, 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers Springer 2010
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabriele Costa, Pierpaolo Degano, Fabio Martinelli: Modular Plans for Secure Service Composition. ARSPA-WITS 2010: 41-58
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMário S. Alvim, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi: Differential Privacy versus Quantitative Information Flow CoRR abs/1012.4250: (2010)
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara Bodei, Linda Brodo, Pierpaolo Degano, Han Gao: Detecting and preventing type flaws at static time. Journal of Computer Security 18(2): 229-264 (2010)
2009
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Joshua D. Guttman, Fabio Martinelli: Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers Springer 2009
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Luca Viganò: Foundations and Applications of Security Analysis, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers Springer 2009
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Roberto Gorrieri: Computational Methods in Systems Biology, 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings Springer 2009
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: nu-Types for Effects and Freshness Analysis. ICTAC 2009: 80-95
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: Local policies for resource usage analysis. ACM Trans. Program. Lang. Syst. 31(6): (2009)
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: Hard Life with Weak Binders. Electr. Notes Theor. Comput. Sci. 242(1): 49-72 (2009)
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Planning and verifying service composition. Journal of Computer Security 17(5): 799-837 (2009)
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Bartoletti, Gabriele Costa, Pierpaolo Degano, Fabio Martinelli, Roberto Zunino: Securing Java with Local Policies. Journal of Object Technology 8(4): 5-32 (2009)
2008
124no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro: Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures Springer 2008
123no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Rocco De Nicola, José Meseguer: Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday Springer 2008
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHan Gao, Chiara Bodei, Pierpaolo Degano: A Formal Analysis of Complex Type Flaw Attacks on Security Protocols. AMAST 2008: 167-183
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRocco De Nicola, Pierpaolo Degano, José Meseguer: Ugo Montanari in a Nutshell. Concurrency, Graphs and Models 2008: 1-8
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavide Chiarugi, Pierpaolo Degano, Jan Bert Van Klinken, Roberto Marangoni: Cells in Silico: A Holistic Approach. SFM 2008: 366-386
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: Model Checking Usage Policies. TGC 2008: 19-35
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano: Stochastic models for the in silico simulation of synaptic processes. BMC Bioinformatics 9(S-4): (2008)
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: Semantics-Based Design for Secure Web Services. IEEE Trans. Software Eng. 34(1): 33-49 (2008)
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Ralf Küsters, Luca Viganò, Steve Zdancewic: Joint workshop on foundations of computer security and automated reasoning for security protocol analysis (FCS-ARSPA '06). Inf. Comput. 206(2-4): 129 (2008)
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Luca Viganò: Preface. Int. J. Inf. Sec. 7(1): 1 (2008)
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano: Synapses as stochastic concurrent systems. Theor. Comput. Sci. 408(1): 66-82 (2008)
2007
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHan Gao, Chiara Bodei, Pierpaolo Degano, Hanne Riis Nielson: A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols. ASIAN 2007: 150-165
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano: Expressive Models for Synaptic Plasticity. CMSB 2007: 152-167
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: Secure Service Orchestration. FOSAD 2007: 24-74
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: Types and Effects for Resource Usage Analysis. FoSSaCS 2007: 32-47
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLinda Brodo, Pierpaolo Degano, Corrado Priami: A Stochastic Semantics for BioAmbients. PaCT 2007: 22-34
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara Bodei, Pierpaolo Degano, Han Gao, Linda Brodo: Detecting and Preventing Type flaws: a Control Flow Analysis with Tags. Electr. Notes Theor. Comput. Sci. 194(1): 3-22 (2007)
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavide Chiarugi, Pierpaolo Degano, Roberto Marangoni: A Computational Approach to the Functional Screening of Genomes. PLoS Computational Biology 3(9): (2007)
2006
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavide Chiarugi, M. Chinellato, Pierpaolo Degano, G. Lo Brutto, Roberto Marangoni: Feedbacks and Oscillations in the Virtual Cell VICE. CMSB 2006: 93-107
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Types and Effects for Secure Service Orchestration. CSFW 2006: 57-69
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Security Issues in Service Composition. FMOODS 2006: 1-16
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Zunino, Pierpaolo Degano: Handling exp, × (and Timestamps) in Protocol Analysis. FoSSaCS 2006: 413-427
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Davide Prandi, Corrado Priami, Paola Quaglia: Beta-binders for Biological Quantitative Experiments. Electr. Notes Theor. Comput. Sci. 164(3): 101-117 (2006)
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Luca Viganò: Preface. Theor. Comput. Sci. 367(1-2): 1 (2006)
2005
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Enforcing Secure Service Composition. CSFW 2005: 211-223
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: History-Based Access Control with Local Policies. FoSSaCS 2005: 316-332
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Checking Risky Events Is Enough for Local Policies. ICTCS 2005: 97-112
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara Bodei, Mikael Buchholtz, Michele Curti, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson, Corrado Priami: On Evaluating the Performance of Security Protocols. PaCT 2005: 1-15
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Policy framings for access control. WITS 2005: 5-11
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara Bodei, Michele Curti, Pierpaolo Degano, Mikael Buchholtz, Flemming Nielson, Hanne Riis Nielson, Corrado Priami: Performance Evaluation of Security Protocols Specified in LySa. Electr. Notes Theor. Comput. Sci. 112: 167-189 (2005)
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara Bodei, Michele Curti, Pierpaolo Degano, Corrado Priami: A Quantitative Study of Two Attacks. Electr. Notes Theor. Comput. Sci. 121: 65-85 (2005)
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Luca Viganò: Preface. Electr. Notes Theor. Comput. Sci. 135(1): 1-2 (2005)
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami: Authentication primitives for secure protocol specifications. Future Generation Comp. Syst. 21(4): 645-653 (2005)
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara Bodei, Pierpaolo Degano, Corrado Priami: Checking security policies through an enhanced Control Flow Analysis. Journal of Computer Security 13(1): 49-85 (2005)
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Static validation of security protocols. Journal of Computer Security 13(3): 347-390 (2005)
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Zunino, Pierpaolo Degano: Weakening the perfect encryption assumption in Dolev-Yao adversaries. Theor. Comput. Sci. 340(1): 154-178 (2005)
2004
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavide Chiarugi, Michele Curti, Pierpaolo Degano, Roberto Marangoni: VICE: A VIrtual CEll. CMSB 2004: 207-220
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Zunino, Pierpaolo Degano: A Note on the Perfect Encryption Assumption in a Process Calculus. FoSSaCS 2004: 514-528
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Program Transformations under Dynamic Security Policies. Electr. Notes Theor. Comput. Sci. 99: 49-86 (2004)
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Stack inspection and secure program transformations. Int. J. Inf. Sec. 2(3-4): 187-217 (2004)
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano: Preface. Sci. Comput. Program. 50(1-3): 1 (2004)
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichele Curti, Pierpaolo Degano, Corrado Priami, Cosima Tatiana Baldari: Modelling biochemical pathways through enhanced pi-calculus. Theor. Comput. Sci. 325(1): 111-140 (2004)
2003
82no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano: Programming Languages and Systems, 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings Springer 2003
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Corrado Priami: Enhanced Operational Semantics in Systems Biology. CMSB 2003: 178-181
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichele Curti, Pierpaolo Degano, Cosima Tatiana Baldari: Causal pi-Calculus for Biochemical Modelling. CMSB 2003: 21-33
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Automatic Validation of Protocol Narration. CSFW 2003: 126-140
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Fabio Gadducci, Corrado Priami: Causality and Replication in Concurrent Processes. Ershov Memorial Conference 2003: 307-318
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLinda Brodo, Pierpaolo Degano, Stephen Gilmore, Jane Hillston, Corrado Priami: Performance Evaluation for Global Computation. Global Computing 2003: 229-253
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLinda Brodo, Pierpaolo Degano, Corrado Priami: Reflecting Mobile Ambients into the p-Calculus. Global Computing 2003: 25-56
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Security-Aware Program Transformations. ICTCS 2003: 355-368
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami: Authentication Primitives for Protocol Specifications. PaCT 2003: 49-65
2002
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Flow logic for Dolev-Yao secrecy in cryptographic processes. Future Generation Comp. Syst. 18(6): 747-756 (2002)
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Fabio Gadducci, Corrado Priami: A causal semantics for CCS via rewriting logic. Theor. Comput. Sci. 275(1-2): 259-282 (2002)
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami: Primitives for authentication in process algebras. Theor. Comput. Sci. 283(2): 271-304 (2002)
2001
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Static Analysis for Secrecy and Non-interference in Networks of Processes. PaCT 2001: 27-41
69no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Security Analysis Using Flow Logics. Current Trends in Theoretical Computer Science 2001: 525-542
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Corrado Priami: Enhanced operational semantics. ACM Comput. Surv. 33(2): 135-176 (2001)
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Static Analysis for Stack Inspection. Electr. Notes Theor. Comput. Sci. 54: 69-80 (2001)
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara Bodei, Pierpaolo Degano, Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Techniques for Security Checking: Non-Interference vs Control Flow Analysis. Electr. Notes Theor. Comput. Sci. 62: 211-228 (2001)
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara Nottegar, Corrado Priami, Pierpaolo Degano: Performance Evaluation of Mobile Processes via Abstract Machines. IEEE Trans. Software Eng. 27(10): 867-889 (2001)
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Static Analysis for the pi-Calculus with Applications to Security. Inf. Comput. 168(1): 68-92 (2001)
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara Bodei, Pierpaolo Degano, Corrado Priami: Names of the -calculus agents handled locally. Theor. Comput. Sci. 253(2): 155-184 (2001)
2000
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Francesca Levi, Chiara Bodei: Safe Ambients: Control Flow Analysis and Security. ASIAN 2000: 199-214
61no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLinda Brodo, Pierpaolo Degano, Corrado Priami: A tool for quantitative analysis of calculus processes. ICALP Satellite Workshops 2000: 535-550
60no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Security Analysis using Flow Logics. Bulletin of the EATCS 70: 112-130 (2000)
1999
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami: Authentication via Localized Names. CSFW 1999: 98-110
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara Nottegar, Corrado Priami, Pierpaolo Degano: Semantic-Driven Performance Evaluation (Extended Abstract). FASE 1999: 204-218
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Static Analysis of Processes for No and Read-Up nad No Write-Down. FoSSaCS 1999: 120-134
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela, Peter Wegner: Computing Surveys' Electronic Symposium on the Theory of Computation. ACM Comput. Surv. 31(3): 223-226 (1999)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Corrado Priami, Lone Leth, Bent Thomsen: Causality for Debugging Mobile Agents. Acta Inf. 36(5): 335-374 (1999)
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Corrado Priami: Non-Interleaving Semantics for Mobile Processes. Theor. Comput. Sci. 216(1-2): 237-270 (1999)
1998
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Control Flow Analysis for the pi-calculus. CONCUR 1998: 84-98
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara Bodei, Pierpaolo Degano, Corrado Priami: Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation. SAS 1998: 168-183
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Corrado Priami: LR Techniques for Handling Syntax Errors. Comput. Lang. 24(2): 73-98 (1998)
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorgia Carabetta, Pierpaolo Degano, Fabio Gadducci: CCS semantics via proved transition systems and rewriting logic. Electr. Notes Theor. Comput. Sci. 15: 369-387 (1998)
1997
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela: Automata, Languages and Programming, 24th International Colloquium, ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings Springer 1997
1996
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara Bodei, Pierpaolo Degano, Corrado Priami: Mobile Processes with a Distributed Environment. ICALP 1996: 490-501
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlemming Nielson, Patrick Cousot, Mads Dam, Pierpaolo Degano, Pierre Jouvelot, Alan Mycroft, Bent Thomsen: Logical and Operational Methods in the Analysis of Programs and Systems. LOMAPS 1996: 1-21
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Jean-Vincent Loddo, Corrado Priami: Mobile Processes with Local Clocks. LOMAPS 1996: 296-319
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Corrado Priami, Lone Leth, Bent Thomsen: Analysis of Facile Programs: A Case Study. LOMAPS 1996: 345-369
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberta Borgia, Pierpaolo Degano, Corrado Priami, Lone Leth, Bent Thomsen: Understanding Mobile Agents via a Non-Interleaving Semantics for Facile. SAS 1996: 98-112
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Corrado Priami: Enhanced Operational Semantics. ACM Comput. Surv. 28(2): 352-354 (1996)
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, José Meseguer, Ugo Montanari: Axiomatizing the Algebra of Net Computations and Processes. Acta Inf. 33(7): 641-667 (1996)
1995
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan Mycroft, Pierpaolo Degano, Corrado Priami: Complexity as a Basis for Comparing Semantic Models of Concurrency. ASIAN 1995: 141-155
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Corrado Priami: A Transitional Semantics of Full Prolog. GULP-PRODE 1995: 511-520
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Corrado Priami: Causality for Mobile Processes. ICALP 1995: 660-671
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Bianchi, Stefano Coluccini, Pierpaolo Degano, Corrado Priami: An Efficient Verifier of Truly Concurrent Properties. PaCT 1995: 36-50
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Leonarda Raffoni: Fairness and Priority. Fundam. Inform. 22(3): 299-306 (1995)
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Roberto Gorrieri: A Causal Operational Semantics of Action Refinement Inf. Comput. 122(1): 97-119 (1995)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Corrado Priami: Comparison of Syntactic Error Handling in LR Parsers. Softw., Pract. Exper. 25(6): 657-679 (1995)
1993
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Roberto Gorrieri, Sebastiano Vigna: On Relating Some Models for Concurrency. TAPSOFT 1993: 15-30
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLU. 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. Journal of Systems and Software 23(1): 65-79 (1993)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Rocco De Nicola, Ugo Montanari: Universal Axioms for Bisimulations. Theor. Comput. Sci. 114(1): 63-91 (1993)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Darondeau, Pierpaolo Degano: Refinement of Actions in Event Structures and Causal Trees. Theor. Comput. Sci. 118(1): 21-48 (1993)
1992
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Corrado Priami: Proved Trees. ICALP 1992: 629-640
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Rocco De Nicola, Ugo Montanari: Observation Trees. NAPAW 1992: 103-118
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Roberto Gorrieri, Giuseppe Rosolini: A Categorial View of Process Refinement. REX Workshop 1992: 138-153
1991
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Stefano Kasangian, Sebastiano Vigna: Applications of the Calculus of Trees to Process Description Languages. Category Theory and Computer Science 1991: 282-301
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Roberto Gorrieri: Atomic Refinement in Process Description Languages. MFCS 1991: 121-130
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Darondeau, Pierpaolo Degano: About semantic action refinement. Fundam. Inform. 14(2): 221-234 (1991)
1990
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Darondeau, Pierpaolo Degano: Event Structures, Causal Trees, and Refinements. MFCS 1990: 239-245
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Darondeau, Pierpaolo Degano: Causal Trees: Interleaving + Causality. Semantics of Systems of Concurrent Processes 1990: 239-255
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Rocco De Nicola, Ugo Montanari: A Partial Ordering Semantics for CCS. Theor. Comput. Sci. 75(3): 223-262 (1990)
1989
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Darondeau, Pierpaolo Degano: Causal Trees. ICALP 1989: 234-248
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, José Meseguer, Ugo Montanari: Axiomatizing Net Computations and Processes LICS 1989: 175-185
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Patrizia M. Gianni: A Normal Form for Restricted Exponential Functions. ITA 23(2): 217-231 (1989)
1988
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Rocco De Nicola, Ugo Montanari: On the Consistency of ``Truly Concurrent'' Operational and Denotational Semantics (Extended Abstract) LICS 1988: 133-141
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Rocco De Nicola, Ugo Montanari: Partial orderings descriptions and observations of nondeterministic concurrent processes. REX Workshop 1988: 438-466
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Stefano Mannucci, Bruno Mojana: Efficient Incremental LR Parsing for Syntax-Directed Editors. ACM Trans. Program. Lang. Syst. 10(3): 345-373 (1988)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Rocco De Nicola, Ugo Montanari: A Distributed Operational Semantics for CCS Based on Condition/Event Systems. Acta Inf. 26(1/2): 59-91 (1988)
1987
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Roberto Gorrieri, Sergio Marchetti: An Exercise in Concurrency: a CSP Process as a Condition/ event System. European Workshop on Applications and Theory of Petri Nets 1987: 85-105
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Sergio Marchetti: Partial ordering models for concurrency can be defined operationally. International Journal of Parallel Programming 16(6): 451-478 (1987)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Ugo Montanari: A model for distributed systems based on graph rewriting. J. ACM 34(2): 411-449 (1987)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Ugo Montanari: Concurrent Histories: A Basis for Observing Distributed Systems. J. Comput. Syst. Sci. 34(2/3): 422-461 (1987)
1986
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Rocco De Nicola, Ugo Montanari: CCS is an (Augmented) Contact Free C/E System. Mathematical Models for the Semantics of Parallelism 1986: 144-165
1985
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Rocco De Nicola, Ugo Montanari: Partial ordering derivations for CCS. FCT 1985: 520-533
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Ugo Montanari: Specification Languages for Distributed Systems. TAPSOFT, Vol.1 1985: 29-51
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Franco Sirovich: An Evaluation Based Theorem Prover. IEEE Trans. Pattern Anal. Mach. Intell. 7(1): 70-79 (1985)
1984
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, Ugo Montanari: Liveness Properties as Convergence in Metric Spaces STOC 1984: 31-38
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli: A Formal Model for Lazy Implementations of a Prolog-Compatible Functional Language. Implementations of Prolog 1984: 309-326
1982
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Barbuti, Pierpaolo Degano, Giorgio Levi: Toward an Inductionless Technique for Proving Properties of Logic Programs. ICLP 1982: 175-181
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli: Applicative communicating processes in first order logic. Symposium on Programming 1982: 1-14
1980
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, A. Lomanto, Franco Sirovich: On Finding the Optimal Access Path to Resolve a Relational Data Base Query. MFCS 1980: 219-230
1979
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrizia 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. ICSE 1979: 251-264

Coauthor Index

1Mário S. Alvim [134] [139]
2Miguel E. Andrés [139]
3Patrizia Asirelli [1]
4Cosima Tatiana Baldari [80] [83]
5Roberto Barbuti [4]
6Massimo Bartoletti [67] [75] [85] [86] [96] [98] [99] [100] [104] [105] [110] [111] [117] [119] [125] [126] [127] [128] [129] [140]
7Marco Bellia [3] [5]
8Marco Bernardo [124]
9Alessandro Bianchi [38]
10U. Bianchi [33]
11Chiara Bodei [48] [52] [53] [57] [59] [60] [62] [63] [64] [66] [69] [70] [71] [73] [74] [79] [90] [91] [92] [94] [95] [97] [108] [113] [122] [133]
12Roberta Borgia [44]
13Andrea Bracciali [112] [114] [118]
14Linda Brodo [61] [76] [77] [108] [109] [133]
15Marcello Brunelli [112] [114] [118]
16G. Lo Brutto [106]
17Mikael Buchholtz [79] [90] [95] [97]
18Georgia Carabetta [50]
19Enrico Cataldo [112] [114] [118]
20Konstantinos Chatzikokolakis [134] [139]
21Davide Chiarugi [88] [106] [107] [120]
22M. Chinellato [106]
23Stefano Coluccini [38]
24Gabriele Costa [125] [135] [138] [143]
25Patrick Cousot [47]
26Michele Curti [80] [83] [88] [94] [95] [97]
27Mads Dam [47]
28Enrico Dameri [3] [5]
29Philippe Darondeau [21] [23] [24] [25] [31]
30Sandro Etalle [142]
31Gian Luigi Ferrari (GianLuigi Ferrari) [67] [75] [85] [86] [96] [98] [99] [100] [104] [105] [110] [111] [117] [119] [126] [127] [128] [129] [140] [141]
32Riccardo Focardi [59] [66] [71] [74] [92]
33Fabio Gadducci [50] [72] [78]
34Han Gao [108] [113] [122] [133]
35Patrizia M. Gianni [19]
36Stephen Gilmore (Stephen T. Gilmore) [77]
37Roberto Gorrieri [14] [26] [28] [34] [36] [49] [56] [66] [130]
38Joshua D. Guttman [132] [136] [142] [144]
39Jane Hillston [77]
40Pierre Jouvelot [47]
41Stefano Kasangian [27]
42Jan Bert Van Klinken [120]
43Ralf Küsters [116]
44Lone Leth [44] [45] [55]
45Francesca Levi [62]
46Giorgio Levi [1] [3] [4] [5]
47Jean-Vincent Loddo [46]
48A. Lomanto [2]
49Stefano Mannucci [16] [33]
50Roberto Marangoni [88] [106] [107] [120]
51Sergio Marchetti [13] [14]
52Alberto Marchetti-Spaccamela [49] [56]
53Alberto Martelli [1]
54Maurizio Martelli [3] [5]
55Fabio Martinelli [66] [125] [132] [135] [138] [143]
56Simone Martini [33]
57José Meseguer [20] [42] [121] [123]
58Gianluca Mezzetti [141]
59Bruno Mojana [16] [33]
60Ugo Montanari [1] [6] [8] [9] [10] [11] [12] [15] [17] [18] [20] [22] [29] [32] [42]
61Alan Mycroft [41] [47]
62Rocco De Nicola [9] [10] [15] [17] [18] [22] [29] [32] [121] [123]
63Flemming Nielson [47] [53] [57] [60] [64] [69] [70] [73] [79] [90] [95] [97]
64Hanne Riis Nielson [53] [57] [60] [64] [69] [70] [73] [79] [90] [95] [97] [113]
65Chiara Nottegar [58] [65]
66Giuliano Pacini [1]
67Catuscia Palamidessi [134] [139]
68Davide Prandi [102]
69Corrado Priami [30] [33] [35] [38] [39] [40] [41] [43] [44] [45] [46] [48] [51] [52] [54] [55] [58] [59] [61] [63] [65] [68] [71] [72] [74] [76] [77] [78] [81] [83] [91] [92] [94] [95] [97] [102] [109]
70Paola Quaglia [102]
71Leonarda Raffoni [37]
72Giuseppe Rosolini [28]
73E. Salvatori [33]
74Franco Sirovich [1] [2] [7]
75Bent Thomsen [44] [45] [47] [55]
76Franco Turini [1]
77Luca Viganò [93] [101] [115] [116] [131]
78Sebastiano Vigna [27] [34]
79Peter Wegner [56]
80Gianluigi Zavattaro [124]
81Steve Zdancewic [116]
82Roberto Zunino [87] [89] [103] [110] [111] [117] [119] [125] [127] [128] [129] [140]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page