David Doermann < David Déharbe < David Elizondo

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 21.
[0-20] [0 - 20][0 - 21][20-20][20-40]

Ident.	Authors (with country if any)	Title
000029 (2012-06-18)	David Déharbe ; Pascal Fontaine ; Yoann Guyot ; Laurent Voisin	SMT solvers for Rodin
000031 (2013-07-08)	Carlos Areces ; David Déharbe ; Pascal Fontaine ; Orbe Ezequiel	SyMT: finding symmetries in SMT formulas
001167 (2009-07-22)	David Déharbe ; Pascal Fontaine ; Anamaria Martins Moreira ; Stephan Merz ; Anderson Santana De Oliveira	Automating model-based software engineering
001186 (2002)	David Déharbe ; Silvio Ranise	BDD-Driven First-Order Satisfiability Procedures (Extended Version)
001568 (2009)	Diego Caminha B. De Oliveira ; David Déharbe ; Pascal Fontaine	Combining Decision Procedures by (Model-)Equality Propagation
001603 (2010)	Diego Caminha B. De Oliveira ; David Déharbe ; Pascal Fontaine	Combining decision procedures by (model-)equality propagation
001604 (2008-08-26)	Diego Caminha B. De Oliveira ; David Déharbe ; Pascal Fontaine	Combining decision procedures by (model-)equality propagation
001B11 (2006-11)	David Déharbe ; Pascal Fontaine ; Silvio Ranise ; Christophe Ringeissen	Decision Procedures for the Formal Analysis of Software
002123 (2011-07-31)	David Déharbe ; Pascal Fontaine ; Stephan Merz ; Bruno Woltzenlogel Paleo	Exploiting Symmetry in SMT Problems
002675 (2010-07-14)	Thomas Bouton ; Diego Caminha B. De Oliveira ; David Déharbe ; Pascal Fontaine	GridTPT: a distributed platform for Theorem Prover Testing
002A24 (2002-07)	David Déharbe ; Anamaria Martins Moreira ; Christophe Ringeissen	Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae
002B54 (2014-11-15)	David Déharbe ; Pascal Fontaine ; Laurent Voisin ; Yoann Guyot	Integrating SMT solvers in Rodin
003082 (2004)	Anamaria Martins Moreira ; Christophe Ringeissen ; David Déharbe ; Gleydson Lima	Manipulating Algebraic Specifications with Term-based and Graph-based Representations
003083 (2002)	Anamaria Martins Moreira ; Christophe Ringeissen ; David Déharbe ; Gleydson Lima	Manipulating Algebraic Specifications with Term-based and Graph-based Representations
003E45 (2004-05)	Jean-François Couchot ; Frédéric Dadeau ; David Déharbe ; Silvio Ranise	Proving and Debugging Set-Based Specifications
004614 (2015-10)	David Déharbe ; Stephan Merz	Software Component Design with the B Method — A Formalization in Isabelle/HOL
005453 (2006-09)	David Déharbe ; Pascal Fontaine	haRVey: combining reasoners
005464 (2009-08-02)	Thomas Bouton ; Diego Caminha B. De Oliveira ; David Déharbe ; Pascal Fontaine	veriT: an open, trustable and efficient SMT-solver
006395 (2011-08-01)	David Déharbe ; Pascal Fontaine ; Bruno Woltzenlogel Paleo	Quantifier Inference Rules for SMT proofs
006993 (2007-06)	Diego Caminha B. De Oliveira ; David Déharbe ; Pascal Fontaine	haRVey : satisfaisabilité et théories
006A85 (2013-10-20)	David Déharbe ; Pascal Fontaine ; Daniel Le Berre ; Bertrand Mazure	Computing prime implicant

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i -k "David Déharbe" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i  \
                -Sk "David Déharbe" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |type=    indexItem
   |index=    Author.i
   |clé=    David Déharbe
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022