The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jean-Christophe Filliâtre: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jean-Christophe Filliâtre, Sam Owre, Harald Rueß, Natarajan Shankar
    ICS: Integrated Canonizer and Solver. [Citation Graph (0, 0)][DBLP]
    CAV, 2001, pp:246-249 [Conf]
  2. Jean-Christophe Filliâtre, Pierre Letouzey
    Functors for Proofs and Programs. [Citation Graph (0, 0)][DBLP]
    ESOP, 2004, pp:370-384 [Conf]
  3. Jean-Christophe Filliâtre, Claude Marché
    Multi-prover Verification of C Programs. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2004, pp:15-29 [Conf]
  4. Jean-Christophe Filliâtre
    Proof of Imperative Programs in Type Theory. [Citation Graph (0, 0)][DBLP]
    TYPES, 1998, pp:78-92 [Conf]
  5. Jean-Christophe Filliâtre
    Verification of non-functional programs using interpretations in type theory. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2003, v:13, n:4, pp:709-745 [Journal]
  6. Jean-Christophe Filliâtre, François Pottier
    Producing all ideals of a forest, functionally. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2003, v:13, n:5, pp:945-956 [Journal]
  7. Jean-Christophe Filliâtre
    Formal proof of a program: Find. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2007, v:64, n:3, pp:332-340 [Journal]
  8. Sylvie Boldo, Jean-Christophe Filliâtre
    Formal Verification of Floating-Point Programs. [Citation Graph (0, 0)][DBLP]
    IEEE Symposium on Computer Arithmetic, 2007, pp:187-194 [Conf]
  9. Jean-Christophe Filliâtre, Claude Marché
    The Why/Krakatoa/Caduceus Platform for Deductive Program Verification. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:173-177 [Conf]
  10. Jean-Christophe Filliâtre
    Backtracking iterators. [Citation Graph (0, 0)][DBLP]
    ML, 2006, pp:55-62 [Conf]
  11. Jean-Christophe Filliâtre, Sylvain Conchon
    Type-safe modular hash-consing. [Citation Graph (0, 0)][DBLP]
    ML, 2006, pp:12-19 [Conf]
  12. Sylvain Conchon, Jean-Christophe Filliâtre
    A persistent union-find data structure. [Citation Graph (0, 0)][DBLP]
    ML, 2007, pp:37-46 [Conf]

  13. Semi-persistent Data Structures. [Citation Graph (, )][DBLP]


  14. Faire bonne figure avec Mlpost. [Citation Graph (, )][DBLP]


  15. Combining Coq and Gappa for Certifying Floating-Point Programs. [Citation Graph (, )][DBLP]


  16. A functional implementation of the garsia--wachs algorithm: (functional pearl). [Citation Graph (, )][DBLP]


  17. Formal Proof of a Wave Equation Resolution Scheme: The Method Error. [Citation Graph (, )][DBLP]


  18. Formal Proof of a Wave Equation Resolution Scheme: the Method Error [Citation Graph (, )][DBLP]


  19. Formal Proof of a Wave Equation Resolution Scheme: the Method Error [Citation Graph (, )][DBLP]


Search in 0.066secs, Finished in 0.067secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002