Automated Implicit Computational Complexity Analysis (System Description). - Martin Avanzini; Georg Moser; Andreas Schnabl (IJCAR, 2008)

Complexity Analysis of Term Rewriting Based on Matrix and Context Dependent Interpretations. - Georg Moser; Andreas Schnabl; Johannes Waldmann (FSTTCS, 2008)

Proving Quadratic Derivational Complexities Using Context Dependent Interpretations. - Georg Moser; Andreas Schnabl (RTA, 2008)

Cdiprover3: A Tool for Proving Derivational Complexities of Term Rewriting Systems. - Andreas Schnabl (ESSLLI Student Sessions, 2009)

The Exact Hardness of Deciding Derivational and Runtime Complexity. - Andreas Schnabl; Jakob Grue Simonsen (CSL, 2011)

Termination Proofs in the Dependency Pair Framework May Induce Multiple Recursive Derivational Complexity. - Georg Moser; Andreas Schnabl (RTA, 2011)

The Derivational Complexity Induced by the Dependency Pair Method - Georg Moser; Andreas Schnabl (Log. Methods Comput. Sci., 2011)