A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra. - Erika Ábrahám; Florian Corzilius; Ulrich Loup; Thomas Sturm 001 (Verification over discrete-continuous boundaries, 2010)

Virtual Substitution for SMT-Solving. - Florian Corzilius; Erika Ábrahám (FCT, 2011)

On collaboratively conveying computer science to pupils. - Erika Ábrahám; Nadine Bergner; Philipp Brauner; Florian Corzilius; Nils Jansen 001; Thiemo Leonhardt; Ulrich Loup; Johanna Nellen; Ulrik Schroeder (Koli Calling, 2011)

SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox - (Tool Presentation). - Florian Corzilius; Ulrich Loup; Sebastian Junges; Erika Ábrahám (SAT, 2012)

A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition. - Ulrich Loup; Karsten Scheibler; Florian Corzilius; Erika Ábrahám; Bernd Becker 001 (CADE, 2013)

On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers. - Sebastian Junges; Ulrich Loup; Florian Corzilius; Erika Ábrahám (CAI, 2013)

Accelerating Parametric Probabilistic Verification. - Nils Jansen 001; Florian Corzilius; Matthias Volk 001; Ralf Wimmer 001; Erika Ábrahám; Joost-Pieter Katoen; Bernd Becker 001 (QEST, 2014)

PROPhESY: A PRObabilistic ParamEter SYnthesis Tool. - Christian Dehnert; Sebastian Junges; Nils Jansen 001; Florian Corzilius; Matthias Volk 001; Harold Bruintjes; Joost-Pieter Katoen; Erika Ábrahám (CAV (1), 2015)

SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving. - Florian Corzilius; Gereon Kremer; Sebastian Junges; Stefan Schupp; Erika Ábrahám (SAT, 2015)

A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic. - Gereon Kremer; Florian Corzilius; Erika Ábrahám (CASC, 2016)

Parameter Synthesis for Probabilistic Systems. - Christian Dehnert; Sebastian Junges; Nils Jansen 001; Florian Corzilius; Matthias Volk 001; Joost-Pieter Katoen; Erika Ábrahám; Harold Bruintjes (MBMV, 2016)

Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies. - Erika Ábrahám; Florian Corzilius; Einar Broch Johnsen; Gereon Kremer; Jacopo Mauro (SETTA, 2016)

Integrating virtual substitution into strategic SMT solving. - Florian Corzilius (2016)