Personal information
Activities
Employment (3)
2016-01-11
to
present
Employment
Source:
David Deharbe
1997-03-01
to
present
Employment
Source:
David Deharbe
1995-02-01
to
1997-01-31
|
Visiting Researcher
(School of Computer Science)
Employment
Source:
David Deharbe
Education and qualifications (4)
1993-10-01
to
1996-11-10
|
Docteur en Informatique
Education
Source:
David Deharbe
1990-10-01
to
1991-08-31
|
DEA Informatics
Education
Source:
David Deharbe
1988-10-01
to
1990-08-31
|
Master of Sciences and Techniques - Expert in Informatics Systems (MST ESI)
Education
Source:
David Deharbe
1986-10-01
to
1988-06-30
|
DEUG A SSM - Mathematics and Physics.
Education
Source:
David Deharbe
Professional activities (1)
2020-01-01
to
2020-06-30
|
Member of expert committee 25 for call AAPG-2020.
Service
Source:
David Deharbe
Funding (2)
2017-09
to
2022-08
|
Grant
Agence Nationale de la Recherche
(Paris, FR)
Source:
David Deharbe
Source:
David Deharbe
Works (50 of 55)
Items per page:
Page 1 of 2
Science of Computer Programming
2020-11
|
Journal article
Contributors:
Thierry Lecomte;
David Deharbe;
Paulin Fournier;
Marcel Oliveira
Source:
check_circle
Crossref
2019
|
Book chapter
Contributors:
Dalay Israel de Almeida Pereira;
David Deharbe;
Matthieu Perin;
Philippe Bon
Source:
check_circle
Crossref
Science of Computer Programming
2014-11
|
Journal article
Contributors:
David Déharbe;
Pascal Fontaine;
Yoann Guyot;
Laurent Voisin
Source:
check_circle
Crossref
Electronic Notes in Theoretical Computer Science
2009
|
Journal article
Contributors:
D�harbe, David;
Fontaine, Pascal;
de Oliveira, Diego Caminha B.
Source:
David Deharbe
via
ResearcherID
2009
|
Book
Source:
David Deharbe
via
ResearcherID
International Journal on Software Tools for Technology Transfer (STTT)
2009
|
Journal article
Contributors:
Déharbe, David;
Ranise, Silvio
Source:
David Deharbe
via
ResearcherID
Electronic Notes in Theoretical Computer Science
2009
|
Journal article
Contributors:
Dantas, Bartira;
D�harbe, David;
Galv�o, Stephenson;
Medeiros J�nior, Val�rio;
Moreira, Anamaria Martins
Source:
David Deharbe
via
ResearcherID
Journal of the Brazilian Computer Society
2008
|
Journal article
Contributors:
Déharbe, David;
Ranise, Silvio;
Vidal, Jorgiano
Source:
David Deharbe
via
ResearcherID
2008
|
Book chapter
Contributors:
Déharbe, David;
Gomes, Bruno;
Moreira, Anamaria
Source:
David Deharbe
via
ResearcherID
2008
|
Report
Contributors:
Dantas, Bartira;
Déharbe, David;
Galvão, Stephenson;
Jr, Valerio Medeiros;
Moreira, Anamaria
Source:
David Deharbe
via
ResearcherID
Electronic Notes in Theoretical Computer Science
2007
|
Journal article
Contributors:
D�harbe, David;
Gomes, Bruno Emerson Gurgel;
Moreira, Anamaria Martins
Source:
David Deharbe
via
ResearcherID
Electronic Notes in Theoretical Computer Science
2007
|
Journal article
Contributors:
Deharbe, David;
Ranise, Silvio;
Vidal, Jorgiano
Source:
David Deharbe
via
ResearcherID
Electronic communications of the EASST
2006
|
Journal article
Contributors:
Déharbe, David;
Moreira, Anamaria;
Sena, Demostenes
Source:
David Deharbe
via
ResearcherID
3rd International Colloquium on Theoretical Aspects of Computing
2006
|
Conference paper
Part of
ISBN:
0302-9743
Contributors:
DEHARBE, D;
FONTAINE, P;
RANISE, S;
RINGEISSEN, C
Source:
David Deharbe
via
ResearcherID
1st Pernambuco Summer School on Software Engineering
2006
|
Conference paper
Part of
ISBN:
0302-9743
Contributors:
DEHARBE, D
Source:
David Deharbe
via
ResearcherID
Electronic Notes in Theoretical Computer Science
2005
|
Journal article
Contributors:
Campos, S�rgio;
Costa, Umberto;
D�harbe, David;
Vieira, Newton
Source:
David Deharbe
via
ResearcherID
7th International Conference on Artificial Intelligence and Symbolic Computation
2004
|
Conference paper
Part of
ISBN:
0302-9743
Contributors:
DEHARBE, D;
IMINE, A;
RANISE, S
Source:
David Deharbe
via
ResearcherID
Journal of Logic and Algebraic Programming
2004
|
Journal article
Contributors:
Déharbe, David;
Lima, Gleydson;
Moreira, Anamaria Martins;
Ringeissen, Christophe
Source:
David Deharbe
via
ResearcherID
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING
2004
|
Journal article
Contributors:
DEHARBE, D;
LIMA, G;
MOREIRA, AM;
RINGEISSEN, C
Source:
David Deharbe
via
ResearcherID
Electronic Notes in Theoretical Computer Science
2004
|
Journal article
Contributors:
Couchot, J. F.;
Dadeau, F.;
D�harbe, D.;
Giorgetti, A.;
Ranise, S.
Source:
David Deharbe
via
ResearcherID
Electronic Notes in Theoretical Computer Science
2003
|
Journal article
Contributors:
D�harbe, David;
Ranise, Silvio
Source:
David Deharbe
via
ResearcherID
2003
|
Other
Contributors:
Déharbe, David
Source:
David Deharbe
via
ResearcherID
Journal of the Brazilian Computer Society
2003
|
Journal article
Contributors:
Couchot, Jean-François;
Déharbe, David;
Giorgetti, Alain;
Ranise, Silvio
Source:
David Deharbe
via
ResearcherID
2002
|
Report
Contributors:
Déharbe, David;
Ranise, Silvio
Source:
David Deharbe
via
ResearcherID
13th International Conference on Rewriting Techniques and Applications
2002
|
Conference paper
Part of
ISBN:
0302-9743
Contributors:
DEHARBE, D;
MOREIRA, AM;
RINGEISSEN, C
Source:
David Deharbe
via
ResearcherID
2002
|
Book
Source:
David Deharbe
via
ResearcherID
1st World Congress on Formal Methods in the Development of Computing Systems (FM 99)
1999
|
Conference paper
Part of
ISBN:
0302-9743
Contributors:
DEHARBE, D;
MOREIRA, AM
Source:
David Deharbe
via
ResearcherID
1st International Conference on Formal Methods in Computer-Aided Design (FMCAD 96)
1996
|
Conference paper
Part of
ISBN:
0302-9743
Contributors:
BORRIONE, D;
BOUAMAMA, H;
DEHARBE, D;
LE FAOU, C;
WAHBA, A
Source:
David Deharbe
via
ResearcherID
IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME 95)
1995
|
Conference paper
Part of
ISBN:
0302-9743
Contributors:
BORRIONE, D;
DEHARBE, D
Source:
David Deharbe
via
ResearcherID
12th Symposium on Computer Architecture and High Performance Computing (SPAC-PAD'2000)
Conference paper
Contributors:
Déharbe, David;
Moreira, Anamaria Martins;
da Costa, Umberto Souza
Source:
David Deharbe
via
ResearcherID
XV Sessão de Ferramentas do Simpósio Brasileiro de Engenharia de Software
Conference paper
Contributors:
Déharbe, David;
Gomes, Bruno;
Jr, Valério Medeiros;
Marinho, Eberton;
Tavares, Cláudia
Source:
David Deharbe
via
ResearcherID
XIV Sessão de Ferramentas do XXI Simpósio Brasileiro de Engenharia de Software
Conference paper
Contributors:
Déharbe, David;
Gomes, Bruno;
Moraes, Kátia;
Moreira, Anamaria
Source:
David Deharbe
via
ResearcherID
IEEE 10th International Workshop on Logic & Synthesis (IWLS'2001)
Conference paper
Contributors:
Costa, Umberto Souza;
Déharbe, David;
Moreira, Anamaria Martins
Source:
David Deharbe
via
ResearcherID
Brazilian Symposium on Formal Methods (SBMF2008)
Conference paper
Contributors:
Déharbe, David
Source:
David Deharbe
via
ResearcherID
Proceedings of the Nineteenth Brazilian Symposium on Integrated Circuits and System Design (SBCCI2006)
Conference paper
Contributors:
Déharbe, David;
Medeiros, Sergio
Source:
David Deharbe
via
ResearcherID
11th IEEE International Conference on Engineering of Complex Computer Systems, 2006. ICECCS 2006
Conference paper
Contributors:
Deharbe, David;
Gomes, Bruno Emerson Gurgel;
Moreira, Anamaria Martins
Source:
David Deharbe
via
ResearcherID
Anais do XVI Simpósio Brasileiro de Engenharia de Software (SBES'2001) -- Sessão de Ferramentas
Conference paper
Contributors:
Déharbe, David;
de Medeiros, Sérgio Queiroz
Source:
David Deharbe
via
ResearcherID
Brazilian Symposium on Formal Methods (SBMF2008)
Conference paper
Contributors:
Déharbe, David;
Fontaine, Pascal;
Oliveira, Diego B. C.
Source:
David Deharbe
via
ResearcherID
Proceedings X Workshop IBERCHIP
Conference paper
Contributors:
Carro, Luigi;
Deharbe, David;
Silva, Ivan Saraiva;
da Silva, Antonio Augusto Vieira Viana
Source:
David Deharbe
via
ResearcherID
Proceedings of SBES'2002 16o Simpósio Brasileiro de Engenharia de Software): Sessão de ferramentas
Conference paper
Contributors:
Déharbe, David;
Lima, Gleydson;
Moreira, Anamaria Martins;
Pereira, David;
Sena, Demostenes;
Vidal, Jorgiano
Source:
David Deharbe
via
ResearcherID
X Workshop de Educacao em Informatica (WEI'2002)
Conference paper
Contributors:
Cerqueira, Nilda Teixeira;
Déharbe, David;
Gouv�ia, Elizabeth Ferreira;
Leite, Jair Cavalcanti;
Lopes, Adilson Barbosa
Source:
David Deharbe
via
ResearcherID
Formal Methods: Foundations and Applications, 12th Brazilian<p> Symposium on Formal Methods, SBMF 2009, Gramado, Brazil,<p> August 19-21, 2009, Revised Selected Papers
Conference paper
Contributors:
Déharbe, David;
Jr, Valério Medeiros
Source:
David Deharbe
via
ResearcherID
Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers
Conference paper
Contributors:
Déharbe, David;
Galvão, Stephenson;
Moreira, Anamaria Martins
Source:
David Deharbe
via
ResearcherID
IEEE/ACM 11th International Workshop on Logic & Synthesis
Conference paper
Contributors:
Borrione, Dominique;
Déharbe, David;
Vidal, Jorgiano
Source:
David Deharbe
via
ResearcherID
RTA'02 -- Conference on Rewriting Techniques and Applications
Conference paper
Contributors:
Déharbe, David;
Moreira, Anamaria Martins;
Ringeissen, Christophe
Source:
David Deharbe
via
ResearcherID
4th International Workshop on First-Order Theorem Proving (FTP'2003)
Conference paper
Contributors:
Déharbe, David;
Ranise, Silvio
Source:
David Deharbe
via
ResearcherID
1st IEEE International Conference on Software Engineering and Formal Methods (SEFM03)
Conference paper
Contributors:
Déharbe, David;
Ranise, Silvio
Source:
David Deharbe
via
ResearcherID
Formal Methods in Circuit Automation Design (FMCAD'98)
Conference paper
Contributors:
Déharbe, David;
Jr, Edmund M. Clarke;
Shankar, Subash
Source:
David Deharbe
via
ResearcherID
Brazilian Symposium on Formal Methods (SBMF2007)
Conference paper
Contributors:
Déharbe, David;
Jr, Aryldo Russo;
Moreira, Anamaria;
Silva, Paulo Muniz
Source:
David Deharbe
via
ResearcherID
XIV Symposium on Integrated Circuits and System Design (SBCCI'01)
Conference paper
Contributors:
Déharbe, David;
Vidal, Jorgiano Márcio Bruno
Source:
David Deharbe
via
ResearcherID
Items per page:
Page 1 of 2