Concepedia

Martin Korp

MK

3

Publications

65

Citations

3

H-Index

2009

Active since

Affiliations

Universität Innsbruck(Current)

Martin Korp is an author at Universität Innsbruck specializing in software analysis, formal verification, and computer science.

Top concepts

Publications per year

2009–2014

3

Publications

3

Modular Complexity Analysis via Relative Complexity

Har Ald Zankl, Martin Korp · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2010 · 29 citations · Full text

, , +18

Match-bounds revisited

Martin Korp, Aart Middeldorp · Information and Computation · 2009 · 19 citations

Modular Complexity Analysis for Term Rewriting

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

, , +15

Rows per page

1–3 of 3