1
0
0
(1 - 28 von 28
)
Florian Corzilius
www-i2.informatik.rwth-aachen.de
Florian Corzilius, Ulrich Loup, Sebastian Junges, and Erika Abraham. SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox (Tool Presentation).
Theory of Hybrid Systems
www-i2.informatik.rwth-aachen.de
Johanna Nellen | Erika Abraham | Ulrich Loup | Florian Corzilius | Nils Jansen | Xin Chen | Everybody
Ulrich Loup | Theory of Hybrid Systems - RWTH Aachenths.rwth-aachen.de › people › ulrich-loup
ths.rwth-aachen.de
Ulrich Loup ; Email: loup at cs.rwth-aachen.de ; Phone: + ; Address: Room D Aachen ...
Nils Jansen DBLPdblp.uni-trier.de › Persons › Nils Jansen 0001
dblp.uni-trier.de
Erika Ábrahám , Nadine Bergner , Philipp Brauner, Florian Corzilius, Nils Jansen, Thiemo Leonhardt, Ulrich Loup, Johanna Nellen, Ulrik Schroeder :
Rechnerarchitektur - Universität Freiburg
ira.informatik.uni-freiburg.de
Ulrich Loup, Karsten Scheibler, Florian Corzilius, Erika Ábrahám, Bernd Becker A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition CADE, Springer, Band: 7898, Seiten: Kurzfassung We present a novel decision procedure for non-linear real arithmetic: a combination of iSAT, an incomplete SMT ...
Ulrich Loup
www-i2.informatik.rwth-aachen.de
Ulrich Loup. Lehrstuhl für Informatik 2. Theory of Hybrid Systems. RWTH Aachen Aachen. Germany
Florian Corzilius - dblpdblp.uni-trier.de › Persons
dblp.uni-trier.de
· Florian Corzilius, Ulrich Loup, Sebastian Junges, Erika Ábrahám : SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox - (Tool ...
GAMES - Spring School in Bertinoro
www.games.rwth-aachen.de
The school was addressed to Ph.D. students and young researchers with a background in computer ... Omega-regular games with imperfect ... Ulrich Loup RWTH ...
Satisfiability Checking (WS )
verify.rwth-aachen.de
Veranstalter. Prof. Dr. Erika Ábrahám, Prof. Dr. Jürgen Giesl, Marc Brockschmidt, Fabian Emmes, Carsten Fuhs, Nils Jansen, Ulrich Loup, Johanna Nellen, Carsten ...
logic.pdmi.ras.ru
logic.pdmi.ras.ru
Ulrich Loup RWTH Aachen University Germany Uri Zwick Tel Aviv University Israel Vladimir Podolskii Lomonosov Moscow State University Russia
dblp: Dagstuhl Publications 2010
dblp.uni-trier.de
Bibliographic content of Dagstuhl Publications 2010
Search results for "Ulrich Reimer" – FacetedDBLP
dblp.l3s.de
... Ulrich M. Schwarz, Ulrich M. Löwer, Ulrich Löwen, Ulrich Loup, Ulrich ...
Search results for "AlgoSyn" – FacetedDBLP
dblp.l3s.de
Melanie Winkler(2) Ulrich Loup(2) Abutaleb-Abdelmodhi ...
(PN) CONCUR 2011: First Call for Papers
www.mail-archive.com
... ORGANIZING COMMITTEE ===== Henrik Bohnenkamp, Arnd Gehrmann, Christina Jansen, Nils Jansen, Ulrich Loup, Thomas Noll ...
sortiert nach Relevanz / Datum