Johannes Waldmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2001–2026
Best venue rank
A
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FSCD | New and Formalized Proofs for Right-Forward Closures and Core Matrix Interpretations. | Ren Thiemann, Dieter Hofbauer, Ulysse Le Huitouze, Johannes Waldmann |
| 2019 | TACAS | The Termination and Complexity Competition. | Jrgen Giesl, Albert Rubio, Christian Sternagel, Johannes Waldmann, Akihisa Yamada |
| 2015 | CADE | Termination Competition (termCOMP 2015). | Jrgen Giesl, Frdric Mesnard, Albert Rubio, Ren Thiemann, Johannes Waldmann |
| 2012 | CADE | Exotic Semi-Ring Constraints. | Michael Codish, Yoav Fekete, Carsten Fuhs, Jrgen Giesl, Johannes Waldmann |
| 2006 | CADE | Matrix Interpretations for Proving Termination of Term Rewriting. | Jrg Endrullis, Johannes Waldmann, Hans Zantema |
| 2003 | DLT | Deleting String Rewriting Systems Preserve Regularity. | Dieter Hofbauer, Johannes Waldmann |
| 2003 | MFCS | Match-Bounded String Rewriting Systems. | Alfons Geser, Dieter Hofbauer, Johannes Waldmann |
| 2001 | DLT | Some Regular Languages That Are Church-Rosser Congruential. | Gundula Niemann, Johannes Waldmann |