Gilles Barthe
AuthID: R-00H-7MM
11
TÃTULO: Certificate Translation PDF
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 2008, FONTE: Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008, VOLUME: 372
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 2008, FONTE: Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008, VOLUME: 372
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP12
TÃTULO: Trustworthy Global Computing, Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
AUTORES: Gilles Barthe; Cédric Fournet;
PUBLICAÇÃO: 2008, FONTE: TGC, VOLUME: 4912
AUTORES: Gilles Barthe; Cédric Fournet;
PUBLICAÇÃO: 2008, FONTE: TGC, VOLUME: 4912
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP13
TÃTULO: Formal Methods for Open Object-Based Distributed Systems. 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 2008
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 2008
INDEXADO EM: 
Openlibrary
Openlibrary14
TÃTULO: Mobility, Ubiquity and Security, 25.02. - 02.03.2007
AUTORES: Gilles Barthe; Heiko Mantel; Peter Müller; Andrew C Myers; Andrei Sabelfeld;
PUBLICAÇÃO: 2007, FONTE: Mobility, Ubiquity and Security, VOLUME: 07091
AUTORES: Gilles Barthe; Heiko Mantel; Peter Müller; Andrew C Myers; Andrei Sabelfeld;
PUBLICAÇÃO: 2007, FONTE: Mobility, Ubiquity and Security, VOLUME: 07091
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP15
TÃTULO: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
AUTORES: Gilles Barthe; Benjamin Grégoire; Marieke Huisman; Jean Louis Lanet;
PUBLICAÇÃO: 2006, FONTE: CASSIS, VOLUME: 3956
AUTORES: Gilles Barthe; Benjamin Grégoire; Marieke Huisman; Jean Louis Lanet;
PUBLICAÇÃO: 2006, FONTE: CASSIS, VOLUME: 3956
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP16
TÃTULO: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
AUTORES: Gilles Barthe; Lilian Burdy; Marieke Huisman; Jean Louis Lanet; Traian Muntean;
PUBLICAÇÃO: 2005, FONTE: CASSIS, VOLUME: 3362
AUTORES: Gilles Barthe; Lilian Burdy; Marieke Huisman; Jean Louis Lanet; Traian Muntean;
PUBLICAÇÃO: 2005, FONTE: CASSIS, VOLUME: 3362
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP17
TÃTULO: A computational view of implicit coercions in type theory
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 2005, FONTE: Math. Struct. Comput. Sci., VOLUME: 15, NÚMERO: 5
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 2005, FONTE: Math. Struct. Comput. Sci., VOLUME: 15, NÚMERO: 5
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP18
TÃTULO: International Workshop in Types in Programming, TIP@MPC 2002, Dagstuhl, Germany, July 8, 2002
AUTORES: Gilles Barthe; Peter Thiemann;
PUBLICAÇÃO: 2003, FONTE: TIP@MPC, VOLUME: 75
AUTORES: Gilles Barthe; Peter Thiemann;
PUBLICAÇÃO: 2003, FONTE: TIP@MPC, VOLUME: 75
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP19
TÃTULO: Expanding the Cube
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 1999, FONTE: 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
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 1999, FONTE: 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
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP20
TÃTULO: Order-Sorted Inductive Types
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 1999, FONTE: Inf. Comput., VOLUME: 149, NÚMERO: 1
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 1999, FONTE: Inf. Comput., VOLUME: 149, NÚMERO: 1
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP