David Doermann < David Déharbe < David Elizondo

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

---

Pour manipuler ce document sous Unix (Dilib)

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

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

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

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Curation
   |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