Jean-Christophe Filliâtre Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2010
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Christophe Filliâtre, Cormac Flanagan: Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, PLPV 2010, Madrid, Spain, January 19, 2010 ACM 2010
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSylvie Boldo, Francois Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis: Formal Proof of a Wave Equation Resolution Scheme: the Method Error CoRR abs/1001.4898: (2010)
2009
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSylvie Boldo, Jean-Christophe Filliâtre, Guillaume Melquiond: Combining Coq and Gappa for Certifying Floating-Point Programs. Calculemus/MKM 2009: 59-74
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRomain Bardou, Jean-Christophe Filliâtre, Johannes Kanig, Stéphane Lescuyer: Faire bonne figure avec Mlpost. JFLA 2009: 477-507
2008
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSylvain Conchon, Jean-Christophe Filliâtre: Semi-persistent Data Structures. ESOP 2008: 322-336
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Christophe Filliâtre: A functional implementation of the garsia--wachs algorithm: (functional pearl). ML 2008: 91-96
2007
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Christophe Filliâtre, Claude Marché: The Why/Krakatoa/Caduceus Platform for Deductive Program Verification. CAV 2007: 173-177
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSylvie Boldo, Jean-Christophe Filliâtre: Formal Verification of Floating-Point Programs. IEEE Symposium on Computer Arithmetic 2007: 187-194
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSylvain Conchon, Jean-Christophe Filliâtre: A persistent union-find data structure. ML 2007: 37-46
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Christophe Filliâtre: Formal proof of a program: Find. Sci. Comput. Program. 64(3): 332-340 (2007)
2006
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner: Types for Proofs and Programs, International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers Springer 2006
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Christophe Filliâtre, Sylvain Conchon: Type-safe modular hash-consing. ML 2006: 12-19
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Christophe Filliâtre: Backtracking iterators. ML 2006: 55-62
2004
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Christophe Filliâtre, Pierre Letouzey: Functors for Proofs and Programs. ESOP 2004: 370-384
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Christophe Filliâtre, Claude Marché: Multi-prover Verification of C Programs. ICFEM 2004: 15-29
2003
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Christophe Filliâtre: Journées francophones des langages applicatifs (JFLA'03), Chamrousse, France, Janvier 2003 INRIA 2003
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Christophe Filliâtre: Verification of non-functional programs using interpretations in type theory. J. Funct. Program. 13(4): 709-745 (2003)
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Christophe Filliâtre, François Pottier: Producing all ideals of a forest, functionally. J. Funct. Program. 13(5): 945-956 (2003)
2001
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Christophe Filliâtre, Sam Owre, Harald Rueß, Natarajan Shankar: ICS: Integrated Canonizer and Solver. CAV 2001: 246-249
1998
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Christophe Filliâtre: Proof of Imperative Programs in Type Theory. TYPES 1998: 78-92

Coauthor Index

1Romain Bardou [17]
2Sylvie Boldo [13] [18] [19]
3Francois Clément [19]
4Sylvain Conchon [9] [12] [16]
5Cormac Flanagan [20]
6Johannes Kanig [17]
7Stéphane Lescuyer [17]
8Pierre Letouzey [7]
9Claude Marché [6] [14]
10Micaela Mayero [19]
11Guillaume Melquiond [18] [19]
12Sam Owre [2]
13Christine Paulin-Mohring [10]
14François Pottier [3]
15Harald Rueß [2]
16Natarajan Shankar [2]
17Pierre Weis [19]
18Benjamin Werner [10]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)