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

Exploring Abstract Algebra in Constructive Type Theory.. CADE, Volume 814 von Lecture Notes in Computer Science, Seite 590-604. Springer, (1994)Verifying Safety and Persistence in Hybrid Systems Using Flowpipes and Continuous Invariants., , und . J. Autom. Reason., 63 (4): 1005-1029 (2019)Total-Correctness Refinement for Sequential Reactive Systems.. TPHOLs, Volume 1869 von Lecture Notes in Computer Science, Seite 320-337. Springer, (2000)Combined Decision Techniques for the Existential Theory of the Reals., und . Calculemus/MKM, Volume 5625 von Lecture Notes in Computer Science, Seite 122-137. Springer, (2009)Enhancing the NUPRL Proof Development System and Applying it to Computational Abstract Algebra.. Cornell University, USA, (1995)Transforming Optimization Problems into Disciplined Convex Programming Form., , , , und . CICM, Volume 14960 von Lecture Notes in Computer Science, Seite 183-202. Springer, (2024)Auditing User-Provided Axioms in Software Verification Conditions., , und . FMICS, Volume 8187 von Lecture Notes in Computer Science, Seite 154-168. Springer, (2013)Compositional Taylor Model Based Validated Integration., , , und . SYNASC, Seite 45-52. IEEE, (2018)Gröbner Basis Construction Algorithms Based on Theorem Proving Saturation Loops., , und . Decision Procedures in Software, Hardware and Bioware, Volume 10161 von Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2010)Constructively formalizing automata theory., , , und . Proof, Language, and Interaction, Seite 213-238. The MIT Press, (2000)