Gilles Barthe

	2012
121		Gilles Barthe, Benjamin Livshits, Riccardo Scandariato: Engineering Secure Software and Systems - 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings Springer 2012
120		Gilles Barthe, Delphine Demange, David Pichardie: A Formally Verified SSA-Based Middle-End - Static Single Assignment Meets CompCert. ESOP 2012: 47-66
119		Gilles Barthe, Boris Köpf, Federico Olmedo, Santiago Zanella Béguelin: Probabilistic relational reasoning for differential privacy. POPL 2012: 97-110
118		Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Federico Olmedo, Santiago Zanella Béguelin: Verified Indifferentiable Hashing into Elliptic Curves. POST 2012: 209-228
	2011
117		Gilles Barthe: Programming Languages and Systems - 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings Springer 2011
116		Jorge Cuéllar, Javier Lopez, Gilles Barthe, Alexander Pretschner: Security and Trust Management - 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers Springer 2011
115		Gilles Barthe, Alberto Pardo, Gerardo Schneider: Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings Springer 2011
114		Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Santiago Zanella Béguelin: Computer-Aided Security Proofs for the Working Cryptographer. CRYPTO 2011: 71-90
113		Gilles Barthe, Boris Köpf: Information-Theoretic Bounds for Differentially Private Mechanisms. CSF 2011: 191-204
112		Gilles Barthe, Benjamin Grégoire, Yassine Lakhnech, Santiago Zanella Béguelin: Beyond Provable Security Verifiable IND-CCA Security of OAEP. CT-RSA 2011: 180-196
111		Gilles Barthe, Juan Manuel Crespo, César Kunz: Relational Verification Using Product Programs. FM 2011: 200-214
110		Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna: Formally Verifying Isolation and Availability in an Idealized Model of Virtualization. FM 2011: 231-245
109		Gilles Barthe, Mathilde Duclos, Yassine Lakhnech: A Computational Indistinguishability Logic for the Bounded Storage Model. FPS 2011: 102-117
108		Gilles Barthe, Federico Olmedo, Santiago Zanella Béguelin: Verifiable Security of Boneh-Franklin Identity-Based Encryption. ProvSec 2011: 68-83
107		Gilles Barthe, César Kunz: An Abstract Model of Certificate Translation. ACM Trans. Program. Lang. Syst. 33(4): 13 (2011)
106		Gilles Barthe, Boris Köpf: Information-theoretic Bounds for Differentially Private Mechanisms. IACR Cryptology ePrint Archive 2011: 71 (2011)
105		Gilles Barthe, Pedro R. D'Argenio, Tamara Rezk: Secure information flow by self-composition. Mathematical Structures in Computer Science 21(6): 1207-1252 (2011)
	2010
104		Gilles Barthe, Manuel V. Hermenegildo: Verification, Model Checking, and Abstract Interpretation, 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings Springer 2010
103		Gilles Barthe, Marion Daubignard, Bruce M. Kapron, Yassine Lakhnech: Computational indistinguishability logic. ACM Conference on Computer and Communications Security 2010: 375-386
102		Gilles Barthe, Daniel Hedin, Santiago Zanella Béguelin, Benjamin Grégoire, Sylvain Heraud: A Machine-Checked Formalization of Sigma-Protocols. CSF 2010: 246-260
101		Gilles Barthe, Alejandro Hevia, Zhengqin Luo, Tamara Rezk, Bogdan Warinschi: Robustness Guarantees for Anonymity. CSF 2010: 91-106
100		Gilles Barthe, Pablo Buiras, César Kunz: A Functional Framework for Result Checking. FLOPS 2010: 72-86
99		Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin: Programming Language Techniques for Cryptographic Proofs. ITP 2010: 115-130
98		Gilles Barthe, Marion Daubignard, Bruce M. Kapron, Yassine Lakhnech, Vincent Laporte: On the Equality of Probabilistic Terms. LPAR (Dakar) 2010: 46-63
97		Gilles Barthe, César Kunz: Perspectives in Certificate Translation. TGC 2010: 23-34
96		Gilles Barthe, Tamara Rezk, Alejandro Russo, Andrei Sabelfeld: Security of multithreaded programs by compilation. ACM Trans. Inf. Syst. Secur. 13(3): (2010)
	2009
95		Alessandro Aldini, Gilles Barthe, Roberto Gorrieri: Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures Springer 2009
94		Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, César Kunz, Anne Pacalet: Implementing a Direct Method for Certificate Translation. ICFEM 2009: 541-560
93		Santiago Zanella Béguelin, Gilles Barthe, Benjamin Grégoire, Federico Olmedo: Formally Certifying the Security of Digital Signature Schemes. IEEE Symposium on Security and Privacy 2009: 237-250
92		Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin: Formal certification of code-based cryptographic proofs. POPL 2009: 90-101
91		Gilles Barthe, Benjamin Grégoire, César Kunz, Tamara Rezk: Certificate translation for optimizing compilers. ACM Trans. Program. Lang. Syst. 31(5): (2009)
	2008
90		Gilles Barthe, Cédric Fournet: Trustworthy Global Computing, Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers Springer 2008
89		Gilles Barthe, Frank S. de Boer: Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings Springer 2008
88		Gilles Barthe, César Kunz, Jorge Luis Sacchini: Certified Reasoning in Memory Hierarchies. APLAS 2008: 75-90
87		Gilles Barthe, Salvador Cavadini, Tamara Rezk: Tractable Enforcement of Declassification Policies. CSF 2008: 83-97
86		Gilles Barthe, Benjamin Grégoire, Colin Riba: Type-Based Termination with Sized Products. CSL 2008: 493-507
85		Gilles Barthe, César Kunz: Certificate Translation in Abstract Interpretation. ESOP 2008: 368-382
84		Gilles Barthe, César Kunz: Certificate translation for specification-preserving advices. FOAL 2008: 9-18
83		Gilles Barthe, César Kunz: An Introduction to Certificate Translation. FOSAD 2008: 51-95
82		Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Santiago Zanella Béguelin: Formal Certification of ElGamal Encryption. Formal Aspects in Security and Trust 2008: 1-19
81		Gilles Barthe, Benjamin Grégoire, Mariela Pavlova: Preservation of Proof Obligations from Java to the Java Virtual Machine. IJCAR 2008: 83-99
80		Gilles Barthe, Benjamin Grégoire, Colin Riba: A Tutorial on Type-Based Termination. LerNet ALFA Summer School 2008: 100-152
79		Gilles Barthe, César Kunz, David Pichardie, Julián Samborski-Forlese: Preservation of Proof Pbligations for Hybrid Verification Methods. SEFM 2008: 127-136
78		Gilles Barthe: Certificate Translation. VERIFY 2008
	2007
77		Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld: Mobility, Ubiquity and Security, 25.02. - 02.03.2007 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
76		Gilles Barthe, David Pichardie, Tamara Rezk: A Certified Lightweight Non-interference Java Bytecode Verifier. ESOP 2007: 125-140
75		Gilles Barthe, Tamara Rezk, Alejandro Russo, Andrei Sabelfeld: Security of Multithreaded Programs by Compilation. ESORICS 2007: 2-18
74		Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas P. Jensen, David Pichardie: The MOBIUS Proof Carrying Code Infrastructure. FMCO 2007: 1-24
73		Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld: 07091 Abstracts Collection - Mobility, Ubiquity and Security. Mobility, Ubiquity and Security 2007
72		Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld: 07091 Executive Summary - Mobility, Ubiquity and Security. Mobility, Ubiquity and Security 2007
71		Gilles Barthe, Tamara Rezk, Amitabh Basu: Security types preserving compilation. Computer Languages, Systems & Structures 33(2): 35-59 (2007)
70		Gilles Barthe, Benjamin Grégoire, Romain Janvier, Santiago Zanella Béguelin: Formal Certification of Code-Based Cryptographic Proofs. IACR Cryptology ePrint Archive 2007: 314 (2007)
69		Gilles Barthe, Leonor Prensa Nieto: Secure information flow for a concurrent language with scheduling. Journal of Computer Security 15(6): 647-689 (2007)
	2006
68		Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers Springer 2006
67		Gilles Barthe, Julien Forest, David Pichardie, Vlad Rusu: Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant. FLOPS 2006: 114-129
66		Gilles Barthe, Lilian Burdy, Julien Charles, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet, Mariela Pavlova, Antoine Requet: JACK - A Tool for Validation of Security and Behaviour of Java Applications. FMCO 2006: 152-174
65		Gilles Barthe, Tamara Rezk, David A. Naumann: Deriving an Information Flow Checker and Certifying Compiler for Java. IEEE Symposium on Security and Privacy 2006: 230-242
64		Gilles Barthe, Benjamin Grégoire, Fernando Pastawski: CIC[^( )]: Type-Based Termination of Recursive Definitions in the Calculus of Inductive Constructions. LPAR 2006: 257-271
63		Gilles Barthe, Benjamin Grégoire, César Kunz, Tamara Rezk: Certificate Translation for Optimizing Compilers. SAS 2006: 301-317
62		Gilles Barthe, Lennart Beringer, Pierre Crégut, Benjamin Grégoire, Martin Hofmann, Peter Müller, Erik Poll, Germán Puebla, Ian Stark, Eric Vétillard: MOBIUS: Mobility, Ubiquity, Security. TGC 2006: 10-29
61		Gilles Barthe, Tamara Rezk, Martijn Warnier: Preventing Timing Leaks Through Transactional Branching Instructions. Electr. Notes Theor. Comput. Sci. 153(2): 33-55 (2006)
60		Gilles Barthe, Thierry Coquand: Remarks on the equational theory of non-normalizing pure type systems. J. Funct. Program. 16(2): 137-155 (2006)
	2005
59		Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers Springer 2005
58		Gilles Barthe, Guillaume Dufay: Formal Methods for Smartcard Security. FOSAD 2005: 133-177
57		Gilles Barthe, Tamara Rezk, Ando Saabas: Proof Obligations Preserving Compilation. Formal Aspects in Security and Trust 2005: 112-126
56		Gilles Barthe, Mariela Pavlova, Gerardo Schneider: Precise Analysis of Memory Consumption using Program Logics. SEFM 2005: 86-95
55		Gilles Barthe, Benjamin Grégoire, Fernando Pastawski: Practical Inference for Type-Based Termination in a Polymorphic Setting. TLCA 2005: 71-85
54		Gilles Barthe, Tamara Rezk: Non-interference for a JVM-like language. TLDI 2005: 103-112
53		Gilles Barthe, Pierre Courtieu, Guillaume Dufay, Simão Melo de Sousa: Tool-Assisted Specification and Verification of Typed Low-Level Languages. J. Autom. Reasoning 35(4): 295-354 (2005)
52		Gilles Barthe: A computational view of implicit coercions in type theory. Mathematical Structures in Computer Science 15(5): 839-874 (2005)
	2004
51		Mariela Pavlova, Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet: Enforcing High-Level Security Properties for Applets. CARDIS 2004: 1-16
50		Gilles Barthe, Pedro R. D'Argenio, Tamara Rezk: Secure Information Flow by Self-Composition. CSFW 2004: 100-114
49		Gilles Barthe, Guillaume Dufay: A Tool-Assisted Framework for Certified Bytecode Verification. FASE 2004: 99-113
48		Gilles Barthe, Leonor Prensa Nieto: Formally verifying information flow type systems for concurrent and thread systems. FMSE 2004: 13-22
47		Gilles Barthe, Jan Cederquist, Sabrina Tarento: A Machine-Checked Formalization of the Generic Model and the Random Oracle Model. IJCAR 2004: 385-399
46		Gilles Barthe, Sabrina Tarento: A Machine-Checked Formalization of the Random Oracle Model. TYPES 2004: 33-49
45		Gilles Barthe, Amitabh Basu, Tamara Rezk: Security Types Preserving Compilation: (Extended Abstract). VMCAI 2004: 2-15
44		Gilles Barthe, Peter Dybjer, Peter Thiemann: Introduction to the Special Issue on Dependent Type Theory Meets Practical Programming. J. Funct. Program. 14(1): 1-2 (2004)
43		Gilles Barthe, Maria João Frade, E. Giménez, Luis Pinto, Tarmo Uustalu: Type-based termination of recursive definitions. Mathematical Structures in Computer Science 14(1): 97-141 (2004)
	2003
42		Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori: Pure patterns type systems. POPL 2003: 250-261
41		Gilles Barthe, Sorin Stratulat: Validation of the JavaCard Platform with Implicit Induction Techniques. RTA 2003: 337-351
40		Gilles Barthe, Venanzio Capretta, Olivier Pons: Setoids in type theory. J. Funct. Program. 13(2): 261-293 (2003)
	2002
39		Gilles Barthe, Peter Dybjer, Luis Pinto, João Saraiva: Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures Springer 2002
38		Gilles Barthe, Pierre Courtieu, Guillaume Dufay, Simão Melo de Sousa: Tool-Assisted Specification and Verification of the JavaCard Platform. AMAST 2002: 41-59
37		Gilles Barthe, Dilian Gurov, Marieke Huisman: Compositional Verification of Secure Applet Interactions. FASE 2002: 15-32
36		Gilles Barthe, Tarmo Uustalu: CPS translating inductive and coinductive types. PEPM 2002: 131-142
35		Gilles Barthe, Pierre Courtieu: Efficient Reasoning about Executable Specifications in Coq. TPHOLs 2002: 31-46
34		Gilles Barthe, Guillaume Dufay, Line Jakubiec, Simão Melo de Sousa: A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines. VMCAI 2002: 32-45
33		Gilles Barthe, Peter Thiemann: Preface. Electr. Notes Theor. Comput. Sci. 75: 114-115 (2002)
	2001
32		Gilles Barthe, Guillaume Dufay, Marieke Huisman, Simão Melo de Sousa: Jakarta: A Toolset for Reasoning about JavaCard. E-smart 2001: 2-18
31		Gilles Barthe, Guillaume Dufay, Line Jakubiec, Bernard P. Serpette, Simão Melo de Sousa: A Formal Executable Semantics of the JavaCard Platform. ESOP 2001: 302-319
30		Gilles Barthe, Olivier Pons: Type Isomorphisms and Proof Reuse in Dependent Type Theory. FoSSaCS 2001: 57-71
29		Gilles Barthe, John Hatcliff, Morten Heine Sørensen: An induction principle for pure type systems. Theor. Comput. Sci. 266(1-2): 773-818 (2001)
28		Gilles Barthe, John Hatcliff, Morten Heine Sørensen: Weak normalization implies strong normalization in a class of non-dependent pure type systems. Theor. Comput. Sci. 269(1-2): 317-361 (2001)
	2000
27		Gilles Barthe, Thierry Coquand: An Introduction to Dependent Type Theory. APPSEM 2000: 1-41
26		Gilles Barthe, Femke van Raamsdonk: Constructor Subtyping in the Calculus of Inductive Constructions. FoSSaCS 2000: 17-34
25		Gilles Barthe, Bernard P. Serpette: Static Reduction Analysis for Imperative Object Oriented Languages. LPAR 2000: 344-361
24		Gilles Barthe, Morten Heine Sørensen: Domain-free pure type systems. J. Funct. Program. 10(5): 417-452 (2000)
	1999
23		Gilles Barthe, Maria João Frade: Constructor Subtyping. ESOP 1999: 109-127
22		Gilles Barthe: Expanding the Cube. FoSSaCS 1999: 90-103
21		Gilles Barthe, Bernard P. Serpette: Partial Evaluation and Non-inference for Object Calculi. Fuji International Symposium on Functional and Logic Programming 1999: 53-67
20		Gilles Barthe, John Hatcliff, Morten Heine Sørensen: CPS Translations and Applications: The Cube and Beyond. Higher-Order and Symbolic Computation 12(2): 125-170 (1999)
19		Gilles Barthe: Order-Sorted Inductive Types. Inf. Comput. 149(1): 42-76 (1999)
18		Gilles Barthe: Type-checking injective pure type systems. J. Funct. Program. 9(6): 685-698 (1999)
	1998
17		Gilles Barthe: Existence and Uniqueness of Normal Forms in Pure Type Systems with betaeta-Conversion. CSL 1998: 241-259
16		Gilles Barthe: The Relevance of Proof-Irrelevance. ICALP 1998: 755-768
15		Gilles Barthe: The Semi-Full Closure of Pure Type Systems. MFCS 1998: 316-325
	1997
14		Gilles Barthe, Femke van Raamsdonk: Termination of Algebraic Type Systems: The Syntactic Approach. ALP/HOA 1997: 174-193
13		Gilles Barthe, Fairouz Kamareddine, Alejandro Ríos: Explicit Substitutions for the Lambda-Calculus. ALP/HOA 1997: 209-223
12		Gilles Barthe, Morten Heine Sørensen: Domain-Free Pure Type Systems. LFCS 1997: 9-20
11		Gilles Barthe, John Hatcliff, Morten Heine Sørensen: Reflections on Reflections. PLILP 1997: 241-258
10		Gilles Barthe, John Hatcliff, Peter Thiemann: Monadic Type Systems: Pure Type Systems for Impure Settings. Electr. Notes Theor. Comput. Sci. 10: 54-120 (1997)
9		Gilles Barthe, John Hatcliff, Morten Heine Sørensen: A notion of classical pure type system. Electr. Notes Theor. Comput. Sci. 6: 4-59 (1997)
	1996
8		Gilles Barthe, Paul-André Melliès: On the Subject Reduction Property for Algebraic Type Systems. CSL 1996: 34-57
7		Gilles Barthe, Hugo Elbers: Towards Lean Proof Checking. DISCO 1996: 61-62
	1995
6		Gilles Barthe, Herman Geuvers: Congruence Types. CSL 1995: 36-51
5		Gilles Barthe: A Simple Abstract Semantics for Equational Theories. FCT 1995: 126-135
4		Gilles Barthe, Herman Geuvers: Modular Properties of Algebraic Type Systems. HOA 1995: 37-56
3		Gilles Barthe: Extensions of Pure Type Systems. TLCA 1995: 16-31
2		Gilles Barthe: Implicit Coercions in Type Systems. TYPES 1995: 1-15
1		Gilles Barthe, Mark Ruys, Henk Barendregt: A Two-Level Approach Towards Lean Proof-Checking. TYPES 1995: 16-35

Coauthor Index

1	Alessandro Aldini	[95]
2	Hendrik Pieter Barendregt (Henk Barendregt)	[1]
3	Amitabh Basu	[45] [71]
4	Santiago Zanella Béguelin	[70] [82] [92] [93] [99] [102] [108] [112] [114] [118] [119]
5	Lennart Beringer	[62]
6	Gustavo Betarte	[110]
7	Frank S. de Boer	[89]
8	Pablo Buiras	[100]
9	Lilian Burdy	[51] [59] [66]
10	Juan Diego Campo	[110]
11	Venanzio Capretta	[40]
12	Salvador Cavadini	[87]
13	J. G. Cederquist (Jan Cederquist)	[47]
14	Julien Charles	[66]
15	Horatiu Cirstea	[42]
16	Thierry Coquand	[27] [60]
17	Pierre Courtieu	[35] [38] [53]
18	Pierre Crégut	[62] [74]
19	Juan Manuel Crespo	[111]
20	Jorge Cuéllar (Jorge Ricardo Cuellar)	[116]
21	Pedro R. D'Argenio	[50] [105]
22	Marion Daubignard	[98] [103]
23	Delphine Demange	[120]
24	Mathilde Duclos	[109]
25	Guillaume Dufay	[31] [32] [34] [38] [49] [53] [58]
26	Peter Dybjer	[39] [44]
27	Hugo Elbers	[7]
28	Julien Forest	[67]
29	Cédric Fournet	[90]
30	Maria João Frade	[23] [43]
31	Herman Geuvers	[4] [6]
32	E. Giménez	[43]
33	Roberto Gorrieri	[95]
34	Benjamin Grégoire	[55] [62] [63] [64] [66] [68] [70] [74] [80] [81] [82] [86] [91] [92] [93] [94] [99] [102] [112] [114] [118]
35	Dilian Gurov	[37]
36	John Hatcliff	[9] [10] [11] [20] [28] [29]
37	Daniel Hedin	[102]
38	Sylvain Heraud	[82] [94] [102] [114] [118]
39	Manuel V. Hermenegildo	[104]
40	Alejandro Hevia	[101]
41	Martin Hofmann	[62]
42	Marieke Huisman	[32] [37] [51] [59] [66] [68]
43	Line Jakubiec	[31] [34]
44	Romain Janvier	[70]
45	Thomas P. Jensen	[74]
46	Fairouz Kamareddine	[13]
47	Bruce M. Kapron	[98] [103]
48	Claude Kirchner	[42]
49	Boris Köpf	[106] [113] [119]
50	César Kunz	[63] [79] [83] [84] [85] [88] [91] [94] [97] [100] [107] [111]
51	Yassine Lakhnech	[98] [103] [109] [112]
52	Jean-Louis Lanet	[51] [59] [66] [68]
53	Vincent Laporte	[98]
54	Luigi Liquori	[42]
55	Benjamin Livshits (V. Benjamin Livshits)	[121]
56	Javier Lopez	[116]
57	Carlos Daniel Luna (Carlos Luna)	[110]
58	Zhengqin Luo	[101]
59	Heiko Mantel	[72] [73] [77]
60	Paul-André Melliès	[8]
61	Peter Müller	[62] [72] [73] [77]
62	Traian Muntean	[59]
63	Andrew C. Myers	[72] [73] [77]
64	David A. Naumann	[65]
65	Leonor Prensa Nieto	[48] [69]
66	Federico Olmedo	[93] [108] [118] [119]
67	Anne Pacalet	[94]
68	Alberto Pardo	[115]
69	Fernando Pastawski	[55] [64]
70	Mariela Pavlova	[51] [56] [66] [81]
71	David Pichardie	[67] [74] [76] [79] [120]
72	Luis Pinto	[39] [43]
73	Erik Poll	[62]
74	Olivier Pons	[30] [40]
75	Alexander Pretschner	[116]
76	Germán Puebla (German Puebla)	[62]
77	Femke van Raamsdonk	[14] [26]
78	Antoine Requet	[66]
79	Tamara Rezk	[45] [50] [54] [57] [61] [63] [65] [71] [75] [76] [87] [91] [96] [101] [105]
80	Colin Riba	[80] [86]
81	Alejandro Ríos	[13]
82	Alejandro Russo	[75] [96]
83	Vlad Rusu	[67]
84	Mark Ruys	[1]
85	Ando Saabas	[57]
86	Andrei Sabelfeld	[72] [73] [75] [77] [96]
87	Jorge Luis Sacchini	[88]
88	Julián Samborski-Forlese	[79]
89	João Saraiva	[39]
90	Riccardo Scandariato	[121]
91	Gerardo Schneider	[56] [115]
92	Bernard P. Serpette	[21] [25] [31]
93	Morten Heine Sørensen	[9] [11] [12] [20] [24] [28] [29]
94	Simão Melo de Sousa	[31] [32] [34] [38] [53]
95	Ian Stark	[62]
96	Sorin Stratulat	[41]
97	Sabrina Tarento	[46] [47]
98	Peter Thiemann	[10] [33] [44]
99	Tarmo Uustalu	[36] [43]
100	Eric Vétillard	[62]
101	Bogdan Warinschi	[101]
102	Martijn Warnier	[61]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page