Harald Zankl Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nao Hirokawa, Aart Middeldorp, Harald Zankl: Uncurrying for Termination and Complexity. J. Autom. Reasoning 50(3): 279-315 (2013)
2012
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Sternagel, Harald Zankl: KBCV - Knuth-Bendix Completion Visualizer. IJCAR 2012: 530-536
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sarah Winkler, Harald Zankl, Aart Middeldorp: Ordinals and Knuth-Bendix Orders. LPAR 2012: 420-434
i5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christian Sternagel, René Thiemann, Sarah Winkler, Harald Zankl: CeTA - A Tool for Certified Termination Analysis. CoRR abs/1208.1591 (2012)
i4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Sternagel, René Thiemann, Harald Zankl, Christian Sternagel: Recording Completion for Finding and Certifying Proofs in Equational Logic. CoRR abs/1208.1597 (2012)
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Harald Zankl: Confluence by Decreasing Diagrams -- Formalized. CoRR abs/1210.1100 (2012)
2011
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Harald Zankl, Bertram Felgenhauer, Aart Middeldorp: CSI - A Confluence Tool. CADE 2011: 499-505
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Aart Middeldorp, Georg Moser, Friedrich Neurauter, Johannes Waldmann, Harald Zankl: Joint Spectral Radius Theory for Automated Complexity Analysis of Rewrite Systems. CAI 2011: 1-20
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bertram Felgenhauer, Harald Zankl, Aart Middeldorp: Layer Systems for Proving Confluence. FSTTCS 2011: 288-299
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Harald Zankl, Bertram Felgenhauer, Aart Middeldorp: Labelings for Decreasing Diagrams. RTA 2011: 377-392
2010
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Friedrich Neurauter, Aart Middeldorp, Harald Zankl: Monotonicity Criteria for Polynomial Interpretations over the Naturals. IJCAR 2010: 502-517
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Harald Zankl, Aart Middeldorp: Satisfiability of Non-linear (Ir)rational Arithmetic. LPAR (Dakar) 2010: 481-500
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Friedrich Neurauter, Harald Zankl, Aart Middeldorp: Revisiting Matrix Interpretations for Polynomial Derivational Complexity of Term Rewriting. LPAR (Yogyakarta) 2010: 550-564
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Harald Zankl, Martin Korp: Modular Complexity Analysis via Relative Complexity. RTA 2010: 385-400
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Harald Zankl, Christian Sternagel, Dieter Hofbauer, Aart Middeldorp: Finding and Certifying Loops. SOFSEM 2010: 755-766
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Harald Zankl, Nao Hirokawa, Aart Middeldorp: Uncurrying for Innermost Termination and Derivational Complexity. HOR 2010: 46-57
2009
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Harald Zankl, Aart Middeldorp: Increasing interpretations. Ann. Math. Artif. Intell. 56(1): 87-108 (2009)
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Harald Zankl, Christian Sternagel, Aart Middeldorp: Transforming SAT into Termination of Rewriting. Electr. Notes Theor. Comput. Sci. 246: 199-214 (2009)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Harald Zankl, Nao Hirokawa, Aart Middeldorp: KBO Orientability. J. Autom. Reasoning 43(2): 173-201 (2009)
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martin Korp, Christian Sternagel, Harald Zankl, Aart Middeldorp: Tyrolean Termination Tool 2. RTA 2009: 295-304
2008
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Harald Zankl, Aart Middeldorp: Increasing Interpretations. AISC/MKM/Calculemus 2008: 191-205
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nao Hirokawa, Aart Middeldorp, Harald Zankl: Uncurrying for Termination. LPAR 2008: 667-681
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Carsten Fuhs, Jürgen Giesl, Aart Middeldorp, Peter Schneider-Kamp, René Thiemann, Harald Zankl: Maximal Termination. RTA 2008: 110-125
2007
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Peter Schneider-Kamp, Carsten Fuhs, René Thiemann, Jürgen Giesl, Elena Annov, Michael Codish, Aart Middeldorp, Harald Zankl: Implementing RPO and POLO using SAT. Deduction and Decision Procedures 2007
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Harald Zankl, Aart Middeldorp: Satisfying KBO Constraints. RTA 2007: 389-403
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Carsten Fuhs, Jürgen Giesl, Aart Middeldorp, Peter Schneider-Kamp, René Thiemann, Harald Zankl: SAT Solving for Termination Analysis with Polynomial Interpretations. SAT 2007: 340-354
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Harald Zankl, Nao Hirokawa, Aart Middeldorp: Constraints for Argument Filterings. SOFSEM (1) 2007: 579-590
2006
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Harald Zankl: SAT Techniques for Lexicographic Path Orders. CoRR abs/cs/0605021 (2006)
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Harald Zankl, Aart Middeldorp: Satisfying KBO Constraints. CoRR abs/cs/0608032 (2006)

Coauthor Index

1Elena Annov
[c4]
2Michael Codish
[c4]
3Bertram Felgenhauer
[c18] [c16] [c15]
4Carsten Fuhs
[c5] [c4] [c2]
5Jürgen Giesl
[c5] [c4] [c2]
6Nao Hirokawa
[j4] [c9] [j1] [c6] [c1]
7Dieter Hofbauer
[c10]
8Martin Korp
[c11] [c8]
9Aart Middeldorp
[j4] [c19] [c18] [c17] [c16] [c15] [c14] [c13] [c12] [c10] [c9] [j3] [j2] [j1] [c8] [c7] [c6] [c5] [c4] [c3] [c2] [c1] [i1]
10Georg Moser
[c17]
11Friedrich Neurauter
[c17] [c14] [c12]
12Peter Schneider-Kamp
[c5] [c4] [c2]
13Christian Sternagel
[i5] [i4] [c10] [j2] [c8]
14Thomas Sternagel
[c20] [i4]
15René Thiemann
[i5] [i4] [c5] [c4] [c2]
16Johannes Waldmann
[c17]
17Sarah Winkler
[c19] [i5]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat May 18 21:41:43 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page