Richard Bonichon

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

Ask others: ACM DL/Guide -

	2011
j1		Richard Bonichon, Pascal Cuoq: A Mergeable Interval Map. Stud. Inform. Univ. 9(1): 5-37 (2011)
c6		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
c5		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
c4		Richard Bonichon, David Delahaye, Damien Doligez: Zenon : An Extensible Automated Theorem Prover Producing Checkable Proofs. LPAR 2007: 151-165
	2006
c3		Richard Bonichon, Olivier Hermant: A Semantic Completeness Proof for TaMeD. LPAR 2006: 167-181
c2		Richard Bonichon, Olivier Hermant: On Constructive Cut Admissibility in Deduction Modulo. TYPES 2006: 33-47
	2004
c1		Richard Bonichon: TaMeD: A Tableau Method for Deduction Modulo. IJCAR 2004: 445-459

Coauthor Index

Last update Sun May 19 00:59:25 2013 CET by the DBLP Team —

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