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 2016

Contributions to Books / Journals

Journal Article (Original Paper)
  • Avanzini, Martin; Moser, Georg (2016): A combination framework for complexity.
    In: INFORMATION AND COMPUTATION 248, pp. 22 - 55. (DOI)

Journal Article (Proceedings Paper)
  • Gimenez, Stephane; Moser, Georg (2016): The Complexity of Interaction.
    In: ACM SIGPLAN Notices 51/1, pp. 243 - 255. (DOI) (Web link)

Proceedings Article (Full Paper)
  • Avanzini, Martin; Moser, Georg (2016): Complexity of Acyclic Term Graph Rewriting.
    In: Kesner, Delia; Pientka, Brigitte: 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016). FSCD 2016, June 22–26, 2016, Porto, Portugal. Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (= Leibniz International Proceedings in Informatics (LIPICS), 52)., ISBN 978-3-95977-010-1, Nr. 10. (DOI) (Web link)

  • Avanzini, Martin; Moser, Georg; Schaper, Michael (2016): TcT: Tyrolean Complexity Tool.
    In: Chechik, Marsha; Raskin, Jean-François: Tools and Algorithms for the Construction and Analysis of Systems. 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Dordrecht - Heidelberg - London - New York - Berlin: Springer (= Lecture Notes in Computer Science, 9636)., ISBN 978-3-662-49673-2, pp. 407 - 423. (DOI) (Web link)

  • Gimenez, Stéphane; Moser, Georg (2016): The complexity of interaction.
    In: Bodik, Rastislav; Majumdar, Rupak: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. New York: ACM Digital Library., ISBN 978-1-4503-3549-2, pp. 243 - 255. (DOI) (Web link)

  • Moser, Georg; Schett, Maria (2016): Kruskal's Tree Theorem for Acyclic Term Graphs.
    In: Corradini, Andrea; Zantema, Hans: Proceedings 9th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2016). Eindhoven, The Netherlands, April 8, 2016. USA: Arxiv.org., pp. 25 - 34. (DOI) (Web link)

Proceedings Article (Abstract)
  • Avanzini, Martin; Moser, Georg; Schaper, M (2016): TcT: Tyrolean Complexity Tool.
    In: Middeldorp, Aart; Thiemann, René: Proceedings of the 15th International Workshop on Termination (WST 2016). Innsbruck: Universität Innsbruck., Nr. 15. (Web link)

  • Gimenez, Stéphane; Moser, Georg (2016): The Complexity of Interaction.
    In: Mazza, Damiano: Proceedings of the 7th International Workshop on Developments in Implicit Complexity (DICE 2016). Eindhoven: Eindhoven University of Technology., elektronisch. (Web link)

Lectures 2016

Presentations at Conferences, Symposia, etc.

Conference Lecture (Upon Registration)
  • Lecturer(s): Moser, Georg: Complexity of acyclic term graph rewriting.
    Workshop: Logic, Complexity and Automation (LCA / LC&A 2016), Obergurgl, 2016-09-05. (Web link)

  • Lecturer(s): Moser, Georg Co-author(s): Avanzini, Martin: Complexity of Term Graph Rewriting.
    1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), Porto, 2016-06-25. (Web link)

  • Lecturer(s): Schaper, Michael Co-author(s): Avanzini, Martin; Moser, Georg: TcT: Tyrolean Complexity Tool.
    22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2016), Eindhoven, 2016-04-05. (Web link)

  • Lecturer(s): Schett, Maria Co-author(s): Moser, Georg: Kruskal's Tree Theorem for Term Graphs.
    9th International Workshop Computing with Terms and Graphs (TERMGRAPH 2016), Eindhoven, 2016-04-08. (Web link)

Lecture at Summer-/Winterschool
  • Lecturer(s): Moser, Georg: Automatic resource analysis of programs.
    Twelfth International Tbilisi Summer School in Logic and Language 2016, Tblisi / Tiflis, 2016-09-15. (Web link)

Lecture at Project Meeting / Research Cooperation Meeting
  • Lecturer(s): Moser, Georg: The Embedding Lemma Revisited.
    The Fine Structure of Formal Proof Systems and their Computational Interpretations Kick-Off Meeting (FISP 2016), Innsbruck, 2016-11-17. (Web link)

Projects, scholarships and other third-party funds 2016

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

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

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

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

Other academic activities

  • Moser, Georg: PhD Examiner Michael Toppel, University of Leeds (December 9) (2016).