( en | de | ru )

 

Disambiguierung von "Loup, Ulrich"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On collaboratively conveying computer science to pupils.

, , , , , , , , und . Koli Calling, Seite 132-137. ACM, (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Elvira Loup

Christos Loupatatzis

Barbara Stefanie Loupatatzis

Jean-Loup Florens

Jean-Loup Guillaume

 

Weitere Publikationen von Autoren mit dem selben Namen

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