Theoretical Computer Science
Home Mission Research Teaching Software Events Projects Vacancies Former Members
Category
All Publications Lectures Projects Academic Achievements
Year
2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004

Publications 2014

Contributions to Books / Journals

Proceedings Article (Full Paper)
  • Hirokawa, Nao; Moser, Georg (2014): Automated Complexity Analysis Based on Context-Sensitive Rewriting.
    In: Dowek, Gilles: Rewriting and Typed Lambda Calculi. Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings. Dordrecht - Heidelberg - London - New York - Berlin: Springer (= Lecture Notes in Computer Science, 8560)., ISBN 978-3-319-08917-1, pp. 257 - 271. (DOI) (Web link)

  • Hofman, Martin; Moser, Georg (2014): Amortised Resource Analysis and Typed Polynomial Interpretations.
    In: Dowek, Gilles: Rewriting and Typed Lambda Calculi. Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings. Dordrecht - Heidelberg - London - New York - Berlin: Springer (= Lecture Notes in Computer Science, 8560)., ISBN 978-3-319-08917-1, pp. 272 - 286. (DOI) (Web link)

(Book) Reviews

Journal Article (Book Review)
  • Moser, Georg (2014): Ketema, Jeroen; Simonsen, Jakob Grue. Least upper bounds on the size of confluence and Church-Rosser diagrams in term rewriting and λ-calculus. ACM Trans. Comput. Log. 14 (2013), no. 4, Art. 31.
    In: Mathematical Reviews, MR3144935. (Web link)

Lectures 2014

Presentations at Conferences, Symposia, etc.

Conference Lecture (Invited Lecture)
  • Lecturer(s): Moser, Georg: Weighted Automata Theory for Complexity Analysis of Rewrite Systems.
    15th International Workshop on Logic and Computational Complexity (LCC'14), Wien, 2014-07-12. (Web link)

  • Lecturer(s): Moser, Georg: Automated Complexity Analysis Based on the Dependency Pair Method.
    5th Workshop on Developments in Implicit Computational Complexity (DICE 2014), Grenoble, 2014-04-05. (Web link)

Conference Lecture (Upon Registration)
  • Lecturer(s): Moser, Georg Co-author(s): Hirokawa, Nao: Automated Complexity Analysis Based on Context-Sensitive Rewriting.
    Joint 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications (RTA & TLCA 2014), Wien, 2014-07-14. (Web link)

  • Lecturer(s): Moser, Georg Co-author(s): Hofmann, M.: Amortised Resource Analysis and Typed Polynomial Interpretations.
    Joint 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications (RTA & TLCA 2014), Wien, 2014-07-15. (Web link)

  • Lecturer(s): Schaper, Michael Co-author(s): Moser, Georg: A Complexity Preserving Transformation from Jinja Bytecode to Rewrite Systems.
    Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 14), Wien, 2014-07-13. (Web link)

Session Chairperson / Discussant
  • Moser, Georg: Session Chair: Session 18F.
    Two Faces of Complexity (2FC 2014), Wien, 2014-07-12. (Web link)

Guest Lectures

Guest Lecture
  • Lecturer(s): Moser, Georg: Amortised Resource Analysis and Typed Polynomial Interpretations.
    Swansea University, Swansea, 2014-12-04. (Web link)

  • Lecturer(s): Moser, Georg: Weighted Automata Theory for Complexity Analysis of Rewrite Systems.
    Ludwig-Maximilians-Universität München (LMU), München, 2014-11-07. (Web link)

Projects, scholarships and other third-party funds 2014

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 2014

Awards and Honours

  • Avanzini, M; Kochesser, A; Moser, G; Schaper, M; Schett, M: Kurt-Gödel-Medaille im Rahmen der „Olympischen Spielen der Logik“ in Wien (2014).

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).

Other academic activities

  • Moser, Georg: PhD examiner: David Cerna, Vienna University of Technology (2014).