Martin Korp

Publication Activity (10 Years)

Years Active: 2007-2014
Publications (10 Years): 0

Top Topics

Complexity Analysis

Modular Structure

Top Venues

Log. Methods Comput. Sci.

Publications

Harald Zankl, Martin Korp
Modular Complexity Analysis for Term Rewriting. Log. Methods Comput. Sci. 10 (1) (2014)
Harald Zankl, Martin Korp
On Implementing Modular Complexity Analysis. IWIL@LPAR (2010)
Harald Zankl, Martin Korp
Modular Complexity Analysis via Relative Complexity. RTA (2010)
Martin Korp, Christian Sternagel, Harald Zankl, Aart Middeldorp
Tyrolean Termination Tool 2. RTA (2009)
Martin Korp, Aart Middeldorp
Match-bounds revisited. Inf. Comput. 207 (11) (2009)
Martin Korp, Aart Middeldorp
Beyond Dependency Graphs. CADE (2009)
Martin Korp, Aart Middeldorp
Match-Bounds with Dependency Pairs for Proving Termination of Rewrite Systems. LATA (2008)
Martin Korp, Aart Middeldorp
Proving Termination of Rewrite Systems Using Bounds. RTA (2007)