Author:Jürgen Giesl

Publications
Polynomial Loops: Beyond Termination Marcel Hark, Florian Frohn and Jürgen Giesl In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Analyzing Runtime Complexity via Innermost Runtime Complexity Florian Frohn and Jürgen Giesl In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Exotic Semi-Ring Constraints Michael Codish, Yoav Fekete, Carsten Fuhs, Jürgen Giesl and Johannes Waldmann In:SMT 2012. 10th International Workshop on Satisfiability Modulo Theories