Georg Moser
Georg Moser
Associate Professor for Computer Science, University of Innsbruck
Bestätigte E-Mail-Adresse bei uibk.ac.at - Startseite
TitelZitiert vonJahr
Automated complexity analysis based on the dependency pair method
N Hirokawa, G Moser
International Joint Conference on Automated Reasoning, 364-379, 2008
962008
Closing the gap between runtime complexity and polytime computability
M Avanzini, G Moser
Proceedings of the 21st International Conference on Rewriting Techniques and …, 2010
652010
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
582008
Complexity analysis by rewriting
M Avanzini, G Moser
International Symposium on Functional and Logic Programming, 130-146, 2008
502008
Analysing the complexity of functional programs: higher-order meets first-order
M Avanzini, U Dal Lago, G Moser
ACM SIGPLAN Notices 50 (9), 152-164, 2015
492015
A combination framework for complexity
M Avanzini, G Moser
Information and Computation 248, 22-55, 2016
402016
Complexity, graphs, and the dependency pair method
N Hirokawa, G Moser
International Conference on Logic for Programming Artificial Intelligence …, 2008
342008
The derivational complexity induced by the dependency pair method
G Moser, A Schnabl
International Conference on Rewriting Techniques and Applications, 255-269, 2009
322009
The epsilon calculus and Herbrand complexity
G Moser, R Zach
Studia Logica 82 (1), 133-155, 2006
322006
Tyrolean complexity tool: Features and usage
M Avanzini, G Moser
24th International Conference on Rewriting Techniques and Applications (RTA …, 2013
312013
Joint spectral radius theory for automated complexity analysis of rewrite systems
A Middeldorp, G Moser, F Neurauter, J Waldmann, H Zankl
International Conference on Algebraic Informatics, 1-20, 2011
272011
Dependency pairs and polynomial path orders
M Avanzini, G Moser
International Conference on Rewriting Techniques and Applications, 48-62, 2009
272009
TcT: Tyrolean complexity tool
M Avanzini, G Moser, M Schaper
International Conference on Tools and Algorithms for the Construction and …, 2016
232016
Proofs of termination of rewrite systems for polytime functions
T Arai, G Moser
International Conference on Foundations of Software Technology and …, 2005
232005
Complexity analysis by graph rewriting
M Avanzini, G Moser
International Symposium on Functional and Logic Programming, 257-271, 2010
222010
Automated implicit computational complexity analysis (system description)
M Avanzini, G Moser, A Schnabl
International Joint Conference on Automated Reasoning, 132-138, 2008
222008
Proving quadratic derivational complexities using context dependent interpretations
G Moser, A Schnabl
International Conference on Rewriting Techniques and Applications, 276-290, 2008
212008
A new order-theoretic characterisation of the polytime computable functions
M Avanzini, N Eguchi, G Moser
Theoretical computer science 585, 3-24, 2015
192015
Amortised resource analysis and typed polynomial interpretations
M Hofmann, G Moser
Rewriting and Typed Lambda Calculi, 272-286, 2014
192014
The Hydra battle revisited
N Dershowitz, G Moser
Rewriting, Computation and Proof, 1-27, 2007
192007
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20