YEAR_2006.bib

@comment{{This file has been generated by bib2bib 1.97}}

@comment{{Command line: bib2bib --expand-xrefs -oc Publi/YEAR_2006.cite -ob Publi/YEAR_2006.bib -c year=2006 -c !topic="NOCITE" Publi/bibdata.bib}}

@inproceedings{GreTW06,
  author = {Benjamin Gr{\'e}goire and
               Laurent Th{\'e}ry and
               Benjamin Werner},
  title = {A Computational Approach to Pocklington Certificates in
               Type Theory},
  booktitle = {Functional and Logic Programming, 8th International Symposium,
               FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
  year = {2006},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {3945},
  pages = {97-113},
  topic = {COQAPPLI}
}

@inproceedings{DBLP:conf/fmco/BartheBCGHLPR06,
  author = {Gilles Barthe and
               Lilian Burdy and
               Julien Charles and
               Benjamin Gr{\'e}goire and
               Marieke Huisman and
               Jean-Louis Lanet and
               Mariela Pavlova and
               Antoine Requet},
  title = {JACK - A Tool for Validation of Security and Behaviour of
               Java Applications},
  booktitle = {Formal Methods for Components and Objects, 5th International
               Symposium, FMCO 2006, Amsterdam, The Netherlands, November
               7-10, 2006, Revised Lectures},
  year = {2006},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {4709},
  pages = {152-174},
  topic = {PCC}
}

@inproceedings{GreT06,
  author = {Benjamin Gr{\'e}goire and
               Laurent Th{\'e}ry},
  title = {A Purely Functional Library for Modular Arithmetic and Its
               Application to Certifying Large Prime Numbers},
  booktitle = {Automated Reasoning, Third International Joint Conference,
               IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {4130},
  year = {2006},
  pages = {423-437},
  topic = {COQAPPLI}
}

@inproceedings{BartheGP06,
  author = {Gilles Barthe and
               Benjamin Gr{\'e}goire and
               Fernando Pastawski},
  title = {CIC\^: Type-Based Termination of Recursive Definitions
               in the Calculus of Inductive Constructions},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning,
               13th International Conference, LPAR 2006, Phnom Penh, Cambodia,
               November 13-17, 2006, Proceedings},
  year = {2006},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {4246},
  pages = {257-271},
  topic = {TYPETHEORY}
}

@inproceedings{BartheGKR06,
  author = {Gilles Barthe and
               Benjamin Gr{\'e}goire and
               C{\'e}sar Kunz and
               Tamara Rezk},
  title = {Certificate Translation for Optimizing Compilers},
  booktitle = {Static Analysis, 13th International Symposium, SAS 2006,
               Seoul, Korea, August 29-31, 2006, Proceedings},
  year = {2006},
  pages = {301-317},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {4134},
  topic = {PCC}
}

@inproceedings{DBLP:conf/tgc/BartheBCGHMPPSV06,
  author = {Gilles Barthe and
               Lennart Beringer and
               Pierre Cr{\'e}gut and
               Benjamin Gr{\'e}goire and
               Martin Hofmann and
               Peter M{\"u}ller and
               Erik Poll and
               Germ{\'a}n Puebla and
               Ian Stark and
               Eric V{\'e}tillard},
  title = {MOBIUS: Mobility, Ubiquity, Security},
  booktitle = {Trustworthy Global Computing, Second Symposium, TGC 2006,
               Lucca, Italy, November 7-9, 2006, Revised Selected Papers},
  year = {2006},
  pages = {10-29},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {4661},
  topic = {PCC}
}

@proceedings{cassis05,
  editor = {Gilles Barthe and
               Benjamin Gr{\'e}goire and
               Marieke Huisman and
               Jean-Louis Lanet},
  title = {Construction and Analysis of Safe, Secure, and Interoperable
               Smart Devices, Second International Workshop, CASSIS 2005,
               Nice, France, March 8-11, 2005, Revised Selected Papers},
  booktitle = {CASSIS},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {3956},
  year = {2006},
  isbn = {3-540-33689-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

This file was generated by bibtex2html 1.97.