François Clément

	2011
7		Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis: Wave Equation Numerical Resolution: Mathematics and Program CoRR abs/1112.1795: (2011)
	2010
6		Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis: Formal Proof of a Wave Equation Resolution Scheme: The Method Error. ITP 2010: 147-162
5		Sylvie Boldo, François 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)
4		Sylvie Boldo, François 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/1005.0824: (2010)
3		François Clément, Hend Ben Ameur, Guy Chavent, Pierre Weis: Image Segmentation with Optimal Control Techniques CoRR abs/1011.2292: (2010)
	2006
2		François Clément, V. Martin, A. Vodicka, Roberto Di Cosmo, Pierre Weis: Domain decomposition and skeleton programming with OCamlP3l. Parallel Computing 32(7-8): 539-550 (2006)
	2005
1		François Clément, V. Martin, A. Vodicka, Roberto Di Cosmo, Pierre Weis: Domain Decomposition and Skeleton Programming with OCamlP3l. PARCO 2005: 811-818

Coauthor Index

1	Hend Ben Ameur	[3]
2	Sylvie Boldo	[4] [5] [6] [7]
3	Guy Chavent	[3]
4	Roberto Di Cosmo	[1] [2]
5	Jean-Christophe Filliâtre	[4] [5] [6] [7]
6	V. Martin	[1] [2]
7	Micaela Mayero	[4] [5] [6] [7]
8	Guillaume Melquiond	[4] [5] [6] [7]
9	A. Vodicka	[1] [2]
10	Pierre Weis	[1] [2] [3] [4] [5] [6] [7]

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page