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 2012

(Co-)Edited Books

Proceedings (Editorship)
  • Moser, Georg (ed.) (2012): Proceedings of the 12th International Workshop on Termination (WST 2012). February 19–23, 2012, Obergurgl, Austria. Innsbruck: Eigenverlag - Universität Innsbruck. (Web link)

Contributions to Books / Journals

Proceedings Article (Full Paper)
  • Avanzini, Martin; Eguchi, Naohi; Moser, Georg (2012): A New Path Order that Induces Tight Polynomial Derivation Lengths.
    In: Proceedings of the 3rd International Workshop on Developments in Implicit Complexity (DICE 2012). Tallinn: Tallinn University of Technology Press., elektronisch. (Web link)

  • Avanzini, Martin; Eguchi, Naoho; Moser, Georg (2012): A New Order-theoretic Characterisation of the Polytime Computable Functions.
    In: Jhala, Ranjit; Igarashi, Atsushi (Eds.): Programming Languages and Systems. 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings. Dordrecht - Heidelberg - London - New York - Berlin: Springer (= Lecture Notes in Computer Science, 7705)., ISBN 978-3-642-35181-5, pp. 280 - 295. (DOI)

  • Fard, Hamid Mohammadi; Prodan, Radu; Moser, Georg; Fahringer, Thomas (2012): A Bi-Criteria Truthful Mechanism for Scheduling of Workflows in Clouds.
    In: Proceedings of the 3rd IEEE International Conference on Cloud Computing Technology and Science (Cloudcom 2011). 29 November-1 December 2011, Athens, Greece. Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE)., ISBN 978-0-7695-4622-3, pp. 599 - 605. (DOI) (Web link)

Proceedings Article (Abstract)
  • Avanzini, Martin; Eguchi, Naohi; Moser, Georg (2012): On a Correspondence between Predicative Recursion and Register Machines.
    In: Moser, Georg (ed.): Proceedings of the 12th International Workshop on Termination (WST 2012). February 19–23, 2012, Obergurgl, Austria. Innsbruck: Eigenverlag - Universität Innsbruck., pp. 15 - 19. (Web link)

  • Moser, Georg; Schaper, Michael (2012): Termination Graphs Revisited.
    In: Moser, Georg (ed.): Proceedings of the 12th International Workshop on Termination (WST 2012). February 19–23, 2012, Obergurgl, Austria. Innsbruck: Eigenverlag - Universität Innsbruck., pp. 64 - 68. (Web link)

Lectures 2012

Presentations at Conferences, Symposia, etc.

Conference Lecture (Invited Lecture)
  • Lecturer(s): Middeldorp, Aart Co-author(s): Moser, Georg; Neurauter, Friedrich; Waldmann, Johannes; Zankl, Harald: Matrix Interpretations for Polynomial Derivational Complexity of Rewrite Systems.
    18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 18), Merida, 2012-03-11. (Web link)

Conference Lecture (Upon Registration)
  • Lecturer(s): Avanzini, Martin Co-author(s): Eguchi, Naohi; Moser, Georg: A New Order-theoretic Characterisation of the Polytime Computable Functions.
    10th Asian Symposium on Programming Languages and Systems, Kyoto, 2012-12-12. (Web link)

  • Lecturer(s): Avanzini, Martin Co-author(s): Eguchi, Naohi; Moser, Georg: A New Order-Theoretic Characterisation of the Polytime Computable Functions.
    Logic in Computer Science (LICS 2012), Dubrovnik, 2012-06-25. (Web link)

  • Lecturer(s): Moser, Georg: KBOs, Ordinals, Subrecursive Hierarchies and All That.
    Concepts and Meaning - Workshop in honour of Alexander Leitsch's 60th Birthday, Wien, 2012-05-05. (Web link)

  • Lecturer(s): Moser, Georg Co-author(s): Avanzini, Martin; Eguchi, Naohi: On a Correspondence between Predicative Recursion and Register Machines.
    12th International Workshop on Termination (WST 2012), Obergurgl, 2012-02-20. (Web link)

  • Lecturer(s): Schaper, Michael Co-author(s): Moser, Georg: Termination Graphs Revisited.
    12th International Workshop on Termination (WST 2012), Obergurgl, 2012-02-21. (Web link)

Session Chairperson / Discussant
  • Gimenez, Stephane; Moser, Georg; Thiemann, Rene; Zankl, Harald: Session Chairs.
    12th International Workshop on Termination (WST 2012), Obergurgl, 2012-02-20. (Web link)

Lecture at Summer-/Winterschool
  • Lecturer(s): Moser, Georg: Automated Complexity Analysis of Term Rewriting Systems.
    6th International School on Rewriting (ISR 2012), Valencia, 2012-07-16. (Web link)

Guest Lectures

Guest Lecture
  • Lecturer(s): Moser, Georg: Predicative Recursion and Register Machines.
    Ludwig-Maximilians-Universität München (LMU), München, 2012-02-06.

Presentations for the general public

Public Lecture
  • Felgenhauer, Bertram; Gimenez, Stephane; Kaliszyk, Cezary; Kop, Cynthia; Middeldorp, Aart; Moser, Georg: Gibt es logische Puzzles jenseits von Sudoku.
    BeSt (Berufs- und Studieninformationsmesse), Innsbruck, 2012-10-22 - 2012-10-24. (Web link)

  • Middeldorp, Aart; Moser, Georg; Kaliszyk, Cezary; Kop, Cynthia; Gimenez, Stephane; Felgenhauer, Bertram: Logikrätsel.
    BeSt (Berufs- und Studieninformationsmesse), Innsbruck, 2012-10-17 - 2012-10-19.

Projects, scholarships and other third-party funds 2012

Research Projects

  • Moser, Georg: Structural. Structural and Computational Proof Theory.
    Fonds zur Förderung der wissenschaftlichen Forschung (FWF), Joint Projects
    2011-02-01 - 2014-03-31

Academic Activities and Achievements 2012

Supervision of Student Theses

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

  • Moser, Georg: Avanzini, Martin: Verifying Polytime Computability Automatically (2009 - 2013).

  • Moser, Georg: Schnabl, Andreas: Derivational Complexity Analysis Revisited (2009 - 2012).

Other academic activities

  • Middeldorp, Aart; Moser, Georg: Member of PhD committee of Jacek Kopecký (2012 - 2013).

  • Moser, Georg: Member of the PhD Committee of Friedrich Neurauter (2012).