Theoretical Computer Science

Publications 2017

(Co-)Edited Books

Proceedings (Editorship)
  • Bonfante, Guillaume; Moser, Goerg (2017): Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis. USA: (DOI) (Web link)

Contributions to Books / Journals

Journal Article (Original Paper)
  • Moser, Georg (2017): KBOs, ordinals, subrecursive hierarchies and all that.
    In: Journal of Logic and Computation 27/2, pp. 469 - 495. (DOI) (Web link)

Proceedings Article (Full Paper)
  • Lindsberger, Josef; Maringele, Alexander; Moser, Georg (2017): Quantified Boolean Formulas: Call the Plumber!
    In: Eiter, Thomas; Sands, David: LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Manchester: EasyChair (= EPiC Series in Computing, 46)., pp. 162 - 170. (Web link)

Lectures 2017

Presentations at Conferences, Symposia, etc.

Conference Lecture (Invited Plenary / Keynote Lecture)
  • Lecturer(s): Moser, Georg: Uniform Resource Analysis by Rewriting: Strengths and Weaknesses.
    2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017), Oxford, 2017-09-05. (Web link)

Conference Lecture (Upon Registration)
  • Lecturer(s): Moser, Georg: Weighted Automata Theory for Resource Analysis of Rewrite Systems.
    Dagstuhl Seminar 17291: Resource Bound Analysis, Dagstuhl, 2017-07-20. (Web link)

Lecture at Summer-/Winterschool
  • Lecturer(s): Moser, Georg: Epsilon Calculus I.
    International Summer School for Proof Theory in First-Order Logic, Funchal, 2017-08-22. (Web link)

Projects, scholarships and other third-party funds 2017

Research Projects

  • 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 2017

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