Richard Bonichon

	2011
6		Richard Bonichon, Géraud Canet, Loïc Correnson, Eric Goubault, Emmanuel Haucourt, Michel Hirschowitz, Sébastien Labbé, Samuel Mimram: Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software. SAFECOMP 2011: 85-98
	2009
5		Pascal Cuoq, Julien Signoles, Patrick Baudin, Richard Bonichon, Géraud Canet, Loïc Correnson, Benjamin Monate, Virgile Prevosto, Armand Puccetti: Experience report: OCaml for an industrial-strength static analysis framework. ICFP 2009: 281-286
	2007
4		Richard Bonichon, David Delahaye, Damien Doligez: Zenon : An Extensible Automated Theorem Prover Producing Checkable Proofs. LPAR 2007: 151-165
	2006
3		Richard Bonichon, Olivier Hermant: A Semantic Completeness Proof for TaMeD. LPAR 2006: 167-181
2		Richard Bonichon, Olivier Hermant: On Constructive Cut Admissibility in Deduction Modulo. TYPES 2006: 33-47
	2004
1		Richard Bonichon: TaMeD: A Tableau Method for Deduction Modulo. IJCAR 2004: 445-459

Coauthor Index

1	Patrick Baudin	[5]
2	Géraud Canet	[5] [6]
3	Loïc Correnson	[5] [6]
4	Pascal Cuoq	[5]
5	David Delahaye	[4]
6	Damien Doligez	[4]
7	Eric Goubault	[6]
8	Emmanuel Haucourt	[6]
9	Olivier Hermant	[2] [3]
10	Michel Hirschowitz	[6]
11	Sébastien Labbé	[6]
12	Samuel Mimram	[6]
13	Benjamin Monate	[5]
14	Virgile Prevosto	[5]
15	Armand Puccetti	[5]
16	Julien Signoles	[5]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page