Gilles Barthe
AuthID: R-00H-7MM
11
TITLE: Certificate Translation PDF
AUTHORS: Gilles Barthe;
PUBLISHED: 2008, SOURCE: Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008, VOLUME: 372
AUTHORS: Gilles Barthe;
PUBLISHED: 2008, SOURCE: Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008, VOLUME: 372
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP12
TITLE: Trustworthy Global Computing, Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
AUTHORS: Gilles Barthe; Cédric Fournet;
PUBLISHED: 2008, SOURCE: TGC, VOLUME: 4912
AUTHORS: Gilles Barthe; Cédric Fournet;
PUBLISHED: 2008, SOURCE: TGC, VOLUME: 4912
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP13
TITLE: Formal Methods for Open Object-Based Distributed Systems. 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
AUTHORS: Gilles Barthe;
PUBLISHED: 2008
AUTHORS: Gilles Barthe;
PUBLISHED: 2008
INDEXED IN: 
Openlibrary
Openlibrary14
TITLE: Mobility, Ubiquity and Security, 25.02. - 02.03.2007
AUTHORS: Gilles Barthe; Heiko Mantel; Peter Müller; Andrew C Myers; Andrei Sabelfeld;
PUBLISHED: 2007, SOURCE: Mobility, Ubiquity and Security, VOLUME: 07091
AUTHORS: Gilles Barthe; Heiko Mantel; Peter Müller; Andrew C Myers; Andrei Sabelfeld;
PUBLISHED: 2007, SOURCE: Mobility, Ubiquity and Security, VOLUME: 07091
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP15
TITLE: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
AUTHORS: Gilles Barthe; Benjamin Grégoire; Marieke Huisman; Jean Louis Lanet;
PUBLISHED: 2006, SOURCE: CASSIS, VOLUME: 3956
AUTHORS: Gilles Barthe; Benjamin Grégoire; Marieke Huisman; Jean Louis Lanet;
PUBLISHED: 2006, SOURCE: CASSIS, VOLUME: 3956
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP16
TITLE: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
AUTHORS: Gilles Barthe; Lilian Burdy; Marieke Huisman; Jean Louis Lanet; Traian Muntean;
PUBLISHED: 2005, SOURCE: CASSIS, VOLUME: 3362
AUTHORS: Gilles Barthe; Lilian Burdy; Marieke Huisman; Jean Louis Lanet; Traian Muntean;
PUBLISHED: 2005, SOURCE: CASSIS, VOLUME: 3362
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP17
TITLE: A computational view of implicit coercions in type theory
AUTHORS: Gilles Barthe;
PUBLISHED: 2005, SOURCE: Math. Struct. Comput. Sci., VOLUME: 15, ISSUE: 5
AUTHORS: Gilles Barthe;
PUBLISHED: 2005, SOURCE: Math. Struct. Comput. Sci., VOLUME: 15, ISSUE: 5
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP18
TITLE: International Workshop in Types in Programming, TIP@MPC 2002, Dagstuhl, Germany, July 8, 2002
AUTHORS: Gilles Barthe; Peter Thiemann;
PUBLISHED: 2003, SOURCE: TIP@MPC, VOLUME: 75
AUTHORS: Gilles Barthe; Peter Thiemann;
PUBLISHED: 2003, SOURCE: TIP@MPC, VOLUME: 75
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP19
TITLE: Expanding the Cube
AUTHORS: Gilles Barthe;
PUBLISHED: 1999, SOURCE: Foundations of Software Science and Computation Structure, Second International Conference, FoSSaCS'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings, VOLUME: 1578
AUTHORS: Gilles Barthe;
PUBLISHED: 1999, SOURCE: Foundations of Software Science and Computation Structure, Second International Conference, FoSSaCS'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings, VOLUME: 1578
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP20
TITLE: Order-Sorted Inductive Types
AUTHORS: Gilles Barthe;
PUBLISHED: 1999, SOURCE: Inf. Comput., VOLUME: 149, ISSUE: 1
AUTHORS: Gilles Barthe;
PUBLISHED: 1999, SOURCE: Inf. Comput., VOLUME: 149, ISSUE: 1
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP