The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jean-François Monin: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Guillaume Doumenc, Jean-François Monin
    The Parallel Abstract Machine: A Common Execution Model for FDTs. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:285-293 [Conf]
  2. Jean-François Monin, Francis Klay
    Correctness Proof of the Standardized Algorithm for ABR Conformance. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:662-681 [Conf]
  3. Jean-François Monin
    Real-size Compiler Writing Using Prolog with Arrows. [Citation Graph (0, 0)][DBLP]
    ICLP, 1991, pp:188-201 [Conf]
  4. Jean-François Monin
    Ecriture d'un compilateur "réel" en PROLOG. [Citation Graph (0, 0)][DBLP]
    SPLT, 1984, pp:- [Conf]
  5. Jean-François Monin, E. Barrielle
    Est-ce que Prolog sait lire? [Citation Graph (0, 0)][DBLP]
    SPLT, 1987, pp:131-140 [Conf]
  6. Jean-François Monin
    Extracting Programs with Exceptions in an Impredicative Type System. [Citation Graph (0, 0)][DBLP]
    MPC, 1995, pp:335-350 [Conf]
  7. Jean-François Monin
    A Compiler Written in Prolog: The Véda Experience. [Citation Graph (0, 0)][DBLP]
    PLILP, 1988, pp:119-131 [Conf]
  8. Claude Jard, Jean-François Monin, Roland Groz
    Experience in implementing ESTELLE-X.250 (a CCITT subset of ESTELLE) in VEDA. [Citation Graph (0, 0)][DBLP]
    PSTV, 1985, pp:315-331 [Conf]
  9. Jean-François Monin
    Proof Pearl: From Concrete to Functional Unparsing. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2004, pp:217-224 [Conf]
  10. Jean-François Monin
    Proving a Real Time Algorithm for ATM in Coq. [Citation Graph (0, 0)][DBLP]
    TYPES, 1996, pp:277-293 [Conf]
  11. Béatrice Bérard, Laurent Fribourg, Francis Klay, Jean-François Monin
    Compared Study of Two Correctness Proofs for the Standardized. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2003, v:22, n:1, pp:59-86 [Journal]
  12. Jean-François Monin
    Proving the Correctness of the Standardized Algorithm for ABR Conformance. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2000, v:17, n:3, pp:221-243 [Journal]
  13. Jean-François Monin
    Exceptions Considered Harmless. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1996, v:26, n:1-3, pp:179-196 [Journal]
  14. Claude Jard, Jean-François Monin, Roland Groz
    Development of Véda, a Prototyping Tool for Distributed Algorithms. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1988, v:14, n:3, pp:339-352 [Journal]
  15. Jean-François Monin, Judicaël Courant
    Proving termination using dependent types: the case of XOR-terms. [Citation Graph (0, 0)][DBLP]
    Trends in Functional Programming, 2006, pp:1-18 [Conf]

  16. Verifying Self-stabilizing Population Protocols with Coq. [Citation Graph (, )][DBLP]


  17. Gentzen-Prawitz Natural Deduction as a Teaching Tool [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.002secs
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