Manuel Schneckenreither

Manuel Schneckenreither, MSc

Zimmer: o 4.66

Tel.: +43 (512) 507 - 73283
Fax: +43 (512) 507 - 73398

E-Mail:  manuel.schneckenreither@uibk.ac.at



Akademischer Werdegang:

2011 - Manuel Schneckenreither begann 2011 an der Universität Innsbruck mit dem Bachelorstudium Informatik, nach einem Jahr Auslandsaufenhalt an der Point Park University in Pittsburgh, USA.

2014 - Nachdem er sein Bachelorstudium abgeschlossen hatte begann er 2014 sowohl das Masterstudium Informatik, als auch das Masterstudium Wirtschaftsinformatik. Seit seinem Abschluss in Wirtschaftsinformatik, in dem er einen Eintrag auf der Dean’s List erreichte, arbeitet er an seinem PhD am Institut für Produktionswirtschaft und Logistik der Universität Innsbruck.

2017 - 2017 erhielt er Fördergelder von der Nachwuchsförderung der Daniel Swarovski KG.

 

Freizeit:

Ausübung von verschiedensten Sportarten

Publikationen

(Hinweis: Verwendung der Publikationen (PDFs) nur für den persönlichen, nicht kommerziellen Gebrauch. Eine weitere Verteilung der PDFs ist nicht gestattet.) 

Monographien

 

Publikationen 2018

Beiträge in Büchern / Zeitschriften

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