Вы здесь

Главная

Barthe G.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Tool-Assisted Framework for Certified Bytecode Verification 2004 Barthe G., Dufay G. Lecture Notes in Computer Science 16.04.2004
СТ Security Types Preserving Compilation 2004 Barthe G., Basu A., Rezk T. Lecture Notes in Computer Science 11.02.2004
СТ An Introduction to Dependent Type Theory 2002 Barthe G., Coquand T. Lecture Notes in Computer Science 26.10.2002
СТ Tool-Assested Specification and Verification of the JavaCard Platform 2002 Barthe G., Courtieu P., Dufay G., De Sousa S. M. Lecture Notes in Computer Science 10.10.2002
СТ Compositional Verification of Secure Applet Interations 2002 Barthe G., Gurov D., Huisman M. Lecture Notes in Computer Science 15.05.2002
СТ Type Isomorphisms and Proof Reuse in Dependent Type Theory 2001 Barthe G., Pons O. Lecture Notes in Computer Science 05.05.2001
СТ A Formal Executable Semantics of the JavaCard Platform 2001 Barthe G., Dufay G., Jukabiec L., Serpette B., De Sousa S. M. Lecture Notes in Computer Science 28.04.2001
СТ Partial Evaluation and Non-interference for Object Calculi 1999 Barthe G., Serpette B. P. Lecture Notes in Computer Science 25.11.1999
СТ Constructor Subtyping 1999 Barthe G., Frade M. J. Lecture Notes in Computer Science 07.04.1999
СТ On the Subject Reduction Property for Algebraic Type Systems 1997 Barthe G., Mellies P. -A. Lecture Notes in Computer Science 18.07.1997
СТ A simple abstract semantics for equational theories 1995 Barthe G. Lecture Notes in Computer Science Fundamentals of Computation Theory 18.10.1995
СТ Extensions of Pure Type Systems 1995 Barthe G. Lecture Notes in Computer Science 14.04.1995

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Software Engineering and Formal Methods: Proc./9th International Conference, SEFM 2011, Montevideo, Uruguay, November 2011 2011 Lecture Notes in Computer Science
  1. Barthe G.
  2. Pardo A.
  3. Schneider G.
 11.01.2012
СБ Programming Languages and Systems: Proc./20th European Symposium on Programming, ESOP 2011 Held as Part of the Joint European Conferences ETAPS 2011, Saabrucken, Germany, March 2011 2011 Lecture Notes in Computer Science
  1. Barthe G.
 24.05.2011
СБ Verification, Model Checking, and Abstract Interpretation: Proc./11th International Conference, VMCAI 2010, Madrid, Spain, January 2010 2010 Lecture Notes in Computer Science
  1. Barthe G.
  2. Hermenegildo M.
 20.03.2010
СБ Formal Methods for Open Object-Based Distributed Systems: Proc./10th IFIP WG 6.1 International Conference, FMOODS 2008. Oslo, Norway, June 2008 2008 Lecture Notes in Computer Science
  1. Barthe G.
  2. de Boer F. S.
 04.07.2008
СБ Trustworthy Global Computing: Revised Selected Papers/Third Symposium, TGC 2007. Sophia-Antipolis, France, November 2007 2008 Lecture Notes in Computer Science
  1. Barthe G.
  2. Fournet C.
 07.06.2008
СБ Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Revised Selected Papers/International Workshop, CASSIS 2004. Marseille, France, March 2004 2005 Lecture Notes in Computer Science
  1. Barthe G.
  2. Burdy L.
  3. Huisman M.
  4. Lanet_Et_Al J. -L.
 24.03.2005
СБ Applied Semantics: Advanced Lectures/Intern. Summer School, APPSEM 2000, Caminha, Portugal, September 2000 2002 Lecture Notes in Computer Science
  1. Barthe G.
  2. Dybjer P.
  3. Pinto L.
  4. Saraiva J.
 26.10.2002