The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Florian Corzilius" ( http://dblp.L3S.de/Authors/Florian_Corzilius )

  Author page on DBLP  Author page in RDF  Community of Florian Corzilius in ASPL-2

Publication years (Num. hits)
2010-2016 (14)
Publication types (Num. hits)
article(1) inproceedings(12) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 15 publication records. Showing 14 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Christian Dehnert, Sebastian Junges, Nils Jansen 0001, Florian Corzilius, Matthias Volk 0001, Joost-Pieter Katoen, Erika Ábrahám, Harold Bruintjes Parameter Synthesis for Probabilistic Systems. Search on Bibsonomy MBMV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, Florian Corzilius, Einar Broch Johnsen, Gereon Kremer, Jacopo Mauro Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies. Search on Bibsonomy SETTA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gereon Kremer, Florian Corzilius, Erika Ábrahám A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic. Search on Bibsonomy CASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Florian Corzilius Integrating virtual substitution into strategic SMT solving. Search on Bibsonomy 2016   RDF
1Christian Dehnert, Sebastian Junges, Nils Jansen 0001, Florian Corzilius, Matthias Volk 0001, Harold Bruintjes, Joost-Pieter Katoen, Erika Ábrahám PROPhESY: A PRObabilistic ParamEter SYnthesis Tool. Search on Bibsonomy CAV (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Florian Corzilius, Gereon Kremer, Sebastian Junges, Stefan Schupp, Erika Ábrahám SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving. Search on Bibsonomy SAT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nils Jansen 0001, Florian Corzilius, Matthias Volk 0001, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker 0001 Accelerating Parametric Probabilistic Verification. Search on Bibsonomy QEST The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nils Jansen 0001, Florian Corzilius, Matthias Volk 0001, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker 0001 Accelerating Parametric Probabilistic Verification. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Sebastian Junges, Ulrich Loup, Florian Corzilius, Erika Ábrahám On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers. Search on Bibsonomy CAI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ulrich Loup, Karsten Scheibler, Florian Corzilius, Erika Ábrahám, Bernd Becker 0001 A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition. Search on Bibsonomy CADE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Florian Corzilius, Ulrich Loup, Sebastian Junges, Erika Ábrahám SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox - (Tool Presentation). Search on Bibsonomy SAT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Florian Corzilius, Erika Ábrahám Virtual Substitution for SMT-Solving. Search on Bibsonomy FCT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, Nadine Bergner, Philipp Brauner, Florian Corzilius, Nils Jansen 0001, Thiemo Leonhardt, Ulrich Loup, Johanna Nellen, Ulrik Schroeder On collaboratively conveying computer science to pupils. Search on Bibsonomy Koli Calling The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, Florian Corzilius, Ulrich Loup, Thomas Sturm 0001 A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra. Search on Bibsonomy Verification over discrete-continuous boundaries The full citation details ... 2010 DBLP  BibTeX  RDF
Displaying result #1 - #14 of 14 (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