François Monin

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

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

Coauthor Index

Last update Sat May 25 15:43:07 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page