Jürgen Giesl
- giesl at cs.rwth-aachen.de
- Phone
- +49 241 80 21230
TODO
Publications
| 2025 | |
|---|---|
| DOIFull Text | Emma Katharina Ahrens, Jan-Christoph Kassing, Jürgen Giesl, Joost-Pieter Katoen. Weighted Rewriting, Volume 337 of Leibniz international proceedings in informatics, pages 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, pages 1-28, ACM, 2020. |
| 2006 | |
| DOI | Jürgen Giesl, Stephan Swiderski, Peter Schneider-Kamp, René Thiemann. Automated Termination Analysis for Haskell, Volume 4098 of LNCS, pages 297-312, Springer, 2006. |