Gilles Barthe
AuthID: R-00H-7MM
131
TÃTULO: Type-based termination of recursive definitions
AUTORES: Barthe, G; Frade, MJ ; Gimenez, E; Pinto, L; Uustalu, T;
PUBLICAÇÃO: 2004, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 14, NÚMERO: 1
AUTORES: Barthe, G; Frade, MJ ; Gimenez, E; Pinto, L; Uustalu, T;
PUBLICAÇÃO: 2004, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 14, NÚMERO: 1
INDEXADO EM: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP NO MEU: DBLP
DBLP132
TÃTULO: A Machine-Checked Formalization of the Generic Model and the Random Oracle Model
AUTORES: Gilles Barthe; Jan Cederquist; Sabrina Tarento;
PUBLICAÇÃO: 2004, FONTE: IJCAR
AUTORES: Gilles Barthe; Jan Cederquist; Sabrina Tarento;
PUBLICAÇÃO: 2004, FONTE: IJCAR
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP133
TÃTULO: Enforcing High-Level Security Properties for Applets
AUTORES: Mariela Pavlova; Gilles Barthe; Lilian Burdy; Marieke Huisman; Jean Louis Lanet;
PUBLICAÇÃO: 2004, FONTE: CARDIS
AUTORES: Mariela Pavlova; Gilles Barthe; Lilian Burdy; Marieke Huisman; Jean Louis Lanet;
PUBLICAÇÃO: 2004, FONTE: CARDIS
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP134
TÃTULO: Formally verifying information flow type systems for concurrent and thread systems
AUTORES: Gilles Barthe; Leonor Prensa Nieto;
PUBLICAÇÃO: 2004, FONTE: FMSE
AUTORES: Gilles Barthe; Leonor Prensa Nieto;
PUBLICAÇÃO: 2004, FONTE: FMSE
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP135
TÃTULO: Secure Information Flow by Self-Composition
AUTORES: Gilles Barthe; Pedro R D'Argenio; Tamara Rezk;
PUBLICAÇÃO: 2004, FONTE: CSFW
AUTORES: Gilles Barthe; Pedro R D'Argenio; Tamara Rezk;
PUBLICAÇÃO: 2004, FONTE: CSFW
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP136
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
DBLP137
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
DBLP138
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
DBLP139
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
DBLP140
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
DBLP