Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Simple CAD Construction and its Applications.. J. Symb. Comput., 31 (5): 521-547 (2001)Analyzing Proposals for Improving Authentication on the TLS/SSL-Protected Web., und . SSR, Volume 8893 von Lecture Notes in Computer Science, Seite 39-56. Springer, (2014)Towards Detection of Partial Truth via Real Geometry., , , , , und . SC-Square@ISSAC, Volume 3455 von CEUR Workshop Proceedings, Seite 44-53. CEUR-WS.org, (2023)Quantifier Elimination and the Ellipticity of Systems of Partial Differential Equations., , und . Algorithmic Algebra and Logic, Seite 55-58. Books on Demand, (2005)Bridging Two Communities to Solve Real Problems.. SYNASC, Seite 11-14. IEEE, (2016)Efficient Preprocessing Methods for Quantifier Elimination., und . CASC, Volume 4194 von Lecture Notes in Computer Science, Seite 89-100. Springer, (2006)Learning Linked Lists: Experiments with the iList System., , , und . Intelligent Tutoring Systems, Volume 5091 von Lecture Notes in Computer Science, Seite 80-89. Springer, (2008)Enhancements to Lazard's Method for Cylindrical Algebraic Decomposition., und . CASC, Volume 12291 von Lecture Notes in Computer Science, Seite 129-149. Springer, (2020)Exploiting Strict Constraints in the Cylindrical Algebraic Covering., , , und . SMT, Volume 3429 von CEUR Workshop Proceedings, Seite 33-45. CEUR-WS.org, (2023)Open Non-uniform Cylindrical Algebraic Decompositions.. ISSAC, Seite 85-92. ACM, (2015)