The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Haniel Barbosa" ( http://dblp.L3S.de/Authors/Haniel_Barbosa )

URL (Homepage):  https://orcid.org/0000-0003-0188-2300  Author page on DBLP  Author page in RDF  Community of Haniel Barbosa in ASPL-2

Publication years (Num. hits)
2012 (2) 2016 (1) 2017 (4) 2018 (3) 2019 (6)
Publication types (Num. hits)
article(2) inproceedings(12) phdthesis(1) proceedings(1)
Venues (Conferences, Journals, ...)
CADE(2) CoRR(2) PxTP(2) TACAS (2)(2) ABZ(1) CAV (2)(1) FMCAD(1) IJCAR(1) PAAR@IJCAR(1) SAT(1) SBMF(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 17 publication records. Showing 16 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Giselle Reis, Haniel Barbosa (eds.) Proceedings Sixth Workshop on Proof eXchange for Theorem Proving, PxTP 2019, Natal, Brazil, August 26, 2019. Search on Bibsonomy PxTP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andrew Reynolds, Haniel Barbosa, Andres Nötzli, Clark W. Barrett, Cesare Tinelli CVC4SY for SyGuS-COMP 2019. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Andrew Reynolds, Haniel Barbosa, Andres Nötzli, Clark W. Barrett, Cesare Tinelli cvc4sy: Smart and Fast Term Enumeration for Syntax-Guided Synthesis. Search on Bibsonomy CAV (2) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Haniel Barbosa, Andrew Reynolds, Daniel El Ouraoui, Cesare Tinelli, Clark W. Barrett Extending SMT Solvers to Higher-Order Logic. Search on Bibsonomy CADE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andres Nötzli, Andrew Reynolds, Haniel Barbosa, Aina Niemetz, Mathias Preiner, Clark W. Barrett, Cesare Tinelli Syntax-Guided Rewrite Rule Enumeration for SMT Solvers. Search on Bibsonomy SAT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Haniel Barbosa, Andrew Reynolds, Daniel Larraz, Cesare Tinelli Extending enumerative function synthesis via SMT-driven classification. Search on Bibsonomy FMCAD The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Clark W. Barrett, Haniel Barbosa, Martin Brain, Duligur Ibeling, Tim King 0001, Paul Meng, Aina Niemetz, Andres Nötzli, Mathias Preiner, Andrew Reynolds, Cesare Tinelli CVC4 at the SMT Competition 2018. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Andrew Reynolds, Arjun Viswanathan, Haniel Barbosa, Cesare Tinelli, Clark W. Barrett Datatypes with Shared Selectors. Search on Bibsonomy IJCAR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andrew Reynolds, Haniel Barbosa, Pascal Fontaine Revisiting Enumerative Instantiation. Search on Bibsonomy TACAS (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Haniel Barbosa, Jasmin Christian Blanchette, Simon Cruanes, Daniel El Ouraoui, Pascal Fontaine Language and Proofs for Higher-Order SMT (Work in Progress). Search on Bibsonomy PxTP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Haniel Barbosa, Jasmin Christian Blanchette, Pascal Fontaine Scalable Fine-Grained Proofs for Formula Processing. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Haniel Barbosa, Pascal Fontaine, Andrew Reynolds Congruence Closure with Free Variables. Search on Bibsonomy TACAS (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Haniel Barbosa New techniques for instantiation and proof production in SMT solving. (Nouvelles techniques pour l'instanciation et la production des preuves dans SMT). Search on Bibsonomy 2017   RDF
1Haniel Barbosa Efficient Instantiation Techniques in SMT (Work In Progress). Search on Bibsonomy PAAR@IJCAR The full citation details ... 2016 DBLP  BibTeX  RDF
1Haniel Barbosa, David Déharbe Formal Verification of PLC Programs Using the B Method. Search on Bibsonomy ABZ The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Haniel Barbosa, David Déharbe An Approach Using the B Method to Formal Verification of PLC Programs in an Industrial Setting. Search on Bibsonomy SBMF The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #16 of 16 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license