Publications

2013
Download
[bibtex]
Sebastian Junges, Ulrich Loup, Florian Corzilius, Erika Abraham. On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers. Proc. of the 5th International Conference on Algebraic Informatics (CAI'13), Volume 8080 of LNCS, pages 186–198, Springer-Verlag, 2013.
Download
[bibtex]
Sebastian Junges, Ulrich Loup, Florian Corzilius, Erika Abraham. On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers. Technical report at RWTH Aachen University number AIB-2013-08, 2013.
Download
[bibtex]
Ulrich Loup, Karsten Scheibler, Florian Corzilius, Erika Abraham, Bernd Becker. A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition. Proc. of the 24th International Conference on Automated Deduction (CADE-24), Volume 7898 of LNCS, pages 193–207, Springer-Verlag, 2013.
2012
Download
[bibtex]
Florian Corzilius, Ulrich Loup, Sebastian Junges, Erika Abraham. SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox (Tool Presentation). Int. Conf. on Theory and Applications of Satisfiability Testing (SAT'12), Volume 7317 of LNCS, pages 442–448, Springer Berlin Heidelberg, 2012.
2011
Download
[bibtex]
Erika Abraham, Nadine Bergner, Philipp Brauner, Florian Corzilius, Nils Jansen, Thiemo Leonhardt, Ulrich Loup, Johanna Nellen, Ulrik Schroeder. On Collaboratively Conveying Computer Science to Pupils. Proc. of the 11th Koli Calling Int. Conf. on Computing Education Research (KOLI'11), pages 132–137, ACM, 2011.
Download
[bibtex]
Ulrich Loup, Erika Abraham. I-RiSC: An SMT-Compliant Solver for the Existential Fragment of Real Algebra. 4th Int. Conf. on Algebraic Informatics (CAI'11), Volume 6742 of LNCS, pages 230–246, Springer Berlin Heidelberg, 2011.
Download
[bibtex]
Ulrich Loup, Erika Abraham. GiNaCRA: A C++ Library for Real Algebraic Computations. 3rd NASA Formal Methods Symp. (NFM'11), Volume 6617 of LNCS, pages 512–517, Springer Berlin Heidelberg, 2011.
2010
Download
[bibtex]
Erika Abraham, Philipp Brauner, Nils Jansen, Thiemo Leonhardt, Ulrich Loup, Ulrik Schroeder. Podcastproduktion als kollaborativer Zugang zur theoretischen Informatik. Interaktive Kulturen - Die 8. E-Learning Fachtagung Informatik (DeLFI'10), Volume 169 of LNI, pages 239–251, Gesellschaft für Informatik, 2010.
Download
[bibtex]
Erika Abraham, Ulrich Loup, Florian Corzilius, Thomas Sturm. A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra,. Verification over Discrete-Continuous Boundaries, Dagstuhl Seminar, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
Download
[bibtex]
Erika Abraham, Ulrich Loup, Ralf Wimmer, Joost-Pieter Katoen. On the Minimization of Hybrid Automata. Nordic Workshop on Programming Theory (NWPT'10), , 2010.
2009
Download
[bibtex]
Erika Abraham, Ulrich Loup. SMT-Solving for the First-Order Theory of the Reals. Algorithms and Applications for Next Generation SAT Solvers, Dagstuhl Seminar, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.