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 2018

Contributions to Books / Journals

Journal Article (Original Paper)
  • Moser, Georg; Schaper, Michael (2018): From Jinja bytecode to term rewriting: A complexity reflecting transformation.
    In: INFORMATION AND COMPUTATION 261/1, pp. 116 - 143. (DOI) (Web link)

Proceedings Article (Full Paper)
  • Moser, Georg; Schneckenreither, Manuel (2018): Automated Amortised Resource Analysis for Term Rewrite Systems.
    In: Gallagher, J. P.; Sulzmann, M.: Functional and Logic Programming. 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings. Cham: Springer International Publishing (= Lecture Notes in Computer Science, 10818)., ISBN 978-3-319-90685-0, pp. 214 - 229. (Full-text) (DOI) (Web link)

  • Winkler, Sarah; Moser, Georg (2018): MædMax: A Maximal Ordered Completion Tool.
    In: Galmiche, D.; Schulz, S.; Sebastiani, R.: Automated Reasoning. 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018. Proceedings. Cham: Springer International Publishing (= Lecture Notes in Computer Science, 10900)., ISBN 978-3-319-94204-9, pp. 472 - 480. (DOI) (Web link)

Proceedings Article (Abstract)
  • Moser, Georg; Schaper, Michael (2018): TcT: Tyrolean Complexity Tool.
    In: Salvador, Lucas: Proceeding of the 16th International Workshop on Termination (WST 2018). July 18–19, 2018, Oxford, UK. Oxford: University of Oxford., p. 77. (Web link)

Lectures 2018

Presentations at Conferences, Symposia, etc.

Conference Lecture (Upon Registration)
  • Lecturer(s): Schneckenreither, Manuel Co-author(s): Moser, Georg: Automated Amortised Resource Analysis for Term Rewrite Systems.
    14th International Symposium on Functional and Logic Programming (FLOPS 2018), Nagoya, 2018-05-10. (Web link)

  • Lecturer(s): Winkler, Sarah Co-author(s): Moser, Georg: MaedMax: A Maximal Ordered Completion Tool.
    9th International Joint Conference on Automated Reasoning (IJCAR 2018), Oxford, 2018-07-17. (Web link)

Lecture at Project Meeting / Research Cooperation Meeting
  • Lecturer(s): Miyanoto, Kenji Co-author(s): Moser, Georg: The epsilon calculus with equality and Herbrand complexity.
    FISP Workshop (3rd FISP Meeting), Wien, 2018-12-08. (Web link)

Projects, scholarships and other third-party funds 2018

Research Projects

  • Moser, Georg: Proof theory for branching quantifiers: CERES and beyond.
    Fonds zur Förderung der wissenschaftlichen Forschung (FWF), Einzelprojekt
    2018-01-01 - 2021-04-30

  • Moser, Georg: FISP. The Fine structure of proof systems and its computational interpretations.
    Fonds zur Förderung der wissenschaftlichen Forschung (FWF), Joint Projects
    2016-01-01 - 2019-06-30

  • 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

  • Winkler, Sarah; Moser, Georg: Instantiation- and Learning-Based Methods in Equational Reasoning.
    Fonds zur Förderung der wissenschaftlichen Forschung (FWF), Hertha-Firnberg-Programm
    2016-10-01 - 2019-09-30

Academic Activities and Achievements 2018

Supervision of Student Theses

  • 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; Gimenez, Stephane: Obwaller, David: Towards a Hardware Parallel Implementation of Interaction Nets (2015 - 2018).

Other academic activities

  • Moser, Georg: Member of the Defence committee (2018).