Georg Moser

Universität Innsbruck - Innsbruck / Austria

Engineering & Technology / Computer Science

AD Scientific Index ID: 1400951

University of Innsbruck

Registration, Add Profile,
Premium Membership

Print Your Certificate

Georg Moser's MOST POPULAR ARTICLES

1-) Automated complexity analysis based on the dependency pair methodN Hirokawa, G MoserInternational Joint Conference on Automated Reasoning, 364-379, 20081212008

2-) Analysing the complexity of functional programs: higher-order meets first-orderM Avanzini, U Dal Lago, G MoserProceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015732015

3-) A combination framework for complexityM Avanzini, G MoserInformation and Computation 248, 22-55, 2016682016

4-) Complexity analysis of term rewriting based on matrix and context dependent interpretationsG Moser, A Schnabl, J WaldmannIARCS Annual Conference on Foundations of Software Technology and …, 2008682008

5-) Closing the gap between runtime complexity and polytime computabilityM Avanzini, G MoserProceedings of the 21st International Conference on Rewriting Techniques and …, 2010652010

ARTICLES

Add your articles