Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Harald Zankl" ( http://dblp.L3S.de/Authors/Harald_Zankl )

  Author page on DBLP  Author page in RDF  Community of Harald Zankl in ASPL-2

Publication years (Num. hits)
2006-2010 (19) 2011-2012 (5)
Publication types (Num. hits)
article(5) inproceedings(19)
Venues (Conferences, Journals, ...)
RTA(5) CoRR(2) LPAR(2) SOFSEM(2) AISC/MKM/Calculemus(1) Ann. Math. Artif. Intell.(1) CADE(1) CAI(1) Deduction and Decision Procedu...(1) Electr. Notes Theor. Comput. S...(1) FSTTCS(1) HOR(1) IJCAR(1) J. Autom. Reasoning(1) LPAR (Dakar)(1) LPAR (Yogyakarta)(1) More (+10 of total 17)
Authors
Harald Zankl(24) Aart Middeldorp(22) Nao Hirokawa(4) Bertram Felgenhauer(3) Carsten Fuhs(3) Christian Sternagel(3) Friedrich Neurauter(3) Jürgen Giesl(3) Peter Schneider-Kamp(3) René Thiemann(3) Martin Korp(2) Dieter Hofbauer(1) Elena Annov(1) Georg Moser(1) Johannes Waldmann(1) Michael Codish(1) More (+10 of total 17)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5 occurrences of 3 keywords
Results
Found 24 publication records. Showing 24 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Sarah Winkler, Harald Zankl, Aart Middeldorp Ordinals and Knuth-Bendix Orders. Search on Bibsonomy LPAR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Aart Middeldorp, Georg Moser, Friedrich Neurauter, Johannes Waldmann, Harald Zankl Joint Spectral Radius Theory for Automated Complexity Analysis of Rewrite Systems. Search on Bibsonomy CAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Harald Zankl, Bertram Felgenhauer, Aart Middeldorp CSI - A Confluence Tool. Search on Bibsonomy CADE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Harald Zankl, Bertram Felgenhauer, Aart Middeldorp Labelings for Decreasing Diagrams. Search on Bibsonomy RTA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bertram Felgenhauer, Harald Zankl, Aart Middeldorp Layer Systems for Proving Confluence. Search on Bibsonomy FSTTCS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Harald Zankl, Nao Hirokawa, Aart Middeldorp Uncurrying for Innermost Termination and Derivational Complexity Search on Bibsonomy HOR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Friedrich Neurauter, Aart Middeldorp, Harald Zankl Monotonicity Criteria for Polynomial Interpretations over the Naturals. Search on Bibsonomy IJCAR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Harald Zankl, Aart Middeldorp Satisfiability of Non-linear (Ir)rational Arithmetic. Search on Bibsonomy LPAR (Dakar) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Friedrich Neurauter, Harald Zankl, Aart Middeldorp Revisiting Matrix Interpretations for Polynomial Derivational Complexity of Term Rewriting. Search on Bibsonomy LPAR (Yogyakarta) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Harald Zankl, Martin Korp Modular Complexity Analysis via Relative Complexity. Search on Bibsonomy RTA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Harald Zankl, Christian Sternagel, Dieter Hofbauer, Aart Middeldorp Finding and Certifying Loops. Search on Bibsonomy SOFSEM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Harald Zankl, Christian Sternagel, Aart Middeldorp Transforming SAT into Termination of Rewriting. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Harald Zankl, Nao Hirokawa, Aart Middeldorp KBO Orientability. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Knuth-Bendix order, Termination, Term rewriting
1Harald Zankl, Aart Middeldorp Increasing interpretations. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Martin Korp, Christian Sternagel, Harald Zankl, Aart Middeldorp Tyrolean Termination Tool 2. Search on Bibsonomy RTA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF automation, termination, term rewriting
1Nao Hirokawa, Aart Middeldorp, Harald Zankl Uncurrying for Termination. Search on Bibsonomy LPAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Carsten Fuhs, Jürgen Giesl, Aart Middeldorp, Peter Schneider-Kamp, René Thiemann, Harald Zankl Maximal Termination. Search on Bibsonomy RTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Harald Zankl, Aart Middeldorp Increasing Interpretations. Search on Bibsonomy AISC/MKM/Calculemus The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Related Topics implementations of symbolic computation systems, logic and symbolic computing
1Carsten Fuhs, Jürgen Giesl, Aart Middeldorp, Peter Schneider-Kamp, René Thiemann, Harald Zankl SAT Solving for Termination Analysis with Polynomial Interpretations. Search on Bibsonomy SAT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Peter Schneider-Kamp, Carsten Fuhs, René Thiemann, Jürgen Giesl, Elena Annov, Michael Codish, Aart Middeldorp, Harald Zankl Implementing RPO and POLO using SAT. Search on Bibsonomy Deduction and Decision Procedures The full citation details ... 2007 DBLP  BibTeX  RDF
1Harald Zankl, Aart Middeldorp Satisfying KBO Constraints. Search on Bibsonomy RTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Harald Zankl, Nao Hirokawa, Aart Middeldorp Constraints for Argument Filterings. Search on Bibsonomy SOFSEM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Harald Zankl, Aart Middeldorp Satisfying KBO Constraints Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Harald Zankl SAT Techniques for Lexicographic Path Orders Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
Displaying result #1 - #24 of 24 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.