Harald Zankl
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
6
Active years
2007–2015
Best venue rank
B
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | CADE | Confluence Competition 2015. | Takahito Aoto, Nao Hirokawa, Julian Nagele, Naoki Nishida, Harald Zankl |
| 2015 | CPP | Recording Completion for Certificates in Equational Reasoning. | Thomas Sternagel, Sarah Winkler, Harald Zankl |
| 2012 | CADE | KBCV - Knuth-Bendix Completion Visualizer. | Thomas Sternagel, Harald Zankl |
| 2012 | LPAR | Ordinals and Knuth-Bendix Orders. | Sarah Winkler, Harald Zankl, Aart Middeldorp |
| 2011 | CADE | CSI - A Confluence Tool. | Harald Zankl, Bertram Felgenhauer, Aart Middeldorp |
| 2010 | CADE | Monotonicity Criteria for Polynomial Interpretations over the Naturals. | Friedrich Neurauter, Aart Middeldorp, Harald Zankl |
| 2010 | LPAR | Revisiting Matrix Interpretations for Polynomial Derivational Complexity of Term Rewriting. | Friedrich Neurauter, Harald Zankl, Aart Middeldorp |
| 2010 | LPAR | On Implementing Modular Complexity Analysis. | Harald Zankl, Martin Korp |
| 2010 | LPAR | Satisfiability of Non-linear (Ir)rational Arithmetic. | Harald Zankl, Aart Middeldorp |
| 2010 | SOFSEM | Finding and Certifying Loops. | Harald Zankl, Christian Sternagel, Dieter Hofbauer, Aart Middeldorp |
| 2008 | AISC | Increasing Interpretations. | Harald Zankl, Aart Middeldorp |
| 2008 | LPAR | Uncurrying for Termination. | Nao Hirokawa, Aart Middeldorp, Harald Zankl |
| 2007 | SAT | SAT Solving for Termination Analysis with Polynomial Interpretations. | Carsten Fuhs, Jrgen Giesl, Aart Middeldorp, Peter Schneider-Kamp, Ren Thiemann, Harald Zankl |
| 2007 | SOFSEM | Constraints for Argument Filterings. | Harald Zankl, Nao Hirokawa, Aart Middeldorp |