Gilles Barthe
AuthID: R-00H-7MM
141
TÃTULO: Security Types Preserving Compilation: (Extended Abstract)
AUTORES: Gilles Barthe; Amitabh Basu; Tamara Rezk;
PUBLICAÇÃO: 2004, FONTE: VMCAI
AUTORES: Gilles Barthe; Amitabh Basu; Tamara Rezk;
PUBLICAÇÃO: 2004, FONTE: VMCAI
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP142
TÃTULO: Pure patterns type systems
AUTORES: Gilles Barthe; Horatiu Cirstea; Claude Kirchner; Luigi Liquori;
PUBLICAÇÃO: 2003, FONTE: POPL
AUTORES: Gilles Barthe; Horatiu Cirstea; Claude Kirchner; Luigi Liquori;
PUBLICAÇÃO: 2003, FONTE: POPL
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP143
TÃTULO: Validation of the JavaCard Platform with Implicit Induction Techniques
AUTORES: Gilles Barthe; Sorin Stratulat;
PUBLICAÇÃO: 2003, FONTE: RTA
AUTORES: Gilles Barthe; Sorin Stratulat;
PUBLICAÇÃO: 2003, FONTE: RTA
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP144
TÃTULO: Setoids in type theory
AUTORES: Gilles Barthe; Venanzio Capretta; Olivier Pons;
PUBLICAÇÃO: 2003, FONTE: J. Funct. Program., VOLUME: 13, NÚMERO: 2
AUTORES: Gilles Barthe; Venanzio Capretta; Olivier Pons;
PUBLICAÇÃO: 2003, FONTE: J. Funct. Program., VOLUME: 13, NÚMERO: 2
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP145
TÃTULO: CPS translating inductive and coinductive types
AUTORES: Barthe, G; Uustalu, T;
PUBLICAÇÃO: 2002, FONTE: ACM/SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 02) in ACM SIGPLAN NOTICES, VOLUME: 37, NÚMERO: 3
AUTORES: Barthe, G; Uustalu, T;
PUBLICAÇÃO: 2002, FONTE: ACM/SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 02) in ACM SIGPLAN NOTICES, VOLUME: 37, NÚMERO: 3
146
TÃTULO: Compositional Verification of Secure Applet Interactions
AUTORES: Gilles Barthe; Dilian Gurov; Marieke Huisman;
PUBLICAÇÃO: 2002, FONTE: FASE
AUTORES: Gilles Barthe; Dilian Gurov; Marieke Huisman;
PUBLICAÇÃO: 2002, FONTE: FASE
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP147
TÃTULO: Efficient Reasoning about Executable Specifications in Coq
AUTORES: Gilles Barthe; Pierre Courtieu;
PUBLICAÇÃO: 2002, FONTE: TPHOLs
AUTORES: Gilles Barthe; Pierre Courtieu;
PUBLICAÇÃO: 2002, FONTE: TPHOLs
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP148
TÃTULO: Preface
AUTORES: Gilles Barthe; Peter Thiemann;
PUBLICAÇÃO: 2002, FONTE: TIP@MPC
AUTORES: Gilles Barthe; Peter Thiemann;
PUBLICAÇÃO: 2002, FONTE: TIP@MPC
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP149
TÃTULO: Type Isomorphisms and Proof Reuse in Dependent Type Theory
AUTORES: Gilles Barthe; Olivier Pons;
PUBLICAÇÃO: 2001, FONTE: 4th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 in FoSSaCS, VOLUME: 2030
AUTORES: Gilles Barthe; Olivier Pons;
PUBLICAÇÃO: 2001, FONTE: 4th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 in FoSSaCS, VOLUME: 2030
INDEXADO EM: 
Scopus DBLP
Scopus DBLP NO MEU: DBLP
DBLP150
TÃTULO: Tipos principales y cierre semi-completo para sistemas de tipos puros extendidos (trabajo en desarrollo)
AUTORES: Gilles Barthe; Blas C Ruiz Jiménez;
PUBLICAÇÃO: 2001, FONTE: APPIA-GULP-PRODE
AUTORES: Gilles Barthe; Blas C Ruiz Jiménez;
PUBLICAÇÃO: 2001, FONTE: APPIA-GULP-PRODE
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP