The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Daniel Larraz" ( http://dblp.L3S.de/Authors/Daniel_Larraz )

  Author page on DBLP  Author page in RDF  Community of Daniel Larraz in ASPL-2

Publication years (Num. hits)
2013-2019 (10)
Publication types (Num. hits)
article(2) inproceedings(8)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 11 publication records. Showing 10 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Cristina Borralleras, Daniel Larraz, Enric Rodríguez-Carbonell, Albert Oliveras, Albert Rubio Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers. Search on Bibsonomy ACM Trans. Comput. Log. 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
1Cristina Borralleras, Marc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio Proving Termination Through Conditional Termination. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Lorenzo Candeago, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio Speeding up the Constraint-Based Method in Difference Logic. Search on Bibsonomy SAT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio Compositional Safety Verification with Max-SMT. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Marc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio Compositional Safety Verification with Max-SMT. Search on Bibsonomy FMCAD The full citation details ... 2015 DBLP  BibTeX  RDF
1Daniel Larraz, Kaustubh Nimkar, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio Proving Non-termination Using Max-SMT. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions. Search on Bibsonomy SAT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio Proving termination of imperative programs using Max-SMT. Search on Bibsonomy FMCAD The full citation details ... 2013 DBLP  BibTeX  RDF
1Daniel Larraz, Enric Rodríguez-Carbonell, Albert Rubio SMT-Based Array Invariant Generation. Search on Bibsonomy VMCAI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #10 of 10 (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