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

Pierpaolo Degano Vis

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

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

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)