2025
(Mit-)Herausgeberschaft von Periodika / Buchreihen
Herausgeberschaft von Periodikum / Buchreihe
Felty, Amy; Moser, Georg: Editor of Special Issue - Logical Methods in Computer Science, 01.09.2022 lfd.
Beiträge in Büchern / Zeitschriften
Zeitschriftenbeitrag (Proceedings Paper)
2024
(Mit-)Herausgeberschaft von Periodika / Buchreihen
Herausgeberschaft von Periodikum / Buchreihe
- Felty, Amy; Moser, Georg: Editor of Special Issue - Logical Methods in Computer Science, 01.09.2022 lfd.
Beiträge in Büchern / Zeitschriften
Zeitschriftenaufsatz (Originalarbeit)
- Frontull, Samuel; Moser, Georg (2024): Traduzione automatica “neurale” per il ladino della Val Badia.
In: Ladinia - Sföi Culturâl di Ladins dles Dolomites XLVIII, S. 119 - 144. (Weblink) 
Miyamoto, Kenji; Moser, Georg (2024): Herbrand complexity and the epsilon calculus with equality.
In: Archive for Mathematical Logic 63, S. 89 - 118. (DOI) (Weblink)- Nössig, Albert; Hell, Tobias; Moser, Georg (2024): Rule learning by modularity.
In: MACHINE LEARNING 113/10, S. 7479 - 7508. (DOI) (Weblink)
Zeitschriftenbeitrag (Proceedings Paper)
- Avanzini, Martin; Barthe, Gilles; Grégoire, Benjamin; Moser, Georg; Vanoni, Gabriele (2024): Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs.
In: Proceedings of the ACM on Programming Languages 8, S. 784 - 809. (DOI) (Weblink)
Beitrag in Proceedingsband
- 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) - Beckmann, Arnold; Moser, Georg (2024): On Complexity of Confluence and Church-Rosser Proofs.
In: Královič, R.; Kučera, A.: Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik (= Leibniz International Proceedings in Informatics (LIPICS), 306)., ISBN 978-3-95977-335-5, No. 21. (DOI) (Weblink) - Frontull, Samuel; Moser, Georg (2024): Rule-Based, Neural and LLM Back-Translation: Comparative Insights from a Variant of Ladin.
In: Ojha, A; et al: Proceedings of the 7th Workshop on Technologies for Machine Translation of Low-Resource Languages (LoResMT 2024). Stroudsburg, PA: Association for Computational Linguistics (ACL)., S. 128 - 138. (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)
Medienbeiträge
Beitrag in Fernsehen / Videoplattform
- Frontull, Samuel: Meet the Innovators: Samuel Frontull on Creating Machine Translation to Promote Ladin (Interview).
In: Federal Union of European Nationalities (FUEN) vom 14.11.2024. (Weblink)
2023
(Mit-)Herausgeberschaft von Periodika / Buchreihen
Herausgeberschaft von Periodikum / Buchreihe
- Felty, Amy; Moser, Georg: Editor of Special Issue - Logical Methods in Computer Science, 01.09.2022 lfd.
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
- 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 für Informatik (= Leibniz International Proceedings in Informatics (LIPICS), 260)., ISBN 978-3-95977-277-8, No. 22. (DOI) (Weblink)
2022
(Mit-)Herausgeberschaft von Periodika / Buchreihen
Herausgeberschaft von Periodikum / Buchreihe
- Felty, Amy; Moser, Georg: Editor of Special Issue - Logical Methods in Computer Science, 01.09.2022 lfd.
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
- 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)
2021
Beiträge in Büchern / Zeitschriften
Beitrag in Proceedingsband
- 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
2019
Beiträge in Büchern / Zeitschriften
Beitrag in Proceedingsband
- 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
- 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
- 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
- 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 für 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
- 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 für 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 für 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
- 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
- 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 für 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 für 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 für 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
- 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
- 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 für 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 für 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
- 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 für 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
- 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
- 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 für 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
- 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
- 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
- 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)
2025
Präsentationen auf Kongressen, Tagungen o.Ä.
Konferenzvortrag
- Vortragende/r: Fiore, Marcelo P. Co-AutorInnen: Kammar, Ohad; Moser, Georg; Staton, Sam: Modular abstract syntax trees (MAST): substitution tensors with second-class sorts.
41st Conference on Mathematical Foundations of Programming Semantics MFPS XLI (MFPS 2025), Glasgow, 20.06.2025. (Weblink)
2024
Präsentationen auf Kongressen, Tagungen o.Ä.
Konferenzvortrag
- Vortragende/r: Avanzini, Martin Co-AutorInnen: Barthe, Gilles; Grégoire, Benjamin; Moser, Georg; Vanoni, Gabriel: Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs.
Object-oriented Programming, Systems, Languages, and Applications (OOPSLA 2024), Pasadena, 24.10.2024. (Weblink) - Vortragende/r: Beckmann, Arnold Co-AutorInnen: Moser, Georg: On Complexity of Confluence and Church-Rosser Proofs.
49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024), Bratislava, 30.08.2024. (Weblink) - Vortragende/r: Frontull, Samuel Co-AutorInnen: Moser, Georg: Rule-Based, Neural and LLM Back-Translation: Comparative Insights from a Variant of Ladin.
7th Workshop on Technologies for Machine Translation of Low-Resource Languages (LoResMT 2024), Bangkok, 15.08.2024. (Weblink) - 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) - Vortragende/r: Thiemann, René Co-AutorInnen: Middeldorp, Aart; Moser, Georg; Baumgartner, Gernot; Ingenhaeff, Martina: International School on Rewriting (ISR).
IFIP Working Group 1.6 on Term Rewriting, Nancy, 01.07.2024. (Weblink)
Beitrag als Chairperson / SektionsleiterIn / DiskussionsleiterIn / DiskussionsteilnehmerIn
- Frontull, Samuel: Member of the penal discussion: The added value of the language industry.
8th Forum of European Minority Regions, San Sebastian/Donostia, 26.11.2024. (Weblink)
2023
Präsentationen auf Kongressen, Tagungen o.Ä.
Konferenzvortrag
- 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: Formal Methods for Quantum Computing.
University of Swansea, Swansea, 23.07.2023. - 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
- 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, 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: Moser, Georg: Automated Expected Cost Analysis of Splaying et al.
The University of Edinburgh, Edinburgh, 28.10.2022. (Weblink)
2021
Präsentationen auf Kongressen, Tagungen o.Ä.
Konferenzvortrag
- 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
2020
Präsentationen auf Kongressen, Tagungen o.Ä.
Konferenzvortrag
- 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)
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
- 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
- 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 (Keynote)
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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 Transfinite 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)
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
- 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
- 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)
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
- 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
- Vortragende/r: Moser, Georg: Tiered Recursion and Strategies.
5th International Workshop on Reduction Strategies in Rewriting and Programming (WRS'05), Nara, 22.04.2005.
2025
Projekte
- Frontull, Samuel; Hell, Tobias Josef: Maschinelle Übersetzung für die ladinische Sprache.
Istitut Ladin Micurà de rü
01.09.2021 - 31.03.2025 - Moser, Georg: ExpiKI. ExpiKI - Praktika für Schüler:innen 2025.
Österreichische Forschungsförderungsgesellschaft mbH (FFG), Talente - Praktika für Schülerinnen und Schüler
01.06.2025 - 30.09.2025 - Moser, Georg: Intelligenter Schreibassistent für die ladinische Sprache und Erweiterung des maschinellen Übersetzers für das Grödner Ladinisch.
Istitut Ladin Micurà de rü
01.02.2025 - 31.12.2027 - 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: Royal Society International Exchange Award.
The Royal Society of London for Improving Natural Knowledge
31.03.2023 - 30.03.2025
2024
Projekte
- Frontull, Samuel; Hell, Tobias Josef: Maschinelle Übersetzung für die ladinische Sprache.
Istitut Ladin Micurà de rü
01.09.2021 - 31.03.2025 - 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: ISR 2024. Antrag auf Zuschuss für Veranstaltung International Summer School ISR 2024.
Universität Innsbruck - International Relations Office (IRO), 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.03.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: 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.03.2025
2021
Projekte
- Frontull, Samuel; Hell, Tobias Josef: Maschinelle Übersetzung für die ladinische Sprache.
Istitut Ladin Micurà de rü
01.09.2021 - 31.03.2025 - 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.
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.
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-GmbH - Agentur für Bildung und Internationalisierung (Austria's Agency for Education and Internationalisation)
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-GmbH - Agentur für Bildung und Internationalisierung (Austria's Agency for Education and Internationalisation)
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