1. Joint spectral radius theory for automated complexity analysis of rewrite systems;Middeldorp,2011
2. Polynomial path orders;Avanzini;Log. Methods Comput. Sci.,2013
3. Matrix interpretations on polyhedral domains;Waldmann,2015
4. New order-theoretic characterisation of the polytime computable functions;Avanzini;Theor. Comput. Sci.,2015
5. Automated complexity analysis based on the dependency pair method;Hirokawa,2008