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 2015

Contributions to Books / Journals

Journal Article (Original Paper)
  • Avanzini, Martin; Eguchi, Naohi; Moser, Georg (2015): A new order-theoretic characterisation of the polytime computable functions.
    In: Theoretical Computer Science, pp. 3 - 24. (DOI) (Web link)

Journal Article (Proceedings Paper)
  • Avanzini, Martin; Dal Lago, Ugo; Moser, Georg (2015): Analysing the complexity of functional programs: higher-order meets first-order.
    In: ACM SIGPLAN Notices 50/9, pp. 152 - 164. (DOI) (Web link)

Proceedings Article (Full Paper)
  • Hirokawa, Nao; Middeldorp, Aart; Moser, Georg (2015): Leftmost Outermost Revisited.
    In: Fernández, Maribel: 26th International Conference on Rewriting Techniques and Applications (RTA 2015). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (= Leibniz International Proceedings in Informatics (LIPICS), 36)., ISBN 978-3-939897-85-9, pp. 209 - 222. (DOI) (Web link)

  • Hofmann, Martin; Moser, Georg (2015): Multivariate Amortised Resource Analysis for Term Rewrite Systems.
    In: Altenkirch, Thorsten: 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015). TLCA’15, July 1–3, 2015, Warsaw, Poland. Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (= Leibniz International Proceedings in Informatics (LIPICS), 38)., ISBN 978-3-939897-87-3, pp. 241 - 256. (DOI) (Web link)

  • Moser, Georg; Powell, Thomas (2015): On the Computational Content of Termination Proofs.
    In: Beckmann, Arnold; Mitrana, Victor; Soskova, Mariya: Evolving Computability. 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings. Cham: Springer International Publishing (= Lecture Notes in Computer Science, 9136)., ISBN 978-3-319-20027-9, pp. 276 - 285. (DOI) (Web link)

Lectures 2015

Presentations at Conferences, Symposia, etc.

Conference Lecture (Invited Lecture)
  • Lecturer(s): Moser, Georg: The Epsilon Theorems: Simple Things Made Simple.
    Workshop on EFFICIENT AND NATURAL PROOF SYSTEMS, Bath, 2015-12-16. (Web link)

Conference Lecture (Upon Registration)
  • Lecturer(s): Hirokawa, Nao Co-author(s): Middeldorp, Aart; Moser, Georg: Leftmost Outermost Revisited.
    International Conference on Rewriting, Deduction, and Programming (RDP 2015), Warsaw/Warschau, 2015-06-30. (Web link)

  • Lecturer(s): Moser, Georg: Why Ordinals are Sometimes Good for You.
    42nd TRS Meeting, Tokyo, 2015-02-08. (Web link)

  • Lecturer(s): Moser, Georg Co-author(s): Hofmann, Martin: Multivariate Analysis.
    International Conference on Rewriting, Deduction, and Programming (RDP 2015), Warsaw/Warschau, 2015-07-02. (Web link)

  • Lecturer(s): Powell, Thomas Co-author(s): Moser, Georg: On the Computational Content of Termination Proofs.
    Computability in Europe (CiE 2015) - Evolving Computability, Bukarest / Bucharest, 2015-06-30. (Web link)

Lecture at Summer-/Winterschool
  • Lecturer(s): Moser, Georg: Termination and Complexity.
    8th International School on Rewriting (ISR 2015), Leipzig, 2015-08-10. (Web link)

Guest Lectures

Guest Lecture
  • Lecturer(s): Moser, Georg: Amortised Cost Analysis and Term Rewrite Systems.
    National Institute of Informatics, Tokyo, 2015-02-13. (Web link)

  • Lecturer(s): Moser, Georg Co-author(s): Middeldorp, Aart; Zankl, Harald: Weighted Automata Theory of Complexity Analysis of Rewrite Systems.
    JAIST (Japan Advanced Institute for Science and Technology), Kanazawa, 2015-08-01. (Web link)

  • Lecturer(s): Moser, Georg Co-author(s): Middeldorp, Aart; Zankl, Harald: Weighted Automata Theory for Complexity Analysis of Rewrite Systems.
    Max-Planck-Institut für Informatik, Saarbrücken, 2015-03-24. (Web link)

Projects, scholarships and other third-party funds 2015

Research Projects

  • Moser, Georg: CAGE. Complexity Analysis-based Guaranteed Execution, Draper Proposal Number: 15-B13.
    The Charles Stark Draper Laboratory, Inc.
    2015-04-28 - 2018-04-24

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

Academic Activities and Achievements 2015

Supervision of Student Theses

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

  • Moser, Georg: Maringele, Alexander: Instantiation-based First-Order Theorem Proving with Equality (2015 - 2023).

  • Moser, Georg: Schneckenreither, Manuel: Amortized Resource Analysis for Term Rewrite Systems (2015 - 2018).

  • Moser, Georg: Lindsberger, Josef: Classic Nintendo Games are Completely Hard (2015 - 2016).

  • Moser, Georg: Schett, Maria Anna: From Trees to Graphs:On the Influence of Collapsing on Rewriting and on Termination (2015 - 2016).

  • Moser, Georg: Kochesser, Andreas Said: Complexity of Simple Loop Programs (2015).

  • Moser, Georg; Gimenez, Stephane: Obwaller, David: Towards a Hardware Parallel Implementation of Interaction Nets (2015 - 2018).