dblp.uni-trier.dewww.uni-trier.de

David Delahaye Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
16EEDavid Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge: Producing UML Models from Focal Specifications: An Application to Airport Security Regulations. TASE 2008: 121-124
15EEDavid Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge: A formal and sound transformation from Focal to UML : an application to airport security regulations. ISSE 4(3): 267-274 (2008)
2007
14EERichard Bonichon, David Delahaye, Damien Doligez: Zenon : An Extensible Automated Theorem Prover Producing Checkable Proofs. LPAR 2007: 151-165
13EEDavid Delahaye, Catherine Dubois, Jean-Frédéric Étienne: Extracting Purely Functional Contents from Logical Inductive Types. TPHOLs 2007: 70-85
2006
12EEDavid Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge: Certifying Airport Security Regulations Using the Focal Environment. FM 2006: 48-63
11EEDavid Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge: Reasoning about Airport Security Regulations Using the Focal Environment. ISoLA 2006: 45-52
10EEDavid Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge: Modeling Airport Security Regulations in Focal. ReMo2V 2006
9EEDavid Delahaye, Micaela Mayero: Quantifier Elimination over Algebraically Closed Fields in a Proof Assistant using a Computer Algebra System. Electr. Notes Theor. Comput. Sci. 151(1): 57-73 (2006)
2005
8EEDavid Delahaye, Micaela Mayero: Diophantus' 20th Problem and Fermat's Last Theorem for n=4: Formalization of Fermat's Proofs in the Coq Proof Assistant CoRR abs/cs/0510011: (2005)
7EEDavid Delahaye, Micaela Mayero: Dealing with algebraic expressions over a field in Coq using Maple. J. Symb. Comput. 39(5): 569-592 (2005)
6EEDavid Delahaye, Mathieu Jaume, Virgile Prevosto: Coq, un outil pour l'enseignement. Une expérience avec les étudiants du DESS Développement de logiciels srs. Technique et Science Informatiques 24(9): 1139-1160 (2005)
2002
5EEDavid Delahaye: Free-Style Theorem Proving. TPHOLs 2002: 164-181
4EEDavid Delahaye: A Proof Dedicated Meta-Language. Electr. Notes Theor. Comput. Sci. 70(2): (2002)
2001
3 David Delahaye, Micaela Mayero: Field, une procédure de décision pour les nombres réels en Coq. JFLA 2001: 33-48
2000
2EEDavid Delahaye: A Tactic Language for the System Coq. LPAR 2000: 85-95
1999
1EEDavid Delahaye: Information Retrieval in a Coq Proof Library Using Type Isomorphisms. TYPES 1999: 131-147

Coauthor Index

1Richard Bonichon [14]
2Damien Doligez [14]
3Véronique Donzeau-Gouge [10] [11] [12] [15] [16]
4Catherine Dubois [13]
5Jean-Frédéric Étienne [10] [11] [12] [13] [15] [16]
6Mathieu Jaume [6]
7Micaela Mayero [3] [7] [8] [9]
8Virgile Prevosto [6]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)