Theoretical Computer Science

Publications 2008

Contributions to Books / Journals

Proceedings Article (Full Paper)
  • Avanzini, Martin; Moser, Georg (2008): Complexity Analysis by Rewriting.
    In: Garrigue, Jacques (Hrsg.): 9th International Symposium on Functional and Logic Programming (FLOPS 2008). Dordrecht - Heidelberg - London - New York - Berlin: Springer (= Lecture Notes in Computer Science, 4989)., ISBN 978-3-540-78968-0, Vol. 4989, pp. 130 - 146. (Web link)

  • Avanzini, Martin; Moser, Georg; Schnabl, Andreas (2008): Automated Implicit Computational Complexity Analysis.
    In: Armando, Alessandro; Baumgartner, Peter; Dowek, Gilles (Hrsg.): Automated Reasoning. 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings. Dordrecht - Heidelberg - London - New York - Berlin: Springer (= Lecture Notes in Artificial Intelligence, 5195)., ISBN 978-3-540-71069-1, pp. 132 - 138. (Web link)

  • Hirokawa, Nao; Moser, Georg (2008): Automated Complexity Analysis Based on the Dependency Pair Method.
    In: Armando, Alessandro; Baumgartner, Peter; Dowek, Gilles (Hrsg.): Automated Reasoning. 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings. Dordrecht - Heidelberg - London - New York - Berlin: Springer (= Lecture Notes in Artificial Intelligence, 5195)., ISBN 978-3-540-71069-1, pp. 364 - 379. (Web link)

  • Hirokawa, Nao; Moser, Georg (2008): Complexity, Graphs, and the Dependency Pair Method.
    In: Cervesato, Iliano; Veith, Helmut; Voronkov, Andrei: Logic for Programming, Artificial Intelligence, and Reasoning. 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings. Dordrecht - Heidelberg - London - New York - Berlin: Springer (= Lecture Notes in Artificial Intelligence, 5330)., ISBN 978-3-540-89438-4, pp. 652 - 666. (Web link)

  • Moser, Georg; Schnabl, Andreas (2008): Proving Quadratic Derivational Complexities using Context Dependent Interpretations.
    In: Voronkov, Andrei (Hrsg.): Rewriting Techniques and Applications. Proceedings of the 19th International Conference on Rewriting Techniques and Applications, July 15-17, 2008, Hagenberg, Austria. Dordrecht - Heidelberg - London - New York - Berlin: Springer (= Lecture Notes in Computer Science, 5117)., ISBN 978-3-540-70588-8, pp. 276 - 290. (Web link)

  • Moser, Georg; Schnabl, Andreas; Waldmann, Johannes (2008): Complexity Analysis of Term Rewriting Based on Matrix and Context Dependent Interpretations.
    In: Hariharan, Ramesh; Mukund, Madhavan; Vinay, V (Eds.): Foundations of Software Technology and Theoretical Computer Science. International Conference, FSTTCS 2008, Bangalore, India, December 9-December 11, 2008. Proceedings. Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik., ISBN 978-3-939897-08-8, pp. 304 - 315. (Web link)

Lectures 2008

Presentations at Conferences, Symposia, etc.

Conference Lecture (Invited Lecture)
  • Lecturer(s): Moser, Georg: The Epsilon Theorems and Herbrand Complexity.
    4th International Workshop on Analytic Proof Systems, Doha, 2008-11-22. (Web link)

  • Lecturer(s): Moser, Georg: Matrix Interpretations May Induce Polynomial Complexity.
    1st Mini-Workshop on Rewriting Techniques, Ishikawa, 2008-08-01. (Web link)

  • Lecturer(s): Moser, Georg: The Epsilon Calculus and Herbrand Complexity.
    International conference Logical models of reasoning and computation (LMRC2008), Moskau, 2008-05-07.

Conference Lecture (Upon Registration)
  • Lecturer(s): Moser, Georg: Complexity Analysis of Term Rewriting Based on Matrix and Context Dependent Interpretations.
    IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2008), Bangalore, 2008-12-09. (Web link)

  • Lecturer(s): Moser, Georg: Complexity, Graphs, and the Dependency Pair Method.
    15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2008), Doha, 2008-11-27. (Web link)

  • Lecturer(s): Moser, Georg: Automated Implicit Computational Complexity Analysis.
    4th International Joint Conference on Automated Reasoning (IJCAR 2008), Sydney, 2008-08-12. (Web link)

  • Lecturer(s): Moser, Georg: Complexity Analysis by Rewriting.
    9th International Symposium on Functional and Logic Programming (FLOPS 2008), Ise, 2008-04-15. (Web link)

Session Chairperson / Discussant
  • Moser, Georg: Session Chair, Session Rewriting 2.
    15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2008), Doha, 2008-11-27. (Web link)

  • Moser, Georg: Session Chair, Session 3.
    8th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2008), Hagenberg, 2008-07-14. (Web link)

Guest Lectures

Guest Lecture
  • Lecturer(s): Moser, Georg: Term Induction.
    JAIST (Japan Advanced Institute for Science and Technology), Kanazawa, 2008-08-07.

Projects, scholarships and other third-party funds 2008

Research Projects

  • Moser, Georg: Derivationskomplexit√§tsanalyse.
    Fonds zur Förderung der wissenschaftlichen Forschung (FWF), Einzelprojekt
    2007-10-01 - 2011-08-31

Academic Activities and Achievements 2008

Supervision of Student Theses

  • Moser, Georg: Avanzini, Martin: Automation of Polynomial Path Orders (2008 - 2009).