Gilles Barthe
AuthID: R-00H-7MM
141
TÃTULO: Precise Analysis of Memory Consumption using Program Logics
AUTORES: Gilles Barthe; Mariela Pavlova; Gerardo Schneider;
PUBLICAÇÃO: 2005, FONTE: SEFM
AUTORES: Gilles Barthe; Mariela Pavlova; Gerardo Schneider;
PUBLICAÇÃO: 2005, FONTE: SEFM
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP142
TÃTULO: Practical Inference for Type-Based Termination in a Polymorphic Setting
AUTORES: Gilles Barthe; Benjamin Grégoire; Fernando Pastawski;
PUBLICAÇÃO: 2005, FONTE: TLCA
AUTORES: Gilles Barthe; Benjamin Grégoire; Fernando Pastawski;
PUBLICAÇÃO: 2005, FONTE: TLCA
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP143
TÃTULO: Non-interference for a JVM-like language
AUTORES: Gilles Barthe; Tamara Rezk;
PUBLICAÇÃO: 2005, FONTE: TLDI
AUTORES: Gilles Barthe; Tamara Rezk;
PUBLICAÇÃO: 2005, FONTE: TLDI
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP144
TÃTULO: Preventing Timing Leaks Through Transactional Branching Instructions
AUTORES: Gilles Barthe; Tamara Rezk; Martijn Warnier;
PUBLICAÇÃO: 2005, FONTE: QAPL
AUTORES: Gilles Barthe; Tamara Rezk; Martijn Warnier;
PUBLICAÇÃO: 2005, FONTE: QAPL
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP145
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
DBLP146
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
DBLP147
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
DBLP148
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
DBLP149
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
DBLP150
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
DBLP