Follow
Georg Moser
Georg Moser
Professor for Computer Science, University of Innsbruck
Verified email at uibk.ac.at - Homepage
Title
Cited by
Cited by
Year
Automated complexity analysis based on the dependency pair method
N Hirokawa, G Moser
International Joint Conference on Automated Reasoning, 364-379, 2008
1222008
Analysing the complexity of functional programs: higher-order meets first-order
M Avanzini, U Dal Lago, G Moser
Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015
802015
A combination framework for complexity
M Avanzini, G Moser
Information and Computation 248, 22-55, 2016
752016
Complexity analysis of term rewriting based on matrix and context dependent interpretations
G Moser, A Schnabl, J Waldmann
IARCS Annual Conference on Foundations of Software Technology and …, 2008
682008
Closing the gap between runtime complexity and polytime computability
M Avanzini, G Moser
Proceedings of the 21st International Conference on Rewriting Techniques and …, 2010
662010
Complexity analysis by rewriting
M Avanzini, G Moser
International Symposium on Functional and Logic Programming, 130-146, 2008
562008
TcT: Tyrolean complexity tool
M Avanzini, G Moser, M Schaper
Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016
452016
The epsilon calculus and Herbrand complexity
G Moser, R Zach
Studia Logica 82, 133-155, 2006
442006
A modular cost analysis for probabilistic programs
M Avanzini, G Moser, M Schaper
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020
402020
Multivariate amortised resource analysis for term rewrite systems
M Hofmann, G Moser
13th International Conference on Typed Lambda Calculi and Applications (TLCA …, 2015
352015
Tyrolean complexity tool: Features and usage
M Avanzini, G Moser
24th International Conference on Rewriting Techniques and Applications (RTA …, 2013
342013
The derivational complexity induced by the dependency pair method
G Moser, A Schnabl
Logical Methods in Computer Science 7, 2011
342011
Complexity, graphs, and the dependency pair method
N Hirokawa, G Moser
International Conference on Logic for Programming Artificial Intelligence …, 2008
312008
Amortised resource analysis and typed polynomial interpretations
M Hofmann, G Moser
International Conference on Rewriting Techniques and Applications, 272-286, 2014
302014
Joint spectral radius theory for automated complexity analysis of rewrite systems
A Middeldorp, G Moser, F Neurauter, J Waldmann, H Zankl
Algebraic Informatics: 4th International Conference, CAI 2011, Linz, Austria …, 2011
302011
The Hydra battle revisited
N Dershowitz, G Moser
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud …, 2007
272007
Dependency pairs and polynomial path orders
M Avanzini, G Moser
International Conference on Rewriting Techniques and Applications, 48-62, 2009
262009
Complexity analysis by graph rewriting
M Avanzini, G Moser
International Symposium on Functional and Logic Programming, 257-271, 2010
242010
The complexity of interaction
S Gimenez, G Moser
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016
232016
Proving quadratic derivational complexities using context dependent interpretations
G Moser, A Schnabl
International Conference on Rewriting Techniques and Applications, 276-290, 2008
232008
The system can't perform the operation now. Try again later.
Articles 1–20