Gilles Barthe
AuthID: R-00H-7MM
151
TÃTULO: A Tool-Assisted Framework for Certified Bytecode Verification
AUTORES: Gilles Barthe; Guillaume Dufay;
PUBLICAÇÃO: 2004, FONTE: FASE
AUTORES: Gilles Barthe; Guillaume Dufay;
PUBLICAÇÃO: 2004, FONTE: FASE
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP152
TÃTULO: Introduction to the Special Issue on Dependent Type Theory Meets Practical Programming
AUTORES: Gilles Barthe; Peter Dybjer; Peter Thiemann;
PUBLICAÇÃO: 2004, FONTE: J. Funct. Program., VOLUME: 14, NÚMERO: 1
AUTORES: Gilles Barthe; Peter Dybjer; Peter Thiemann;
PUBLICAÇÃO: 2004, FONTE: J. Funct. Program., VOLUME: 14, NÚMERO: 1
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP153
TÃTULO: A Machine-Checked Formalization of the Random Oracle Model
AUTORES: Gilles Barthe; Sabrina Tarento;
PUBLICAÇÃO: 2004, FONTE: TYPES
AUTORES: Gilles Barthe; Sabrina Tarento;
PUBLICAÇÃO: 2004, FONTE: TYPES
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP154
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
DBLP155
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
DBLP156
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
DBLP157
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
DBLP158
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
DBLP159
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
160
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
DBLP