( en | de | ru )

 

Disambiguierung von "Giesl, Jürgen"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Analyzing Program Termination and Complexity Automatically with AProVE.

, , , , , , , , , , , , und . J. Autom. Reason., 58 (1): 3-31 (2017)

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.

Jürgen Giesl

Jürgen Giesl

Jürgen Giesl

Bruno Giesl

Peter Giesl

 

Weitere Publikationen von Autoren mit dem selben Namen

Termination of Polynomial Loops., , und . SAS, Volume 12389 von Lecture Notes in Computer Science, Seite 89-112. Springer, (2020)Proving Non-Termination and Lower Runtime Bounds with LoAT (System Description)., und . IJCAR, Volume 13385 von Lecture Notes in Computer Science, Seite 712-722. Springer, (2022)Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops., , und . IJCAR, Volume 13385 von Lecture Notes in Computer Science, Seite 734-754. Springer, (2022)Automated Detection of Non-termination and NullPointerExceptions for Java Bytecode., , , und . FoVeOOS, Volume 7421 von Lecture Notes in Computer Science, Seite 123-141. Springer, (2011)Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting., , und . RTA, Volume 10 von LIPIcs, Seite 155-170. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)AProVE: Proving and Disproving Termination of Memory-Manipulating C Programs - (Competition Contribution)., , , , und . TACAS (2), Volume 10206 von Lecture Notes in Computer Science, Seite 350-354. (2017)Computing Expected Runtimes for Constant Probability Programs., , und . CADE, Volume 11716 von Lecture Notes in Computer Science, Seite 269-286. Springer, (2019)Transformation techniques for context-sensitive rewrite systems., und . J. Funct. Program., 14 (4): 379-427 (2004)Transforming Context-Sensitive Rewrite Systems., und . RTA, Volume 1631 von Lecture Notes in Computer Science, Seite 271-287. Springer, (1999)Proving Innermost Normalisation Automatically., und . RTA, Volume 1232 von Lecture Notes in Computer Science, Seite 157-171. Springer, (1997)