Search the dblp DataBase

Publications of Author

1. Fairouz Kamareddine, François Monin
   On Automating Inductive and Non-inductive Termination Methods. [Citation Graph (0, 0)][DBLP]
   ASIAN, 1999, pp:177-189 [Conf]
   
2. Jan Friso Groote, François Monin, Jaco van de Pol
   Checking Verifications of Protocols and Distributed Systems by Computer. [Citation Graph (0, 0)][DBLP]
   CONCUR, 1998, pp:629-655 [Conf]
   
3. Fairouz Kamareddine, François Monin
   On Formalised Proofs of Termination of Recursive Functions. [Citation Graph (0, 0)][DBLP]
   PPDP, 1999, pp:29-46 [Conf]
   
4. Fairouz Kamareddine, François Monin, Mauricio Ayala-Rincón
   On automating the extraction of programs from proofs using product types. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:67, n:, pp:- [Journal]
   
5. Jan Friso Groote, François Monin, Jan Springintveld
   A computer checked algebraic verification of a distributed summation algorithm. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2005, v:17, n:1, pp:19-37 [Journal]
   
6. Fairouz Kamareddine, François Monin
   An Extension of an Automated Termination Method of Recursive Functions. [Citation Graph (0, 0)][DBLP]
   Int. J. Found. Comput. Sci., 2002, v:13, n:3, pp:361-386 [Journal]
   
7. Fairouz Kamareddine, François Monin, Mauricio Ayala-Rincón
   On Automating the Extraction of Programs from Termination Proofs. [Citation Graph (0, 0)][DBLP]
   Revista Comlombiana de Computación, 2003, v:4, n:2, pp:- [Journal]
   
8. François Monin, Marianne Simonot
   An ordinal measure based procedure for termination of functions. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2001, v:254, n:1-2, pp:63-94 [Journal]