Publikationen – Universität Innsbruck

2024

Beiträge in Büchern / Zeitschriften

Zeitschriftenaufsatz (Originalarbeit)

Miyamoto, Kenji; Moser, Georg (2024): Herbrand complexity and the epsilon calculus with equality.
In: Archive for Mathematical Logic 63, S. 89 - 118. (DOI) (Weblink)

Beitrag in Proceedingsband (Full Paper)

Avanzini, Martin; Moser, Georg; Péchoux, Romain; Perdrix, Simon (2024): On the Hardness of Analyzing Quantum Programs Quantitatively.
In: Weirich, S.: Programming Languages and Systems. 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024. Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II. Cham: Springer (= Lecture Notes in Computer Science, 14577)., ISBN 978-3-031-57266-1, S. 31 - 58. (DOI) (Weblink)
Nössig, Albert; Moser, Georg; Hell, Tobias (2024): A Voting Approach for Explainable Classification with Rule Learning.
In: Maglogiannis, I.; Iliadis, L.; et al: Proceedings of the 20th IFIP WG 12.5 Artificial Intelligence Applications and Innovations (AIAI 2024). Corfu, Greece, June 27–30, 2024, Proceedings, Part IV. Cham: Springer (= IFIP Advances in Information and Communication Technology, 714)., ISBN 978-3-031-63222-8, S. 155 - 169. (DOI) (Weblink)

2023

Beiträge in Büchern / Zeitschriften

Zeitschriftenbeitrag (Proceedings Paper)

Avanzini, Martin; Moser, Georg; Schaper, Michael (2023): Automated Expected Value Analysis of Recursive Programs.
In: Proceedings of the ACM on Programming Languages 7, S. 1050 - 1072. (DOI) (Weblink)

Beitrag in Proceedingsband (Full Paper)

Frontull, Samuel; Moser, Georg; van Oostrom, Vincent (2023): α-Avoidance.
In: Gaboardi, M.; van Raamsdonk, F.: Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (= Leibniz International Proceedings in Informatics (LIPICS), 260)., ISBN 978-3-95977-277-8, No. 22. (DOI) (Weblink)

2022

Beiträge in Büchern / Zeitschriften

Zeitschriftenaufsatz (Originalarbeit)

Frontull, Samuel; Hell, Tobias (2022): Arbeitsbericht: Maschinelle Übersetzung für das Gadertalische.
In: Ladinia - Sföi Culturâl di Ladins dles Dolomites XLVI, S. 203 - 232. (DOI) (Weblink)
Hofmann, Martin; Leutgeb, Lorenz; Obwaller, David; Moser, Georg; Zuleger, Florian (2022): Type-Based Analysis of Logarithmic Amortised Complexity.
In: Mathematical Structures in Computer Science 32/6, S. 794 - 826. (DOI) (Weblink)

Beitrag in Proceedingsband (Full Paper)

Avanzini, Martin; Moser, Georg; Péchoux, Romain; Perdix, Simon; Zamdzhiev, Vladimir (2022): Quantum Expectation Transformers for Cost Analysis.
In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022). Haifa Israel, August 2 - 5, 2022. New York: ACM Digital Library., ISBN 978-1-4503-9351-5, No. 10. (DOI) (Weblink)
Leutgeb, Lorenz; Moser, Georg; Zuleger, Florian (2022): Automated Expected Amortised Cost Analysis of Probabilistic Data Structures.
In: Shoham, S.; Vizel, Y.: Computer Aided Verification. 34th International Conference, CAV 2022. Haifa, Israel, August 7–10, 2022, Proceedings, Part II. Dordrecht - Heidelberg - London - New York - Berlin: Springer (= Lecture Notes in Computer Science, 13372)., ISBN 978-3-031-13188-2, S. 70 - 91. (DOI) (Weblink)
Schneckenreither, Manuel; Moser, Georg (2022): Average Reward Adjusted Discounted Reinforcement Learning.
In: Proceedings of the Adaptive and Learning Agents Workshop (ALA 2022). 9 & 10 May 2022, Auckland, NZ. Manchester: EasyChair., No. 21. (Weblink)

Sonstige Publikationen

elektronische Publikation (Preprint)

Nössig, Albert; Hell, Tobias; Moser, Georg (2022): Rule Learning by Modularity. (DOI) (Weblink)

2021

Beiträge in Büchern / Zeitschriften

Beitrag in Proceedingsband (Full Paper)

Leutgeb, Lorenz; Moser, Georg; Zuleger, Florian (2021): ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data Structures.
In: Silva, A.; Leino, K. R. M.: Computer Aided Verification. 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II. Cham: Springer International Publishing (= Lecture Notes in Computer Science, 12760)., ISBN 978-3-030-81687-2, S. 99 - 122. (Weblink)
Winkler, Sarah; Moser, Georg (2021): Runtime Complexity Analysis of Logically Constrained Rewriting.
In: Fernández, Maribel: Logic-Based Program Synthesis and Transformation. 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings. Cham: Springer Nature., ISBN 978-3-030-68445-7, S. 37 - 55. (DOI) (Weblink)

Beitrag in Proceedingsband (Abstract)

Mitterwallner, Fabian; Hochrainer, Jamie; Middeldorp, Aart (2021): CoCo 2021 Participant:FORT-h1.1.
In: Proceedings of the 10th International Workshop of Confluence (IWC 2021). published online / Internetpublikation., S. 57. (Weblink)

2020

Beiträge in Büchern / Zeitschriften

Zeitschriftenaufsatz (Originalarbeit)

Moser, Georg; Schneckenreither, Manuel (2020): Automated amortised resource analysis for term rewrite systems.
In: SCIENCE OF COMPUTER PROGRAMMING 185, No. 102306. (DOI) (Weblink)

Zeitschriftenbeitrag (Proceedings Paper)

Avanzini, Martin; Moser, Georg; Schaper, Michael (2020): A modular cost analysis for probabilistic programs.
In: Proceedings of the ACM on Programming Languages 4/OOPLSA, No. 172. (DOI) (Weblink)

2019

Beiträge in Büchern / Zeitschriften

Beitrag in Proceedingsband (Full Paper)

Avanzini, Martin; Dal Lago, Ugo; Moser, Georg (2019): Higher-Order Complexity Analysis With First-Order Tools.
In: Ayala-Rincón, Mauricio; Ghilezan, Silvia; Grue Simonsen, Jakob: Joint Proceedings of HOR 2019 and IWC 2019. (with system descriptions from CoCo 2019). Manchester: EasyChair., S. 6 - 10. (Weblink)
Avanzini, Martin; Schaper, Michael; Moser, Georg (2019): Modular Runtime Complexity Analysis of Probabilistic While Programs.
In: Papers of DICE-FOPARA 2019 Workshop on Developments in Implicit Computational complExity & Foundational & Practical Aspects of Resource Analysis. 6-7 April, 2019. München: Ludwig-Maximlians-Universität München., online. (Weblink)

Beitrag in Proceedingsband (Abstract)

Moser, Georg; Winkler, Sarah (2019): Smarter Features, Simpler Learning?
In: ARCADE 2019. Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements. 26 August 2019, Natal, Brasil. New York: ACM Digital Library., online. (Weblink)

2018

Beiträge in Büchern / Zeitschriften

Zeitschriftenaufsatz (Originalarbeit)

Moser, Georg; Schaper, Michael (2018): From Jinja bytecode to term rewriting: A complexity reflecting transformation.
In: INFORMATION AND COMPUTATION 261/1, S. 116 - 143. (DOI) (Weblink)

Beitrag in Proceedingsband (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, S. 214 - 229. (Volltext) (DOI) (Weblink)
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, S. 472 - 480. (DOI) (Weblink)

Beitrag in Proceedingsband (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., S. 77. (Weblink)

2017

Herausgeberschaften

Proceedings (Herausgeberschaft)

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) (Weblink)

Beiträge in Büchern / Zeitschriften

Zeitschriftenaufsatz (Originalarbeit)

Moser, Georg (2017): KBOs, ordinals, subrecursive hierarchies and all that.
In: Journal of Logic and Computation 27/2, S. 469 - 495. (DOI) (Weblink)

Beitrag in Proceedingsband (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)., S. 162 - 170. (Weblink)

2016

Beiträge in Büchern / Zeitschriften

Zeitschriftenaufsatz (Originalarbeit)

Avanzini, Martin; Moser, Georg (2016): A combination framework for complexity.
In: INFORMATION AND COMPUTATION 248, S. 22 - 55. (DOI)

Zeitschriftenbeitrag (Proceedings Paper)

Gimenez, Stephane; Moser, Georg (2016): The Complexity of Interaction.
In: ACM SIGPLAN Notices 51/1, S. 243 - 255. (DOI) (Weblink)

Beitrag in Proceedingsband (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) (Weblink)
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, S. 407 - 423. (DOI) (Weblink)
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, S. 243 - 255. (DOI) (Weblink)
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., S. 25 - 34. (DOI) (Weblink)

Beitrag in Proceedingsband (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. (Weblink)
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. (Weblink)

2015

Beiträge in Büchern / Zeitschriften

Zeitschriftenaufsatz (Originalarbeit)

Avanzini, Martin; Eguchi, Naohi; Moser, Georg (2015): A new order-theoretic characterisation of the polytime computable functions.
In: Theoretical Computer Science, S. 3 - 24. (DOI) (Weblink)

Zeitschriftenbeitrag (Proceedings Paper)

Avanzini, Martin; Dal Lago, Ugo; Moser, Georg (2015): Analysing the complexity of functional programs: higher-order meets first-order.
In: ACM SIGPLAN Notices 50/9, S. 152 - 164. (DOI) (Weblink)

Beitrag in Proceedingsband (Full Paper)

Hirokawa, Nao; Middeldorp, Aart; Moser, Georg (2015): Leftmost Outermost Revisited.
In: Fernández, Maribel: 26th International Conference on Rewriting Techniques and Applications (RTA 2015). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (= Leibniz International Proceedings in Informatics (LIPICS), 36)., ISBN 978-3-939897-85-9, S. 209 - 222. (DOI) (Weblink)
Hofmann, Martin; Moser, Georg (2015): Multivariate Amortised Resource Analysis for Term Rewrite Systems.
In: Altenkirch, Thorsten: 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015). TLCA’15, July 1–3, 2015, Warsaw, Poland. Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (= Leibniz International Proceedings in Informatics (LIPICS), 38)., ISBN 978-3-939897-87-3, S. 241 - 256. (DOI) (Weblink)
Moser, Georg; Powell, Thomas (2015): On the Computational Content of Termination Proofs.
In: Beckmann, Arnold; Mitrana, Victor; Soskova, Mariya: Evolving Computability. 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings. Cham: Springer International Publishing (= Lecture Notes in Computer Science, 9136)., ISBN 978-3-319-20027-9, S. 276 - 285. (DOI) (Weblink)

2014

Beiträge in Büchern / Zeitschriften

Beitrag in Proceedingsband (Full Paper)

Hirokawa, Nao; Moser, Georg (2014): Automated Complexity Analysis Based on Context-Sensitive Rewriting.
In: Dowek, Gilles: Rewriting and Typed Lambda Calculi. Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings. Dordrecht - Heidelberg - London - New York - Berlin: Springer (= Lecture Notes in Computer Science, 8560)., ISBN 978-3-319-08917-1, S. 257 - 271. (DOI) (Weblink)
Hofman, Martin; Moser, Georg (2014): Amortised Resource Analysis and Typed Polynomial Interpretations.
In: Dowek, Gilles: Rewriting and Typed Lambda Calculi. Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings. Dordrecht - Heidelberg - London - New York - Berlin: Springer (= Lecture Notes in Computer Science, 8560)., ISBN 978-3-319-08917-1, S. 272 - 286. (DOI) (Weblink)

Rezensionen

Zeitschriftenbeitrag (Rezension)

Moser, Georg (2014): Ketema, Jeroen; Simonsen, Jakob Grue. Least upper bounds on the size of confluence and Church-Rosser diagrams in term rewriting and λ-calculus. ACM Trans. Comput. Log. 14 (2013), no. 4, Art. 31.
In: Mathematical Reviews, MR3144935. (Weblink)

2013

Beiträge in Büchern / Zeitschriften

Zeitschriftenaufsatz (Originalarbeit)

Avanzini, Martin; Moser, Georg (2013): Polynomial Path Orders.
In: Logical Methods in Computer Science 9/4, Paper 9. (DOI) (Weblink)

Beitrag in Proceedingsband (Full Paper)

Avanzini, Martin; Moser, Georg (2013): A Combination Framework for Complexity.
In: van Raamsdonk, Femke: 24th International Conference on Rewriting Techniques and Applications (RTA 2013). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (= Leibniz International Proceedings in Informatics (LIPICS), 21)., ISBN 978-3-939897-53-8, S. 55 - 70. (DOI) (Weblink)
Avanzini, Martin; Moser, Georg (2013): Tyrolean Complexity Tool: Features and Usage.
In: van Raamsdonk, Femke: 24th International Conference on Rewriting Techniques and Applications (RTA 2013). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (= Leibniz International Proceedings in Informatics (LIPICS), 21)., ISBN 978-3-939897-53-8, S. 71 - 80. (DOI) (Weblink)
Avanzini, Martin; Moser, Georg; Schaper, Michael (2013): Small Polynomial Path Orders in TCT.
In: Waldmann, Johannes: Proceedings of the 13th International Workshop on Termination (WST 2013). WST 2013, August 29-31, 2013, Bertinoro, Italy. published online / Internetpublikation., S. 3 - 7. (Weblink)
Gimenez, Stéphane; Moser, Georg (2013): The Structure of Interaction.
In: Ronchi Della Rocca, Simona: Computer Science Logic 2013 (CSL 2013). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (= Leibniz International Proceedings in Informatics (LIPICS), 23)., ISBN 978-3-939897-60-6, S. 316 - 331. (DOI) (Weblink)

2012

Herausgeberschaften

Proceedings (Herausgeberschaft)

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

Beiträge in Büchern / Zeitschriften

Beitrag in Proceedingsband (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. (Weblink)
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, S. 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, S. 599 - 605. (DOI) (Weblink)

Beitrag in Proceedingsband (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., S. 15 - 19. (Weblink)
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., S. 64 - 68. (Weblink)

2011

Beiträge in Büchern / Zeitschriften

Zeitschriftenaufsatz (Originalarbeit)

Moser, Georg; Schnabl, Andreas (2011): The Derivational Complexity Induced by the Dependency Pair Method.
In: Logical Methods in Computer Science 3/7, S. 1 - 38. (Weblink)

Beitrag in Proceedingsband (Full Paper)

Avanzini, Martin; Eguchi, Naohi; Moser, Georg (2011): A Path Order for Rewrite Systems that Compute Exponential Time Functions.
In: Schmidt-Schauß, Manfred (ed.): 22nd International Conference on Rewriting Techniques and Applications (RTA'11). May 30 - June 1, 2011, Novi Sad, Serbia. Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (= Leibniz International Proceedings in Informatics (LIPICS), 10)., ISBN 978-3-939897-30-9, S. 123 - 138. (DOI)
Kovacs, Laura; Moser, Georg; Voronkov, Andrei (2011): On Transfinite Knuth-Bendix Orders.
In: Bjørner, Nikolaj; Sofronie-Stokkermans, Viorica (Eds.): Automated Deduction - CADE 23. 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings. Dordrecht - Heidelberg - London - New York - Berlin: Springer (= Lecture Notes in Computer Science, 6803)., ISBN 978-3-642-22437-9, Bd. 6803/2011, S. 384 - 398. (DOI)
Middeldorp, Aart; Moser, Georg; Neurauter, Friedrich; Waldmann, Johannes; Zankl, Harald (2011): Joint Spectral Radius Theory for Automated Complexity Analysis of Rewrite Systems.
In: Winkler, Franz (Ed.): Algebraic Informatics. 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011, Proceedings. Dordrecht - Heidelberg - London - New York - Berlin: Springer (= Lecture Notes in Computer Science, 6742)., ISBN 978-3-642-21492-9, S. 1 - 20. (DOI)
Moser, Georg; Schnabl, Andreas (2011): Termination Proofs in the Dependency Pair Framework May Induce Multiple Recursive Derivational Complexity.
In: Schmidt-Schauß, Manfred (ed.): 22nd International Conference on Rewriting Techniques and Applications (RTA'11). May 30 - June 1, 2011, Novi Sad, Serbia. Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (= Leibniz International Proceedings in Informatics (LIPICS), 10)., ISBN 978-3-939897-30-9, S. 235 - 250. (DOI)

Rezensionen

Zeitschriftenbeitrag (Rezension)

Moser, Georg (2011): Gordeev, L.(D-TBNG); Haeusler, E. H.(BR-PCRJ); Pereira, L. C.(BR-PCRJ): Propositional proof compressions and DNF logic. Log. J. IGPL 19 (2011), no. 1, 62–86.
In: Mathematical Reviews, MR2770567. (Weblink)
Moser, Georg (2011): Takai, Toshinori(J-NAISTTO-VS); Kaji, Yuichi(J-NSTGI); Seki, Hiroyuki(J-NSTGI): Right-linear finite path overlapping rewrite systems effectively preserve recognizability. Sci. Math. Jpn. 71 (2010), no. 2, 127–153.
In: Mathematical Reviews 2011h/68089, MR2640469. (Weblink)

2010

Beiträge in Büchern / Zeitschriften

Beitrag in Proceedingsband (Full Paper)

Avanzini, Martin; Moser, Georg (2010): Closing the Gap Between Runtime Complexity and Polytime Computability.
In: Lynch, Chris (ed.): Proceedings of the 21st International Conference on Rewriting Techniques and Applications. RTA’10, July 11–13, 2010, Edinburgh, UK. Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (= Leibniz International Proceedings in Informatics (LIPICS), 6)., ISBN 978-3-939897-18-7, S. 33 - 48. (DOI)
Avanzini, Martin; Moser, Georg (2010): Complexity Analysis by Graph Rewriting.
In: Blume, Matthias; Kobayashi, Naoki; Vidal, German (Eds.): Functional and Logic Programming. 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings. Dordrecht - Heidelberg - London - New York - Berlin: Springer (= Lecture Notes in Computer Science, 6009)., ISBN 978-3-642-12250-7, S. 257 - 271. (DOI)
Bonfante, Guillaume; Moser, Georg (2010): Characterising Space Complexity Classes via Knuth-Bendix Orders.
In: Fermüller, Chris; Voronkov, Andrei (eds.): Logic for Programming, Artificial Intelligence, and Reasoning. 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings. Dordrecht - Heidelberg - London - New York - Berlin: Springer (= Lecture Notes in Computer Science, 6397)., ISBN 978-3-642-16241-1, S. 142 - 156. (DOI)

Beitrag in Proceedingsband (Abstract)

Schnabl, Andreas; Moser, Georg (2010): Dependency Graphs, Relative Rule Removal, the Subterm Criterion and Derivational Complexity.
In: Schneider-Kamp, Peter (ed.): Proceedings of the 11th International Workshop on Termination (WST 2010). Edinburgh, July 14-15, 2010. Edinburgh: University of Edinburgh. (Weblink)

Rezensionen

Zeitschriftenbeitrag (Rezension)

Moser, Georg (2010): Vágvölgyi, Sándor(H-SZEG-FC): Congruences generated by extended ground term rewrite systems. Fund. Inform. 95 (2009), no. 2-3, 381–399.
In: Mathematical Reviews, MR2572211. (Weblink)

2009

Beiträge in Büchern / Zeitschriften

Zeitschriftenaufsatz (Originalarbeit)

Moser, Georg (2009): The Hydra battle and Cichon’s principle.
In: APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING 20/2, S. 133 - 158. (DOI)

Beitrag in Proceedingsband (Full Paper)

Avanzini, Martin; Moser, Georg (2009): Dependency Pairs and Polynomial Path Orders.
In: Treinen, Ralf (ed.): Rewriting Techniques and Applications. 20th International Conference, RTA 2009, Brasilia, Brazil, June 29- July 1, 2009, Proceedings. Dordrecht - Heidelberg - London - New York - Berlin: Springer (= Lecture Notes in Computer Science, 5595)., ISBN 978-3-642-02347-7, S. 48 - 62. (DOI)
Moser, Georg; Schnabl, Andreas (2009): The Derivational Complexity Induced by the Dependency Pair Method.
In: Treinen, Ralf (ed.): Rewriting Techniques and Applications. 20th International Conference, RTA 2009, Brasilia, Brazil, June 29- July 1, 2009, Proceedings. Dordrecht - Heidelberg - London - New York - Berlin: Springer (= Lecture Notes in Computer Science, 5595)., ISBN 978-3-642-02347-7, S. 255 - 269. (DOI)

Beitrag in Proceedingsband (Abstract)

Avanzini, Martin; Moser, Georg (2009): Polynomial Path Orders and the Rules of Predictive Recursion with Parameter Substitution.
In: Geser, Alfons (ed.): 10th International Workshop on Termination (WST 2009), Proceedings. Eigenverlag., S. 16 - 19. (Weblink)
Hirokawa, Nao; Moser, Georg (2009): The Subterm Criterion in Complexity Analysis.
In: Geser, Alfons (ed.): 10th International Workshop on Termination (WST 2009), Proceedings. Eigenverlag., S. 47 - 50. (Weblink)

2008

Beiträge in Büchern / Zeitschriften

Beitrag in Proceedingsband (Full Paper)

Avanzini, Martin; Moser, Georg (2008): Complexity Analysis by Rewriting.
In: Garrigue, Jacques (Hrsg.): 9th International Symposium on Functional and Logic Programming (FLOPS 2008). Dordrecht - Heidelberg - London - New York - Berlin: Springer (= Lecture Notes in Computer Science, 4989)., ISBN 978-3-540-78968-0, Bd. 4989, S. 130 - 146. (Weblink)
Avanzini, Martin; Moser, Georg; Schnabl, Andreas (2008): Automated Implicit Computational Complexity Analysis.
In: Armando, Alessandro; Baumgartner, Peter; Dowek, Gilles (Hrsg.): Automated Reasoning. 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings. Dordrecht - Heidelberg - London - New York - Berlin: Springer (= Lecture Notes in Artificial Intelligence, 5195)., ISBN 978-3-540-71069-1, S. 132 - 138. (Weblink)
Hirokawa, Nao; Moser, Georg (2008): Automated Complexity Analysis Based on the Dependency Pair Method.
In: Armando, Alessandro; Baumgartner, Peter; Dowek, Gilles (Hrsg.): Automated Reasoning. 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings. Dordrecht - Heidelberg - London - New York - Berlin: Springer (= Lecture Notes in Artificial Intelligence, 5195)., ISBN 978-3-540-71069-1, S. 364 - 379. (Weblink)
Hirokawa, Nao; Moser, Georg (2008): Complexity, Graphs, and the Dependency Pair Method.
In: Cervesato, Iliano; Veith, Helmut; Voronkov, Andrei: Logic for Programming, Artificial Intelligence, and Reasoning. 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings. Dordrecht - Heidelberg - London - New York - Berlin: Springer (= Lecture Notes in Artificial Intelligence, 5330)., ISBN 978-3-540-89438-4, S. 652 - 666. (Weblink)
Moser, Georg; Schnabl, Andreas (2008): Proving Quadratic Derivational Complexities using Context Dependent Interpretations.
In: Voronkov, Andrei (Hrsg.): Rewriting Techniques and Applications. Proceedings of the 19th International Conference on Rewriting Techniques and Applications, July 15-17, 2008, Hagenberg, Austria. Dordrecht - Heidelberg - London - New York - Berlin: Springer (= Lecture Notes in Computer Science, 5117)., ISBN 978-3-540-70588-8, S. 276 - 290. (Weblink)
Moser, Georg; Schnabl, Andreas; Waldmann, Johannes (2008): Complexity Analysis of Term Rewriting Based on Matrix and Context Dependent Interpretations.
In: Hariharan, Ramesh; Mukund, Madhavan; Vinay, V (Eds.): Foundations of Software Technology and Theoretical Computer Science. International Conference, FSTTCS 2008, Bangalore, India, December 9-December 11, 2008. Proceedings. Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik., ISBN 978-3-939897-08-8, S. 304 - 315. (Weblink)

2007

Beiträge in Büchern / Zeitschriften

Sammelbandaufsatz (Originalarbeit)

Moser, Georg; Dershowitz, Nachum (2007): The Hydra Battle Revisited.
In: Comon-Lundh, H.; Kirchner, C.; Kirchner, H. (Eds.): Rewriting, Computation and Proof. Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday. Dordrecht - Heidelberg - London - New York - Berlin: Springer (= Lecture Notes in Computer Science, 4600)., ISBN 978-3540731467, S. 1 - 27.

2006

Beiträge in Büchern / Zeitschriften

Zeitschriftenaufsatz (Originalarbeit)

Baaz, Matthias; Moser, Georg (2006): Herbrand's theorem and term induction.
In: Archive for Mathematical Logic 45/4, S. 447 - 503. (DOI) (Weblink)
Moser, Georg (2006): Ackermann's substitution method (remixed).
In: Annals of Pure and Applied Logic 142/1-3, S. 1 - 18. (DOI) (Weblink)
Moser, Georg; Zach, Richard (2006): The Epsilon Calculus and Herbrand Complexity.
In: Studia Logica 82/1, S. 133 - 155. (DOI) (Weblink)

Beitrag in Proceedingsband (Full Paper)

Moser, Georg (2006): Derivational Complexity of Knuth-Bendix Orders Revisited.
In: Hermann, Miki; Voronkov, Andrei: Logic for Programming, Artificial Intelligence, and Reasoning. 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings. Dordrecht - Heidelberg - London - New York - Berlin: Springer (= Lecture Notes in Computer Science, 4246)., ISBN 978-3540482819, S. 75 - 89.

2005

(Mit-)Herausgeberschaft von Periodika / Buchreihen

Herausgeberschaft von Periodikum / Buchreihe

Moser, Georg: Guest editor - Annals of Pure and Applied Logic, 01.06.2004 - 01.10.2005.

Beiträge in Büchern / Zeitschriften

Beitrag in Proceedingsband (Full Paper)

Arai, Toshiyasu; Moser, Georg (2005): Proofs of Termination of Rewrite Systems for Polytime Functions.
In: Ramanujam, Ramaswamy (ed.): FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings. Dordrecht - Heidelberg - London - New York - Berlin: Springer (= Lecture Notes in Computer Science, 3821)., ISBN 3-540-30495-9, S. 529 - 540.

2004

(Mit-)Herausgeberschaft von Periodika / Buchreihen

Herausgeberschaft von Periodikum / Buchreihe

Moser, Georg: Guest editor - Annals of Pure and Applied Logic, 01.06.2004 - 01.10.2005.

Beiträge in Büchern / Zeitschriften

Beitrag in Proceedingsband (Full Paper)

Arai, Toshiyasu; Moser, Georg (2004): Slowgrowing and PTIME.
In: Codish, Michael; Middeldorp, Aart (eds.): WST'04, 7th International Workshop on Termination. Eigenverlag., S. 10 - 13.

Rezensionen

Zeitschriftenbeitrag (Rezension)

Moser, Georg (2004): Review: Three Papers by Andreas Weiermann.
In: Bulletin of Symbolic Logic 10/4, S. 588 - 590. (Weblink)

2024

Präsentationen auf Kongressen, Tagungen o.Ä.

Konferenzvortrag (auf Einreichung / Anmeldung)

Vortragende/r: Nössig, Albert Co-AutorInnen: Moser, Georg; Hell, Tobias: A Voting Approach for Explainable Classification with Rule Learning.
25th International Conference on Engineering Applications of Neural Networks (EANN / EAAAI 2024), Korfu, 29.06.2024. (Weblink)

2023

Präsentationen auf Kongressen, Tagungen o.Ä.

Konferenzvortrag (auf Einreichung / Anmeldung)

Vortragende/r: Kammar, Ohad Co-AutorInnen: Moser, Georg: Semantic foundations of potential-synthesis for expected amortised-cost analysis.
11th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE@ICFP 2023), Seattle, 04.09.2023 (Online). (Weblink)
Vortragende/r: Moser, Georg Co-AutorInnen: Avanzini, Martin; Schaper, Michael: Automated Expected Value Analysis of Recursive Programs.
PLDI 2023 - Programming Language Design and Implementation, Orlando, 20.06.2023. (Weblink)

Vortrag bei Summer-/Winterschool

Vortragende/r: Moser, Georg: Cichon's Conjecture and other Fallacies.
Autumn school "Proof and Computation", Herrsching, 11.09.2023. (Weblink)

Gastvorträge

Gastvortrag

Vortragende/r: Moser, Georg: Automated Expected Cost Analysis of Splaying et al.
Carnegie Mellon University, Pittsburgh, 08.06.2023. (Weblink)

2022

Präsentationen auf Kongressen, Tagungen o.Ä.

Konferenzvortrag (auf Einreichung / Anmeldung)

Vortragende/r: Avanzini, Martin Co-AutorInnen: Moser, Georg; Péchoux, Romain; Perdrix, Simon: Quantum Expectation Transformers for Cost Analysis.
Quantum Physics and Logic (QPL 2022), Oxford, 30.06.2022. (Weblink)
Vortragende/r: Leutgeb, Lorenz Co-AutorInnen: Moser, Georg; Zuleger, Florian: Automated Expected Amortised Cost Analysis of Probabilistic Data Structures.
34th International Conference on Computer Aided Verification (CAV 2022), Haifa, 08.08.2022. (Weblink)
Vortragende/r: Schneckenreither, Manuel Co-AutorInnen: Moser, Georg: Average Reward Adjusted Discounted Reinforcement Learning.
Adaptive and Learning Agents Workshop (ALA 2022), Auckland, online, 10.05.2022. (Weblink)
Vortragende/r: Zamdzhiev, Vladimir Co-AutorInnen: Avanzini, Martin; Moser, Georg; Péchoux, Romain; Perdrix, Simon: Quantum Expectation Transformers for Cost Analysis.
37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022), Haifa, 02.08.2022. (Weblink)

Vortrag bei Projektmeeting / Forschungskooperationstreffen

Vortragende/r: Frontull, Samuel: Machine Translation for a Low-Resource Language.
Austauschworkshop: KI-Dienste der Allianz Private Krankenversicherungs-Aktiengesellschaft (APVK) und UIBK, München, 03.08.2022.
Vortragende/r: Hell, Tobias; Antholzer, Stephan; Nössig, Albert; Frontull, Samuel: Aktuelle Projektergebnisse, Herausforderungen, Diskussion.
Austauschworkshop: KI-Dienste der Allianz Private Krankenversicherungs-Aktiengesellschaft (APVK) und UIBK, München, 03.08.2022.
Vortragende/r: Nössig, Albert: Rule Learning by Modularity.
Austauschworkshop: KI-Dienste der Allianz Private Krankenversicherungs-Aktiengesellschaft (APVK) und UIBK, München, 03.08.2022.

Gastvorträge

Gastvortrag

Vortragende/r: Frontull, Samuel: Maschinelle Übersetzung für die ladinische Sprache.
Universität Innsbruck - Institut für Translationswissenschaft, Innsbruck, 13.06.2022. (Weblink)
Vortragende/r: Moser, Georg: Automated Expected Cost Analysis of Splaying et al.
The University of Edinburgh, Edinburgh, 28.10.2022. (Weblink)
Vortragende/r: Moser, Georg: Formal Methods for Quantum Programs.
Theoriekolloquium des Instituts für Theoretische Physik, Innsbruck, 23.03.2022. (Weblink)

2021

Präsentationen auf Kongressen, Tagungen o.Ä.

Konferenzvortrag (auf Einreichung / Anmeldung)

Vortragende/r: Leutgeb, Lorenz Co-AutorInnen: Moser, Georg; Zuleger, Florian: ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data Structures.
33rd International Conference on Computer-Aided Verification (CAV 2021), Los Angeles (online), 22.07.2021. (Weblink)

Gastvorträge

Gastvortrag

Vortragende/r: Moser, Georg: Automated Analysis of Splaying et al.
Università di Bologna / University of Bologna / Universität Bologna, Bologna, 18.05.2021. (Weblink)
Vortragende/r: Moser, Georg: Herbrand Complexity and Hilbert's Epsilon Calculus.
The Proof Society, 20.01.2021. (Weblink)

2020

Präsentationen auf Kongressen, Tagungen o.Ä.

Konferenzvortrag (auf Einreichung / Anmeldung)

Vortragende/r: Moser, Georg Co-AutorInnen: Avanzini, Martin; Schaper, Michael: A modular cost analysis for probabilistic programs.
2020 ACM SIGPLAN International conference on Systems, Programming, Languages, and Applications: Software for Humanity (virtual), Chicago, 21.11.2020. (Weblink)

Vortrag bei Summer-/Winterschool

Vortragende/r: Moser, Georg: Static Complexity Analysis.
Caleidoscope: Complexity as a Kaleidoscope. Research school in computational complexity, Paris, 15.06.2020. (Weblink)

2019

Präsentationen auf Kongressen, Tagungen o.Ä.

Konferenzvortrag (auf persönliche Einladung)

Vortragende/r: Avanzini, Martin Co-AutorInnen: Moser, Georg; Dal Lago, Ugo: Higher-Order Complexity Analysis With First-Order Tools.
10th International Workshop on Higher-Order Rewriting (HOR 2019), Dortmund, 28.06.2019. (Weblink)
Vortragende/r: Moser, Georg: Hibert's epsilon calculus with equality and Herbrand complexity.
Workshop on Proof Theory, Modal Logic and Reflection Principles (WORMSHOP 2019), Barcelona, 08.11.2019. (Weblink)

Konferenzvortrag (auf Einreichung / Anmeldung)

Vortragende/r: Avanzini, Martin Co-AutorInnen: Schaper, Michael; Moser, Georg: Modular Runtime Complexity Analysis of Probabilistic While Programs.
Workshop on Developments in Implicit Computational complExity & Foundational & Practical Aspects of Resource Analysis (DICE-FOPARA 2019), Prag, 07.04.2019. (Weblink)
Vortragende/r: Moser, Georg: Higher-order Complexity Theory and its Applications.
Shonan Meeting 151: Higher-order Complexity Theory and its Applications, Tokio, 08.10.2019. (Weblink)
Vortragende/r: Winkler, Sarah Co-AutorInnen: Moser, Georg: Smarter Features, Simpler Learning?
2nd International ARCADE (Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements) Workshop, Natal, 26.08.2019. (Weblink)

2018

Präsentationen auf Kongressen, Tagungen o.Ä.

Konferenzvortrag (auf Einreichung / Anmeldung)

Vortragende/r: Schneckenreither, Manuel Co-AutorInnen: Moser, Georg: Automated Amortised Resource Analysis for Term Rewrite Systems.
14th International Symposium on Functional and Logic Programming (FLOPS 2018), Nagoya, 10.05.2018. (Weblink)
Vortragende/r: Winkler, Sarah Co-AutorInnen: Moser, Georg: MaedMax: A Maximal Ordered Completion Tool.
9th International Joint Conference on Automated Reasoning (IJCAR 2018), Oxford, 17.07.2018. (Weblink)

Vortrag bei Projektmeeting / Forschungskooperationstreffen

Vortragende/r: Miyanoto, Kenji Co-AutorInnen: Moser, Georg: The epsilon calculus with equality and Herbrand complexity.
FISP Workshop (3rd FISP Meeting), Wien, 08.12.2018. (Weblink)

2017

Präsentationen auf Kongressen, Tagungen o.Ä.

Konferenzvortrag (Invited Plenary / Keynote Lecture)

Vortragende/r: Moser, Georg: Uniform Resource Analysis by Rewriting: Strengths and Weaknesses.
2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017), Oxford, 05.09.2017. (Weblink)

Konferenzvortrag (auf Einreichung / Anmeldung)

Vortragende/r: Moser, Georg: Weighted Automata Theory for Resource Analysis of Rewrite Systems.
Dagstuhl Seminar 17291: Resource Bound Analysis, Dagstuhl, 20.07.2017. (Weblink)

Vortrag bei Summer-/Winterschool

Vortragende/r: Moser, Georg: Epsilon Calculus I.
International Summer School for Proof Theory in First-Order Logic, Funchal, 22.08.2017. (Weblink)

2016

Präsentationen auf Kongressen, Tagungen o.Ä.

Konferenzvortrag (auf Einreichung / Anmeldung)

Vortragende/r: Moser, Georg: Complexity of acyclic term graph rewriting.
Workshop: Logic, Complexity and Automation (LCA / LC&A 2016), Obergurgl, 05.09.2016. (Weblink)
Vortragende/r: Moser, Georg Co-AutorInnen: Avanzini, Martin: Complexity of Term Graph Rewriting.
1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), Porto, 25.06.2016. (Weblink)
Vortragende/r: Schaper, Michael Co-AutorInnen: 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, 05.04.2016. (Weblink)
Vortragende/r: Schett, Maria Co-AutorInnen: Moser, Georg: Kruskal's Tree Theorem for Term Graphs.
9th International Workshop Computing with Terms and Graphs (TERMGRAPH 2016), Eindhoven, 08.04.2016. (Weblink)

Vortrag bei Summer-/Winterschool

Vortragende/r: Moser, Georg: Automatic resource analysis of programs.
Twelfth International Tbilisi Summer School in Logic and Language 2016, Tblisi / Tiflis, 15.09.2016. (Weblink)

Vortrag bei Projektmeeting / Forschungskooperationstreffen

Vortragende/r: Moser, Georg: The Embedding Lemma Revisited.
The Fine Structure of Formal Proof Systems and their Computational Interpretations Kick-Off Meeting (FISP 2016), Innsbruck, 17.11.2016. (Weblink)

2015

Präsentationen auf Kongressen, Tagungen o.Ä.

Konferenzvortrag (auf persönliche Einladung)

Vortragende/r: Moser, Georg: The Epsilon Theorems: Simple Things Made Simple.
Workshop on EFFICIENT AND NATURAL PROOF SYSTEMS, Bath, 16.12.2015. (Weblink)

Konferenzvortrag (auf Einreichung / Anmeldung)

Vortragende/r: Hirokawa, Nao Co-AutorInnen: Middeldorp, Aart; Moser, Georg: Leftmost Outermost Revisited.
International Conference on Rewriting, Deduction, and Programming (RDP 2015), Warsaw/Warschau, 30.06.2015. (Weblink)
Vortragende/r: Moser, Georg: Why Ordinals are Sometimes Good for You.
42nd TRS Meeting, Tokyo, 08.02.2015. (Weblink)
Vortragende/r: Moser, Georg Co-AutorInnen: Hofmann, Martin: Multivariate Analysis.
International Conference on Rewriting, Deduction, and Programming (RDP 2015), Warsaw/Warschau, 02.07.2015. (Weblink)
Vortragende/r: Powell, Thomas Co-AutorInnen: Moser, Georg: On the Computational Content of Termination Proofs.
Computability in Europe (CiE 2015) - Evolving Computability, Bukarest / Bucharest, 30.06.2015. (Weblink)

Vortrag bei Summer-/Winterschool

Vortragende/r: Moser, Georg: Termination and Complexity.
8th International School on Rewriting (ISR 2015), Leipzig, 10.08.2015. (Weblink)

Gastvorträge

Gastvortrag

Vortragende/r: Moser, Georg: Amortised Cost Analysis and Term Rewrite Systems.
National Institute of Informatics, Tokyo, 13.02.2015. (Weblink)
Vortragende/r: Moser, Georg Co-AutorInnen: Middeldorp, Aart; Zankl, Harald: Weighted Automata Theory of Complexity Analysis of Rewrite Systems.
JAIST (Japan Advanced Institute for Science and Technology), Kanazawa, 01.08.2015. (Weblink)
Vortragende/r: Moser, Georg Co-AutorInnen: Middeldorp, Aart; Zankl, Harald: Weighted Automata Theory for Complexity Analysis of Rewrite Systems.
Max-Planck-Institut für Informatik, Saarbrücken, 24.03.2015. (Weblink)

2014

Präsentationen auf Kongressen, Tagungen o.Ä.

Konferenzvortrag (auf persönliche Einladung)

Vortragende/r: Moser, Georg: Weighted Automata Theory for Complexity Analysis of Rewrite Systems.
15th International Workshop on Logic and Computational Complexity (LCC'14), Wien, 12.07.2014. (Weblink)
Vortragende/r: Moser, Georg: Automated Complexity Analysis Based on the Dependency Pair Method.
5th Workshop on Developments in Implicit Computational Complexity (DICE 2014), Grenoble, 05.04.2014. (Weblink)

Konferenzvortrag (auf Einreichung / Anmeldung)

Vortragende/r: Moser, Georg Co-AutorInnen: Hirokawa, Nao: Automated Complexity Analysis Based on Context-Sensitive Rewriting.
Joint 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications (RTA & TLCA 2014), Wien, 14.07.2014. (Weblink)
Vortragende/r: Moser, Georg Co-AutorInnen: Hofmann, M.: Amortised Resource Analysis and Typed Polynomial Interpretations.
Joint 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications (RTA & TLCA 2014), Wien, 15.07.2014. (Weblink)
Vortragende/r: Schaper, Michael Co-AutorInnen: Moser, Georg: A Complexity Preserving Transformation from Jinja Bytecode to Rewrite Systems.
Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 14), Wien, 13.07.2014. (Weblink)

Beitrag als Chairperson / SektionsleiterIn / DiskussionsleiterIn / DiskussionsteilnehmerIn

Moser, Georg: Session Chair: Session 18F.
Two Faces of Complexity (2FC 2014), Wien, 12.07.2014. (Weblink)

Gastvorträge

Gastvortrag

Vortragende/r: Moser, Georg: Amortised Resource Analysis and Typed Polynomial Interpretations.
Swansea University, Swansea, 04.12.2014. (Weblink)
Vortragende/r: Moser, Georg: Weighted Automata Theory for Complexity Analysis of Rewrite Systems.
Ludwig-Maximilians-Universität München (LMU), München, 07.11.2014. (Weblink)

2013

Präsentationen auf Kongressen, Tagungen o.Ä.

Konferenzvortrag (auf Einreichung / Anmeldung)

Vortragende/r: Avanzini, Martin Co-AutorInnen: Moser, Georg: A Combination Framework for Complexity.
24th International Conference on Rewriting Techniques and Applications (RTA 2013), Eindhoven, 26.06.2013. (Weblink)
Vortragende/r: Avanzini, Martin Co-AutorInnen: Moser, Georg: Tyrolean Complexity Tool: Features and Usage.
24th International Conference on Rewriting Techniques and Applications (RTA 2013), Eindhoven, 26.06.2013. (Weblink)
Vortragende/r: Moser, Georg: Amortised Cost Analysis for Term Rewriting Systems.
3rd Workshop on Proof Theory and Rewriting, Kanazawa, 08.03.2013. (Weblink)
Vortragende/r: Moser, Georg Co-AutorInnen: Hofmann, Martin: Amortised resource analysis and typed term rewriting.
Implicit Computational Complexity and applications: Resource control, security, real-number computation, Schonan, 05.11.2013. (Weblink)

2012

Präsentationen auf Kongressen, Tagungen o.Ä.

Konferenzvortrag (auf persönliche Einladung)

Vortragende/r: Middeldorp, Aart Co-AutorInnen: 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, 11.03.2012. (Weblink)

Konferenzvortrag (auf Einreichung / Anmeldung)

Vortragende/r: Avanzini, Martin Co-AutorInnen: Eguchi, Naohi; Moser, Georg: A New Order-theoretic Characterisation of the Polytime Computable Functions.
10th Asian Symposium on Programming Languages and Systems, Kyoto, 12.12.2012. (Weblink)
Vortragende/r: Avanzini, Martin Co-AutorInnen: Eguchi, Naohi; Moser, Georg: A New Order-Theoretic Characterisation of the Polytime Computable Functions.
Logic in Computer Science (LICS 2012), Dubrovnik, 25.06.2012. (Weblink)
Vortragende/r: Moser, Georg: KBOs, Ordinals, Subrecursive Hierarchies and All That.
Concepts and Meaning - Workshop in honour of Alexander Leitsch's 60th Birthday, Wien, 05.05.2012. (Weblink)
Vortragende/r: Moser, Georg Co-AutorInnen: Avanzini, Martin; Eguchi, Naohi: On a Correspondence between Predicative Recursion and Register Machines.
12th International Workshop on Termination (WST 2012), Obergurgl, 20.02.2012. (Weblink)
Vortragende/r: Schaper, Michael Co-AutorInnen: Moser, Georg: Termination Graphs Revisited.
12th International Workshop on Termination (WST 2012), Obergurgl, 21.02.2012. (Weblink)

Beitrag als Chairperson / SektionsleiterIn / DiskussionsleiterIn / DiskussionsteilnehmerIn

Gimenez, Stephane; Moser, Georg; Thiemann, Rene; Zankl, Harald: Session Chairs.
12th International Workshop on Termination (WST 2012), Obergurgl, 20.02.2012. (Weblink)

Vortrag bei Summer-/Winterschool

Vortragende/r: Moser, Georg: Automated Complexity Analysis of Term Rewriting Systems.
6th International School on Rewriting (ISR 2012), Valencia, 16.07.2012. (Weblink)

Gastvorträge

Gastvortrag

Vortragende/r: Moser, Georg: Predicative Recursion and Register Machines.
Ludwig-Maximilians-Universität München (LMU), München, 06.02.2012.

Vorträge für die Öffentlichkeit

Öffentlicher Vortrag

Felgenhauer, Bertram; Gimenez, Stephane; Kaliszyk, Cezary; Kop, Cynthia; Middeldorp, Aart; Moser, Georg: Gibt es logische Puzzles jenseits von Sudoku.
BeSt (Berufs- und Studieninformationsmesse), Innsbruck, 22.10.2012 - 24.10.2012. (Weblink)
Middeldorp, Aart; Moser, Georg; Kaliszyk, Cezary; Kop, Cynthia; Gimenez, Stephane; Felgenhauer, Bertram: Logikrätsel.
BeSt (Berufs- und Studieninformationsmesse), Innsbruck, 17.10.2012 - 19.10.2012.

2011

Präsentationen auf Kongressen, Tagungen o.Ä.

Konferenzvortrag (auf Einreichung / Anmeldung)

Vortragende/r: Avanzini, Martin Co-AutorInnen: Eguchi, Naohi; Moser, Georg: A Path Order for Rewrite Systems that Compute Exponential Time Functions.
22nd International Conference on Rewriting Techniques and Applications (RTA 2011), Novi Sad, 01.06.2011. (Weblink)
Vortragende/r: Moser, Georg Co-AutorInnen: Schnabl, Andreas: Termination Proofs in the Dependency Pair Framework May Induce Multiple Recursive Derivational Complexity.
22nd International Conference on Rewriting Techniques and Applications (RTA 2011), Novi Sad, 30.05.2011. (Weblink)
Vortragende/r: Voronkov, Andrei Co-AutorInnen: Moser, Georg; Kovacs, Laura: On Transﬁnite Knuth-Bendix Orders.
23rd International Conference on Automated Deduction (CADE 2011), Wrocław / Breslau, 02.08.2011. (Weblink)

Beitrag als Chairperson / SektionsleiterIn / DiskussionsleiterIn / DiskussionsteilnehmerIn

Moser, Georg: Session Chair - Afternoon Session June 15, Morning Session June 16.
Workshop Structural, Paris, 15.06.2011. (Weblink)
Moser, Georg: Session Chair - Session 2.
22nd International Conference on Rewriting Techniques and Applications (RTA 2011), Novi Sad, 30.05.2011. (Weblink)
Moser, Georg: Session Chair.
Two Faces of Complexity (2FC 2011), Novi Sad, 29.05.2011. (Weblink)

Vortrag bei Summer-/Winterschool

Vortragende/r: Middeldorp, Aart; Moser, Georg: Termination and Complexity of Rewrite Systems.
23rd European Summer School in Logic, Language and Information (ESSLLI 2011), Ljubljana, 08.08.2011. (Weblink)

Vortrag bei Projektmeeting / Forschungskooperationstreffen

Vortragende/r: Moser, Georg: The Epsilon Theorems and Herbrand Complexity.
Workshop Structural, Paris, 16.06.2011. (Weblink)

Gastvorträge

Gastvortrag

Vortragende/r: Moser, Georg: Computation with Bounded Resources.
University of Cape Town, Kapstadt, 15.11.2011.

2010

Präsentationen auf Kongressen, Tagungen o.Ä.

Konferenzvortrag (auf persönliche Einladung)

Vortragende/r: Moser, Georg: Complexity Analysis of Programs by Rewriting.
IFIP Working Group 1.6 (Term Rewriting) - Meeting 2010, Edinburgh, 10.07.2010. (Weblink)

Konferenzvortrag (auf Einreichung / Anmeldung)

Vortragende/r: Avanzini, Martin Co-AutorInnen: Moser, Georg: Closing the Gap Between Runtime Complexity and Polytime Computability.
21st International Conference on Rewriting Techniques and Applications (RTA 2010), Edinburgh, 13.07.2010. (Weblink)
Vortragende/r: Avanzini, Martin Co-AutorInnen: Moser, Georg: Complexity Analysis by Graph Rewriting.
10th International Symposium on Functional and Logic Programming (FLOPS 2010), Sendai, 20.04.2010. (Weblink)
Vortragende/r: Moser, Georg Co-AutorInnen: Bonfante, Guillaume: Characterising Space Complexity Classes via Knuth-Bendix Orders.
17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 17), Yogyakarta, 14.10.2010. (Weblink)
Vortragende/r: Schnabl, Andreas Co-AutorInnen: Moser, Georg: Dependency Graphs, Relative Rule Removal, the Subterm Criterion and Derivational Complexity.
11th International Workshop on Termination (WST 2010), Edinburgh, 15.07.2010. (Weblink)

Beitrag als Chairperson / SektionsleiterIn / DiskussionsleiterIn / DiskussionsteilnehmerIn

Middeldorp, Aart; Moser, Georg: Session Chair.
17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 17), Yogyakarta, 14.10.2010. (Weblink)
Moser, Georg: Session Chair, Session 1.
21st International Conference on Rewriting Techniques and Applications (RTA 2010), Edinburgh, 11.07.2010. (Weblink)
Moser, Georg: Session Chair.
2nd Workshop on Proof Theory and Rewriting 2010, Obergurgl, 28.03.2010. (Weblink)

Vortrag bei Summer-/Winterschool

Vortragende/r: Moser, Georg: Complexity Analysis of Term Rewrite Systems.
5th International School on Rewriting (ISR 2010), Utrecht, 07.07.2010. (Weblink)

Vortrag bei Projektmeeting / Forschungskooperationstreffen

Vortragende/r: Moser, Georg: Towards Complexity Analysis of Programs by Rewriting.
3rd Austria-Japan Summer Workshop on Term Rewriting (AJSW 2010), Obergurgl, 06.08.2010. (Weblink)
Vortragende/r: Moser, Georg: Automated Complexity Analysis of Rewriting.
Concerto - Final Meeting, Turin, 10.06.2010. (Weblink)
Vortragende/r: Moser, Georg: Primitive Recursion Revisited.
Workshop Paris - Innsbruck - Tbilisi: Workshop of the PHC Amadeus project "Logic-Based Analysis of Computation" and the CNRS/GNSF project "Structura and computational properties of logics", Paris, 20.05.2010. (Weblink)

Gastvorträge

Gastvortrag

Vortragende/r: Moser, Georg: Automated Complexity Analysis Based on the Dependency Pair Method.
Max-Planck-Institut für Informatik, Saarbrücken, 26.10.2010.

Vorträge für die Öffentlichkeit

Öffentlicher Vortrag

Moser, Georg; Schnabl, Andreas; Winkler, Sarah: Das Informatikstudium in Innsbruck.
BeSt (Berufs- und Studieninformationsmesse), Innsbruck, 20.10.2010 - 22.10.2010. (Weblink)
Moser, Georg; Winkler, Sarah: Algorithmen vs. Kochrezepte.
UniCamp 2010, Innsbruck, 10.08.2010.

2009

Präsentationen auf Kongressen, Tagungen o.Ä.

Konferenzvortrag (auf persönliche Einladung)

Vortragende/r: Moser, Georg: Complexity Analysis of Term Rewrite Systems.
IFIP Working Group 1.6 (Term Rewriting) - Meeting 2009, Brasilia, 02.07.2009. (Weblink)

Konferenzvortrag (auf Einreichung / Anmeldung)

Vortragende/r: Moser, Georg: The Hydra Battle and Cichon's Principle.
Research Workshop in Proof Theory and Constructivism, Leeds, 09.07.2009. (Weblink)
Vortragende/r: Moser, Georg: Dependency Pairs and Polynomial Path Orders.
31st TRS Meeting, Ishikawa, 23.02.2009. (Weblink)
Vortragende/r: Moser, Georg: The Hydra Battle and Cichon's Principle.
5th Rewriting Seminar, Ishikawa, 20.02.2009.

Beitrag als Chairperson / SektionsleiterIn / DiskussionsleiterIn / DiskussionsteilnehmerIn

Moser, Georg: Session Chair.
Research Workshop in Proof Theory and Constructivism, Leeds, 09.07.2009.
Moser, Georg: Session Chair, Session 2.
10th International Workshop on Termination (WST 2009), Leipzig, 05.06.2009. (Weblink)
Moser, Georg: Session Chair.
31st TRS Meeting, Ishikawa, 24.02.2009. (Weblink)

Vortrag bei Projektmeeting / Forschungskooperationstreffen

Vortragende/r: Moser, Georg: Proof Theory at Work: Complexity Analysis of Term Rewrite Systems.
3rd Meeting of COMPLICE, Nancy, 23.10.2009. (Weblink)
Vortragende/r: Moser, Georg: Complexity of Term Rewrite Systems.
Workshop Paris - Innsbruck, Paris, 15.09.2009. (Weblink)

Gastvorträge

Gastvortrag

Vortragende/r: Moser, Georg: Complexity Analysis of Term Rewrite Systems.
Technische Universität Darmstadt, Darmstadt, 28.04.2009. (Weblink)

Vorträge für die Öffentlichkeit

Öffentlicher Vortrag

Avanzini, Martin; Korp, Martin; Moser, Georg; Neurauter, Friedrich; Schnabl, Andreas; Sternagel, Christian; Thiemann, Rene; Winkler, Sarah; Zankl, Harald: Was ist schwieriger als Sudoku?
Lange Nacht der Forschung, Innsbruck, 07.11.2009.
Avanzini, Martin; Korp, Martin; Moser, Georg; Neurauter, Friedrich; Schnabl, Andreas; Sternagel, Christian; Thiemann, Rene; Winkler, Sarah; Zankl, Harald: Was ist schwieriger als Sudoku?
Junge Uni, Innsbruck, 06.11.2009.

2008

Präsentationen auf Kongressen, Tagungen o.Ä.

Konferenzvortrag (auf persönliche Einladung)

Vortragende/r: Moser, Georg: The Epsilon Theorems and Herbrand Complexity.
4th International Workshop on Analytic Proof Systems, Doha, 22.11.2008. (Weblink)
Vortragende/r: Moser, Georg: Matrix Interpretations May Induce Polynomial Complexity.
1st Mini-Workshop on Rewriting Techniques, Ishikawa, 01.08.2008. (Weblink)
Vortragende/r: Moser, Georg: The Epsilon Calculus and Herbrand Complexity.
International conference Logical models of reasoning and computation (LMRC2008), Moskau, 07.05.2008.

Konferenzvortrag (auf Einreichung / Anmeldung)

Vortragende/r: Moser, Georg: Complexity Analysis of Term Rewriting Based on Matrix and Context Dependent Interpretations.
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2008), Bangalore, 09.12.2008. (Weblink)
Vortragende/r: Moser, Georg: Complexity, Graphs, and the Dependency Pair Method.
15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2008), Doha, 27.11.2008. (Weblink)
Vortragende/r: Moser, Georg: Automated Implicit Computational Complexity Analysis.
4th International Joint Conference on Automated Reasoning (IJCAR 2008), Sydney, 12.08.2008. (Weblink)
Vortragende/r: Moser, Georg: Complexity Analysis by Rewriting.
9th International Symposium on Functional and Logic Programming (FLOPS 2008), Ise, 15.04.2008. (Weblink)

Beitrag als Chairperson / SektionsleiterIn / DiskussionsleiterIn / DiskussionsteilnehmerIn

Moser, Georg: Session Chair, Session Rewriting 2.
15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2008), Doha, 27.11.2008. (Weblink)
Moser, Georg: Session Chair, Session 3.
8th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2008), Hagenberg, 14.07.2008. (Weblink)

Gastvorträge

Gastvortrag

Vortragende/r: Moser, Georg: Term Induction.
JAIST (Japan Advanced Institute for Science and Technology), Kanazawa, 07.08.2008.

2007

Präsentationen auf Kongressen, Tagungen o.Ä.

Konferenzvortrag (auf persönliche Einladung)

Vortragende/r: Moser, Georg: Proving Termination of Scheme Programs by Rewriting.
Moscow-Vienna Workshop on Logic and Computation 2007, Wien, 02.07.2007. (Weblink)

Gastvorträge

Gastvortrag

Vortragende/r: Moser, Georg: The Hydra Battle and Cichon's Principle.
Kobe University, Kobe, 20.11.2007.
Vortragende/r: Moser, Georg: Complexity Analysis by Rewriting.
JAIST (Japan Advanced Institute for Science and Technology), Kanazawa, 07.11.2007.

2005

Präsentationen auf Kongressen, Tagungen o.Ä.

Konferenzvortrag (auf persönliche Einladung)

Vortragende/r: Moser, Georg: Ackermann's Substitution Method (remixed).
Collegium Logicum: Cut-Elimination, Wien, 06.07.2005.

Konferenzvortrag (auf Einreichung / Anmeldung)

Vortragende/r: Moser, Georg: Tiered Recursion and Strategies.
5th International Workshop on Reduction Strategies in Rewriting and Programming (WRS'05), Nara, 22.04.2005.

2024

Projekte

Frontull, Samuel; Hell, Tobias Josef: Maschinelle Übersetzung für die ladinische Sprache.
Istitut Ladin Micurà de rü
01.09.2021 - 31.08.2024
Moser, Georg: Kooperation MED-EL - LMQL.
Med-El Elektromedizinische Geräte Gesellschaft m.b.H.
01.07.2024 - 30.06.2025
Moser, Georg: AUTOSARD. Automated Sublinear Amortised Resource Analysis of Data Structures.
Fonds zur Förderung der wissenschaftlichen Forschung (FWF), Einzelprojekt
01.04.2023 - 31.03.2026

Stipendien

Moser, Georg: Antrag auf Zuschuss für Veranstaltung International Summer School ISR 2024.
Leopold-Franzens-Universität Innsbruck - International Relations Office, Staff Incoming
25.08.2024 - 01.09.2024
Moser, Georg: Royal Society International Exchange Award.
The Royal Society of London for Improving Natural Knowledge
31.03.2023 - 30.03.2025

2023

Projekte

Frontull, Samuel; Hell, Tobias Josef: Maschinelle Übersetzung für die ladinische Sprache.
Istitut Ladin Micurà de rü
01.09.2021 - 31.08.2024
Moser, Georg: AUTOSARD. Automated Sublinear Amortised Resource Analysis of Data Structures.
Fonds zur Förderung der wissenschaftlichen Forschung (FWF), Einzelprojekt
01.04.2023 - 31.03.2026

Stipendien

Moser, Georg: Royal Society International Exchange Award.
The Royal Society of London for Improving Natural Knowledge
31.03.2023 - 30.03.2025

2022

Projekte

Frontull, Samuel; Hell, Tobias Josef: Maschinelle Übersetzung für die ladinische Sprache.
Istitut Ladin Micurà de rü
01.09.2021 - 31.08.2024

2021

Projekte

Frontull, Samuel; Hell, Tobias Josef: Maschinelle Übersetzung für die ladinische Sprache.
Istitut Ladin Micurà de rü
01.09.2021 - 31.08.2024
Moser, Georg: Proof theory for branching quantifiers: CERES and beyond.
Fonds zur Förderung der wissenschaftlichen Forschung (FWF), Einzelprojekt
01.01.2018 - 30.04.2021

Stipendien

Nössig, Albert: Inductive Programming and Rule Learning.
Leopold-Franzens-Universität Innsbruck - Vizerektorat für Forschung, Doktoratsstipendien aus der Nachwuchsförderung der LFU
01.05.2020 - 30.04.2021

2020

Projekte

Moser, Georg: Proof theory for branching quantifiers: CERES and beyond.
Fonds zur Förderung der wissenschaftlichen Forschung (FWF), Einzelprojekt
01.01.2018 - 30.04.2021

Stipendien

Nössig, Albert: Inductive Programming and Rule Learning.
Leopold-Franzens-Universität Innsbruck - Vizerektorat für Forschung, Doktoratsstipendien aus der Nachwuchsförderung der LFU
01.05.2020 - 30.04.2021

2019

Projekte

Moser, Georg: Proof theory for branching quantifiers: CERES and beyond.
Fonds zur Förderung der wissenschaftlichen Forschung (FWF), Einzelprojekt
01.01.2018 - 30.04.2021
Moser, Georg: FISP. The Fine structure of proof systems and its computational interpretations.
Fonds zur Förderung der wissenschaftlichen Forschung (FWF), Joint Projects
01.01.2016 - 30.06.2019
Winkler, Sarah; Moser, Georg: Instantiation- and Learning-Based Methods in Equational Reasoning.
Fonds zur Förderung der wissenschaftlichen Forschung (FWF), Hertha-Firnberg-Programm
01.10.2016 - 30.09.2019

2018

Projekte

Moser, Georg: Proof theory for branching quantifiers: CERES and beyond.
Fonds zur Förderung der wissenschaftlichen Forschung (FWF), Einzelprojekt
01.01.2018 - 30.04.2021
Moser, Georg: FISP. The Fine structure of proof systems and its computational interpretations.
Fonds zur Förderung der wissenschaftlichen Forschung (FWF), Joint Projects
01.01.2016 - 30.06.2019
Moser, Georg: CAGE. Complexity Analysis-based Guaranteed Execution, Draper Proposal Number: 15-B13.
The Charles Stark Draper Laboratory, Inc.
28.04.2015 - 24.04.2018
Winkler, Sarah; Moser, Georg: Instantiation- and Learning-Based Methods in Equational Reasoning.
Fonds zur Förderung der wissenschaftlichen Forschung (FWF), Hertha-Firnberg-Programm
01.10.2016 - 30.09.2019

2017

Projekte

Moser, Georg: FISP. The Fine structure of proof systems and its computational interpretations.
Fonds zur Förderung der wissenschaftlichen Forschung (FWF), Joint Projects
01.01.2016 - 30.06.2019
Moser, Georg: CAGE. Complexity Analysis-based Guaranteed Execution, Draper Proposal Number: 15-B13.
The Charles Stark Draper Laboratory, Inc.
28.04.2015 - 24.04.2018
Winkler, Sarah; Moser, Georg: Instantiation- and Learning-Based Methods in Equational Reasoning.
Fonds zur Förderung der wissenschaftlichen Forschung (FWF), Hertha-Firnberg-Programm
01.10.2016 - 30.09.2019

2016

Projekte

Moser, Georg: FISP. The Fine structure of proof systems and its computational interpretations.
Fonds zur Förderung der wissenschaftlichen Forschung (FWF), Joint Projects
01.01.2016 - 30.06.2019
Moser, Georg: CAGE. Complexity Analysis-based Guaranteed Execution, Draper Proposal Number: 15-B13.
The Charles Stark Draper Laboratory, Inc.
28.04.2015 - 24.04.2018
Moser, Georg: Automatische Komplexitätsanalyse mittels Transformationen.
Fonds zur Förderung der wissenschaftlichen Forschung (FWF), Einzelprojekt
01.10.2013 - 30.09.2016
Winkler, Sarah; Moser, Georg: Instantiation- and Learning-Based Methods in Equational Reasoning.
Fonds zur Förderung der wissenschaftlichen Forschung (FWF), Hertha-Firnberg-Programm
01.10.2016 - 30.09.2019

2015

Projekte

Moser, Georg: CAGE. Complexity Analysis-based Guaranteed Execution, Draper Proposal Number: 15-B13.
The Charles Stark Draper Laboratory, Inc.
28.04.2015 - 24.04.2018
Moser, Georg: Automatische Komplexitätsanalyse mittels Transformationen.
Fonds zur Förderung der wissenschaftlichen Forschung (FWF), Einzelprojekt
01.10.2013 - 30.09.2016

2014

Projekte

Moser, Georg: Automatische Komplexitätsanalyse mittels Transformationen.
Fonds zur Förderung der wissenschaftlichen Forschung (FWF), Einzelprojekt
01.10.2013 - 30.09.2016
Moser, Georg: Structural. Structural and Computational Proof Theory.
Fonds zur Förderung der wissenschaftlichen Forschung (FWF), Joint Projects
01.02.2011 - 31.03.2014

2013

Projekte

Moser, Georg: Automatische Komplexitätsanalyse mittels Transformationen.
Fonds zur Förderung der wissenschaftlichen Forschung (FWF), Einzelprojekt
01.10.2013 - 30.09.2016
Moser, Georg: Structural. Structural and Computational Proof Theory.
Fonds zur Förderung der wissenschaftlichen Forschung (FWF), Joint Projects
01.02.2011 - 31.03.2014

2012

Projekte

Moser, Georg: Structural. Structural and Computational Proof Theory.
Fonds zur Förderung der wissenschaftlichen Forschung (FWF), Joint Projects
01.02.2011 - 31.03.2014

2011

Projekte

Moser, Georg: Structural. Structural and Computational Proof Theory.
Fonds zur Förderung der wissenschaftlichen Forschung (FWF), Joint Projects
01.02.2011 - 31.03.2014
Moser, Georg: Derivationskomplexitätsanalyse.
Fonds zur Förderung der wissenschaftlichen Forschung (FWF), Einzelprojekt
01.10.2007 - 31.08.2011

2010

Projekte

Moser, Georg: Derivationskomplexitätsanalyse.
Fonds zur Förderung der wissenschaftlichen Forschung (FWF), Einzelprojekt
01.10.2007 - 31.08.2011

Stipendien

Moser, Georg: Mobititätsförderung für Logikbasierte Analyse von Berechnungen.
OeAD-GsmbH (Österreichische Austauschdienst) - Austrian Agency for International Cooperation in Education and Research
01.01.2009 - 31.12.2010

2009

Projekte

Moser, Georg: Derivationskomplexitätsanalyse.
Fonds zur Förderung der wissenschaftlichen Forschung (FWF), Einzelprojekt
01.10.2007 - 31.08.2011

Stipendien

Moser, Georg: Mobititätsförderung für Logikbasierte Analyse von Berechnungen.
OeAD-GsmbH (Österreichische Austauschdienst) - Austrian Agency for International Cooperation in Education and Research
01.01.2009 - 31.12.2010

2008

Projekte

Moser, Georg: Derivationskomplexitätsanalyse.
Fonds zur Förderung der wissenschaftlichen Forschung (FWF), Einzelprojekt
01.10.2007 - 31.08.2011

2007

Projekte

Moser, Georg: Derivationskomplexitätsanalyse.
Fonds zur Förderung der wissenschaftlichen Forschung (FWF), Einzelprojekt
01.10.2007 - 31.08.2011