Theoretical Computer Science

Publications 2013

Contributions to Books / Journals

Journal Article (Original Paper)
  • Avanzini, Martin; Moser, Georg (2013): Polynomial Path Orders.
    In: Logical Methods in Computer Science 9/4, Paper 9. (DOI) (Web link)

Proceedings Article (Full Paper)
  • Avanzini, Martin; Moser, Georg (2013): A Combination Framework for Complexity.
    In: van Raamsdonk, Femke: 24th International Conference on Rewriting Techniques and Applications (RTA 2013). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (= Leibniz International Proceedings in Informatics (LIPICS), 21)., ISBN 978-3-939897-53-8, pp. 55 - 70. (DOI) (Web link)

  • Avanzini, Martin; Moser, Georg (2013): Tyrolean Complexity Tool: Features and Usage.
    In: van Raamsdonk, Femke: 24th International Conference on Rewriting Techniques and Applications (RTA 2013). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (= Leibniz International Proceedings in Informatics (LIPICS), 21)., ISBN 978-3-939897-53-8, pp. 71 - 80. (DOI) (Web link)

  • Avanzini, Martin; Moser, Georg; Schaper, Michael (2013): Small Polynomial Path Orders in TCT.
    In: Waldmann, Johannes: Proceedings of the 13th International Workshop on Termination (WST 2013). WST 2013, August 29-31, 2013, Bertinoro, Italy. published online / Internetpublikation., pp. 3 - 7. (Web link)

  • Gimenez, Stéphane; Moser, Georg (2013): The Structure of Interaction.
    In: Ronchi Della Rocca, Simona: Computer Science Logic 2013 (CSL 2013). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (= Leibniz International Proceedings in Informatics (LIPICS), 23)., ISBN 978-3-939897-60-6, pp. 316 - 331. (DOI) (Web link)

Lectures 2013

Presentations at Conferences, Symposia, etc.

Conference Lecture (Upon Registration)
  • Lecturer(s): Avanzini, Martin Co-author(s): Moser, Georg: A Combination Framework for Complexity.
    24th International Conference on Rewriting Techniques and Applications (RTA 2013), Eindhoven, 2013-06-26. (Web link)

  • Lecturer(s): Avanzini, Martin Co-author(s): Moser, Georg: Tyrolean Complexity Tool: Features and Usage.
    24th International Conference on Rewriting Techniques and Applications (RTA 2013), Eindhoven, 2013-06-26. (Web link)

  • Lecturer(s): Moser, Georg: Amortised Cost Analysis for Term Rewriting Systems.
    3rd Workshop on Proof Theory and Rewriting, Kanazawa, 2013-03-08. (Web link)

  • Lecturer(s): Moser, Georg Co-author(s): Hofmann, Martin: Amortised resource analysis and typed term rewriting.
    Implicit Computational Complexity and applications: Resource control, security, real-number computation, Schonan, 2013-11-05. (Web link)

Projects, scholarships and other third-party funds 2013

Research Projects

  • Moser, Georg: Automatische Komplexitätsanalyse mittels Transformationen.
    Fonds zur Förderung der wissenschaftlichen Forschung (FWF), Einzelprojekt
    2013-10-01 - 2016-09-30

  • Moser, Georg: Structural. Structural and Computational Proof Theory.
    Fonds zur Förderung der wissenschaftlichen Forschung (FWF), Joint Projects
    2011-02-01 - 2014-03-31

Academic Activities and Achievements 2013

Supervision of Student Theses

  • Middeldorp, Aart; Moser, Georg: Felgenhauer, Bertram: Confluence of Term Rewriting: Theory and Automation (2011 - 2015).

  • Moser, Georg: Schaper, Michael Knut: A Complexity Preserving Transformation from JinJa Bytecode to Rewrite Systems (2013 - 2014).

  • Moser, Georg: Avanzini, Martin: Verifying Polytime Computability Automatically (2009 - 2013).

Other academic activities

  • Middeldorp, Aart; Moser, Georg: Member of PhD committee of Jacek Kopecký (2012 - 2013).

  • Moser, Georg: Member of PhD committee of Sarah Winkler, University of Innsbruck (2013).