( en | de | ru )

 

Disambiguation of "Loup, Ulrich"

Author of the publication

copydeleteadd this publication to your clipboard
Podcastproduktion als kollaborativer Zugang zur theoretischen Informatik.

, , , , , and . DeLFI, volume P-169 of LNI, page 239-251. GI, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Elvira Loup

Christos Loupatatzis

Barbara Stefanie Loupatatzis

Jean-Loup Florens

Jean-Loup Guillaume

 

Other publications of authors with the same name

Decision Problems over the Domain of the Real Numbers.. AlgoSyn, page 80. Verlagshaus Mainz, Aachen, Germany, (2010)On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers., , , and . CAI, volume 8080 of Lecture Notes in Computer Science, page 186-198. Springer, (2013)Podcastproduktion als kollaborativer Zugang zur theoretischen Informatik., , , , , and . DeLFI, volume P-169 of LNI, page 239-251. GI, (2010)SMT-Solving for the First-Order Theory of the Reals., and . Algorithms and Applications for Next Generation SAT Solvers, volume 09461 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra., , , and . Verification over discrete-continuous boundaries, volume 10271 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2010)GiNaCRA: A C++ Library for Real Algebraic Computations., and . NASA Formal Methods, volume 6617 of Lecture Notes in Computer Science, page 512-517. Springer, (2011)I-RiSC: An SMT-Compliant Solver for the Existential Fragment of Real Algebra., and . CAI, volume 6742 of Lecture Notes in Computer Science, page 230-246. Springer, (2011)SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox - (Tool Presentation)., , , and . SAT, volume 7317 of Lecture Notes in Computer Science, page 442-448. Springer, (2012)