Home Advanced Search

Advanced Search - Page 1

Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
  • PDF
  • English
  • Year: 2008
  • Author: Martin Hofmann, Mariela Pavlova (auth.), Gilles Barthe, Cédric Fournet (eds.)
Smart Card Research and Advanced Applications VI: IFIP 18th World Computer Congress TC8/WG8.8 & TC11/WG11.2 Sixth International Conference on Smart Card Research and Advanced Applications (CARDIS) 22–27 August 2004 Toulouse, France
  • PDF
  • English
  • Year: 2004
  • Author: Mariela Pavlova, Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet (auth.), Jean-Jacques Quisquater, Pierre Paradinas, Yves Deswarte, Anas Abou El Kalam (eds.)
Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Andrew W. Appel (auth.), Gilles Barthe (eds.)
Types for Proofs and Programs: International Workshop, TYPES '95 Torino, Italy, June 5–8, 1995 Selected Papers
  • DJVU
  • English
  • Year: 1996
  • Author: Gilles Barthe (auth.), Stefano Berardi, Mario Coppo (eds.)
Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Javier Esparza (auth.), Gilles Barthe, Manuel Hermenegildo (eds.)
Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Holger Hermanns (auth.), Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.)
Technology and Vocational Education for Sustainable Development: Empowering Individuals for the Future
  • PDF
  • English
  • Year: 2009
  • Author: Margarita Pavlova (auth.), Margarita Pavlova (eds.)
Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Mihhail Aizatulin, François Dupressoir (auth.), Gilles Barthe, Anupam Datta, Sandro Etalle (eds.)
Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Guillaume Barbu, Philippe Hoogvorst (auth.), Gilles Barthe, Benjamin Livshits, Riccardo Scandariato (eds.)
Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Guillaume Barbu, Philippe Hoogvorst (auth.), Gilles Barthe, Benjamin Livshits, Riccardo Scandariato (eds.)
search