Jürgen Giesl
- giesl at cs.rwth-aachen.de
- Address
- Room 4212
Ahornstraße 55
D-52074 Aachen - Phone
- +49 241 80 21230
Please visit my personal page on the web
Publications
| 2025 | |
|---|---|
| DOI | Emma Katharina Ahrens, Jan-Christoph Kassing, Jürgen Giesl, Joost-Pieter Katoen. Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems, 10th international conference on formal structures for computation and deduction : FSCD 2025, july 14-20, 2025, birmingham, UK / edited by maribel fernández, 6:[1]-6:21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2025. |
| 2020 | |
| DOI | Marcel Tobias Hark, Benjamin Lucien Kaminski, Jürgen Giesl, Joost-Pieter Katoen. Aiming low is harder: induction for lower bounds in probabilistic program verification, 1-28, ACM, 2020. |
| 2006 | |
| DOI | Jürgen Giesl, Stephan Swiderski, Peter Schneider-Kamp, René Thiemann. Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages, Term rewriting and applications : 17th international conference, RTA 2006, seattle, WA, USA, august 12 - 14, 2006 ; proceedings / frank pfenning (ed.), 297-312, Springer, 2006. |