SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox: (Tool Presentation) F Corzilius, U Loup, S Junges, E Ábrahám Theory and Applications of Satisfiability Testing–SAT 2012: 15th …, 2012 | 54 | 2012 |

A symbiosis of interval constraint propagation and cylindrical algebraic decomposition U Loup, K Scheibler, F Corzilius, E Ábrahám, B Becker Automated Deduction–CADE-24: 24th International Conference on Automated …, 2013 | 25 | 2013 |

On Gröbner bases in the context of satisfiability-modulo-theories solving over the real numbers S Junges, U Loup, F Corzilius, E Ábrahám Algebraic Informatics: 5th International Conference, CAI 2013, Porquerolles …, 2013 | 14 | 2013 |

A lazy SMT-solver for a non-linear subset of real algebra E Ábrahám, F Corzilius, U Loup, T Sturm Dagstuhl Seminar Proceedings, 2010 | 12 | 2010 |

GiNaCRA: A C++ library for real algebraic computations U Loup, E Ábrahám NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA …, 2011 | 10 | 2011 |

Smt-solving for the first-order theory of the reals E Abrahám, U Loup Dagstuhl Seminar Proceedings, 2010 | 3 | 2010 |

On solving real-algebraic formulas in a satisfiability-modulo-theories framework U Loup Universitätsbibliothek der RWTH Aachen, 2018 | 1 | 2018 |

On collaboratively conveying computer science to pupils E Ábrahám, N Bergner, P Brauner, F Corzilius, N Jansen, T Leonhardt, ... Proceedings of the 11th Koli Calling International Conference on Computing …, 2011 | 1 | 2011 |

I-RiSC: an SMT-compliant solver for the existential fragment of real algebra U Loup, E Ábrahám Algebraic Informatics: 4th International Conference, CAI 2011, Linz, Austria …, 2011 | 1 | 2011 |

Decision Problems over the Domain of the Real Numbers. U Loup AlgoSyn, 80, 2010 | 1 | 2010 |

Podcastproduktion als kollaborativer Zugang zur theoretischen Informatik E Ábrahám, P Brauner, N Jansen, T Leonhardt, U Loup, U Schroeder DeLFI 2010-8. Tagung der Fachgruppe E-Learning der Gesellschaft für …, 2010 | 1 | 2010 |

On SMT-solving for the real algebra E Ábrahám, U Loup Technical, 2009 | 1 | 2009 |

On Gröbner bases in SMT-compliant decision procedures over the reals S Junges, U Loup, F Corzilius, E Abrahám | | 2013 |

GiNaCRA: A C++ Library for Real Algebraic U Loup, E Ábrahám | | 2011 |

4.1. Control Synthesis and Optimization Using Real Algebraic SMT-Solving U Loup Joint Workshop of the German Research Training Groups in Computer Science, 80, 2011 | | 2011 |

RTH Aachen S Junges, U Loup, F Corzilius | | |

SMT-Solving in the Analysis and Synthesis of Hybrid Systems E Ábrahám, U Loup, F Corzilius, T Sturm | | |

R\N11-I Aachen S Junges, U Loup, F Corzilius, E Abraham | | |

On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers (Extended Version) S Junges, U Loup, F Corzilius | | |

The Program Committee Co-Chairs are very grateful for the substantial effort put in by the many reviewers outside of the Technical Program Committee. Samy Abbes Jan Krcal S … H Alhakami, Y Lembachar, MS Alvim, M Loreti, A Angius, U Loup, ... | | |