Concepedia

Harald Zankl

HZ

6

Publications

90

Citations

6

H-Index

2008

Active since

Affiliations

Universität Innsbruck(Current)

Japan Advanced Institute of Science and Technology

Harald Zankl is an author at Universität Innsbruck specializing in engineering, formal verification, and computer science.

Top concepts

Publications per year

2008–2015

6

Publications

6

KBO Orientability

Harald Zankl, Nao Hirokawa, Aart Middeldorp · Journal of Automated Reasoning · 2009 · 23 citations

Modular Complexity Analysis for Term Rewriting

Harald Zankl, Martin Korp · Logical Methods in Computer Science · 2014 · 17 citations · Full text

, , +15

Uncurrying for Termination

Nao Hirokawa, Aart Middeldorp, Harald Zankl · 2008 · 16 citations

Uncurrying for Termination and Complexity

Nao Hirokawa, Aart Middeldorp, Harald Zankl · Journal of Automated Reasoning · 2012 · 14 citations · Full text

, , +23

Layer Systems for Proving Confluence

Bertram Felgenhauer, Aart Middeldorp, Harald Zankl et al. · ACM Transactions on Computational Logic · 2015 · 10 citations · Full text

, , +15

Rows per page

1–5 of 6