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: Arxiv.org. (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).