Concepedia

Andreas Schnabl

AS

Statistics

Publications

2

Citations

65

H-Index

2

Active since

2008

Affiliations

Universität Innsbruck(Current)

Andreas Schnabl is an author at Universität Innsbruck specializing in engineering, formal methods, and formal verification.

Top concepts

Publications per year

2008–2011

2

Publications

2

Complexity Analysis of Term Rewriting Based on Matrix and Context Dependent Interpretations

Georg Moser, Andreas Schnabl, Johannes Waldmann · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2008 · 41 citations · Full text

The Derivational Complexity Induced by the Dependency Pair Method

Georg Moser, Andreas Schnabl · Logical Methods in Computer Science · 2011 · 24 citations · Full text

, , +12

1–2 of 2