Andrew D. Gordon Home Page Coauthor index DBLP Vis pubzone.org

Andy Gordon

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

DBLP keys2010
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon: Modular verification of security protocol code by typing. POPL 2010: 445-456
2009
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohannes Borgström, Karthikeyan Bhargavan, Andrew D. Gordon: A compositional theory for STM Haskell. Haskell 2009: 69-80
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIoannis G. Baltopoulos, Andrew D. Gordon: Secure compilation of a multi-tier web language. TLDI 2009: 27-38
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew D. Gordon, Hans Hüttel, René Rydhof Hansen: Type Inference for Correspondence Types. Electr. Notes Theor. Comput. Sci. 242(3): 21-36 (2009)
2008
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Nikhil Swamy: Verified implementations of the information card federated identity-management protocol. ASIACCS 2008: 123-135
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarthikeyan Bhargavan, Andrew D. Gordon, Iman Narasamdya: Service Combinators for Farming Virtual Machines. COORDINATION 2008: 33-49
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis: Refinement Types for Secure Implementations. CSF 2008: 17-32
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergio Maffeis, Martín Abadi, Cédric Fournet, Andrew D. Gordon: Code-Carrying Authorization. ESORICS 2008: 563-579
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon: Verifying policy-based web services security. ACM Trans. Program. Lang. Syst. 30(6): (2008)
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse: Verified interoperable implementations of security protocols. ACM Trans. Program. Lang. Syst. 31(1): (2008)
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohannes Borgström, Andrew D. Gordon, Andrew Phillips: A Chart Semantics for the Pi-Calculus. Electr. Notes Theor. Comput. Sci. 194(2): 3-29 (2008)
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon: Guest Editors' Foreword. J. Log. Algebr. Program. 75(1): 1-2 (2008)
2007
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoritz Y. Becker, Cédric Fournet, Andrew D. Gordon: Design and Semantics of a Decentralized Authorization Language. CSF 2007: 3-15
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCédric Fournet, Andy Gordon, Sergio Maffeis: A Type Discipline for Authorization in Distributed Systems. CSF 2007: 31-48
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarthikeyan Bhargavan, Andrew D. Gordon, Iman Narasamdya: Service Combinators for Farming Virtual Machines. TGC 2007: 22
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, Andrew D. Gordon: Secure sessions for Web services. ACM Trans. Inf. Syst. Secur. 10(2): (2007)
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCédric Fournet, Andrew D. Gordon, Sergio Maffeis: A type discipline for authorization policies. ACM Trans. Program. Lang. Syst. 29(5): (2007)
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon: Guest Editors' Foreword. J. Log. Algebr. Program. 70(2): 119-120 (2007)
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon: Guest Editors' Foreword. J. Log. Algebr. Program. 72(1): 1-2 (2007)
2006
77no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarianne Winslett, Andrew D. Gordon, David Sands: Proceedings of the 2006 ACM workshop on Formal methods in security engineering, FMSE 2006, Alexandria, VA, USA, November 3, 2006 ACM 2006
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse: Verified Interoperable Implementations of Security Protocols. CSFW 2006: 139-152
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew D. Gordon: Provable Implementations of Security Protocols. LICS 2006: 345-346
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon: Verified Reference Implementations of WS-Security Protocols. WS-FM 2006: 88-106
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Andrew D. Gordon: Preface. Electr. Notes Theor. Comput. Sci. 162: 1-2 (2006)
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew D. Gordon: V for Virtual. Electr. Notes Theor. Comput. Sci. 162: 177-181 (2006)
2005
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew D. Gordon, Alan Jeffrey: Secrecy Despite Compromise: Types, Cryptography, and the Pi-Calculus. CONCUR 2005: 186-201
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCédric Fournet, Andrew D. Gordon, Sergio Maffeis: A Type Discipline for Authorization Policies. ESOP 2005: 141-156
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew D. Gordon: From Typed Process Calculi to Source-Based Security. SAS 2005: 2
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Greg O'Shea: An advisor for web services security policies. SWS 2005: 1-9
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew D. Gordon, Riccardo Pucella: Validating a web service security abstraction by typing. Formal Asp. Comput. 17(3): 277-318 (2005)
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Cardelli, Giorgio Ghelli, Andrew D. Gordon: Secrecy and group creation. Inf. Comput. 196(2): 127-155 (2005)
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristiano Calcagno, Luca Cardelli, Andrew D. Gordon: Deciding validity in a spatial logic for trees. J. Funct. Program. 15(4): 543-572 (2005)
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew D. Gordon: Preface for the Special Issue: Foundations of Software Science and Computation Structures. Theor. Comput. Sci. 333(1-2): 1 (2005)
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon: A semantics for web services authentication. Theor. Comput. Sci. 340(1): 102-153 (2005)
2004
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon: Verifying policy-based security for web services. ACM Conference on Computer and Communications Security 2004: 268-277
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrédéric Besson, Tomasz Blanc, Cédric Fournet, Andrew D. Gordon: From Stack Inspection to Access Control: A Security Analysis for Libraries. CSFW 2004: 61-
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon: A semantics for web services authentication. POPL 2004: 198-209
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, Andrew D. Gordon: Secure sessions for web services. SWS 2004: 56-66
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Riccardo Pucella: TulaFale: A Security Tool for Web Services CoRR abs/cs/0412044: (2004)
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew D. Gordon, Riccardo Pucella: Validating a Web Service Security Abstraction by Typing CoRR abs/cs/0412045: (2004)
56no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew D. Gordon, Alan Jeffrey: Types and effects for asymmetric cryptographic protocols. Journal of Computer Security 12(3-4): 435-483 (2004)
2003
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew D. Gordon: Foundations of Software Science and Computational Structures, 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings Springer 2003
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Riccardo Pucella: TulaFale: A Security Tool for Web Services. FMCO 2003: 197-222
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristiano Calcagno, Luca Cardelli, Andrew D. Gordon: Deciding validity in a spatial logic for trees. TLDI 2003: 62-73
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCédric Fournet, Andrew D. Gordon: Stack inspection: Theory and variants. ACM Trans. Program. Lang. Syst. 25(3): 360-399 (2003)
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew D. Gordon, Alan Jeffrey: Authenticity by Typing for Security Protocols. Journal of Computer Security 11(4): 451-520 (2003)
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew D. Gordon, Luca Cardelli: Equational Properties Of Mobile Ambients. Mathematical Structures in Computer Science 13(3): 371-408 (2003)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew D. Gordon, Alan Jeffrey: Typing correspondence assertions for communication protocols. Theor. Comput. Sci. 300(1-3): 379-409 (2003)
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWitold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot: Model checking mobile ambients. Theor. Comput. Sci. 308(1-3): 277-331 (2003)
2002
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew D. Gordon: Types for Cryptographic Protocols. CONCUR 2002: 99-100
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew D. Gordon, Alan Jeffrey: Types and Effects for Asymmetric Cryptographic Protocols. CSFW 2002: 77-91
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWitold Charatonik, Andrew D. Gordon, Jean-Marc Talbot: Finite-Control Mobile Ambients. ESOP 2002: 295-313
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndy Gordon: Authenticity Types for Cryptographic Protocols. FASec 2002: 3
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew D. Gordon: XML Web Services: The Global Computer? IFIP TCS 2002: 355
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew D. Gordon, Alan Jeffrey: Typing One-to-One and One-to-Many Correspondences in Security Protocols. ISSS 2002: 263-282
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon Syme, Andrew D. Gordon: Automating Type Soundness Proofs via Decision Procedures and Guided Reductions. LPAR 2002: 418-434
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCédric Fournet, Andrew D. Gordon: Stack inspection: theory and variants. POPL 2002: 307-318
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew D. Gordon, Riccardo Pucella: Validating a Web service security abstraction by typing. XML Security 2002: 18-29
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Cardelli, Giorgio Ghelli, Andrew D. Gordon: Types for the Ambient Calculus. Inf. Comput. 177(2): 160-194 (2002)
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSilvano Dal-Zilio, Andrew D. Gordon: Region analysis and a pi-calculus with groups. J. Funct. Program. 12(3): 229-292 (2002)
2001
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew D. Gordon, Alan Jeffrey: Authenticity by Typing for Security Protocols. CSFW 2001: 145-159
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWitold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot: The Complexity of Model Checking Mobile Ambients. FoSSaCS 2001: 152-167
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew D. Gordon, Don Syme: Typing a multi-language intermediate code. POPL 2001: 248-260
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew D. Gordon: Types for Cyphers: Thwarting Mischief and Malice with Type Theory. PPDP 2001: 136
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew D. Gordon, Alan Jeffrey: A Type and Effect Analysis of Security Protocols. SAS 2001: 432-432
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Cardelli, Andrew D. Gordon: Logical Properties of Name Restriction. TLCA 2001: 46-60
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew D. Gordon, Alan Jeffrey: Typing Correspondence Assertions for Communication Protocols. Electr. Notes Theor. Comput. Sci. 45: (2001)
2000
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Cardelli, Giorgio Ghelli, Andrew D. Gordon: Secrecy and Group Creation. CONCUR 2000: 365-379
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew D. Gordon: Notes on Nominal Calculi for Security and Mobility. FOSAD 2000: 262-330
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Cardelli, Giorgio Ghelli, Andrew D. Gordon: Ambient Groups and Mobility Types. IFIP TCS 2000: 333-347
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSilvano Dal-Zilio, Andrew D. Gordon: Region Analysis and a pi-Calculus wiht Groups. MFCS 2000: 1-20
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Cardelli, Andrew D. Gordon: Anytime, Anywhere: Modal Logics for Mobile Ambients. POPL 2000: 365-377
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Cardelli, Andy Gordon, Giorgio Ghelli: Secrecy, Group Creation. Electr. Notes Theor. Comput. Sci. 40: (2000)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Cardelli, Andrew D. Gordon: Mobile ambients. Theor. Comput. Sci. 240(1): 177-213 (2000)
1999
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew D. Gordon, Luca Cardelli: Equational Properties of Mobile Ambients. FoSSaCS 1999: 212-226
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Cardelli, Andrew D. Gordon, Giorgio Ghelli: Mobility Types for Mobile Ambients. ICALP 1999: 230-239
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Cardelli, Andrew D. Gordon: Types for Mobile Ambients. POPL 1999: 79-92
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Andrew D. Gordon: A Calculus for Cryptographic Protocols: The spi Calculus. Inf. Comput. 148(1): 1-70 (1999)
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew D. Gordon, Paul D. Hankin, Søren B. Lassen: Compilation and Equivalence of Imperative Objects. J. Funct. Program. 9(4): 373-426 (1999)
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoy L. Crole, Andrew D. Gordon: Relating operational and denotational semantics for input/output effects. Mathematical Structures in Computer Science 9(2): 125-158 (1999)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew D. Gordon: Bisimilarity as a Theory of Functional Programming. Theor. Comput. Sci. 228(1-2): 5-47 (1999)
1998
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Andrew D. Gordon: A Bisimulation Method for Cryptographic Protocols. ESOP 1998: 12-26
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Cardelli, Andrew D. Gordon: Mobile Ambients. FoSSaCS 1998: 140-155
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew D. Gordon, Paul D. Hankin: A Concurrent Object Calculus: Reduction and Typing. Electr. Notes Theor. Comput. Sci. 16(3): (1998)
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Andrew D. Gordon: A Bisimulation Method for Cryptographic Protocols. Nord. J. Comput. 5(4): 267- (1998)
1997
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Andrew D. Gordon: A Calculus for Cryptographic Protocols: The Spi Calculus. ACM Conference on Computer and Communications Security 1997: 36-47
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Andrew D. Gordon: Reasoning about Cryptographic Protocols in the Spi Calculus. CONCUR 1997: 59-73
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew D. Gordon, Paul D. Hankin, Søren B. Lassen: Compilation and Equivalence of Imperative Objects. FSTTCS 1997: 74-87
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Cardelli, Andrew D. Gordon: Mobile Ambients. Electr. Notes Theor. Comput. Sci. 10: (1997)
1996
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew D. Gordon, Gareth D. Rees: Bisimilarity for a First-Order Calculus of Objects with Subtyping. POPL 1996: 386-395
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew D. Gordon, Thomas F. Melham: Five Axioms of Alpha-Conversion. TPHOLs 1996: 173-190
1995
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew D. Gordon: Bisimilarity as a theory of functional programming. Electr. Notes Theor. Comput. Sci. 1: (1995)
1994
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoy L. Crole, Andrew D. Gordon: A Sound Metalogical Semantics for Input/Output Effects. CSL 1994: 339-353
1993
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew D. Gordon: An Operational Semantics for I/O in a Lazy Functional Language. FPCA 1993: 136-145
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew D. Gordon: A Mechanisation of Name-Carrying Syntax up to Alpha-Conversion. HUG 1993: 413-425
1992
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew D. Gordon: The Formal Definition of a Synchronous Hardware-Description Language in Higher Order Logic. ICCD 1992: 531-534

Coauthor Index

1Martín Abadi [10] [11] [12] [15] [19] [89]
2Luca Aceto [73] [78] [79] [85]
3Ioannis G. Baltopoulos [94]
4Moritz Y. Becker [84]
5Jesper Bengtson [90]
6Frédéric Besson [61]
7Karthikeyan Bhargavan [54] [58] [59] [60] [62] [63] [68] [74] [76] [81] [82] [87] [88] [90] [91] [92] [95] [96]
8Tomasz Blanc [61]
9Johannes Borgström [86] [95]
10Mario Bravetti [78] [79] [85]
11Cristiano Calcagno [53] [65]
12Luca Cardelli [8] [14] [20] [21] [22] [23] [24] [25] [27] [29] [31] [38] [50] [53] [65] [66]
13Witold Charatonik [35] [45] [48]
14Ricardo Corin [59] [81]
15Roy L. Crole [4] [17]
16Silvano Dal-Zilio [26] [35] [37] [48]
17Wan Fokkink [78] [79] [85]
18Cédric Fournet [40] [52] [54] [58] [59] [60] [61] [62] [63] [68] [70] [74] [76] [80] [81] [83] [84] [87] [88] [89] [90] [92] [96]
19Giorgio Ghelli [21] [24] [27] [29] [38] [66]
20Paul D. Hankin [9] [13] [18]
21René Rydhof Hansen [93]
22Hans Hüttel [93]
23Alan Jeffrey [30] [32] [36] [42] [46] [49] [51] [56] [71]
24Søren B. Lassen [9] [18]
25Sergio Maffeis [70] [80] [83] [89] [90]
26Thomas F. Melham [6]
27Supratik Mukhopadhyay [35] [48]
28Iman Narasamdya [82] [91]
29Greg O'Shea [68]
30Andrew Phillips [86]
31Riccardo Pucella [39] [54] [57] [58] [67]
32Gareth D. Rees [7]
33David Sands [77]
34Nikhil Swamy [92]
35Don Syme [34] [41]
36Jean-Marc Talbot [35] [45] [48]
37Stephen Tse [76] [87]
38Marianne Winslett [77]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)