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

A Tool-Supported Proof System for Multithreaded Java., , , und . FMCO, Volume 2852 von Lecture Notes in Computer Science, Seite 1-32. Springer, (2002)Some recent advances in automated analysis., und . Int. J. Softw. Tools Technol. Transf., 18 (2): 121-128 (2016)Hybrid Sequential Function Charts., und . MBMV, Volume 68 von Forschungsergebnisse zur Informatik, Seite 109-120. Verlag Dr. Kovac, (2012)Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development., , , , , und . CoRR, (2019)Levelwise construction of a single cylindrical algebraic cell., , , , , und . CoRR, (2022)Knowledge Distillation in YOLOX-ViT for Side-Scan Sonar Object Detection., , , und . CoRR, (2024)New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract)., , , , und . PAAR+SC²@IJCAR, Volume 2752 von CEUR Workshop Proceedings, Seite 178-188. CEUR-WS.org, (2020)FMplex: A Novel Method for Solving Linear Real Arithmetic Problems., , , und . GandALF, Volume 390 von EPTCS, Seite 16-32. (2023)ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics., , , , , , , und . ARCH@ADHS, Volume 80 von EPiC Series in Computing, Seite 1-31. EasyChair, (2021)Probabilistic Hyperproperties with Rewards., , , , und . NFM, Volume 13260 von Lecture Notes in Computer Science, Seite 656-673. Springer, (2022)