# Georg Moser

Orcid: 0000-0001-9240-6128
According to our database

Collaborative distances:

^{1}, Georg Moser authored at least 81 papers between 1999 and 2024.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2024

Mach. Learn., October, 2024

Arch. Math. Log., February, 2024

Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs.

Proc. ACM Program. Lang., 2024

Rule-Based, Neural and LLM Back-Translation: Comparative Insights from a Variant of Ladin.

CoRR, 2024

Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science, 2024

Proceedings of the Artificial Intelligence Applications and Innovations, 2024

Proceedings of the Programming Languages and Systems, 2024

2023

Proc. ACM Program. Lang., 2023

Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023

2022

Math. Struct. Comput. Sci., June, 2022

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Teaching Software Quality Assurance with Gamification and Continuous Feedback Techniques.

Proceedings of the IEEE Global Engineering Education Conference, 2021

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Sci. Comput. Program., 2020

Proc. ACM Program. Lang., 2020

Proceedings of the Logic-Based Program Synthesis and Transformation, 2020

2019

Proceedings of the Second International Workshop on Automated Reasoning: Challenges, 2019

CoRR, 2019

CoRR, 2019

2018

Inf. Comput., 2018

CoRR, 2018

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

2017

J. Log. Comput., 2017

Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017

Proceedings of the LPAR-21, 2017

2016

Inf. Comput., 2016

Proceedings of the Proceedings 9th International Workshop on Computing with Terms and Graphs, 2016

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2015

Theor. Comput. Sci., 2015

CoRR, 2015

Analysing the Complexity of Functional Programs: Higher-Order Meets First-Order (Long Version).

CoRR, 2015

Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications, 2015

Proceedings of the 26th International Conference on Rewriting Techniques and Applications, 2015

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

Proceedings of the Evolving Computability - 11th Conference on Computability in Europe, 2015

2014

Amortised Resource Analysis and Typed Polynomial Interpretations (extended version).

CoRR, 2014

Proceedings of the Rewriting and Typed Lambda Calculi - Joint International Conference, 2014

Proceedings of the Rewriting and Typed Lambda Calculi - Joint International Conference, 2014

2013

Log. Methods Comput. Sci., 2013

Proceedings of the 24th International Conference on Rewriting Techniques and Applications, 2013

Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013

2012

CoRR, 2012

CoRR, 2012

2011

Log. Methods Comput. Sci., 2011

Termination Proofs in the Dependency Pair Framework May Induce Multiple Recursive Derivational Complexity.

Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011

Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011

Proceedings of the IEEE 3rd International Conference on Cloud Computing Technology and Science, 2011

Joint Spectral Radius Theory for Automated Complexity Analysis of Rewrite Systems.

Proceedings of the Algebraic Informatics - 4th International Conference, 2011

Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011

2010

A Path Order for Rewrite Systems that Compute Exponential Time Functions (Technical Report)

CoRR, 2010

CoRR, 2010

Proceedings of the 21st International Conference on Rewriting Techniques and Applications, 2010

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

Proceedings of the Functional and Logic Programming, 10th International Symposium, 2010

2009

CoRR, 2009

Appl. Algebra Eng. Commun. Comput., 2009

Proceedings of the Rewriting Techniques and Applications, 20th International Conference, 2009

2008

Proving Quadratic Derivational Complexities Using Context Dependent Interpretations.

Proceedings of the Rewriting Techniques and Applications, 19th International Conference, 2008

Proceedings of the Logic for Programming, 2008

Complexity Analysis of Term Rewriting Based on Matrix and Context Dependent Interpretations.

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2008

Proceedings of the Functional and Logic Programming, 9th International Symposium, 2008

Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

2007

Proceedings of the Rewriting, 2007

2006

Stud Logica, 2006

Ann. Pure Appl. Log., 2006

Arch. Math. Log., 2006

Proceedings of the Logic for Programming, 2006

2005

Ann. Pure Appl. Log., 2005

Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005

2003

Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003

Proceedings of the Computer Science Logic, 17th International Workshop, 2003

2002

Theor. Comput. Sci., 2002

Proceedings of the Computer Science Logic, 16th International Workshop, 2002

2001

Proceedings of the Logic for Programming, 2001

Proceedings of the Computer Science Logic, 15th International Workshop, 2001

2000

Proceedings of the Logic for Programming and Automated Reasoning, 2000

1999

Proceedings of the Automated Deduction, 1999