SMT-Solving for the First-Order Theory of the Reals. - Erika Ábrahám; Ulrich Loup (Algorithms and Applications for Next Generation SAT Solvers, 2009)

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)

Decision Problems over the Domain of the Real Numbers. - Ulrich Loup (AlgoSyn, 2010)

Podcastproduktion als kollaborativer Zugang zur theoretischen Informatik. - Erika Ábrahám; Philipp Brauner; Nils Jansen 001; Thiemo Leonhardt; Ulrich Loup; Ulrik Schroeder (DeLFI, 2010)

I-RiSC: An SMT-Compliant Solver for the Existential Fragment of Real Algebra. - Ulrich Loup; Erika Ábrahám (CAI, 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)

GiNaCRA: A C++ Library for Real Algebraic Computations. - Ulrich Loup; Erika Ábrahám (NASA Formal Methods, 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)