Forschung

Publikationen 2025

Herausgeberschaften

Proceedings (Herausgeberschaft)

• 
  Nessler, Bernhard; Piater, Justus; Roth, Peter (2025): Austrian Symposium on AI, Robotics, and Vision (AIRoV). Proceedings – March 26–27, 2024, University of Innsbruck. Innsbruck: innsbruck university press (IUP). ISBN 978-3-99106-150-2. (DOI) (Weblink)
  
  

(Mit-)Herausgeberschaft von Periodika / Buchreihen

Herausgeberschaft von Periodikum / Buchreihe

• 
  Böhme, Rainer: Member of the Editorial Board - IEEE Transactions on Information Forensics and Security, 01.01.2017 lfd. (Weblink)
  
  
• 
  Böhme, Rainer: Member of the Editorial Board - Wirtschaftsinformatik / Business & Information Business Engineering (BISE), 01.01.2016 lfd. (Weblink)
  
  
• 
  Böhme, Rainer: Member of the Editorial board - EURASIP Journal on Information Security, 01.01.2013 lfd. (Weblink)
  
  
• 
  Böhme, Rainer: Member of the Editorial Board - Electronic Commerce Research (ECR), 01.01.2013 lfd. (Weblink)
  
  
• 
  Breu, Ruth: Member of the Editorial Board - Software & Systems Modeling (SoSyM), 01.01.2013 lfd. (Weblink)
  
  
• 
  Breu, Ruth: Member of Editorial Board - International Journal of Web Engineering and Technology (IJWET), 01.01.2009 lfd. (Weblink)
  
  
• 
  David, Istvan; Zech, Philipp; Neto, Valdemar; Cetinkaya, Deniz: Guest Editor der Theme Section: Modeling for Simulation - Journal of Software and Systems Modeling, SoSyM, 01.10.2024 lfd. (Weblink)
  
  
• 
  Eberl, Manuel: Editor - Annals of Formalized Mathematics (AFM), 01.07.2024 lfd. (Weblink)
  
  
• 
  Eberl, Manuel: Editor - Archive of Formal Proofs, 01.07.2024 lfd. (Weblink)
  
  
• 
  Eberl, Manuel: Editor - Archive of Formal Proofs, 01.01.2024 lfd. (Weblink)
  
  
• 
  Eberl, Manuel: Member of the Editorial Board - Annals of Formalized Mathematics (AFM), 01.01.2024 lfd. (Weblink)
  
  
• 
  Fahringer, Thomas: Associate Editor - IEEE Transactions on Cloud Computing, 01.01.2013 lfd.
  
  
• 
  Felty, Amy; Moser, Georg: Editor of Special Issue - Logical Methods in Computer Science, 01.09.2022 lfd.
  
  
• 
  Harders, Matthias: Associate editor - Presence - MIT Press Journal, 01.03.2014 lfd. (Weblink)
  
  
• 
  Harders, Matthias: Associate editor - ACM Transactions on Applied Perception, 01.03.2014 lfd. (Weblink)
  
  
• 
  Harders, Matthias: Editorial Advisory Board Member - Springer Series on Touch and Haptic Systems, 01.03.2014 lfd. (Weblink)
  
  
• 
  Harders, Matthias: Editorial Board Member - Virtual Reality, 01.03.2014 lfd. (Weblink)
  
  
• 
  Jatowt, Adam: Editorial Board Member - Journal of Social Computing (JoSC), 01.01.2022 lfd. (Weblink)
  
  
• 
  Middeldorp, Aart: Editorial Board - Electronic Proceedings in Theoretical Computer Science, 01.04.2009 lfd. (Weblink)
  
  
• 
  Middeldorp, Aart: Editor - Journal of Automated Reasoning, 01.01.2007 lfd. (Weblink)
  
  
• 
  Middeldorp, Aart: Editor - Applicable Algebra in Engineering, Communication and Computing, 01.09.2003 lfd.
  
  
• 
  Thiemann, René: Editor - Archive of Formal Proofs, 01.01.2017 lfd. (Weblink)
  
  
• 
  Zech, Philipp: Guest Editor Theme Section: Modeling for Simulation - Journal of Software and Systems Modeling, SoSyM, 01.07.2025 lfd. (Weblink)
  
  
• 
  Zech, Philipp: Guest Editor - Software and Systems Modeling (SoSyM), 24.10.2024 lfd. (Weblink)
  
  

Beiträge in Büchern / Zeitschriften

Zeitschriftenaufsatz (Originalarbeit)

• 
  Acosta-Garcia, Laura; Aznar-Poveda, Juan; Garcia-Sanchez, Antonio Javier; Hollenstein, Jakob; Garcia-Haro, Joan; Fahringer, Thomas (2025): ADRL: A reconfigurable energy-efficient transmission policy for mobile LoRa devices based on reinforcement learning.
  In: Internet of Things 31, No. 101577. (DOI) (Weblink)
  
  
• 
  Amschwand, Dominik; Tschan, Seraina; Scherler, Martin; Hoelzle, Martin; Krummenacher, Bernhard; Haberkorn, Anna; Kienholz, Christian; Aschwanden, Lukas; Gubler, Hansueli (2025): Seasonal ice storage changes and meltwater generation at Murtèl rock glacier (Engadine, eastern Swiss Alps): estimates from measurements and energy budgets in the coarse blocky active layer.
  In: Hydrology And Earth System Sciences 29/9, S. 2219 - 2253. (DOI) (Weblink)
  
  
• 
  Amschwand, Dominik; Wicky, Jonas; Scherler, Martin; Hoelzle, Martin; Krummenacher, Bernhard; Haberkorn, Anna; Kienholz, Christian; Gubler, Hansueli (2025): Sub-surface processes and heat fluxes at coarse blocky Murtèl rock glacier (Engadine, eastern Swiss Alps): seasonal ice and convective cooling render rock glaciers climate-robust.
  In: Earth Surface Dynamics 13/3, S. 365 - 401. (DOI) (Weblink)
  
  
• 
  Auddy, Sayantan; Paolillo, Antonio; Piater, Justus; Saveriano, Matteo (2025): Imitation learning-based Direct Visual Servoing using the large projection formulation.
  In: Robotics and Autonomous Systems 190, S. No 104971. (DOI) (Weblink)
  
  
• 
  Aznar-Poveda, Juan; Ebner, Maximilian Franz; Fahringer, Thomas; Najafabadi Samani, Zahra; Etheredge, Marlon; Pedratscher, Stefan; Saurabh, Nishant (2025): SmartKV: A cost-effective and low-latency geo-distributed key-value store for the computing continuum.
  In: Future Generation Computer Systems 171, No. 107857. (DOI) (Weblink)
  
  
• 
  Bouvier, Fabian; Gleirscher, Lena; Haller-Seeber, Simon; Hug, Theo; Kaiserer, Madeleine; Sonntag, Miriam (2025): Innovative Lehr- und Lernansätze in Lernlaboren: Einblicke in den Media, Inclusion & AI Space des INNALP Education Hub.
  In: Medienimpulse. Beiträge zur Medienpädagogik 63/1. (DOI) (Weblink)
  
  
• 
  Del Siro, Chantal⁠; Antognini, Marco⁠; Beutel, Jan⁠; Delaloye, Reynald⁠; Scapozza, Cristian (2025): Il permafrost nelle Alpi Ticinesi (2022/2023 e 2023/2024). Rapporto No. 7 del Gruppo Permafrost Ticino.
  In: Bollettino della Società ticinese di scienze naturali 113, S. 47 - 61. (DOI) (Weblink)
  
  
• 
  Eberl, Manuel (2025): Path Equivalence and Automation for Integration Contours.
  In: The Archive of Formal Proofs 2025/Oktober, online. (Weblink)
  
  
• 
  Eberl, Manuel (2025): The Partition Function and the Pentagonal Number Theorem.
  In: The Archive of Formal Proofs 2025/April, online. (Weblink)
  
  
• 
  Eberl, Manuel; Bordg, Anthony; Li, Wenda; Paulson, Lawrence C. (2025): Complex Lattices, Elliptic Functions, and the Modular Group.
  In: The Archive of Formal Proofs 2025/Mai, online. (Weblink)
  
  
• 
  Eberl, Manuel; Bordg, Anthony; Paulson, Lawrence C.; Li, Wenda (2025): Dedekind Sums.
  In: The Archive of Formal Proofs 2025/April, online. (Weblink)
  
  
• 
  Esmaeili, Mohammad; Hammes, Sascha; Tosatto, Samuele; Geisler-Moroder, David; Zech, Philipp (2025): Safe Reinforcement Learning for Buildings: Minimizing Energy Use While Maximizing Occupant Comfort.
  In: Energies 18/19, No. 5313. (DOI) (Weblink)
  
  
• 
  Ge, Yan; Yu, Haitao; Lei, Chao; Liu, Xin; Jatowt, Adam; Kim, Kyoung-Sook; Lynden, Steven J.; Matono, Akiyoshi (2025): Implicit knowledge-augmented prompting for commonsense explanation generation.
  In: Knowledge and Information Systems 67/4, S. 3663 - 3698. (DOI) (Weblink)
  
  
• 
  Ghosh, Akash; Jain, Raghav; Jangra, Anubhav; Saha, Sriparna; Jatowt, Adam (2025): A Survey on Medical Document Summarization: From Machine Learning Techniques to Large Language Models.
  In: DATA MINING AND KNOWLEDGE DISCOVERY 15/4, No. e70045. (DOI) (Weblink)
  
  
• 
  Gritsch, Philipp; Cotrotzo, Marco; Ristov, Sashko (2025): Scale Interoperable Composite Backend Services With AFCL Workflows in Serverless Sky Computing.
  In: IEEE Transactions on Network and Service Management 22/5, S. 4762 - 4774. (DOI) (Weblink)
  
  
• 
  Gusenbauer, Michael; Endermann, Jochen; Huber, Harald; Strasser, Simon; Granitzer, Andreas-Nizar; Ströhle, Thomas (online first): Fine-tuning SciBERT to enable ASJC-based assessments of the disciplinary orientation of research collections.
  In: Scientometrics 130/10. (DOI) (Weblink)
  
  
• 
  Hirokawa, Nao; Middeldorp, Aart (2025): Hydra Battles and AC Termination.
  In: Logical Methods in Computer Science 21/2, No. 29. (DOI) (Weblink)
  
  
• 
  Jacobsen, P.-O.; Strauß, Hannah; Vigl, Julia; Zangerle, E.; Zentner, Marcel (2025): Assessing aesthetic music-evoked emotions in a minute or less: A comparison of the GEMS-45 and the GEMS-9.
  In: Musicae Scientiae 29/1, S. 184 - 192. (DOI) (Weblink)
  
  
• 
  Jangra, Anubhav; Mzafari, Jamshid; Jatowt, Adam; Muresan, Smaranda (2025): Navigating the Landscape of Hint Generation Research: From the Past to the Future.
  In: Transactions of the Association for Computational Linguistics 13, S. 505 - 528. (DOI) (Weblink)
  
  
• 
  Kim, Dohan (2025): Congruence Closure Modulo Groups.
  In: Logical Methods in Computer Science 21/1, S. 20:1 - 20:29. (DOI) (Weblink)
  
  
• 
  Kirk, Christina (2025): Proof Terms for Term Rewriting.
  In: The Archive of Formal Proofs 2025/April, online. (Weblink)
  
  
• 
  Mazak-Huemer, Alexandra; Vierhauser, Michael; Groher, Iris (2025): SustainScrum: integrating sustainability assessment in a tailored Scrum process for computing quantitative sustainability indicators.
  In: Software & Systems Modeling 24/2, S. 385 - 410. (DOI) (Weblink)
  
  
• 
  Miller, Josef; Schneiderbauer, Larissa; Hauer, Martin; Jäger, Alexandra; Fröch, Georg; Pfluger, Rainer; Moser, Stephan (2025): Enhancing Interoperability Between Building Information Modeling and Building Energy Modeling: Alphanumerical Information Exchange for Energy Optimization in Early Design Stages.
  In: Applied Sciences - Basel 15/10, No. 5789. (DOI) (Weblink)
  
  
• 
  Najafabadi Samani, Zahra; Aznar Poveda, Juan; Gratz, Dominik; Hueber, Rene; Kalb, Philipp; Fahringer, Thomas (2025): ScaleIP: A hybrid autoscaling of VoIP services based on deep reinforcement learning.
  In: Computer Communications 243, No. 108314. (DOI) (Weblink)
  
  
• 
  Niederhauser, Johannes; Hirokawa, Nao; Middeldorp, Aart (2025): Left-Linear Completion with AC Axioms.
  In: Logical Methods in Computer Science 21/2, S. 10:1 - 10:44. (DOI) (Weblink)
  
  
• 
  Pedratscher, Stefan; Najafabadi Samani, Zahra; Aznar Poveda, Juan; Fahringer, Thomas; Etheredge, Marlon; Younesi, Abolfazl; Durillo Barrionuevo, Juan Jose; Thoman, Peter (2025): STREAMLINE: Dynamic and Resource-Efficient Auto-Tuning of Stream Processing Data Pipeline Ensembles.
  In: Internet of Things 34, No.101731. (DOI) (Weblink)
  
  
• 
  Peintner, Andreas; Mohammadi, Amir Reza; Zangerle, Eva (2025): Efficient Session-based Recommendation with Contrastive Graph-based Shortest Path
  Search.
  In: ACM Transactions on Recommender Systems 3/4, No. 46. (DOI) (Weblink)
  
  
• 
  Peintner, Andreas; Moscati, Marta; Kinoshita, Yu; Vogl, Richard; Knees, Peter; Schedl, Markus; Strauss, Hannah; Zentner, Marcel; Zangerle, Eva (2025): Nuanced Music Emotion Recognition via a Semi‑Supervised Multi‑Relational Graph
  Neural Network.
  In: Transactions of the International Society for Music Information Retrieval 8/1, S. 140 - 153. (DOI) (Weblink)
  
  
• 
  Rauch, Nikolaus; Harders, Matthias (2025): Methods for User-Controlled Synthesis of Blood Vessel Trees in Medical Applications: A Survey.
  In: IEEE Access 13, S. 22300 - 22313. (DOI) (Weblink)
  
  
• 
  Ritter, M.; Hoffmann, Alexandra; Rauch, N.; Sachse, Pierre; Djamshidian, A.; Harders, M.; Ellmerer, P. (2025): SPBView: An extendable data analysis and combined visualization tool for saccadic eye-movement, pupil size, and blink detection.
  In: SoftwareX 30, No. 102171. (DOI) (Weblink)
  
  
• 
  Rojas, Cristof; Jatowt, Adam (2025): Transformer-based probabilistic forecasting of daily hotel demand using web search behavior.
  In: Knowledge-Based Systems 310, No. 112966. (DOI) (Weblink)
  
  
• 
  Salzmann, Philip; Thoman, Peter; Fahringer, Thomas (2025): A High-Level API for Dynamic Load Balancing in Large-Scale Parameter Sweeps.
  In: International Journal of Parallel Programming 53, No. 25. (DOI) (Weblink)
  
  
• 
  Schweiger, Harald; Parada-Cabaleiro, Emilia; Schedl, Markus (2025): The impact of playlist characteristics on coherence in user-curated music playlists.
  In: EPJ Data Science 14/1, No. 24. (DOI) (Weblink)
  
  
• 
  Shahin, Mahtab; Bertl, Markus; Janatian, Nasim; Aznar-Poveda, Juan; Shah, Syed Attique; Fahringer, Thomas (2025): DatApollo: Orchestration of Serverless Functions for Scalable Data Mining.
  In: IEEE Access 13, S. 142813 - 142828. (DOI) (Weblink)
  
  
• 
  Shahin, Mahtab; Rahimpour, Saeed; Ghasempouri, Tara; Bauk, Sanja; Fahringer, Thomas; Draheim, Dirk (2025): Towards Smarter Maritime Security: Apriori Algorithm Optimization in Serverless Environments.
  In: Procedia Computer Science 257, S. 452 - 459. (DOI) (Weblink)
  
  
• 
  Spagl, Katharine; Watson, Edward; Jatowt, Adam; Weidmann, Anita (2025): Evaluating a customised large language model (DELSTAR) and its ability to address medication-related questions associated with delirium: a quantitative exploratory study.
  In: International Journal Of Clinical Pharmacy 47, S. 1053 - 1063. (DOI) (Weblink)
  
  
• 
  Thiemann, René; Sternagel, Christian; Kirk, Christina; Avanzini, Martin; Felgenhauer, Bertram; Nagele, Julian; Sternagel, Thomas; Winkler, Sarah; Yamada, Akihisa (2025): First-Order Rewriting.
  In: The Archive of Formal Proofs 2025/April, online. (Weblink)
  
  
• 
  Thoman, Peter; Gschwandtner, Philipp; Molina Heredina, Facundo; Fahringer, Thomas (2025): Celerity-RSim: Porting Light Propagation Simulation to Accelerator Clusters Using a High-Level API.
  In: International Journal of Parallel Programming 53/3, No. 17. (DOI) (Weblink)
  
  
• 
  Valiyev, Turgud; Batrancea, Larissa M.; Aslan, Tunahan; Abasova, Ulviyya (2025): A comparative analysis of GDP determinants in Germany and Poland: Integrating econometric and machine learning perspectives.
  In: National Accounting Review 7/4, S. 501 - 521. (DOI) (Weblink)
  
  
• 
  Wang, Jiexin; Jatowt, Adam; Cai, Yi (2025): Towards Effective Time-Aware Language Representation: Exploring Enhanced Temporal Understanding in Language Models.
  In: ACM Transactions on the Web 19/3, No. 26. (DOI) (Weblink)
  
  
• 
  Weber, Samuel; Beutel, Jan; Dietze, Michael; Bast, Alexander; Kenner, Robert; Phillips, Marcia; Leinauer, Johannes; Mühlbauer, Simon; Pfluger, Felix; Krautblatter, Michael (2025): Progressive destabilization of a freestanding rock pillar in permafrost on the Matterhorn (Swiss Alps): Hydro-mechanical modeling and analysis.
  In: Earth Surface Dynamics 13/6, S. 1157 - 1179. (DOI) (Weblink)
  
  
• 
  Yu, Haitao; Lei, Chao; Ge, Yan; Duan, Yijun; Lynden, Steven J.; Kim, Kyoung-Sook; Matono, Akiyoshi; Jatowt, Adam (2025): Estimating the plausibility of commonsense statements by novelly fusing large language model and graph neural network.
  In: Information Processing & Management 62/4, No. 104146. (DOI) (Weblink)
  
  
• 
  Yu, Yi; Sugiyama, Kazunari; Jatowt, Adam (2025): Domain Counterfactual Data Augmentation for Explainable Recommendation.
  In: ACM Transactions on Information Systems 43/3, No. 58. (DOI) (Weblink)
  
  
• 
  Zech, Philipp; Hammes, Sascha; Goldin, Emanuele; Geisler-Moroder, David; Breu, Ruth; Pfluger, Rainer (2025): From BIM to Digital Twin: A transformation process through advanced control modeling and automated commissioning using daylight and artificial lighting as examples.
  In: Energy and Buildings 329, Nr. 115184. (DOI) (Weblink)
  
  
• 
  Zech, Philipp; Jäger, Alexandra; Fröch, Georg; Pfluger, Rainer; Breu, Ruth (2025): Agile, continuous building energy modeling and simulation.
  In: Simulation. Transactions of the Society for Modeling and Simulation International 101/3, S. 241 - 265. (DOI) (Weblink)
  
  
• 
  Zech, Philipp; Jäger, Alexandra; Schneiderbauer, Larissa; Exenberger, Hans; Fröch, Georg; Flora, Matthias (2025): Agile Construction Digital Twin Engineering.
  In: Buildings 15/3, No. 386. (DOI) (Weblink)
  
  
• 
  Zelger, Philipp; Arnold, Manuel; Rossi, Sonja; Seebacher, Josef; Muigg, Franz; Graf, Simone; Rodriguez-Sanchez, Antonio (2025): Beyond averaging: A transformer approach to decoding event related brain potentials.
  In: NeuroImage 308, No. 121049. (DOI) (Weblink)
  
  

Discussion-/Working Paper

• 
  Auer, Raphael; Böhme, Rainer; Clark, Jeremy; Demirag, Didem (2025): Privacy-Enhancing Technologies for Digital Payments: Mapping the Landscape.
  In: BIS Working Papers 1242, S. 1 - 23. (Weblink)
  
  

Zeitschriftenbeitrag (Proceedings Paper)

• 
  Roman, Dumitru; Konstantinidis, George; Palmonari, Matteo; Musidlowska, Marta; Prodan, Radu (2025): DataPACT: Compliance by Design of Data/AI Operations and Pipelines.
  In: CEUR Workshop Proceedings 3996, S. 39 - 47. (Weblink)
  
  
• 
  Schneckenreither, M.; Moser, G (2025): Average reward adjusted discounted reinforcement learning.
  In: Neural computing & applications 37/31, S. 25663 - 25694. (DOI) (Weblink)
  
  

Zeitschriftenbeitrag (anderer)

• 
  Campos, Ricardo; Jorge, Alipio M.; Jatowt, Adam; Bhatia, Sumit; Litvak, Marina; Cordeiro, João Paulo; Rocha, Conceição; Sousa, Hugo; Cunha, Luis Filipe; Mansouri, Behrooz (2025): Report on the 8th Workshop on Narrative Extraction from Texts (Text2Story 2025) at ECIR 2025.
  In: SIGIR Forum 59/1, S. 1 - 11. (DOI) (Weblink)
  
  

Beitrag in Proceedingsband

• 
  Abdallah, Abdelrahman; Abdalla, Mahmoud; Piryani, Bhawna; Mozafari, Jamshid; Ali, Mohammed; Jatowt, Adam (2025): RerankArena: A Unified Platform for Evaluating Retrieval, Reranking and RAG with Human and LLM Feedback.
  In: Cha, M.; Park, C.; et al.: Proceedings of the 34th ACM International Conference on Information and Knowledge Management (CIKM 2025). Seoul, Republic of Korea, November 10 - 14, 2025. New York: ACM Digital Library., ISBN 979-8-4007-2040-6, S. 6593 - 6597. (DOI) (Weblink)
  
  
• 
  Abdallah, Abdelrahman; Mozafari, Jamshid; Piryani, Bhawna; Abdelgwad, Mohammed M.; Jatowt, Adam (2025): DynRank: Improve Passage Retrieval with Dynamic Zero-Shot Prompting Based on Question Classification.
  In: Proceedings of the 31st International Conference on Computational Linguistics (COLING 2025). January 19 - 24, 2025, Abu Dhabi, UAE. Stroudsburg, PA: Association for Computational Linguistics (ACL)., S. 4768 - 4778. (Weblink)
  
  
• 
  Abdallah, Abdelrahman; Mozafari, Jamshid; Piryani, Bhawna; Jatowt, Adam (2025): ASRank: Zero-Shot Re-Ranking with Answer Scent for Document Retrieval.
  In: Annual Conference of the Nations of the Americas Chapter of the Association for Computational Linguistics - Proceedings of the Conference Findings. April 29 - May 4, 2025. Stroudsburg, PA: Association for Computational Linguistics (ACL)., ISBN 979-8-89176-195-7, S. 2950 - 2970. (DOI) (Weblink)
  
  
• 
  Abdallah, Abdelrahman; Mozafari, Jamshid; Piryani, Bhawna; Jatowt, Adam (2025): DeAR: Dual-Stage Document Reranking with Reasoning Agents via LLM Distillation.
  In: Christodoulopoulos, C.; Chakraborty, T.; Rose, C.; Peng, V.: Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing (EMNLP 2025). Stroudsburg, PA: Association for Computational Linguistics (ACL)., ISBN 979-8-89176-335-7, S. 5710 - 5723. (DOI) (Weblink)
  
  
• 
  Abdallah, Abdelrahman; Piryani, Bhawna; Mozafari, Jamshid; Ali, Mohammad; Jatowt, Adam (2025): How Good are LLM-based Rerankers? An Empirical Analysis of State-of-the-Art Reranking Models.
  In: Christodoulopoulos, C.; Chakraborty, T.; Rose, C.; Peng, V.: Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing (EMNLP 2025). Stroudsburg, PA: Association for Computational Linguistics (ACL)., ISBN 979-8-89176-335-7, S. 5693 - 5709. (DOI) (Weblink)
  
  
• 
  Aswath Duvvuru, Venkata Sai; Zhang, Bohan; Vierhauser, Michael; Agrawal, Ankit (2025): LLM-Agents Driven Automated Simulation Testing and Analysis of small Uncrewed Aerial Systems.
  In: Proceedings of the 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE). Los Alamitos: IEEE Computer Society Press., ISBN 979-8-3315-0569-1, S. 385 - 397. (DOI) (Weblink)
  
  
• 
  Auddy, Sayantan; Bergner, Sebastian; Piater, Justus (2025): Effect of Optimizer, Initializer, and Architecture of Hypernetworks on Continual Learning from Demonstration.
  In: Secchi, Cristian; Marconi, Lorenzo: Proceedings of the European Robotics Forum 2024 (ERF 2024). Volume 1. 13 – 15 March in Rimini, Italy. Cham: Springer., ISBN 978-3-031-76423-3, Bd. 32, S. 315 - 320. (DOI) (Weblink)
  
  
• 
  Aue, Tanja; Jatowt, Adam; Färber, Michael (2025): Predicting Company ESG Ratings from News Articles Using Multivariate Timeseries Analysis.
  In: Companion Proceedings of the ACM on Web Conference 2025 (WWW 2025). Sydney NSW Australia 28 April 2025 - 2 May 2025. New York: ACM Digital Library., ISBN 979-8-4007-1331-6, S. 1774 - 1780. (DOI) (Weblink)
  
  
• 
  Aznar Poveda, Juan; Etheredge, Marlon; Pedratscher, Stefan; Künig, Patrick; Fahringer, Thomas (2025): Nyx: A Fault-Tolerant Fully Distributed Message Queue for the IoT-Edge-Cloud Continuum.
  In: Proceedings of the 21st International Conference on Distributed Computing in Smart Systems and the Internet of Things (DCOSS-IoT 2025). 9-11 June 2025, Lucca, Italy. Los Alamitos: IEEE Computer Society Press., ISBN 979-8-3315-4372-3, S. 1021 - 1026. (DOI) (Weblink)
  
  
• 
  Bevendorff, Janek; Dementieva, Daryna; Fröbe, Maik; Gipp, Bela; Greiner-Petter, André; Karlgren, Jussi; Mayerl, Maximilian; Nakov, Preslav; Panchenko, Alexander; Potthast, Martin; Shelmanov, Artem; Stamatatos, Efstathios; Stein, Benno; Wang, Yuxia; Wiegmann, Matti; Zangerle, Eva (2025): Overview of PAN 2025: Generative AI Detection, Multilingual Text Detoxification, Multi-author Writing Style Analysis, and Generative Plagiarism Detection.
  In: Hauff, Claudia; Macdonald, Craig; Jannach, Dietmar; Kazai, Gabriella; Nardini, Franco Maria; Pinelli, Fabio; Silvestri, Fabrizio; Tonellotto, Nicola (Eds.): Advances in Information Retrieval. 47th European Conference on Information Retrieval, ECIR 2025, Lucca, Italy, April 6–10, 2025, Proceedings, Part V. Cham: Springer (= Lecture Notes in Computer Science, 15576)., ISBN 978-3-031-88719-2, S. 434 - 441. (DOI) (Weblink)
  
  
• 
  Böhme, Rainer (2025): Revisiting the Limits of Steganography.
  In: Stajano, F.: Proceedings of the Rossfest Symposium in memory of Ross Anderson. Cambridge: University of Cambridge., S. 83 - 88. (Weblink)
  
  
• 
  Brehme, Lorenz; Dornauer, Benedikt; Ströhle, Thomas; Ehrhart, Maximilian; Breu, Ruth (2025): Retrieval-Augmented Generation in Industry: An Interview Study on Use Cases, Requirements, Challenges, and Evaluation.
  In: Coenen, F.; et al: Proceedings of the 17th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (KDIR 2025). Volume 1. October 22-24, 2025, in Marbella, Spain. Setubal: SciTEPress., ISBN 978-989-758-769-6, S. 110 - 122. (DOI) (Weblink)
  
  
• 
  Brehme, Lorenz; Ströhle, Thomas; Breu, Ruth (2025): Can LLMs be Trusted for Evaluating RAG Systems? A Survey of Methods and Datasets.
  In: Proceedings of the IEEE Swiss Conference on Data Science (SDS 2025). 26-27 June 2025, Zürich, Switzerland. Los Alamitos: IEEE Computer Society Press., ISBN 979-8-3315-9467-1, S. 16 - 23. (DOI) (Weblink)
  
  
• 
  Campa, Luca; Roy, Arnab (2025): Gröbner Basis Cryptanalysis of Anemoi.
  In: Fehr, Serge; Fouque, Pierre-Alain (Eds.): Advances in Cryptology – EUROCRYPT 2025. 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques Madrid, Spain, May 4–8, 2025, Proceedings, Part I. Cham: Springer (= Lecture Notes in Computer Science, 15601)., ISBN 978-3-031-91107-1, S. 303 - 332. (DOI) (Weblink)
  
  
• 
  Campos, Ricardo; Jorge, Alipio; Jatowt, Adam; Bhatia, Sumit; Litvak, Marina (2025): The 8th International Workshop on Narrative Extraction from Texts: Text2Story 2025.
  In: Hauff, Claudia; Macdonald, Craig; Jannach, Dietmar; Kazai, Gabriella; Nardini, Franco Maria; Pinelli, Fabio; Silvestri, Fabrizio; Tonellotto, Nicola (Eds.): Advances in Information Retrieval. 47th European Conference on Information Retrieval, ECIR 2025, Lucca, Italy, April 6–10, 2025, Proceedings, Part V. Cham: Springer (= Lecture Notes in Computer Science, 15576)., ISBN 978-3-031-88719-2, S. 345 - 351. (DOI) (Weblink)
  
  
• 
  Ding, Wenjian; Zhang, Yao; Wang, Jun; Jatowt, Adam; Yang, Zhenglu (2025): Generating Questions, Answers, and Distractors for Videos: Exploring Semantic Uncertainty of Object Motions.
  In: Che, W.; Nabende, J.; Shutova, E.; Pilehvar, M. T.: Proceedings of the Findings of the Association for Computational Linguistics (ACL 2025). Stroudsburg, PA: Association for Computational Linguistics (ACL)., ISBN 979-8-89176-256-5, S. 7207 - 7220. (DOI) (Weblink)
  
  
• 
  Dornauer, Benedikt; Felderer, Michael; Saadatmand, Mehrdad; Abbas, Muhammad; Bonnotte, Nicolas; Dreschinski, Andreas; Enoiu, Eduard Paul; Tüzün, Eray; Uçar, Baykal Mehmet; Devran, Ömercan; Gröpler, Robin (2025): SmartDelta Methodology: Automated Quality Assurance and Optimization for Incremental System Engineering.
  In: Latifi, S.: The 22nd International Conference on Information Technology-New Generations (ITNG 2025). Conference proceedings. Cham: Springer (= Advances in Intelligent Systems and Computing, 1463)., ISBN 978-3-031-89062-8, S. 648 - 659. (DOI) (Weblink)
  
  
• 
  Dumitru, Alexandru; Venktesh, V.; Jatowt, Adam; Anand, Avishek (2025): Evaluating List Construction and Temporal Understanding capabilities of Large Language Models.
  In: Zamani, H; Dietz, L; Piwowarski, B.; Bruch, S.: Proceedings of the 2025 International ACM SIGIR Conference on Innovative Concepts and Theories in Information Retrieval (ICTIR 2025). Padua Italym, 18 July 2025. New York: ACM Digital Library., ISBN 979-8-4007-1861-8, S. 369 - 379. (DOI) (Weblink)
  
  
• 
  Eberl, Manuel; Lammich, Peter (2025): Verifying an Efficient Algorithm for Computing Bernoulli Numbers.
  In: Forster, Y.; Keller, C.: Proceedings of the 16th International Conference on Interactive Theorem Proving (ITP 2025). September 28 to October 1, 2025, Reykjavik, Iceland. Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik (= Leibniz International Proceedings in Informatics (LIPICS), 352)., ISBN 978-3-95977-396-6, S. 35:1 - 35:19. (DOI) (Weblink)
  
  
• 
  Farahani, Reza; Prodan, Radu (2025): EnergyLess: An Energy-Aware Serverless Workflow Batch Orchestration on the Computing Continuum.
  In: Proceedings of the IEEE 18th International Conference on Cloud Computing (CLOUD 2025). 7-12 July 2025, Helsinki, Finland. Los Alamitos: IEEE Computer Society Press (= IEEE International Conference on Cloud Computing, CLOUD)., ISBN 979-8-3315-5557-3, S. 243 - 254. (DOI) (Weblink)
  
  
• 
  Frankford, Eduard; Crazzolara, Daniel; Vierhauser, Michael; Meissner, Niklas; Krusche, Stephan; Breu, Ruth (2025): An Online Integrated Development Environment for Automated Programming Assessment Systems.
  In: Du Boulay, B.; Di Mascio, T.; Tovar, E.; Meinel, C.: Proceedings of the 17th International Conference on Computer Supported Education
  (CSEDU 2025) - Volume 1. April 1-3, 2025, Porto, Portugal. New York: Curran Associates, Inc. (= CSEDU)., ISBN 979-8-3313-1871-0, S. 48 - 59. (DOI) (Weblink)
  
  
• 
  Fritsch, Reinhard; Jatowt, Adam (2025): CALLM: A Framework for Systematic Contrastive Analysis of Large Language Models.
  In: Cha, M.; Park, C.; et al.: Proceedings of the 34th ACM International Conference on Information and Knowledge Management (CIKM 2025). Seoul, Republic of Korea, November 10 - 14, 2025. New York: ACM Digital Library., ISBN 979-8-4007-2040-6, S. 6634 - 6638. (DOI) (Weblink)
  
  
• 
  Frontull, Samuel; Ströhle, Thomas; Zoli, Carlo; Pescosta, Werner; Frenademez, Ulrike; Ruggeri, Matteo; Valentin, Daria; Comploj, Karin; Perathoner, Gabriel; Liotto, Silvia; Anvidalfarei, Paolo (2025): Bringing Ladin to FLORES+.
  In: Proceedings of the 10th Conference on Machine Translation. Suzhou, China, November 8-9, 2025. Stroudsburg, PA: Association for Computational Linguistics (ACL)., ISBN 979-8-89176-341-8, S. 1061 - 1071. (DOI) (Weblink)
  
  
• 
  Golendukhina, Valentina; Felderer, Michael; Sonnleithner, Lisa (2025): Visualization Tools for Machine Learning Pipelines: A Review.
  In: Proceedings of the 2025 IEEE 18th Pacific Visualization Conference (PacificVis). 22-25 April 2025. Los Alamitos: IEEE Computer Society Press., ISBN 979-8-3315-0581-3, S. 399 - 407. (DOI) (Weblink)
  
  
• 
  Gritsch, Philipp; Pierer, Deniz; Berardinelli, Luca; Felderer, Michael; Ristov, Sashko (in press): Twin2Clouds: Cost-Aware Digital Twin Engineering and Deployment Across Federated Clouds.
  In: Proceedings of the 28th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems (MODELS Companion 2025). New York: ACM Digital Library. (Volltext) (DOI) (Weblink)
  
  
• 
  Gruber, Raphael; Abdallah, Abdelrahman; Färber, Michael; Jatowt, Adam (2025): ComplexTempQA: A 100m Dataset for Complex Temporal Question Answering.
  In: Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing: System Demonstrations. Suzhou, Chian, November 4-9, 2025. Stroudsburg, PA: Association for Computational Linguistics (ACL)., ISBN 979-8-89176-334-0, S. 9111 - 9123. (DOI) (Weblink)
  
  
• 
  Haller-Seeber, Simon; Kelter, Christopher; Zaric, Marko; Piater, Justus (2025): A Free and Open Web-Based IDE for the Sphero Bolt.
  In: Balogh, R.; Obdržálek, D; Fachantidis, N: Robotics in Education. Proceedings of the 16th Robots in Education Conference (RiE 2025). Cham: Springer (= Lecture Notes in Networks and Systems)., ISBN 978-3-031-98761-8, S. 474 - 483. (DOI) (Weblink)
  
  
• 
  Hammes, Sascha; Weninger, Johannes; Gschwandtner, Philipp; Zech, Philipp (2025): Achieving a Deeper Understanding of User-Related Influences on Artificial Lighting Energy Demand Using High-Performance Computing.
  In: Pernigotto, Giovanni; Ballarini, Ilaria; Patuzzi, Francesco; Prada, Alessandro; Corrado, Vincenzo; Gasparella, Andrea: Building Simulation Applications BSA 2024: 6th IBPSA-Italy Conference. Bozen-Bolzano, 26th –28th June 2024. Bozen: Bozen University Press., ISBN 978-88-6046-202-2, S. 371 - 378. (DOI)
  
  
• 
  Hammes, Sascha; Weninger, Johannes; Hochleitner, Iolanthe; Fröhlich, Marco; Zech, Philipp; Gschwandtner, Philipp (2025): A performance comparison of analytical and heuristic optimization methods for determining an energy-efficient user distribution in office environments.
  In: Proceedings of Building Simulation 2025: 19th Conference of IBPSA. International Building Performance Simulation Association (IBPSA) (= Proceedings of the International Building Performance Simulation Association)., ISBN 978-1-7750520-4-3, S. 1 - 8. (DOI) (Weblink)
  
  
• 
  Hammes, Sascha; Weninger, Johannes; Zech, Philipp (2025): Closer to Realtime: A Comparison of Machine Learning Methods to Reduce Artificial Switch-Off Times.
  In: Proceedings of the 2024 IEEE Sustainable Smart Lighting World Conference & Expo (LS24). Eindhoven, Netherlands, Nov. 12-14, 2024. Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE)., ISBN 979-8-3315-4019-7, S. 1 - 4. (DOI) (Weblink)
  
  
• 
  Hammes, Sascha; Weninger, Johannes; Zech, Philipp; Gschwandtner, Philipp (2025): Unraveling the energy performance gap: Understanding user-related factors affecting lighting energy consumption in office buildings.
  In: Proceedings of Building Simulation 2025: 19th Conference of IBPSA. International Building Performance Simulation Association (IBPSA) (= Proceedings of the International Building Performance Simulation Association)., ISBN 978-1-7750520-4-3, S. 1 - 8. (DOI) (Weblink)
  
  
• 
  Hammes, Sascha; Zech, Philipp; Zallinger, Christoph; Geisler-Moroder, David; Goldin, Emanuele; Pfluger, Rainer (2025): Kollaboratives Lichtsteuerungsdesign in BIM, automatisierte Inbetriebnahmen und Unreal Engine gestützter digitaler Zwilling – Ergebnisse aus einer Laborstudie.
  In: Deutsche Gesellschaft für LichtTechnik und LichtGestaltung e.V. (LiTG): 26. Europäischer Lichttechnischer Kongress. Licht 2025. 31.03.-02.04.2025, Oldenburg, Deutschland. Absdorf: Lichttechnische Gesellschaft., ISBN 978-3-927787-42-1, S. 540 - 551. (Weblink)
  
  
• 
  Hofer, Nora; Böhme, Rainer (2025): Challenging Cases of Neural Image Compression: A Dataset of Visually Compelling Yet Semantically Incorrect Reconstructions.
  In: Gurrin, C.; Schoeffmann, K; et al: MM'25. Proceedings of the 33rd ACM International Conference on Multimedia. Dublin Ireland, October 27 - 31, 2025. New York: ACM Digital Library., ISBN 979-8-4007-2035-2, S. 13318 - 13324. (DOI) (Weblink)
  
  
• 
  Hollenstein, Jakob; Auddy, Sayantan; Piater, Justus (2025): Chance & Curiosity: How Does Action Noise Exploration Compare to Curiosity-Based Intrinsic Rewards?
  In: Nessler, Bernhard; Piater, Justus; Roth, Peter: Austrian Symposium on AI, Robotics, and Vision (AIRoV). Proceedings – March 26–27, 2024, University of Innsbruck. Innsbruck: innsbruck university press (IUP)., ISBN 978-3-99106-150-2, S. 364 - 369. (DOI) (Weblink)
  
  
• 
  Horvarth, Kurt; Kimovski, Dragi; Prodan, Radu (2025): SCAREY: Location-Aware Service Lifecycle Management.
  In: Chang, Rong N.; et al: Proceedings of the IEEE International Conference on Edge Computing and Communications (EDGE 2025). Helsinki, Finland, 7-12 July 2025. Los Alamitos: IEEE Computer Society Press (= IEEE International Conference on Edge Computing (EDGE))., ISBN 979-8-3315-5559-7, S. 23 - 33. (DOI) (Weblink)
  
  
• 
  Horvath, Kurt; Kimovski, Dragi; Kitanov, Stojan; Prodan, Radu (2025): Enhancing Traffic Safety with AI and 6G: Latency Requirements and Real-Time Threat Detection.
  In: Proceedings of the 10th International Conference on Information and Network Technologies (ICINT 2025). Melbourne, Australia, March 12-14, 2025. Los Alamitos: IEEE Computer Society Press., ISBN 979-8-3315-3675-6, S. 129 - 136. (DOI) (Weblink)
  
  
• 
  Hoy, Calvin; Frontull, Samuel; Moser, Georg (2025): LaTeXMT: Machine Translation for LaTeX Documents.
  In: Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing: System Demonstrations. Suzhou, Chian, November 4-9, 2025. Stroudsburg, PA: Association for Computational Linguistics (ACL)., ISBN 979-8-89176-334-0, S. 739 - 748. (DOI) (Weblink)
  
  
• 
  Jain, Rachiyta; Hrle, Temima; Marinetta, Margherita; Jenkins, Adam; Böhme, Rainer; Woods, Daniel W. (2025): "Why Would Money Protect Me from Cyber Bullying?": A Mixed-Methods Study of Personal Cyber Insurance.
  In: Proceedings of the 2025 IEEE Symposium on Security and Privacy (SP 2025). San Francisco, CA, USA, May 12 2025 to May 15 2025. Los Alamitos, California: Conference Publishing Services (CPS) - IEEE Computer Society., ISBN 979-8-3315-2236-0, S. 2264 - 2283. (DOI) (Weblink)
  
  
• 
  Jatowt, Adam; Ristov, Sashko; Gritsch, Philipp; Brandacher, Simon; Rosengren, Peter; Valerio, Danilo; Luo, Fengji (2025): FlexiDigital: A Comprehensive Approach to Energy Flexibility Services using Digital Twins and Large Language Models.
  In: E-Energy '25: Proceedings of the 16th ACM International Conference on Future and Sustainable Energy Systems. Rotterdam Netherlands, June 17 - 20, 2025. New York: ACM Digital Library., ISBN 979-8-4007-1125-1, S. 638 - 643. (DOI) (Weblink)
  
  
• 
  Katins, Christopher; Chen, Katja; Lazik, Christopher; Knierim, Pascal; Marky, Karola; Kosch, Thomas (2025): Public Perceptions on Psychological and Social Impacts of Virtual and Augmented Reality.
  In: Chuang, L.; Eibl, M.; Gaedke, M.; Niess, J.: MuC '25: Proceedings of the Mensch und Computer 2025. Chemnitz, Germany, 31 August 2025- 3 September 2025. New York: ACM Digital Library., ISBN 979-8-4007-1582-2, S. 163 - 180. (DOI) (Weblink)
  
  
• 
  Katins, Christopher; Strecker, Jannis; Hinrichs, Jan; Knierim, Pascal; Pfleging, Bastian; Kosch, Thomas (2025): Ad-Blocked Reality: Evaluating User Perceptions of Content Blocking Concepts Using Extended Reality.
  In: Yamashita, N; Evers, V; Yatani, K; Ding, X; Lee, B; Chetty, M; Toups-Dugas, P: Proceedings of the CHI Conference on Human Factors in Computing Systems (CHI 2025). New York: ACM Digital Library., ISBN 979-8-4007-1394-1, No. 626. (DOI) (Weblink)
  
  
• 
  Keller, Patrick (2025): Automated Selfish Mining Analysis for DAG-based PoW Consensus.
  In: Fischlin, Marc; Moonsamy, Veelasha; (eds): Applied Cryptography and Network Security. 23rd International Conference, ACNS 2025, Munich, Germany, June 23–26, 2025, Proceedings, Part I. Cham: Springer (= Lecture Notes in Computer Science, 15825)., ISBN 978-3-031-95760-4, S. 215 - 243. (DOI) (Weblink)
  
  
• 
  Kim, Dohan (2025): An Isabelle/HOL Formalization of Semi-Thue and Conditional Semi-Thue Systems.
  In: Forster, Y.; Keller, C.: Proceedings of the 16th International Conference on Interactive Theorem Proving (ITP 2025). September 28 to October 1, 2025, Reykjavik, Iceland. Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik (= Leibniz International Proceedings in Informatics (LIPICS), 352)., ISBN 978-3-95977-396-6, S. 10:1 - 10:20. (DOI) (Weblink)
  
  
• 
  Kim, Dohan; Saito, Teppei; Thiemann, Renè; Yamada, Akihisa (2025): An Isabelle Formalization of Co-rewrite Pairs for Non-reachability in Term Rewriting.
  In: Stark, Kathrin; Timany, Amin; Blazy, Sandrine; Tabareau, Nicolas: Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2025). New York: ACM Digital Library., ISBN 979-8-4007-1347-7, S. 272 - 282. (DOI) (Weblink)
  
  
• 
  Kirk, Christina; Middeldorp, Aart (2025): Formalizing Simultaneous Critical Pairs for Confluence of Left-Linear Rewrite Systems.
  In: Stark, Kathrin; Timany, Amin; Blazy, Sandrine; Tabareau, Nicolas: Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2025). New York: ACM Digital Library., ISBN 979-8-4007-1347-7, S. 156 - 170. (DOI) (Weblink)
  
  
• 
  Knierim, Pascal; Hetzenauer, Anna-Lena; Sitar, Christoph (2025): Transforming Avalanche Rescue Training: Evaluating the Effectiveness of Virtual Reality Training in High-Stakes Environments.
  In: Proceedings of the IEEE International Symposium on Mixed and Augmented Reality (ISMAR 2025). 8-12 Oct. 2025. Los Alamitos: IEEE Computer Society Press., ISBN 979-8-3315-8761-1, S. 1344 - 1353. (DOI) (Weblink)
  
  
• 
  Knierim, Pascal; Höck, Jakob; Kosch, Thomas (2025): Wrist-Powered Touch: Evaluating Smartwatch-Based Touch Gesture Recognition for Interaction in Extended Reality.
  In: Chuang, L.; Eibl, M.; Gaedke, M.; Niess, J.: MuC '25: Proceedings of the Mensch und Computer 2025. Chemnitz, Germany, 31 August 2025- 3 September 2025. New York: ACM Digital Library., ISBN 979-8-4007-1582-2, S. 345 - 353. (DOI) (Weblink)
  
  
• 
  Le Huitouze, Ulysse; Thiemann, Renè (2025): Core Matrix Interpretations for Proving Termination of Term Rewrite Systems.
  In: Hofbauer, Dieter; Waldmann, Johannes: Proceedings of the 20th International Workshop on Termination (WST 2025). Leipzig: Leipziger Universitätsverlag., S. 2 - 9. (DOI) (Weblink)
  
  
• 
  Li, Ang; Wu, Yiquan; Cai, Ming; Jatowt, Adam; Zhou, Xiang; Lu, Weiming; Sun, Changlong; Fu, Wei; Kuang, Jun (2025): Legal Judgment Prediction based on Knowledge-enhanced Multi-Task and Multi-Label Text Classification.
  In: Annual Conference of the Nations of the Americas Chapter of the Association for Computational Linguistics - Proceedings of the Conference Findings. April 29 - May 4, 2025. Stroudsburg, PA: Association for Computational Linguistics (ACL)., ISBN 979-8-89176-195-7, S. 6957 - 6970. (DOI) (Weblink)
  
  
• 
  Li, Ang; Wu, Yiquan; Hu, Yinghao; ..., ...; Jatowt, Adam; et al (2025): CoEvo: Coevolution of LLM and Retrieval Model for Domain-Specific Information Retrieval.
  In: Christodoulopoulos, C.; Chakraborty, T.; Rose, C.; Peng, V.: Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing (EMNLP 2025). Stroudsburg, PA: Association for Computational Linguistics (ACL)., ISBN 979-8-89176-335-7, S. 14991 - 15010. (DOI) (Weblink)
  
  
• 
  Lill, Bjarne; Sauerwein, Clemens; Zeisler, Alexander; Hochstrasser, Carina; Mexis, Nico (2025): Assessing Cybersecurity Readiness Among SMEs.
  In: Filipe, J.; Smialek, M; Brodsky, A.; Hammoudi, S.: Proceedings of the 27th International Conference on Enterprise Information Systems 2025 - Volume 2. April 4-6, 2025, in Porto, Portugal. Setubal: SciTEPress (= ICEIS)., ISBN 979-8-3313-1876-5, S. 253 - 263. (DOI)
  
  
• 
  Mehran, Narges; Najafabadi Samani, Zahra; Afzal, Samira; Pallas, Frank (2025): Energy-aware Prediction-based Scheduling of Dataflow Processing on the Cloud, Fog, and Edge.
  In: Proceedings of the IEEE International Conference on Cloud Engineering (IC2E 2025). 23-26 September 2025, Rennes, France. Los Alamitos: IEEE Computer Society Press., ISBN 979-8-3315-3465-3, S. 83 - 84. (DOI) (Weblink)
  
  
• 
  Mehran, Narges; Najafabadi Samani, Zahra; Afzal, Samira; Prodan, Radu; Pallas, Frank; Dorfinger, Peter (2025): PreMatch: A Prediction-based Scheduler for Dataflow Asynchronous Processing on the Computing Continuum.
  In: SAC '25: Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing. Catania, Italy 31 March 2025- 4 April 2025. New York: ACM Digital Library., ISBN 979-8-4007-0629-5, S. 316 - 324. (DOI) (Weblink)
  
  
• 
  Mehran, Narges; Najafabadi Samani, Zahra; Farahani, Reza; Hammer, Josef; Kimovski, Dragi (2025): DEEP: Edge-Based Dataflow Processing with Hybrid Docker Hub and Regional Registries.
  In: Proceedings of the IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW 2025). 3–7 June 2025, Milan, Italy. Los Alamitos: IEEE Computer Society Press., ISBN 979-8-3315-2643-6, S. 1039 - 1042. (DOI) (Weblink)
  
  
• 
  Mehran, Narges; Nikolov, Nikolay; Prodan, Radu; Roman, Dumitru; Kimovski, Dragi; Pallas, Frank; Dorfinger, Peter (2025): ADApt: Edge Device Anomaly Detection and Microservice Replica Prediction.
  In: Proceedings of the 2025 IEEE 9th International Conference on Fog and Edge Computing (ICFEC 2025). Tromsø, Norway, 19-22 May 2025. Los Alamitos: IEEE Computer Society Press., ISBN 979-8-3315-9457-2, S. 6 - 10. (DOI) (Weblink)
  
  
• 
  Mohammadi, Amir Reza; Peintner, Andreas; Mueller, Michael; Zangerle, Eva (2025): Beyond Top-1: Addressing Inconsistencies in Evaluating Counterfactual Explanations for Recommender Systems.
  In: Bielikova, M.; Kordik, P.; Schedl, M.; ed al: RecSys '25: Proceedings of the Nineteenth ACM Conference on Recommender Systems. Prague Czech Republic, September 22 - 26, 2025. New York: ACM Digital Library., ISBN 979-8-4007-1364-4, S. 515 - 520. (DOI) (Weblink)
  
  
• 
  Mozafari, Jamshid; Abdallah, Abdelrahman; Piryani, Bhawna; Jatowt, Adam (2025): Wrong Answers Can Also Be Useful: PlausibleQA - A Large-Scale QA Dataset with Answer Plausibility Scores.
  In: Proceedings of the 48th International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR 2025). July 13–18, 2025. Padua, Italy. New York: ACM Digital Library., ISBN 979-8-4007-1592-1, S. 3832 - 3842. (DOI) (Weblink)
  
  
• 
  Mozafari, Jamshid; Gerhold, Florian; Jatowt, Adam (2025): WikiHint: A Human-Annotated Dataset for Hint Ranking and Generation.
  In: Proceedings of the 48th International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR 2025). July 13–18, 2025. Padua, Italy. New York: ACM Digital Library., ISBN 979-8-4007-1592-1, S. 3821 - 3831. (DOI) (Weblink)
  
  
• 
  Mueller, Michael (2025): Advancing User-Centric Evaluation and Design of Conversational Recommender Systems.
  In: Bielikova, M.; Kordik, P.; Schedl, M.; ed al: RecSys '25: Proceedings of the Nineteenth ACM Conference on Recommender Systems. Prague Czech Republic, September 22 - 26, 2025. New York: ACM Digital Library., ISBN 979-8-4007-1364-4, S. 1445 - 1450. (DOI) (Weblink)
  
  
• 
  Niederhauser, Johannes; Middeldorp, Aart (2025): NCPO goes Beta-Eta-Long Normal Form.
  In: Hofbauer, Dieter; Waldmann, Johannes: Proceedings of the 20th International Workshop on Termination (WST 2025). Leipzig: Leipziger Universitätsverlag., S. 24 - 29. (DOI) (Weblink)
  
  
• 
  Niederhauser, Johannes; Middeldorp, Aart (2025): The Computability Path Order for Beta-Eta-Normal Higher-Order Rewriting.
  In: Barrett, C.; Waldmann, U.: Proceedings of the 30th International Conference on Automated Deduction (CADE 2025). Stuttgart, Germany, 28 July 2025. Dordrecht - Heidelberg - London - New York - Berlin: Springer., ISBN 978-3-031-99983-3, S. 207 - 225. (DOI) (Weblink)
  
  
• 
  Niederhauser, Johannes; Middeldorp, Aart (2025): Towards Confluence of Deterministic Higher-Order Pattern Rewrite Systems by Critical Pairs.
  In: Gutiérrez, R.; Nishida, N.: Proceedings of the 14th International Workshop on Confluence (IWC 2025). September 2–3, 2025, Leipzig, Germany. published online / Internetpublikation., S. 12 - 18. (Weblink)
  
  
• 
  Paulius, David; Agostini, Alejandro; Quartey, Benedict; Konidaris, George (2025): Bootstrapping Object-Level Planning with Large Language Models.
  In: Hutchinson, S.; Amato, N.: Proceedings of the IEEE International Conference on Robotics and Automation (ICRA 2025). 19-23 May 2025. IEEE Conference eXpress Publishing., ISBN 979-8-3315-4139-2, S. 16233 - 16239. (DOI) (Weblink)
  
  
• 
  Peintner, Andreas; Mohammadi, Amir Reza; Mueller, Michael; Zangerle, Eva (2025): Hypergraph-based Temporal Modelling of Repeated Intent for Sequential Recommendation.
  In: Long, Guodong; Blumestein, Michale; Chang, Yi: Proceedings of the ACM on Web Conference 2025, WWW 2025. Sydney, NSW, Australia, 28 April- 2 May. New York: ACM Digital Library., ISBN 979-8-4007-1274-6, S. 3809 - 3818. (DOI) (Weblink)
  
  
• 
  Pekaric, Irdin; Sauerwein, Clemens; Laichner, Simon; Breu, Ruth (2025): How do Mobile Applications enhance Security? An Exploratory Analysis of Use Cases and Provided Information.
  In: Gamess, E.: ACMSE 2025: Proceedings of the 2025 ACM Southeast Conference. Southeast Missouri State University Cape Girardeau MO USA April 24 - 26, 2025. New York: ACM Digital Library., ISBN 979-8-4007-1277-7, S. 114 - 123. (DOI) (Weblink)
  
  
• 
  Pfister, Zoe (2025): Human-Machine Collaboration and Ethical Considerations in Adaptive Cyber-Physical Systems.
  In: Proceedings of the IEEE 33rd International Requirements Engineering Conference (RE 2025). 1-5 Sept. 2025, Valencia, Spain. Los Alamitos: IEEE Computer Society Press., ISBN 979-8-3315-2413-5, S. 598 - 602. (DOI) (Weblink)
  
  
• 
  Pfister, Zoe; Vierhauser, Michael; Medvedova, Alzbeta; Schroeder, Marie; Rampp, Markus; Kronenberg, Adrian; Hammerle, Albin; Wohlfahrt, Georg; Jäger, Alexandra; Breu, Ruth; Simon, Alois (2025): FORTE: an open-source system for cost-effective and scalable environmental monitoring.
  In: Dörr, J; Steckel, T; Prankl, H; Kruder-Motsch, V; Bosse, S; Riegler-Nurscher, P; Floto, H (Hrsg.): Proceedings der 45. GIL-Jahrestagung 2025 - Fokus: Digitale Infrastrukturen für eine nachhaltige Land-, Forst- und Ernährungswirtschaft. 25.-26. Februar, Wieselburg, Austria. Bonn: Gesellschaft für Informatik (GI) (= GI-Edition: Lecture Notes in Informatics, 358)., S. 131 - 142. (DOI) (Weblink)
  
  
• 
  Pfister, Zoe; Vierhauser, Michael; Wohlrab, Rebekka; Breu, Ruth (2025): Towards a Value-Complemented Monitoring Framework for Humans in Cyber-Physical Systems.
  In: Hess, A.; Susi, A.: Requirements Engineering: Foundation for Software Quality. 31st International Working Conference, REFSQ 2025, Barcelona, Spain, April 7–10, 2025, Proceedings. Cham: Springer (= Lecture Notes in Computer Science, 15588)., ISBN 978-3-031-88530-3, S. 3 - 12. (DOI) (Weblink)
  
  
• 
  Piryani, Bhawna; Mozafari, Jamshid; Abdallah, Abdelrahman; Doucet, Antoine; Jatowt, Adam (2025): Evaluating Robustness of LLMs in Question Answering on Multilingual Noisy OCR Data.
  In: Cha, M.; Park, C.; et al.: Proceedings of the 34th ACM International Conference on Information and Knowledge Management (CIKM 2025). Seoul, Republic of Korea, November 10 - 14, 2025. New York: ACM Digital Library., ISBN 979-8-4007-2040-6, S. 2366 - 2376. (DOI) (Weblink)
  
  
• 
  Qin, Lang; Zhang, Yao; Liang, Hongru; Jatowt, Adam; Yang, Zhenglu (2025): Listening to Patients: Detecting and Mitigating Patient Misreport in Medical Dialogue System.
  In: Che, W.; Nabende, J.; Shutova, E.; Pilehvar, M. T.: Proceedings of the Findings of the Association for Computational Linguistics (ACL 2025). Stroudsburg, PA: Association for Computational Linguistics (ACL)., ISBN 979-8-89176-256-5, S. 2650 - 2664. (DOI) (Weblink)
  
  
• 
  Ranaut, Rishav; Saha, Sriparna; Jatowt, Adam; Gupta, Manish (2025): Text Obsoleteness Detection using Large Language Models.
  In: Proceedings of the 48th International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR 2025). July 13–18, 2025. Padua, Italy. New York: ACM Digital Library., ISBN 979-8-4007-1592-1, S. 2827 - 2831. (DOI) (Weblink)
  
  
• 
  Ristov, Sashko; Hautz, Mika; Gritsch, Philipp; Nastic, Stefan; Prodan, Radu; Felderer, Michael (2025): StoreLess: Serverless Workflow Scheduling with Federated Storage in Sky Computing.
  In: Service-Oriented Computing. Proceedings of the 22nd International Conference, ICSOC 2024, Part II. Tunis, Tunisia, December 3–6, 2024. Cham: Springer (= Lecture Notes in Computer Science, 15405)., ISBN 978-981-96-0807-2, S. 35 - 44. (DOI) (Weblink)
  
  
• 
  Ristov, Sashko; Hautz, Mika; Gritsch, Philipp; Schmut, Isabella; Koll, Peter; Felderer, Michael (2025): pyStorageLess: Leveraging Von Neumann’s Architecture to Abstract Storage Heterogeneity in Serverless Applications.
  In: Pahl, C.; Janes, A.; Cerny, T.; Lenarduzzi, V.; Esposito, M.: Service-Oriented and Cloud Computing. 11th IFIP WG 6.12 European Conference, ESOCC 2025, Bolzano, Italy, February 20–21, 2025, Proceedings. Cham: Springer (= Lecture Notes in Computer Science, 15547)., ISBN 978-3-031-84616-8, S. 171 - 178. (DOI) (Weblink)
  
  
• 
  Roy, Arnab; Steiner, Matthias Johann (2025): Generalized Triangular Dynamical System: An Algebraic System for Constructing Cryptographic Permutations over Finite Fields.
  In: Selected Areas in Cryptography – SAC 2024. 31st International Conference, Montreal, QC, Canada, August 28–30, 2024, Revised Selected Papers, Part I. Cham: Springer (= Lecture Notes in Computer Science, volume 15517)., ISBN 978-3-031-82840-9, S. 139 - 165. (DOI) (Weblink)
  
  
• 
  Sauerwein, Clemens; Haas, Christoph; Breu, Ruth (2025): A Framework for Collecting and Processing Publicly Available Security Information into Actionable Threat Intelligence.
  In: Proceedings of the 58th Hawaii International Conference on System Sciences (HICSS 2025). Association for Information Systems (AIS) / AIS Electronic Library (AISeL) (= Proceedings of the Hawaii International Conference on System Sciences (HICSS))., S. 6191 - 6200. (DOI) (Weblink)
  
  
• 
  Schöpf, Jonas; Middeldorp, Aart (2025): Automated Analysis of Logically Constrained Rewrite Systems using crest.
  In: Gurfinkel, Arie; Heule, Marijn: Tools and Algorithms for the Construction and Analysis of Systems. Proceedings of the 31st International Conference (TACAS 2025). Part I. Hamilton, ON, Canada, May 3–8, 2025. Cham: Springer (= Lecture Notes in Computer Science, 15696)., ISBN 978-3-031-90642-8, S. 124 - 144. (DOI) (Weblink)
  
  
• 
  Schöpf, Jonas; Middeldorp, Aart (2025): Improving Confluence Analysis for LCTRSs.
  In: Gutiérrez, R.; Nishida, N.: Proceedings of the 14th International Workshop on Confluence (IWC 2025). September 2–3, 2025, Leipzig, Germany. published online / Internetpublikation., S. 5 - 11. (Weblink)
  
  
• 
  Serles, Umutcan; Kärle, Elias; Hunkel, Richard; Fensel, Dieter (2025): German Tourism Knowledge Graph.
  In: Meroño Peñuela, A.; Corcho, O; Groth, P; et al: Proceedings of the The Semantic Web: ESWC 2024 Satellite Events. Part I. Hersonissos, Crete, Greece, May 26–30, 2024. Cham: Springer Nature (= Lecture Notes in Computer Science, 15344)., ISBN 978-3-031-78951-9, S. 316 - 320. (DOI) (Weblink)
  
  
• 
  Shahin, Mahtab; Ghasempouri, Tara; Rahimpour, Saheed; Aznar Poveda, Juan; Janatian, Nasim; Fahringer, Thomas; Shah, Syeed; Draheim, Dirk (2025): Meteorological Insights: Scalable Weather Pattern Mining in Tallinn and Tartu.
  In: Yang, Xin-She; Sherratt, R. Simon; Dey, Nilanjan; Joshi, Amit; (Eds): Proceedings of the 10th International Congress on Information and Communication Technology (ICICT 2025). Volume 2. Wien [u.a.]: Springer (= Lecture Notes in Networks and Systems, 1441)., ISBN 978-981-96-6937-0, S. 249 - 259. (DOI) (Weblink)
  
  
• 
  Stadler, Marco; Biffl, Stefan; Vierhauser, Michael; Sametinger, Johannes (2025): Towards Unified Field-Testing and Monitoring for Safe and Secure Robotic Applications.
  In: 2025 IEEE/ACM 7th International Workshop on Robotics Software Engineering (RoSE). Los Alamitos: IEEE Computer Society Press., ISBN 979-8-3315-3795-1, S. 17 - 20. (DOI) (Weblink)
  
  
• 
  Stadler, Marco; Vierhauser, Michael; Riegler, Michael; Waghubinger, Daniel; Samtinger, Johannes (2025): SAFER-D: A Self-Adaptive Security Framework for Distributed Computing Architectures.
  In: Andrikopoulos, V.; Pautasso, C.; Soldani, J.; Xu, X.: Software Architecture. Proceedings of the 19th European Conference Software Architecture (ECSA 2025). Limassol, Cyprus, September 15–19, 2025, Proceedings. Cham: Springer (= Lecture Notes in Computer Science, 15929)., ISBN 978-3-032-02138-0, S. 197 - 213. (DOI) (Weblink)
  
  
• 
  Steidl, Monika; Leitner, Michael; Urbanke, Pirmin; Gattringer, Marko; Felderer, Michael; Ristov, Sashko (2025): Storeless: Understanding Microservice Runtime Monitoring Data for Anomaly Detection with Structural Equation Modeling.
  In: Pfahl, D; Gonzalez Huerta, J; Klünder, J; Anwar, H: Proceedings of the 25th International Conference on Product-Focused Software Process Improvement (PROFES 2024). Tartu, Estonia, December 2–4. Cham: Springer (= Lecture Notes in Computer Science, 15452)., ISBN 978-3-031-78385-2, S. 404 - 413. (DOI) (Weblink)
  
  
• 
  Takahata, Kanta; Schöpf, Jonas; Nishida, Naoki; Aoto, Takahito (2025): Characterizing Equivalence of Logically Constrained Terms via Existentially Constrained Terms.
  In: Escobar, S.; Titolo, L.: Proceedings of the 35th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2025). Rende, Italy, September 9–10, 2025. Cham: Springer Nature (= Lecture Notes in Computer Science, 16117)., ISBN 978-3-032-04848-6, S. 180 - 195. (DOI) (Weblink)
  
  
• 
  Thiemann, René (2025): A New Proof for Soundness of Right-Forward Closures for Termination Analysis.
  In: Hofbauer, Dieter; Waldmann, Johannes: Proceedings of the 20th International Workshop on Termination (WST 2025). Leipzig: Leipziger Universitätsverlag., S. 63 - 69. (DOI) (Weblink)
  
  
• 
  Thiemann, René; Yamada, Akihisa (2025): Deciding pattern completeness in non-deterministic polynomial time.
  In: Gutiérrez, R.; Nishida, N.: Proceedings of the 14th International Workshop on Confluence (IWC 2025). September 2–3, 2025, Leipzig, Germany. published online / Internetpublikation., S. 31 - 37. (Weblink)
  
  
• 
  Thoman, Peter; Gschwandtner, Philipp (2025): Achieving High-throughput Strided Data Movement Across GPUs.
  In: IWOCL 2025: Proceedings of the 13th International Workshop on OpenCL and SYCL. Heidelberg, Germany, April 7 - 11. New York: ACM Digital Library., ISBN 979-8-4007-1360-6, S. 1 - 12. (DOI) (Weblink)
  
  
• 
  Urena-Santiago, Javier; Rodriguez-Sanchez, Antonio (2025): Solving Microorganism Enumeration through Weakly-Supervised Counting with Vision
  Transformers - A comparative study.
  In: Nessler, Bernhard; Piater, Justus; Roth, Peter: Austrian Symposium on AI, Robotics, and Vision (AIRoV). Proceedings – March 26–27, 2024, University of Innsbruck. Innsbruck: innsbruck university press (IUP)., ISBN 978-3-99106-150-2, S. 163 - 168. (DOI) (Weblink)
  
  
• 
  Wallat, Jonas; Abdallah, Abdelrahman; Jatowt, Adam; Anand, Avishek (2025): A Study into Investigating Temporal Robustness of LLMs.
  In: Che, W.; Nabende, J.; Shutova, E.; Pilehvar, M. T.: Proceedings of the Findings of the Association for Computational Linguistics (ACL 2025). Stroudsburg, PA: Association for Computational Linguistics (ACL)., ISBN 979-8-89176-256-5, S. 15685 - 15705. (DOI) (Weblink)
  
  
• 
  Yücedag, Hasan; Jatowt, Adam (2025): Guess the Age of Photos: An Interactive Web Platform for Historical Image Age Estimation.
  In: Cha, M.; Park, C.; et al.: Proceedings of the 34th ACM International Conference on Information and Knowledge Management (CIKM 2025). Seoul, Republic of Korea, November 10 - 14, 2025. New York: ACM Digital Library., ISBN 979-8-4007-2040-6, S. 6743 - 6746. (DOI) (Weblink)
  
  
• 
  Zahmatkesh, Samira; Zech, Philipp (2025): Comparing the Performance of Recurrent Neural Network and Some Well-Known Statistical Methods in the Case of Missing Multivariate Time Series Data.
  In: Lemaire, V; Ifrim, G; Bagnall, A; Guyet, T; Malinowski, S; Schäfer, P; Tavenard, R: Proceedings of the 9th ECML PKDD Workshop on Advanced Analytics and Learning on Temporal Data (AALTD 2024). Cham: Springer (= Lecture Notes in Computer Science, 15433)., ISBN 978-3-031-77065-4, S. 35 - 51. (DOI) (Weblink)
  
  
• 
  Zangerle, Eva; Mayerl, Maximilian; Potthast, Martin; Stein, Benno (2025): Overview of the Multi-Author Writing Style Analysis Task at PAN 2025.
  In: Faggioli, Guglielmo; Ferro, Nicola; Rosso, Paolo; Spina, Damiano (Eds.): Working Notes of the Conference and Labs of the Evaluation Forum (CLEF 2025). Madrid, Spain, 9-12 September 2025. Aachen: CEUR-WS.org., S. 3568 - 3574. (Weblink)
  
  
• 
  Zangerle, Eva; Said, Alan; Bauer, Christine (2025): Beyond Algorithms: Reclaiming the Interdisciplinary Roots of Recommender Systems (BEYOND 2025).
  In: Bielikova, M.; Kordik, P.; Schedl, M.; ed al: RecSys '25: Proceedings of the Nineteenth ACM Conference on Recommender Systems. Prague Czech Republic, September 22 - 26, 2025. New York: ACM Digital Library., ISBN 979-8-4007-1364-4, S. 1360 - 1361. (DOI) (Weblink)
  
  
• 
  Zech, Philipp; Clark, Tony; Breu, Ruth (2025): An Empirical Analysis of Digital Twin Adoption.
  In: Proceedings of the 58th Hawaii International Conference on System Sciences (HICSS 2025). Association for Information Systems (AIS) / AIS Electronic Library (AISeL) (= Proceedings of the Hawaii International Conference on System Sciences (HICSS))., S. 6253 - 6263. (DOI) (Weblink)
  
  
• 
  Zech, Philipp; Goldin, Emanuele; Zallinger, Christoph; Hammes, Sascha; Pobitzer, Philipp; Michael, Judith; Breu, Ruth (2025): An Ecosystem of DSMLs for Building Commissioning.
  In: Proceedings of the 28th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2025). 5-10 Oct. 2025. Los Alamitos: IEEE Computer Society Press., ISBN 979-8-3315-4910-7, S. 12 - 23. (DOI) (Weblink)
  
  
• 
  Zech, Philipp; Hammes, Sascha; Geisler-Moroder, David; Hauer, Martin; Pfluger, Rainer; Breu, Ruth (2025): Quantifying the Simulation-Reality Gap in Building Simulations.
  In: Proceedings of Building Simulation 2025: 19th Conference of IBPSA. International Building Performance Simulation Association (IBPSA) (= Proceedings of the International Building Performance Simulation Association)., ISBN 978-1-7750520-4-3, S. 1 - 8. (DOI) (Weblink)
  
  
• 
  Zech, Philipp; Vaidhyanathan, Karthik; Kanigolla, Likhith; Rahm, Luca; Breu, Ruth (2025): Modeling and Simulating IoT Infrastructures.
  In: Yang, Xin-She; Drogoul, Alexis; Wagner, Gerd: Proceedings of the 15th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2025). June 11-13, 2025, Bilbao, Spain. Setubal: SciTEPress., ISBN 978-989-758-759-7, S. 93 - 105. (DOI) (Weblink)
  
  
• 
  Zech, Philipp; Vangheluwe, Hans; Breu, Ruth (2025): A Theoretical Framework for Model-Based Life Cycle Engineering of Simulation Models.
  In: Proceedings of the 2025 Annual Modeling and Simulation Conference (ANNSIM 2025). 26-29 May 2025. Los Alamitos: IEEE Computer Society Press., ISBN 979-8-3313-1616-7, S. 1 - 13. (Weblink)
  
  
• 
  Zhang, Liao; Mitterwallner, Fabian; Jakubuv, Jan; Kaliszyk, Cezary (2025): Automated Strategy Invention for Confluence of Term Rewrite Systems.
  In: Kwok, J.: Proceedings of the 34th International Joint Conference on Artificial Intelligence (IJCAI 2025). Montreal, Canada, 16-22 August 2025 with satellite event in Guangzhou, China 29-31 August 2025. Wien: International Joint Conferences on Artificial Intelligence., ISBN 978-1-956792-06-5, S. 4724 - 4732. (DOI) (Weblink)
  
  
• 
  Zhou, Siying; Wu, Yiquan; Chen, Hui; Hu, Xueyu; Kuang, Kun; Jatowt, Adam; Zheng, Chunyan; Wu, Fei (2025): ClaimGen-CN: A Large-scale Chinese Dataset for Legal Claim Generation.
  In: Christodoulopoulos, C.; Chakraborty, T.; Rose, C.; Peng, V.: Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing (EMNLP 2025). Stroudsburg, PA: Association for Computational Linguistics (ACL)., ISBN 979-8-89176-335-7, S. 12296 - 12323. (DOI) (Weblink)
  
  

Lehrbuchbeitrag, wissenschaftlicher

• 
  Eberl, Manuel (2025): Selection.
  In: Nipkow, Tobias: Functional Data Structures and Algorithms: A Proof Assistant Approach. New York: ACM Press., ISBN 979-8-4007-3157-0, S. 31 - 44. (DOI) (Weblink)
  
  

Sonstige Publikationen

elektronische Publikation, wissenschaftliche

• 
  Rauch, Wolfgang; Kleidorfer, Manfred; Hauser, Martina; Rauch, Nikolaus; Funke, Fabian; Back, Yannick; Müller-Rechberger, Heide (2025): Ausbaugrad der Mischwasserkanalisation in Österreich. (Weblink)
  
  

elektronische Publikation (Preprint)

• 
  Halloran, Landon J. S.; Amschwand, Dominik (2025): Investigating seasonal and multi-decadal water/ice storage changes in the Murtèl rock glacier using time-lapse gravimetry. (Weblink)
  
  
• 
  Knorr, Fabian; Salzmann, Philip; Thoman, Peter; Fahringer, Thomas (2025): Concurrent Scheduling of High-Level Parallel Programs on Multi-GPU Systems. (DOI) (Weblink)
  
  
• 
  Saibene, Giulio; Gärtner-Roer, Isabelle; Beutel, Jan; Vieli, Andreas (2025): Multi-annual and seasonal patterns of Murtèl rock glacier borehole deformation, environmental controls and implications for kinematic monitoring. (DOI) (Weblink)
  
  
• 
  Weber, Samuel; Beutel, Jan; Dietze, Michael; Bast, Alexander; Kenner, Robert; Phillips, Marcia; Leinauer, Johannes; Mühlbauer, Simon; Pfluger, Felix; Krautblatter, Michael (2025): Progressive destabilization of a freestanding rock pillar in permafrost on the Matterhorn (Swiss Alps): Field observations, laboratory experiments and mechanical modeling. (DOI) (Weblink)
  
  

Forschungsdaten

• 
  Beutel, Jan; Weber, Samuel; Cicoira, Alessandro (2015-lfd): Matterhorn Cryosphere Observatory, Switzerland (Datensatz). Version 1. In: Swiss Seismological Service (SED) @ ETH Zürich. (DOI) (Weblink)
  
  
• 
  Mehran, Narges; Nikolov, Nikolay; Prodan, Radu; Roman, Dumitru; Kimovski, Dragi; Pallas, Frank; Dorfinger, Peter (2025): Traces of Edge Device Utilization and Microservice Requirements/Replicas (Datensatz). Version v1. In: Zenodo. (DOI) (Weblink)
  
  
• 
  Weber, Samuel; Beutel, Jan (2025): In-situ measurements in steep bedrock permafrost in an Alpine environment on the Matterhorn Hörnligrat, Zermatt Switzerland: 2008-2024 (Datensatz). Version 1. In: Pangaea. (DOI) (Weblink)
  
  
• 
  Weber, Samuel; Beutel, Jan; Dietze, Michael; Bast, Alexander; Kenner, Robert; Phillips, Marcia; Leinauer, Johannes; Mühlbauer, Simon; Pfluger, Felix; Krautblatter, Michael (2025): Progressive destabilization of a freestanding rock pillar in permafrost on the Matterhorn (Swiss Alps): Hydro-mechanical modeling and analysis (Video / Audio). Version 1.0. In: Copernicus Publications. (DOI) (Weblink)
  
  

Medienbeiträge

Beitrag in Publikumszeitschrift

• 
  Beutel, Jan (2025): Jan Beutel, warum zerfallen unsere Nordwände?
  In: pomona.media. (Weblink)
  
  

Medienbeitrag

• 
  Beutel, Jan: Brüchige Berge.
  In: ORF I vom 15.10.2025. (Weblink)
  
  
• 
  Beutel, Jan: Was passiert, wenn der Berg bröckelt? Klimawandelfolgen in den Alpen, Teil 3 (Interview).
  In: Youtube Kanal Deutscher Alpenverein vom 26.09.2025. (Weblink)
  
  
• 
  Beutel, Jan: Werden Berge Gefährlicher? (Interview).
  In: Youtube Kanal Deutscher Alpenverein - im Fokus vom 11.09.2025. (Weblink)
  
  
• 
  Beutel, Jan: An diesen Hängen drohen Felsstürze, Erd­rutsche und Schlamm­lawinen (Interview).
  In: Tagesanzeiger vom 06.06.2025. (Weblink)
  
  
• 
  Beutel, Jan: Nach Gletscherabbruch in Blatten: Wie sicher sind Alpendörfer noch?
  In: 3Sat vom 05.06.2025. (Weblink)
  
  
• 
  Beutel, Jan: Tagesspiegel Plus Gletschersturz in den Alpen: Gibt es solche Katastrophen nun häufiger?
  In: Der Tagesspiegel - Berlin vom 04.06.2025. (Weblink)
  
  
• 
  Beutel, Jan: Gigantischer Felsabsturz in Wallis (Interview).
  In: ARD Tagesschau vom 01.06.2025. (Weblink)
  
  
• 
  Beutel, Jan: Schweiz: Wie Frühwarnsysteme beim Gletscherabbruch Schlimmeres verhindert haben.
  In: ARD Europamagazin vom 01.06.2025. (Weblink)
  
  
• 
  Beutel, Jan: ‘This is ground zero for Blatten’: the tiny Swiss village engulfed by a mountain.
  In: The Guardian vom 01.06.2025. (Weblink)
  
  
• 
  Beutel, Jan: Wie es zum Bergsturz kam. Und was jetzt noch droht.
  In: Tagesanzeiger vom 31.05.2025. (Weblink)
  
  
• 
  Beutel, Jan: Bergsturz: Flut-Gefahr noch nicht gebannt.
  In: SERVUS TV vom 30.05.2025. (Weblink)
  
  
• 
  Beutel, Jan: "Das Tauen und Schmelzen wird unweigerlich weitergehen" (Interview als Pressemitteilung der UIBK bei APA).
  In: Austria Presse Agentur (APA) vom 30.05.2025. (Weblink)
  
  
• 
  Beutel, Jan: Der Bergsturz, der ein ganzes Dorf auslöschte.
  In: Die Zeit vom 30.05.2025. (Weblink)
  
  
• 
  Beutel, Jan: Experten fordern besseres Monitoring in Bergen.
  In: ORF ZiB1 vom 30.05.2025. (Weblink)
  
  
• 
  Beutel, Jan: Forscher: "Berge falten sich auf, wachsen in die Höhe".
  In: n-tv vom 30.05.2025. (Weblink)
  
  
• 
  Beutel, Jan: Forscher Beutel zu Gletscherabsturz: "Es gibt keinen Schutz".
  In: Norddeutscher Rundfunk (NDR) vom 30.05.2025. (Weblink)
  
  
• 
  Beutel, Jan: Gletscherabbruch im Lötschental.
  In: ORF ZiB2 vom 30.05.2025. (Weblink)
  
  
• 
  Beutel, Jan: Gletscherabbruch: „Kein vergleichbares Szenario in Österreich“.
  In: Die Presse vom 30.05.2025. (Weblink)
  
  
• 
  Beutel, Jan: Gletschersturz für Tiroler Forscher im Kontext mit Klimawandel.
  In: Austria Presse Agentur (APA) vom 30.05.2025. (Weblink)
  
  
• 
  Beutel, Jan: Gletschersturz in der Schweiz. Klimaforscher finden deutliche Worte.
  In: ORF Radio - Ö1 Mittagsjournal vom 30.05.2025. (Weblink)
  
  
• 
  Beutel, Jan: Klimaforscher finden deutliche Worte.
  In: orf.at vom 30.05.2025. (Weblink)
  
  
• 
  Beutel, Jan: Veränderungen im Hochgebirge im Kontext des Klimawandels.
  In: ORF ZIB 13.00 vom 30.05.2025. (Weblink)
  
  
• 
  Beutel, Jan: Wie hoch das Risiko von Bergstürzen im österreichischen Gebirge ist.
  In: Der Standard vom 30.05.2025. (Weblink)
  
  
• 
  Beutel, Jan: Das sagt Tiroler Forscher zum Mega-Gletschersturz.
  In: Kronen Zeitung vom 29.05.2025. (Weblink)
  
  
• 
  Beutel, Jan: Gletscherabbruch in der Schweiz Im Lötschental war "in ein paar Sekunden die ganze Heimat kaputt".
  In: n-tv vom 29.05.2025. (Weblink)
  
  
• 
  Beutel, Jan: Gletscherschutt blockiert Fluss Frisch gebildeter See dürfte binnen Stunden überlaufen.
  In: n-tv vom 29.05.2025. (Weblink)
  
  
• 
  Beutel, Jan: Starke Veränderungen im Hochgebirge.
  In: ORF Tirol Online vom 29.05.2025. (Weblink)
  
  
• 
  Beutel, Jan: Wasserstau: Nach Gletscherabbruch spitzt sich die Lage zu.
  In: Süddeutsche Zeitung vom 29.05.2025. (Weblink)
  
  
• 
  Beutel, Jan: Wie das Worst-Case-Szenario in Blatten eintreten konnte.
  In: Der Standard vom 29.05.2025. (Weblink)
  
  
• 
  Beutel, Jan: Jan Beutel, warum zerfallen unsere Nordwände?
  In: Walliser Bote vom 20.05.2025. (Weblink)
  
  
• 
  Beutel, Jan: Felssturz an der Dufourspitze: Forscher hatten schon vor Jahren vor solchen Ereignissen gewarnt.
  In: Walliser Bote vom 02.01.2025. (Weblink)
  
  
• 
  Beutel, Jan; Gruber, Katharina: Leben ohne Gletscher.
  In: ORF Radio - Ö1 vom 30.06.2025. (Weblink)
  
  
• 
  Beutel, Jan; Wallner, Anna: „Der Gletscher ist weg“: Was heißt der Bergsturz im Lötschental für Mensch und Natur?
  In: Die Presse vom 30.05.2025. (Weblink)
  
  
• 
  Jatowt, Adam: Temporal Reasoning of LLMs (Interview).
  In: ACM TechNews vom 03.11.2025.
  
  
• 
  Knierim, Pascal: VR-Training soll im Ernstfall Leben retten.
  In: ORF Tirol Online vom 26.11.2025. (Weblink)
  
  
• 
  Ströhle, Thomas: Ihr Einsatz bitte! (Interview).
  In: ORF Radio Tirol vom 20.07.2025. (Weblink)
  
  
• 
  Vierhauser, Michael: Post-it to Code - Von der kreativen Idee bis zu konkreten Softwareanforderungen (Podcast).
  In: DIH West: EASY cheesy DIGITAL vom 15.09.2025. (Weblink)
  
  

Vorträge 2025

Präsentationen auf Kongressen, Tagungen o.Ä.

Konferenzvortrag (Keynote)

• 
  Vortragende/r: Piater, Justus: Making robots learn to perceive and act with understanding.
  12th ECCOMAS Thematic Conference on Multibody Dynamics (MULTIBODY 2025), Innsbruck, 16.07.2025. (Weblink)
  
  
• 
  Vortragende/r: Piater, Justus: What is AI really?
  Cross-Border Seminar: AI in Law and Practice: Regional Perspectives on European Rules 2025, Innsbruck, 03.04.2025. (Weblink)
  
  
• 
  Vortragende/r: Tosatto, Samuele: Where are all the intelligent robots? A quest for efficiency in reinforcement learning.
  2nd International Reinforcement Learning Bootcamp 2025, Salzburg, 18.09.2025. (Weblink)
  
  

Konferenzvortrag (auf persönliche Einladung)

• 
  Vortragende/r: Jatowt, Adam: Fake News or Misinformation Detection.
  Workshop on Kaleidoscopic Patterns of Protest: A Fresh Look at Mediated Protest through Stories and Stats, Innsbruck, 03.06.2025. (Weblink)
  
  
• 
  Vortragende/r: Middeldorp, Aart: Termination and Confluence: Remembering Hans Zantema.
  14th International Workshop on Confluence (CoCo 2025), Leipzig, 03.09.2025. (Weblink)
  
  
• 
  Vortragende/r: Piater, Justus: Was heißt hier KI?
  Kontroversen in Gynäkologie und Geburtshilfe 2025, Zürs am Arlberg, 22.01.2025. (Weblink)
  
  
• 
  Vortragende/r: Roy, Arnab: Solving Iterative Polynomial Systems with Gröbner basis and Applications in Cryptanalysis.
  Workshop on Deepening and Applications of Computational Algebraic Geometry via Gröbner bases, Kyoto, 10.09.2025 (Online). (Weblink)
  
  
• 
  Vortragende/r: Seyeddizaji, Seyedehhaleh Co-AutorInnen: Soylu, Ahmet; Roman, Dumitru; Prodan, Radu: A Review and Evaluation of Link Prediction Models on SemOpenAlex Dataset.
  3rd Workshop on Serverless, Extreme-Scale, and Sustainable Graph Processing Systems (GraphSys 2025), Dresden, 25.08.2025. (Weblink)
  
  

Konferenzvortrag

• 
  Vortragende/r: Aznar Poveda, Juan Co-AutorInnen: Pedratscher, Stefan; Burger, Peter; Younesi, Abolfazl; Eheredge, Marlon; Samani Najafabadi, Zahra; Thoman, Peter; Fahringer, Thomas: FedGuard: Leader-Aware Fault-Tolerant Federated Learning in the Cloud–Edge Continuum.
  18th IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2025), Nantes, 01.12.2025. (Weblink)
  
  
• 
  Vortragende/r: Aznar Poveda, Juan Co-AutorInnen: Samani Najafabadi, Zahra; Cotrotzo, Marco; Müller, Jona Florian; Gschwandtner, Philipp; Fahringer Thomas: DRAF: A Drift-Resilient Averaging in Federated Learning across the Cloud Edge Continuum.
  18th IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2025), Nantes, 01.12.2025. (Weblink)
  
  
• 
  Vortragende/r: Campa, Luca: A Gröbner basis for Poseidon and its cryptanalytic impact.
  Cryptanalysis of Algebraic Hash Functions. Part Deux, Luxemburg, 23.10.2025. (Weblink)
  
  
• 
  Vortragende/r: Eberl, Manuel: The Isabelle Archive of Formal Proofs.
  EuroProofNet Workshop on Proof Libraries, Orsay, 15.09.2025. (Weblink)
  
  
• 
  Vortragende/r: Eberl, Manuel Co-AutorInnen: Lammich, Peter: Verifying an Efficient Algorithm for Computing Bernoulli Numbers.
  16th International Conference on Interactive Theorem Proving (ITP 2025), Reykjavik, 29.09.2025. (Weblink)
  
  
• 
  Vortragende/r: Etheredge, Marlon Co-AutorInnen: Poveda, Juan Aznar; Pedratscher, Stefan; Künig, Patrick; Fahringer, Thomas: Nyx: A Fault-Tolerant Fully Distributed Message Queue for the IoT-Edge-Cloud Continuum.
  1st International Workshop on Hybrid Intelligence for Internet of Everything Models and Implementations (HIEMI), Lucca, 09.06.2025. (Weblink)
  
  
• 
  Vortragende/r: Faharani, Reza; Prodan, Radu: Serverless Orchestration on the Edge-Cloud Continuum: From small Functions to Large Language Models.
  45th IEEE International Conference on Distributed Computing Systems (ICDCS 2025), Glasgow, 20.07.2025 (Online). (Weblink)
  
  
• 
  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)
  
  
• 
  Vortragende/r: Frontull, Samuel Co-AutorInnen: Meitinger, Manuel; Moser, Georg: Data-Driven Runtime Complexity Analysis.
  FroCoS/ITP/TABLEAUX 2025, Reykjavik, 30.09.2025. (Weblink)
  
  
• 
  Vortragende/r: Geiss, Henri-Jacques Co-AutorInnen: Agostini, Alejandro; Posner, Ingmar; Piater, Justus: Sparsity Regularisation for Sample Efficient Learning of Symbolic Planning Operators.
  The 9th Image Schema Day (ISD 2025), Catania, 09.09.2025. (Weblink)
  
  
• 
  Vortragende/r: Gritsch, Philipp Co-AutorInnen: Pierer, Deniz; Berardinelli, Luca; Felderer, Michael; Ristov, Sashko: Twin2Clouds: Cost-Aware Digital Twin Engineering and Deployment Across Federated Clouds.
  2nd International Conference on Engineering Digital Twins (EDTconf 2025), Gran Rapids, 06.10.2025. (Weblink)
  
  
• 
  Vortragende/r: Gritsch, Philipp Co-AutorInnen: Triendl, Simon; Ristov, Sashko: AutoDAG - An end-to-end automated platform for the creation and optimization of serverless DAGs in federated clouds.
  WOSCx4, , 17.06.2025 (Online). (Weblink)
  
  
• 
  Vortragende/r: Gschwandtner, Philipp: Bootcamp Performanceoriented Softwarengineering—Experiences from working with real-world problems and developers.
  Austrian-Slovenian HPC Meeting 2025 (ASHPC25), Rimske Terme, 21.05.2025. (Weblink)
  
  
• 
  Vortragende/r: Gschwandtner, Philipp: EuroHPC Systems and Access: From your Workstation to 10.000 CPUs and GPUs.
  Austrian-Slovenian HPC Meeting 2025 (ASHPC25), Rimske Terme, 19.05.2025. (Weblink)
  
  
• 
  Vortragende/r: Haller-Seeber, Simon: AI-powered tools for real-time transcription and translation in action: A self-hosted open-source framework for digital spaces.
  Medien – Wis­sen – Bil­dung 2025: Streif­züge an den Naht­stel­len von Medien, Bil­dung und Phi­lo­so­phie, Innsbruck, 25.04.2025. (Weblink)
  
  
• 
  Vortragende/r: Haller-Seeber, Simon Co-AutorInnen: Kelter, Christopher; Zaric, Marco; Piater, Justus: A Free and Open Web-Based IDE for the Sphero Bolt.
  16th International Conference on Robotics in Education (RiE 2025), Thessaloniki, 24.04.2025. (Weblink)
  
  
• 
  Vortragende/r: Hammes, Sascha Co-AutorInnen: Weninger, Johannes; Hochleitner, Iolanthe; Fröhlich, Marco; Zech, Philipp; Gschwandtner, Philipp: A performance comparison of analytical and heuristic optimization methods for determining an energy-efficient user distribution in office environments.
  Building Simulation Conference 2025 - BS2025, Brisbane, 27.08.2025 (Online). (Weblink)
  
  
• 
  Vortragende/r: Hammes, Sascha Co-AutorInnen: Weninger, Johannes; Zech, Philipp; Gschwandtner, Philipp: Unraveling the energy performance gap: Understanding user-related factors affecting lighting energy consumption in office buildings.
  Building Simulation Conference 2025 - BS2025, Brisbane, 27.08.2025 (Online). (Weblink)
  
  
• 
  Vortragende/r: Hammes, Sascha Co-AutorInnen: Zech, Philipp; Zallinger, Christoph; Geisler-Moroder, David; Goldin, Emanuele; Pfluger, Rainer: Kollaboratives Lichtsteuerungsdesign in BIM, automatisierte Inbetriebnahmen und Unreal Engine gestützter digitaler Zwilling – Ergebnisse aus einer Laborstudie.
  26. Europäischer Lichttechnischer Kongress. Licht 2025, Oldenburg, 01.04.2025. (Weblink)
  
  
• 
  Vortragende/r: Hofer, Nora Co-AutorInnen: Böhme, Rainer: Challenging Cases of Neural Image Compression: A Dataset of Visually Compelling Yet Semantically Incorrect Reconstruction.
  33rd ACM International Conference on Multimedia, Dublin, 31.10.2025. (Weblink)
  
  
• 
  Vortragende/r: Keller, Patrick: Automated Selfish Mining Analysis for DAG-Based PoW Consensus Protocols.
  23rd International Conference on Applied Cryptography and Network Security(ACNS 2025), München, 23.06.2025. (Weblink)
  
  
• 
  Vortragende/r: Kelter, Christopher Co-AutorInnen: Zech, Philipp; Hammes, Sascha; Michael, Judith; Breu, Ruth: Meta-Metamodel-Independent Model Transformations.
  51st Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2025), Salerno, 12.09.2025. (Weblink)
  
  
• 
  Vortragende/r: Kirk, Christina Co-AutorInnen: Middeldorp, Aart: Formalizing Simultaneous Critical Pairs for Confluence of Left-Linear Rewrite Systems.
  Certified Programs and Proofs (CPP 2025), Denver, 20.01.2025. (Weblink)
  
  
• 
  Vortragende/r: Knierim, Pascal Co-AutorInnen: Hetzenauer, Anna-Lena; Sitar, Christoph: Transforming Avalanche Rescue Training: Evaluating the Effectiveness of Virtual Reality Training in High-Stakes Environments.
  24th IEEE International Symposium on Mixed and Augmented Reality (ISMAR 2025), Daejeon, 11.10.2025. (Weblink)
  
  
• 
  Vortragende/r: Lill, Bjarne Co-AutorInnen: Sauerwein, Clemens; Zeisler, Alexander; Hochstrasser, Carina; Mexis, Nico: Assessing Cybersecurity Readiness Among SME.
  27th International Conference on Enterprise Information Systems (ICEIS 2025), Porto, 04.04.2025. (Weblink)
  
  
• 
  Vortragende/r: Middeldorp, Aart Co-AutorInnen: Niederhauser, Johannes: Towards Confluence of Deterministic Higher-Order Pattern Rewrite Systems by Critical Pairs.
  62nd TRS Meeting, Aichi, 17.09.2025. (Weblink)
  
  
• 
  Vortragende/r: Middeldorp, Aart Co-AutorInnen: Schöpf, Jonas: Improving Confluence Analysis for Logically Constrained Rewrite Systems.
  62nd TRS Meeting, Aichi, 16.09.2025. (Weblink)
  
  
• 
  Vortragende/r: Middeldorp, Aart Co-AutorInnen: Schöpf, Jonas: Improving Confluence Analysis for LCTRSs.
  14th International Workshop on Confluence (CoCo 2025), Leipzig, 02.09.2025. (Weblink)
  
  
• 
  Vortragende/r: Middeldorp, Aart Co-AutorInnen: Thiemann, René: Confluence Competition 2025.
  14th International Workshop on Confluence (CoCo 2025), Leipzig, 02.09.2025. (Weblink)
  
  
• 
  Vortragende/r: Mitterrutzner, Gabriel Co-AutorInnen: Thoman, Peter; Gschwandtner, Philipp: A High-level API for End-to-end Data Compression in Multi-GPU Cluster Applications.
  High-Level Parallel Programming and Applications (HLPP 2025), Innsbruck, 04.07.2025. (Weblink)
  
  
• 
  Vortragende/r: Mohammadi, Amir Reza Co-AutorInnen: Mueller, Michael; Peintner, Andreas; Barroso Gstrein, Beatriz; Specht, Günther; Zangerle, Eva: Quantitative Assessment of GNN Counterfactual Explanation Robustness and Reproducibility under Adversarial Influence.
  36th GI-Workshop on Fundamentals of Databases - Grundlagen von Datenbanken, Regensburg, 30.09.2025. (Weblink)
  
  
• 
  Vortragende/r: Mohammadi, Amir Reza Co-AutorInnen: Peintner, Andreas; Mueller, Michael; Zangerle, Eva: Beyond Top-1: Addressing Inconsistencies in Evaluating Counterfactual Explanations for Recommender Systems.
  19th ACM Conference on Recommender Systems, Prag, 25.09.2025. (Weblink)
  
  
• 
  Vortragende/r: Mueller, Michael Co-AutorInnen: Mohammadi, Amir Reza; Peintner, Andreas; Barroso Gstrein, Beatriz; Zangerle, Eva; Specht, Günther: Yearning for Better Metrics: Revisiting the ReDial Dataset for Evaluating Conversational Recommender Systems.
  36th GI-Workshop on Fundamentals of Databases - Grundlagen von Datenbanken, Regensburg, 29.09.2025. (Weblink)
  
  
• 
  Vortragende/r: Niederhauser, Johannes Co-AutorInnen: Middeldorp, Aart: NCPO goes Beta-Eta-Long Normal Form.
  20th International Workshop on Termination (WST 2025), Leipzig, 03.09.2025. (Weblink)
  
  
• 
  Vortragende/r: Niederhauser, Johannes Co-AutorInnen: Middeldorp, Aart: Towards Confluence of Deterministic Higher-Order Pattern Rewrite Systems by Critical Pairs.
  14th International Workshop on Confluence (CoCo 2025), Leipzig, 02.09.2025. (Weblink)
  
  
• 
  Vortragende/r: Niederhauser, Johannes Co-AutorInnen: Middeldorp, Aart: The Computability Path Order for Beta-Eta-Normal Higher-Order Rewriting.
  30th International Conference on Automated Deducation (CADE 2025), Stuttgart, 28.07.2025. (Weblink)
  
  
• 
  Vortragende/r: Pellet, Cecile Co-AutorInnen: Noetzli, Jeannette; ..., ...; Amschwand, Dominik; Beutel, Jan; et al; PERMOS Scientific Commitee: 25 years permafrost monitoring in the Swiss Alps.
  European Geosciences Union (EGU) General Assembly 2025, Wien, 28.04.2025. (Weblink)
  
  
• 
  Vortragende/r: Pfister, Zoe: Human-Machine Collaboration and Ethical Considerations in Adaptive Cyber-Physical Systems.
  33rd IEEE International Requirements Engineering Conference (RE 2025), Valencia, 02.09.2025. (Weblink)
  
  
• 
  Vortragende/r: Pfister, Zoe Co-AutorInnen: Vierhauser, Michael; Medvedova, Alzbeta; Schroeder, Marie; Rampp, Markus; Kronenberg, Adrian; Hammerle, Albin; Wohlfahrt, Georg; Jäger, Alexandra; Breu, Ruth; Simon, Alois: FORTE: An Open-Source System for Cost-Effective and Scalable Environmental Monitoring.
  45. GIL-Jahrestagung, Wieselburg, 26.02.2025. (Weblink)
  
  
• 
  Vortragende/r: Pfister, Zoe; Vierhauser, Michael; Wohlrab, Rebekka; Breu, Ruth: Towards a Value-Complemented Monitoring Framework for Humans in Cyber-Physical Systems.
  31. International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2025), Barcelona, 08.04.2025. (Weblink)
  
  
• 
  Vortragende/r: Piryani, Bhawna Co-AutorInnen: Mozafari, Jamshid; Abdallah, Abdelrahman; Doucet, Antoine; Jatowt, Adam: Evaluating Robustness of LLMs in Question Answering on Multilingual Noisy OCR Data.
  34th ACM Conference on Information and Knowledge Management (CIKM 2025), Seoul, 11.11.2025. (Weblink)
  
  
• 
  Vortragende/r: Pobitzer, Philipp Co-AutorInnen: Zech, Philipp; Burger, Manuel; Wald, Linus; Hammes, Sascha; Michael, Judith: A Hybrid Query Language for Digital Twins.
  31st International Conference on Cooperative Information Systems (CoopIS 2025), Marbella, 21.10.2025. (Weblink)
  
  
• 
  Vortragende/r: Prodan, Radu Co-AutorInnen: Roman, Dumitru; Konstantinidis, George; Palmonari, Matteo; Musidlowska, Marta: DataPACT: Compliance by Design of Data/AI Operations and Pipelines.
  37th International Conference on Advanced Information Systems Engineering (CAiSE), Wien, 16.06.2025. (Weblink)
  
  
• 
  Vortragende/r: Ranalter, Daniel Co-AutorInnen: Kaliszyk, Cezary; Rabe, Florian; Sutcliffe, Geoff: The Dependently Typed Higher-Order Form for the TPTP World.
  15th International Symposium on Frontiers of Combining Systems (FroCoS 2025), Reykjavik, 30.09.2025. (Weblink)
  
  
• 
  Vortragende/r: Ristov, Sashko Co-AutorInnen: Hautz, Mika; Gritsch, Philipp; Schmut, Isabella; Koll, Peter; Felderer, Michael: pyStorageLess: Leveraging Von Neumann’s Architecture to Abstract Storage Heterogeneity in Serverless Applications.
  11th European Conference On Service-Oriented And Cloud Computing (ESOCC 2025), Bozen, 21.02.2025. (Weblink)
  
  
• 
  Vortragende/r: Ristov, Sashko Co-AutorInnen: Jatowt, Adam; Gritsch, Philipp; Brandacher, Simon; Rosengren, Peter; Valerio, Danilo; Luo, Fengji: FlexiDigital: A Comprehensive Approach to Energy Flexibility Services using Digital Twins and Large Language Models.
  16th ACM International Conference on Future and Sustainable Energy Systems (ACM e-Energy 2025), Rotterdam, 17.06.2025. (Weblink)
  
  
• 
  Vortragende/r: Ristov, Sashko Co-AutorInnen: Meshcheriakova, Anna; Gritsch, Philipp; Zech, Philipp; Breu, Ruth: Goal-driven building automation using serverless computing.
  3rd Workshop on Intelligent and Adaptive Edge-Cloud Operations and Services (Intel4EC 2025), Mailand, 04.06.2025. (Weblink)
  
  
• 
  Vortragende/r: Roy, Arnab: Algebraic Analysis of Poseidon.
  Algebraic Hash Cryptanalysis Days 2025, Madrid, 04.05.2025. (Weblink)
  
  
• 
  Vortragende/r: Schöpf, Jonas: Automated Analysis of Logically Constrained Rewrite Systems using crest.
  31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2025), Hamilton, 05.05.2025. (Weblink)
  
  
• 
  Vortragende/r: Senn, Judith: The Three Horsemen of Scalability and Privacy- The Case of Digital Payments.
  PET-CON 2025.2: 14th Privacy Enhancing Techniques Convention, Salzburg, 04.09.2025.
  
  
• 
  Vortragende/r: Thiemann, Renè: A New Proof for Soundness of Right-Forward Closures for Termination Analysis.
  20th International Workshop on Termination (WST 2025), Leipzig, 04.09.2025. (Weblink)
  
  
• 
  Vortragende/r: Thiemann, René Co-AutorInnen: Dohan, Kim; Saito, Teppei; Yamada, Akihisa: An Isabelle Formalization of Co-rewrite Pairs for Non-reachability in Term Rewriting.
  Certified Programs and Proofs (CPP 2025), Denver, 20.01.2025. (Weblink)
  
  
• 
  Vortragende/r: Thiemann, René Co-AutorInnen: Le Huitouze, Ulysse: Core matrix interpretations for proving termination of term rewrite systems.
  20th International Workshop on Termination (WST 2025), Leipzig, 03.09.2025. (Weblink)
  
  
• 
  Vortragende/r: Thiemann, Renè Co-AutorInnen: Yamada, Akihisa: Deciding pattern completeness in non-deterministic polynomial time.
  14th International Workshop on Confluence (CoCo 2025), Leipzig, 02.09.2025. (Weblink)
  
  
• 
  Vortragende/r: Thoman, Peter: How many bits do we need? HPC lessons from ML hardware and software.
  Scalable Approaches to High Performance Computing (ScalPerf 2025), Bertinoro, 17.09.2025. (Weblink)
  
  
• 
  Vortragende/r: Thoman, Peter Co-AutorInnen: Gschwandtner, Philipp: Achieving High-throughput Strided Data Movement Across GPUs.
  13th International Workshop on OpenCL and SYCL (IWOCL '25), Heidelberg, 11.04.2025. (Weblink)
  
  
• 
  Vortragende/r: Weber, Samuel Co-AutorInnen: Bast, Alexander; Beutel, Jan; Dietze, Michael; Kenner, Robert; Leinauer, Johannes; Mühlbacher, Simon; Pfluger, Felix; Krautblatter, Michael: How percolating snowmelt water progressively destabilizes a free-standing rock pillar on permafrost: Field observations from Matterhorn (CH), laboratory experiments and mechanical modeling.
  European Geosciences Union (EGU) General Assembly 2025, Wien, 28.04.2025. (Weblink)
  
  
• 
  Vortragende/r: Younesi, Abolfazl Co-AutorInnen: Mayran, Abbas Shabrang; Oustad, Elyas; Samani Najafabadi, Zahra; Ansari, Mohsen; Fahringer, Thomas: Splitwise: Collaborative Edge–Cloud Inference for LLMs via Lyapunov-Assisted DRL.
  18th IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2025), Nantes, 02.12.2025. (Weblink)
  
  
• 
  Vortragende/r: Zech, Philipp: An Empirical Analysis of Digital Twin Adoption.
  58th Hawaii International Conference on Information Sciences (HICSS 2025), Hawaii, 08.01.2025. (Weblink)
  
  
• 
  Vortragende/r: Zech, Philipp Co-AutorInnen: Goldin, Emanuele; Senoner, Simon; Michael, Judith; Hammes, Sascha: Model-driven Digital Twins for AECO.
  2nd International Conference on Engineering Digital Twins (EDTconf 2025), Gran Rapids, 06.10.2025 (Online). (Weblink)
  
  
• 
  Vortragende/r: Zech, Philipp Co-AutorInnen: Goldin, Emanuele; Zallinger, Christoph; Hammes, Sascha; Pobitzer, Philipp; Michael, Judith; Breu, Ruth: An Ecosystem of DSMLs for Building Commissioning.
  ACM / IEEE 28th International Conference on Model Driven Engineering Languages and Systems (Models 2025), Grand Rapids, 10.10.2025 (Online). (Weblink)
  
  
• 
  Vortragende/r: Zech, Philipp Co-AutorInnen: Hammes, Sascha; Geisler-Moroder, David; Hauer, Martin; Pfluger, Rainer; Breu, Ruth: Quantifying the Simulation-Reality Gap.
  Building Simulation Conference 2025 - BS2025, Brisbane, 26.08.2025. (Weblink)
  
  
• 
  Vortragende/r: Zech, Philipp Co-AutorInnen: Vaidhyanathan, Karthik; Kanigolla, Likhith; Rahm, Luca; Breu, Ruth: Modeling and Simulating IoT Infrastructures.
  15th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH) 2025, Bilbao, 11.06.2025 (Online). (Weblink)
  
  

Chair / Diskussionsteilnehmer:in bei Konferenz

• 
  Beutel, Jan: Workshop Moderation: The avalanche disaster in Blatten.
  International Mountain Conference (IMC2025), Innsbruck, 18.09.2025. (Weblink)
  
  
• 
  Beutel, Jan: Panel Discussant: Towards Field Work Safety Concepts.
  European Geosciences Union (EGU) General Assembly 2025, Wien, 28.04.2025. (Weblink)
  
  
• 
  Böhme, Rainer: Panel chair.
  Rossfest Symposium in memory of Ross Anderson, Cambridge, 25.03.2025. (Weblink)
  
  
• 
  Breu, Ruth: Leitung der Paneldiskussion.
  KI-Forum der Tiroler Industrie, Innsbruck, 22.10.2025. (Weblink)
  
  
• 
  Breu, Ruth: Leitung der Paneldiskussion.
  DIH West Forum - KI und Daten als Treiber des Wandels, Innsbruck, 09.10.2025. (Weblink)
  
  
• 
  Prodan, Radu: Panel discussion: DataNexus: Extreme data driven solutions and services – Updated perspectives and Challenges for Europe.
  Data Week 2025, Athen, 28.05.2025. (Weblink)
  
  
• 
  Prodan, Radu: Panel discussion: EUDATA+: Solutions for Data Trading and Marketplaces (Insight for the Future of AI and Data Spaces).
  Data Week 2025, Athen, 28.05.2025. (Weblink)
  
  
• 
  Segur-Cabanac, Natalie; Zimmermann, Chloé; Breu, Ruth: KI und wir (Paneldiskussion).
  IGF Austria 2025, Innsbruck, 29.04.2025. (Weblink)
  
  
• 
  Zangerle, Eva: Session Chair Poster Minute Madness.
  Austrian Computer Science Day 2025, Innsbruck, 06.06.2025. (Weblink)
  
  
• 
  Zech, Philipp: Session chair.
  Annual Modeling and Simulation Conference (ANNSIM 2025), Madrid, 26.05.2025. (Weblink)
  
  

Vortrag bei Expert:innentagung

• 
  Vortragende/r: Beutel, Jan: Switzerland/Italy: Matterhorn Cryosphere Observatory CH/ITA.
  Virtual Alpine Observatory - VAO Symposium 2025, Kaprun, 04.04.2025. (Weblink)
  
  
• 
  Vortragende/r: Piater, Justus; Agostini, Alejandro: Learning symbols and abstractions in robot planning.
  Abstraction: Language - Science - Engineering 2025, Bozen, 11.07.2025. (Weblink)
  
  
• 
  Vortragende/r: Prodan, Radu: Graph-Massivizer: A holistic neuro-symbolic platform for scalable and sustainable graph processing of extreme data.
  Austrian Computer Science Day 2025, Innsbruck, 06.06.2025. (Weblink)
  
  

Vortrag bei Summer-/Winterschool

• 
  Vortragende/r: Gschwandtner, Philipp: How to write correct OpenMP programs.
  Shared-Memory Parallelization with OpenMP, , 04.11.2025 (Online). (Weblink)
  
  
• 
  Vortragende/r: Gschwandtner, Philipp: How to write efficient OpenMP programs.
  Shared-Memory Parallelization with OpenMP, , 04.11.2025 (Online). (Weblink)
  
  
• 
  Vortragende/r: Gschwandtner, Philipp: The taskloop directive.
  Shared-Memory Parallelization with OpenMP, , 04.11.2025 (Online). (Weblink)
  
  
• 
  Vortragende/r: Gschwandtner, Philipp: Thread affinity in OpenMP.
  Shared-Memory Parallelization with OpenMP, , 04.11.2025 (Online). (Weblink)
  
  
• 
  Vortragende/r: Gschwandtner, Philipp: Vectorization with OpenMP.
  Shared-Memory Parallelization with OpenMP, , 04.11.2025 (Online). (Weblink)
  
  
• 
  Vortragende/r: Gschwandtner, Philipp: An overview of OpenMP.
  Shared-Memory Parallelization with OpenMP, , 03.11.2025 (Online). (Weblink)
  
  
• 
  Vortragende/r: Gschwandtner, Philipp: Introduction to modern hardware.
  Shared-Memory Parallelization with OpenMP, , 03.11.2025 (Online). (Weblink)
  
  
• 
  Vortragende/r: Gschwandtner, Philipp: More OpenMP.
  Shared-Memory Parallelization with OpenMP, , 03.11.2025 (Online). (Weblink)
  
  
• 
  Vortragende/r: Gschwandtner, Philipp: OpenMP programming and execution model.
  Shared-Memory Parallelization with OpenMP, , 03.11.2025 (Online). (Weblink)
  
  
• 
  Vortragende/r: Gschwandtner, Philipp: OpenMP worksharing directives.
  Shared-Memory Parallelization with OpenMP, , 03.11.2025 (Online). (Weblink)
  
  
• 
  Vortragende/r: Piater, Justus: High-Level AI For Autonomous Robots.
  ELIAS-ELLIS-VISMAC Winter School 2025, Brunico, 31.01.2025. (Weblink)
  
  
• 
  Vortragende/r: Roy, Arnab: MPC-Friendly Ciphers: Algebraic Symmetric Primitives.
  MOZAIK Winter School, Heverlee, 02.04.2025. (Weblink)
  
  

Vortrag bei Projektmeeting / Forschungskooperationstreffen

• 
  Vortragende/r: Beutel, Jan: Permafrost in Tirol: Überblick und Forschungsstand.
  FROST.INI - Steakholder Meeting, Kaprun, 03.04.2025. (Weblink)
  
  
• 
  Vortragende/r: Middeldorp, Aart Co-AutorInnen: Kirk, Christina: Formalizing Simultaneous Critical Pairs.
  61st TRS Meeting 2025, Ishikawa, 10.03.2025. (Weblink)
  
  
• 
  Vortragende/r: Middeldorp, Aart Co-AutorInnen: Niederhauser, Johannes: CPO for Beta-Eta-Normal Higher-Order Rewriting.
  61st TRS Meeting 2025, Ishikawa, 11.03.2025. (Weblink)
  
  
• 
  Vortragende/r: Ranalter, Daniel: Erasure-Respecting Semantics for DHOL.
  EuroProofNet-WG6 meeting, Genua, 17.04.2025. (Weblink)
  
  
• 
  Vortragende/r: Vierhauser, Michael: Technical and Ethical Considerations when Monitoring Humans in CPS.
  Annual IFIP Working Group Meeting 2025, Punta Cana, 26.02.2025. (Weblink)
  
  

Posterpräsentation

• 
  Vortragende/r: Abdallah, Abdelrahman Co-AutorInnen: Mozafari, Jamshid; Piryani, Bhawna; Jatowt, Adam: DeAR: Dual-Stage Document Reranking with Reasoning Agents via LLM Distillation.
  30th Conference on Empirical Methods in Natural Language Processing (EMNLP 2025), Suzhou, 07.11.2025. (Weblink)
  
  
• 
  Vortragende/r: Amschwand, Dominik Co-AutorInnen: Halloran, Landon J.S.: Testing time-lapse gravimetry on Murtèl rock glacier (Upper Engadin) to spatially resolve subsurface water/ice storage changes.
  15th DACH Permafrost Conference, Davos, 09.01.2025. (Weblink)
  
  
• 
  Vortragende/r: Amschwand, Dominik Co-AutorInnen: Halloran, Landon; Vonder Mühll, Daniel; Hoelzle, Martin; Beutel, Jan: PICO-Presentation: Testing time-lapse gravimetry on Murtèl rock glacier (Swiss Alps) to quantify subsurface water/ice storage changes.
  European Geosciences Union (EGU) General Assembly 2025, Wien, 29.04.2025. (Weblink)
  
  
• 
  Vortragende/r: Beutel, Jan Co-AutorInnen: Amschwand, Dominik; Weber, Samuel: Active Layer Boundary Conditions in Steep Rockwall Permafrost.
  European Geosciences Union (EGU) General Assembly 2025, Wien, 28.04.2025. (Weblink)
  
  
• 
  Vortragende/r: Gritsch, Philipp Co-AutorInnen: Pierer, Deniz; Berardinelli, Luca; Cotrotzo, Marco; Kaserer, Klaus; Sicher, Robert; Valerio, Danilo; Felderer, Michael; Ristov, Sashko: Twin2Clouds: Cost-Aware DT Engineering and Deployment in the Cloud.
  ACM / IEEE 28th International Conference on Model Driven Engineering Languages and Systems (Models 2025), Grand Rapids, 09.10.2025. (Weblink)
  
  
• 
  Vortragende/r: Haller-Seeber, Simon: STAIR-Lab.
  INNALP Abschlusssymposium, Innsbruck, 03.12.2025. (Weblink)
  
  
• 
  Vortragende/r: Hofer, Nora: Semantic Changes in Learning Based Image Compression.
  IEEE EURASIP Summer School on Signal Processing (S3P-2025), San Vincenzo, 22.09.2025.
  
  
• 
  Vortragende/r: Mohammadi, Amir Reza: Counterfactual Explanations for Recommendation.
  Austrian Computer Science Day 2025, Innsbruck, 06.06.2025. (Weblink)
  
  
• 
  Vortragende/r: Müller, Michael: Advancing User-Centric Evaluation and Design of Conversational Recommender Systems.
  19th ACM Conference on Recommender Systems, Prag, 22.09.2025. (Weblink)
  
  
• 
  Vortragende/r: Peintner, Andreas Co-AutorInnen: Mohammadi, Amir Reza; Mueller, Michael; Zangerle, Eva: Hypergraph-based Temporal Modelling of Repeated Intent for Sequential Recommendation.
  ACM Web Conference 2025, Sydney, 30.04.2025. (Weblink)
  
  
• 
  Vortragende/r: Petschko, Felix Co-AutorInnen: Kanetscheider, Mario; Ganzenhuber, Tobias; Rodríguez-Sánchez, Antonio; Sturm, Gregor; Finotello, Francesca: Scaling immune-cell receptor analysis with Scirpy to millions of single cells.
  17th ÖGMBT Annual Meeting - From Molecules to Organisms - Interactions and Interventions, Innsbruck, 26.09.2025.
  
  
• 
  Vortragende/r: Zech, Philipp Co-AutorInnen: Goldin, Emanuele; Senoner, Simon; Michael, Judith; Hammes, Sascha: Model-driven Digital Twins for AECO.
  ACM / IEEE 28th International Conference on Model Driven Engineering Languages and Systems (Models 2025), Grand Rapids, 09.10.2025. (Weblink)
  
  
• 
  Vortragende/r: Zech, Philipp Co-AutorInnen: Goldin, Emanuele; Zallinger, Christoph; Hammes, Sascha; Pobitzer, Philipp; Michael, Judith; Breu, Ruth: An Ecosystem of DSMLs for Building Commissioning.
  ACM / IEEE 28th International Conference on Model Driven Engineering Languages and Systems (Models 2025), Grand Rapids, 09.10.2025. (Weblink)
  
  

Gastvorträge

Gastvortrag

• 
  Vortragende/r: Amschwand, Dominik: The seasonal ice turnover in the coarse-blocky Murtèl rock glacier (Engadin): Quantitative measurements and implications for the permafrost-groundwater connectivity.
  Université de Neuchâtel, Neuchâtel, 27.05.2025. (Weblink)
  
  
• 
  Vortragende/r: Beutel, Jan: 32 Milliseconds to the Matterhorn.
  Paris Lodron Universität Salzburg (PLUS), Salzburg, 03.06.2025. (Weblink)
  
  
• 
  Vortragende/r: Campa, Luca; Roy, Arnab: Solving Iterative Polynomial System with Gröbner basis and Algebraic Cryptanalysis.
  Johannes Kepler Universität Linz (JKU), Linz, 27.10.2025. (Weblink)
  
  
• 
  Vortragende/r: Eberl, Manuel: Case Study: Verifying an Efficient Algorithm to Compute Bernoulli Numbers.
  Isaac Newton Institute for Mathematical Sciences, Cambridge, 12.06.2025. (Weblink)
  
  
• 
  Vortragende/r: Harder, Matthias: Virtual Reality-Based Surgical Training - Vessel Synthesis and Orthopedic Drilling.
  Chung-Ang University (CAU), Seoul, 22.09.2025. (Weblink)
  
  
• 
  Vortragende/r: Jatowt, Adam: Analyzing and Improving Temporal Knowledge and Reasoning Capabilities of Large Language Models.
  Université Toulouse – Jean Jaurès, Toulouse, 17.11.2025.
  
  
• 
  Vortragende/r: Jatowt, Adam: Analyzing & Improving Temporal Reasoning Capabilities of Large Language Models.
  Indian Institute of Technology Patna (IIT), Bihar, 09.11.2025 (Online).
  
  
• 
  Vortragende/r: Kim, Dohan: Equational Reasoning for Clauses over Strings.
  Technische Universität Wien (TU Wien), Wien, 20.05.2025. (Weblink)
  
  
• 
  Vortragende/r: Middeldorp, Aart Co-AutorInnen: Niederhauser, Johannes: Explorations in Higher-Order Rewriting.
  Radboud Universiteit (RU) Nijmegen / Radboud University Nijmegen / Radboud Universität Nijmegen, Nijmegen, 26.06.2025.
  
  
• 
  Vortragende/r: Ristov, Sashko: Coding Modern Serverless Workflow Applications in Sky Computing: From Monoliths to AI-Assisted Development.
  Universitat Rovira i Virgili / Rovira i Virgili University, Tarragona, 15.05.2025. (Weblink)
  
  
• 
  Vortragende/r: Roy, Arnab: New design approaches in privacy-friendly symmetric cryptography and algebraic cryptanalysis.
  Università degli Studi di Trento / University of Trento / Universität Trient, Trento / Trient, 11.04.2025.
  
  
• 
  Vortragende/r: Vierhauser, Michael: Runtime Monitoring of Humans and Cyber-Physical Systems.
  University of Notre Dame, Notre Dame (Indiana), 24.04.2025 (Online).
  
  

Einzelvorträge (berufliche Weiterbildung / Wissenstransfer)

Lehrer:innenfortbildung

• 
  Haller, Simon; Ströhle, Thomas; Vidovic, Cornelia: Faszination Informatik: Robotik, KI & Lernlabor.
  Pädagogische Hochschule Tirol (PHT), Innsbruck, 24.11.2025. (Weblink)
  
  
• 
  Piater, Justus: Lieber gleich berechtigt als später: Hallo KI, hilfst du uns bei der Gleichstellung?!
  Tiroler Bildungsinstitut Grillhof, Vill, 06.03.2025.
  
  
• 
  Ströhle, Thomas: Lernlabor & Fachdidaktik.
  Pädagogische Hochschule Tirol (PHT), Innsbruck, 08.10.2025.
  
  

Vortrag (Wissenstransfer / Weiterbildung)

• 
  Vortragende/r: Beutel, Jan: Klimawandel – Auswirkungen auf die Kryosphäre im Hochgebirge.
  Verband der Österreichischen Berg- und Skiführer (VÖBS), Innsbruck, 07.11.2025. (Weblink)
  
  
• 
  Vortragende/r: Beutel, Jan: Klimawandel und Permafrost aus wissenschaftlicher Sicht.
  Österreichisches Kuratorium für Alpine Sicherheit, Innsbruck, 25.04.2025. (Weblink)
  
  
• 
  Vortragende/r: Böhme, Rainer: Economic & Technical Perspectives on Data Protection by Design in the Context of the Digital Euro Project.
  Europäischer Datenschutzausschuss - European Data Protection Board (EDPB), Brüssel, 28.05.2025 (Online).
  
  
• 
  Vortragende/r: Jatowt, Adam: Analysis of Capabilities of Large Language Models for the Extraction and Prediction of EU Taxonomy-Compliant information.
  Fraunhofer Austria Research / Fraunhofer Innovationszentrum Tirol, Wattens, 05.11.2025. (Weblink)
  
  
• 
  Vortragende/r: Jatowt, Adam: Large Language Models as Reasoning Agents.
  Industriellenvereinigung Tirol, Innsbruck, 25.06.2025.
  
  
• 
  Vortragende/r: Opfergelt, Sopie; Steiner, Jakob; Ward Jones, Melissa; Thornley, John; Amschwand, Dominik: Fieldwork panel Q&A.
  Fieldwork Webinar Series, 03.06.2025 (Online). (Weblink)
  
  
• 
  Vortragende/r: Piater, Justus: Funktionsweise, Möglichkeiten und Grenzen von KI.
  Amt der Tiroler Landesregierung, Innsbruck, 06.03.2025. (Weblink)
  
  
• 
  Vortragende/r: Prodan, Radu: Stiftungsprofessur Edge AI - UIBK.
  Wirtschaftskammer Tirol (WKO), Innsbruck, 11.06.2025. (Weblink)
  
  

Vorträge für die Öffentlichkeit

Öffentlicher Vortrag

• 
  Beutel, Jan: Veränderungen und Adaption in der Hochalpinen Kryosphäre.
  Verein "lebenswertes kaunertal", Kaunertal, 21.11.2025. (Weblink)
  
  
• 
  Beutel, Jan: Teilnehmer der Podiumsdiskussion "Requim in Weiss" im Leokino.
  Leokino, Innsbruck, 02.05.2025.
  
  
• 
  Breu, Ruth: Jenseits des Hypes: Künstliche Intelligenz als Treiber für Geschäftserfolg.
  Kitzbühel Country Club, Kitzbühel, 24.10.2025. (Weblink)
  
  
• 
  Gschwandtner, Philipp: Supercomputing & Nachhaltigkeit - Competition or Collaboration.
  Tiroler Hochschultag, Innsbruck, 06.11.2025. (Weblink)
  
  
• 
  Haller-Seeber, Simon: Hands-on Approaches to Software, Robotics, and AI: Exploring Experiments and Science in Action.
  European Conference on Educational Robotics (ECER 2025), Innsbruck, 10.04.2025.
  
  
• 
  Haller-Seeber, Simon; Kelter, Christopfer: Was sind Roboter, was macht eine KI? Entwickle deine eigene KI und programmiere unsere Minibots.
  STAIR-Lab INNALP Workshop, Innsbruck, 05.05.2025.
  
  
• 
  Haller-Seeber, Simon; Kelter, Christopher: Programmieren eines autonomen Roboters anhand einer selbstentwickelten KI.
  STAIR-Lab INNALP Workshop, Innsbruck, 10.04.2025.
  
  
• 
  Haller-Seeber, Simon; Kelter, Christopher: Programmieren eines autonomen Roboters anhand einer selbstentwickelten KI.
  STAIR-Lab INNALP Workshop, Innsbruck, 26.02.2025.
  
  
• 
  Knierim, Pascal: Workshop on Prototyping eXtended Reality.
  HAK Kitzbühel, Innsbruck, 09.04.2025.
  
  
• 
  Knierim, Pascal: Prototyping Extended Reality.
  Tag der MIP - Mathematik, Informatik und Physik, Innsbruck, 19.02.2025. (Weblink)
  
  
• 
  Kupfer, Alexander: Einblicke und Impulse aus der Wirtschaftsinformatik und dem Digital Science Center.
  HAK Kitzbühel, Innsbruck, 09.04.2025.
  
  
• 
  Piater, Justus: Digital Science an der Universität Innsbruck.
  Sommertechnikum MINT an der Universität Innsbruck, Innsbruck, 02.09.2025.
  
  
• 
  Ritter, Marcel: Research in Extended Reality.
  Tag der MIP - Mathematik, Informatik und Physik, Innsbruck, 19.02.2025. (Weblink)
  
  
• 
  Ströhle, Thomas; Kupfer, Alexander: Large Language Modelle.
  HAK Kitzbühel, Innsbruck, 09.04.2025.
  
  
• 
  Zangerle, Eva: Empfehlungssysteme: Dein perfekter Song, dein Lieblingsfilm – Zufall oder Algorithmus?
  Tag der MIP - Mathematik, Informatik und Physik, Innsbruck, 19.02.2025.
  
  
• 
  Zaric, Marko: Einführung in das Programmieren mit Microcontrollern.
  STAIR-Lab INNALP Workshop, Innsbruck, 26.02.2025.
  
  
• 
  Zaric, Marko: Einführung in das Programmieren mit Microcontrollern.
  STAIR-Lab INNALP Workshop, Innsbruck, 23.01.2025.
  
  

Publikationen 2024

Selbstständige Veröffentlichungen

Lehrbuch, wissenschaftliches

• 
  Serles, Umutcan; Fensel, Dieter (2024): An Introduction to Knowledge Graphs. Cham: Springer. (DOI) (Weblink)
  
  

Herausgeberschaften

Sammelband / Sammelwerk, wissenschaftlich (Herausgeberschaft)

• 
  Exman, Iaakov; Pérez-Castillo, Ricardo; Piattini, Mario; Felderer, Michael (Hrsg.) (2024): Quantum Software. Aspects of Theory and System Design. Cham: Springer. ISBN 978-3-031-64135-0. (DOI) (Weblink)
  
  

Proceedings (Herausgeberschaft)

• 
  Böhme, Rainer; Kiffer, Lucianna (2024): Porceedings of the 6th Conference on Advances in Financial Technologies (AFT 2024). September 23-25, Vienna, Austria. Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. ISBN 978-3-95977-345-4. (Weblink)
  
  
• 
  Knierim, Pascal; Makhov, Maria; Cotrotzo, Marco; Geiger, Jan; Müller, Jona Florian; Cikalleshi, Erik; Glaser, Benedikt; Schwarz, Thomas; Mayr, Lukas; Karbon, Greta (2024): Cross-Reality Interaction: 2nd Seminar on Cross-Reality Interaction. Independently published. ISBN 979-8880099276.
  
  

(Mit-)Herausgeberschaft von Periodika / Buchreihen

Herausgeberschaft von Periodikum / Buchreihe

• 
  Böhme, Rainer: Member of the Editorial Board - IEEE Transactions on Information Forensics and Security, 01.01.2017 lfd. (Weblink)
  
  
• 
  Böhme, Rainer: Member of the Editorial Board - Wirtschaftsinformatik / Business & Information Business Engineering (BISE), 01.01.2016 lfd. (Weblink)
  
  
• 
  Böhme, Rainer: Member of the Editorial Board - Electronic Commerce Research (ECR), 01.01.2013 lfd. (Weblink)
  
  
• 
  Böhme, Rainer: Member of the Editorial board - EURASIP Journal on Information Security, 01.01.2013 lfd. (Weblink)
  
  
• 
  Breu, Ruth: Member of the Editorial Board - Software & Systems Modeling (SoSyM), 01.01.2013 lfd. (Weblink)
  
  
• 
  Breu, Ruth: Member of Editorial Board - International Journal of Web Engineering and Technology (IJWET), 01.01.2009 lfd. (Weblink)
  
  
• 
  David, Istvan; Zech, Philipp; Neto, Valdemar; Cetinkaya, Deniz: Guest Editor der Theme Section: Modeling for Simulation - Journal of Software and Systems Modeling, SoSyM, 01.10.2024 lfd. (Weblink)
  
  
• 
  Eberl, Manuel: Editor - Archive of Formal Proofs, 01.07.2024 lfd. (Weblink)
  
  
• 
  Eberl, Manuel: Editor - Annals of Formalized Mathematics (AFM), 01.07.2024 lfd. (Weblink)
  
  
• 
  Eberl, Manuel: Editor - Archive of Formal Proofs, 01.01.2024 lfd. (Weblink)
  
  
• 
  Eberl, Manuel: Member of the Editorial Board - Annals of Formalized Mathematics (AFM), 01.01.2024 lfd. (Weblink)
  
  
• 
  Fahringer, Thomas: Associate Editor - IEEE Transactions on Cloud Computing, 01.01.2013 lfd.
  
  
• 
  Felty, Amy; Moser, Georg: Editor of Special Issue - Logical Methods in Computer Science, 01.09.2022 lfd.
  
  
• 
  Fensel, Dieter: Member of the Editorial Board - Studies on the Semantic Web (Book Series), 01.03.2011 - 30.12.2024. (Weblink)
  
  
• 
  Fensel, Dieter: Member of the International Editorial Review Board - International Journal of E-Entrepreneurship and Innovation (IJEEI), 01.01.2011 - 30.12.2024. (Weblink)
  
  
• 
  Fensel, Dieter: Associate Editor - Foundations and Trends in Web Science, 01.10.2005 - 30.12.2024. (Weblink)
  
  
• 
  Fensel, Dieter: Editorial Board Member - International Journal on Web and Grid Services, 01.01.2005 - 30.12.2024. (Weblink)
  
  
• 
  Fensel, Dieter: Editorial Review Board Member - International Journal on Semantic Web and Information Systems (IJSWIS), 01.01.2005 - 30.12.2024.
  
  
• 
  Fensel, Dieter: Associate Editor - International Journal of Web Services Practices (IJWSP), 01.01.2004 - 30.12.2024.
  
  
• 
  Fensel, Dieter: Associate Editor - Journal on Web Semantics, 01.12.2003 - 30.12.2024.
  
  
• 
  Fensel, Dieter: Associate Editor - Lecture Notes in Computer Science, 01.01.2002 - 30.12.2024.
  
  
• 
  Harders, Matthias: Associate editor - ACM Transactions on Applied Perception, 01.03.2014 lfd. (Weblink)
  
  
• 
  Harders, Matthias: Associate editor - Presence - MIT Press Journal, 01.03.2014 lfd. (Weblink)
  
  
• 
  Harders, Matthias: Editorial Advisory Board Member - Springer Series on Touch and Haptic Systems, 01.03.2014 lfd. (Weblink)
  
  
• 
  Harders, Matthias: Editorial Board Member - Virtual Reality, 01.03.2014 lfd. (Weblink)
  
  
• 
  Jatowt, Adam: Editorial Board Member - Journal of Social Computing (JoSC), 01.01.2022 lfd. (Weblink)
  
  
• 
  Middeldorp, Aart: Editorial Board - Electronic Proceedings in Theoretical Computer Science, 01.04.2009 lfd. (Weblink)
  
  
• 
  Middeldorp, Aart: Editor - Journal of Automated Reasoning, 01.01.2007 lfd. (Weblink)
  
  
• 
  Middeldorp, Aart: Editor - Applicable Algebra in Engineering, Communication and Computing, 01.09.2003 lfd.
  
  
• 
  Ristov, Sashko; Nastic, Stefan; Dazzi, Patrizio; Tserpes, Konstantinos: Special Issue Editor: Serverless Continuum: Serverless Computing for the Edge-Cloud-IoT Continuum - Sensors, 01.01.2024 - 31.12.2024. (Weblink)
  
  
• 
  Soto, Axel; Zangerle, Eva: Volume 3660: Joint Proceedings of the ACM IUI 2024 Workshops co-located with the 29th Annual ACM Conference on Intelligent User Interfaces (IUI 2024) - CEUR Workshop Proceedings, 01.01.2024 - 31.05.2024. (Weblink)
  
  
• 
  Thiemann, René: Editor - Archive of Formal Proofs, 01.01.2017 lfd. (Weblink)
  
  
• 
  Zech, Philipp: Guest Editor - Software and Systems Modeling (SoSyM), 24.10.2024 lfd. (Weblink)
  
  

Beiträge in Büchern / Zeitschriften

Zeitschriftenaufsatz (Originalarbeit)

• 
  Abdallah, Abdelrahman; Eberharter, Daniel; Pfister, Zoe; Jatowt, Adam (2024): A survey of recent approaches to form understanding in scanned documents.
  In: Artificial Intelligence Review 57, No. 342. (DOI) (Weblink)
  
  
• 
  Adigun, Jubril Gbolahan; Aschenbrenner, Patrick; Felderer, Michael (2024): Towards Real-time Object Detection for Safety Analysis in an ML-Enabled System Simulation. RTOD for Safety Analysis in an ML-Enabled System Simulation.
  In: WiPiEC Journal. Works in Progress in Embedded Computing Journal 10/2, S. 72 - 80. (Weblink)
  
  
• 
  Andrew, Simpson; Dellago, Matthias; Woods, Daniel (2024): Formalizing Attack Trees To Support Economic Analysis.
  In: Computer Journal 67/1, S. 220 - 235. (DOI) (Weblink)
  
  
• 
  Arce, Daniel; Woods, Daniel; Böhme, Rainer (2024): Economics of incident response panels in cyber insurance.
  In: Computers & Security 140, No. 103742. (DOI) (Weblink)
  
  
• 
  Bauer, Christine; Zangerle, Eva; Said, Alan (2024): Exploring the Landscape of Recommender Systems Evaluation: Practices and Perspectives.
  In: ACM Transactions on Recommender Systems 2/1, No. 11. (DOI) (Weblink)
  
  
• 
  Cesari, Matteo; Potscher, Andrea; Stefani, Ambra; Angerbauer, Raphael; Ibrahim, Abudaker; Brandauer, Elisabeth; Feuerstein, Simon; Egger, Kristin; Högl, Birgit; Rodríguez-Sánchez, Antonio (2024): Machine Learning Predicts Phenoconversion from Polysomnography in Isolated REM Sleep Behavior Disorder.
  In: Brain Sciences 14/9, No. 871. (DOI) (Weblink)
  
  
• 
  Cleland-Huang, Jane; Chambers, Theodore; Zudaire, Sebastian; Chowdhury, Muhammed Tawfiq; Agrawal, Ankit; Vierhauser, Michael (2024): Human–machine Teaming with Small Unmanned Aerial Systems in a MAPE-K Environment.
  In: A C M Transactions on Autonomous and Adaptive Systems 19/1, S. 1 - 35. (DOI) (Weblink)
  
  
• 
  Eberl, Manuel (2024): A simple proof that π is irrational.
  In: The Archive of Formal Proofs September, online. (Weblink)
  
  
• 
  Eberl, Manuel (2024): Combinatorial q-Analogues.
  In: The Archive of Formal Proofs 2024/December, online. (Weblink)
  
  
• 
  Eberl, Manuel (2024): Concrete bounds for Chebyshev’s prime counting functions.
  In: The Archive of Formal Proofs September, online. (Weblink)
  
  
• 
  Eberl, Manuel (2024): Continued Fractions.
  In: The Archive of Formal Proofs 2024/March. (Weblink)
  
  
• 
  Eberl, Manuel (2024): Kummer's congruence.
  In: The Archive of Formal Proofs 2024/March. (Weblink)
  
  
• 
  Eberl, Manuel (2024): The Boustrophedon Transform, the Entringer Numbers, and Related Sequences.
  In: The Archive of Formal Proofs October, online. (Weblink)
  
  
• 
  Eberl, Manuel (2024): The Karatsuba Square Root Algorithm.
  In: The Archive of Formal Proofs September, online. (Weblink)
  
  
• 
  Eberl, Manuel (2024): The Rogers–Ramanujan Identities.
  In: The Archive of Formal Proofs 2024/December, online. (Weblink)
  
  
• 
  Eberl, Manuel (2024): The Sum-of-Squares Function and Jacobi's Two-Square Theorem.
  In: The Archive of Formal Proofs 2024/November. (Weblink)
  
  
• 
  Eberl, Manuel (2024): Theta Functions.
  In: The Archive of Formal Proofs 2024/December, online. (Weblink)
  
  
• 
  Eberl, Manuel; Lammich, Peter (2024): Parallel Shear Sort.
  In: The Archive of Formal Proofs 2024, online. (Weblink)
  
  
• 
  Fischer, Anna-Lena M.; Tichy, Anna; Kokot, Janik; Hörschinger, Valentin J.; Wild, Robert; Riccabona, Jakob; Löffler, Johannes; Waibl, Franz; Quoika, Patrick K.; Gschwandtner, Philipp; Forli, Stefano; Ward, Andrew B.; Liedl, Klaus R.; Zacharias, Martin; Fernandez-Quintero, Monica (2024): The Role of Force Fields and Water Models in Protein Folding and Unfolding Dynamics.
  In: Journal of Chemical Theory and Computation 20/5, S. 2321 - 2333. (DOI) (Weblink)
  
  
• 
  Foidl, Harald; Golendukhina, Valentina; Ramler, Rudolf; Felderer, Michael (2024): Data pipeline quality: Influencing factors, root causes of data-related issues, and processing problem areas for developers.
  In: Journal of Systems and Software 207, No. 111855. (DOI) (Weblink)
  
  
• 
  Fox, James; Siebenbrunner, Anna; Reitinger, Sandra; Peer, David; Rodriguez-Sanchez, Antonio (2024): Automating avalanche detection in ground-based photographs with deep learning.
  In: Cold Regions Science And Technology 223, No. 104179. (DOI) (Weblink)
  
  
• 
  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)
  
  
• 
  Golendukhina, Valentina; Foidl, Harald; Hörl, Daniel; Felderer, Michael (2024): A Catalog of Consumer IoT Device Characteristics for Data Quality Estimation.
  In: ACM Journal of Data and Information Quality 16/4, No. 21. (DOI) (Weblink)
  
  
• 
  Gómez-Espés, Alberto; Färber, Michael; Jatowt, Adam (2024): Benefits of International Collaboration in Computer Science: A Case Study of China, the European Union, and the United States.
  In: Scientometrics 129/2, S. 1155 - 1171. (DOI) (Weblink)
  
  
• 
  Hammes, Sascha; Geisler-Moroder, David; Weninger, Johannes; Zech, Philipp; Pfluger, Rainer (2024): Market demands vs. scientific realities: A comparative analysis in the context of BIM-based and user-centred lighting control.
  In: Developments in the Built Environment 19, Nr. 100526. (DOI) (Weblink)
  
  
• 
  Hodžić, Samir; Roy, Arnab; Andreeva, Elena (2024): Quantum cryptanalysis of Farfalle and (generalised) key-alternating Feistel networks.
  In: Designs, Codes and Cryptography 92/2, S. 227 - 257. (DOI) (Weblink)
  
  
• 
  Hoffmann, Alexandra; Schellhorn, Anna-Maria; Ritter, Marcel; Sachse, Pierre; Maran, Thomas (2024): Blink Synchronization Increases Over Time and Predicts Problem-Solving Performance in Virtual Teams.
  In: Small Group Research 55/5, S. 706 - 728. (DOI) (Weblink)
  
  
• 
  Hosokawa, Taishi; Jatowt, Adam; Sugiyama, Kazunari (2024): Temporal Validity Reassessment: Commonsense Reasoning about Information Obsoleteness.
  In: Discover Computing 27, No. 4. (DOI) (Weblink)
  
  
• 
  Jatowt, Adam; Sato, Mari; Draxl, Simon; Duan, Yijun; Campos, Ricardo; Yoshikawa, Masatoshi (2024): Is this News Article still Relevant? Ranking Documents by their Contemporary Relevance for Enhancing Archival Search.
  In: International Journal on Digital Libraries 25/2, S. 197 - 516. (DOI) (Weblink)
  
  
• 
  Kim, Dohan (2024): Equational theorem proving for clauses over strings.
  In: Mathematical Structures in Computer Science 34/SI 10, S. 1055 - 1078. (DOI) (Weblink)
  
  
• 
  Kim, Dohan (2024): Finding k Shortest Paths in Cayley Graphs of Finite Groups.
  In: GRAPHS AND COMBINATORICS 40, No. 120. (DOI) (Weblink)
  
  
• 
  Knorr, Fabian; Salzmann, Philip; Thoman, Peter; Fahringer, Thomas (2024): Automatic Discovery of Collective Communication Patterns in Parallelized Task Graphs.
  In: International Journal of Parallel Programming 52, S. 171 - 186. (DOI) (Weblink)
  
  
• 
  Kreitner, Linus; Paetzold, Johannes C.; Rauch, Nikolaus; Chen, Chen; Hagmag, Ahmed M.; Fayed, Alaa E.; Sivaprasad, Sobha; Rausch, Sebastian; Weichsel, Julian; Menze, Björn H.; Harders, Matthias; Knier, Benjamin; Rueckert, Daniel; Menten, Martin J. (2024): Synthetic optical coherence tomography angiographs for detailed retinal vessel segmentation without human annotations.
  In: IEEE Transactions on Medical Imaging 43/6, S. 2061 - 2073. (DOI) (Weblink)
  
  
• 
  Kumar, Raghvendra; Goddu, Bhargav; Saha, Sriparna; Jatowt, Adam (2024): Silver Lining in the Fake News Cloud: Can Large Language Models Help Detect Misinformation?
  In: IEEE Transactions on Artificial Intelligence 5/12. (DOI) (Weblink)
  
  
• 
  Kumar, Raghvendra; Sinha, Ritika; Saha, Sriparna; Jatowt, Adam (2024): Extracting the Full Story: A Multimodal Approach and Dataset to Crisis Summarization in Tweets.
  In: IEEE Transactions on Computational Social Systems 11/6, S. 7846 - 7856. (DOI) (Weblink)
  
  
• 
  Kurteva, Anelia; Chhetri, Tekraj; Pandit, Harshvardhan J.; Fensel, Anna (2024): Consent Through the Lens of Semantics: State of the Art Survey and Best Practices.
  In: Semantic Web 15/3, S. 647 - 673. (DOI) (Weblink)
  
  
• 
  Larcher, Thomas; Gritsch, Philipp; Nastic, Stefan; Ristov, Sashko (2024): BaaSLess: Backend-as-a-Service (BaaS)-Enabled Workflows in Federated Serverless Infrastructures.
  In: IEEE Transactions on Cloud Computing 12/4, S. 1088 - 1102. (DOI) (Weblink)
  
  
• 
  Mavi, Vaibhav; Jangra, Anubhav; Jatowt, Adam (2024): Multi-hop Question Answering.
  In: Foundations and Trends in Information Retrieval 17/5, S. 457 - 586. (DOI) (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)
  
  
• 
  Parada-Cabaleiro, Emilia; Mayerl, Maximilian; Brandl, Stefan; Skowron, Marcin; Schedl, Markus; Lex, Elisabeth; Zangerle, Eva (2024): Song lyrics have become simpler and more repetitive over the last five decades.
  In: Scientific Reports 14/1, No. 5531. (Volltext) (DOI) (Weblink)
  
  
• 
  Peshevski, Dimitar; Zdraveski, Vladimir; Ristov, Sashko (2024): Parallel Near-Duplicate Document Detection Using General-Purpose GPU.
  In: Computing and informatics 43/3, S. 583 - 610. (DOI) (Weblink)
  
  
• 
  Rauch, Wolfgang; Schenk, Hannes; Rauch, Nikolaus; Harders, Mathias; Oberacher, Herbert; Insam, Heribert; Markt, Rudolf; Kreuzinger, Norbert (2024): Estimating actual SARS-CoV-2 infections from secondary data.
  In: Scientific Reports 14, No. 6732. (Volltext) (DOI) (Weblink)
  
  
• 
  Ristov, Sashko; Brandacher, Simon; Hautz, Mika; Felderer, Michael; Breu, Ruth (2024): CODE: Code once, deploy everywhere serverless functions in federated FaaS.
  In: Future Generation Computer Systems 160, S. 442 - 456. (DOI) (Weblink)
  
  
• 
  Strauß, Hannah; Vigl, Julia; Jacobsen, Peer-Ole; Bayer, Martin; Talamini, Francesca; Vigl, Wolfgang; Zangerle, Eva; Zentner, Marcel (2024): The Emotion-to-Music Mapping Atlas (EMMA): A systematically organized online database of emotionally evocative music excerpts.
  In: Behavior Research Methods 56/4, S. 3560 - 3577. (DOI) (Weblink)
  
  
• 
  Thiemann, René (2024): A Preprocessor for Linear Diophantine Equalities and Inequalities.
  In: The Archive of Formal Proofs 2024/June. (Weblink)
  
  
• 
  Thiemann, Renè; Mitterwallner, Fabian; Middeldorp, Aart (2024): Undecidability Results on Orienting Single Rewrite Rules.
  In: The Archive of Formal Proofs 2024/April. (Weblink)
  
  
• 
  Thiemann, René; Yamada, Akihisa (2024): Verifying a Decision Procedure for Pattern Completeness.
  In: The Archive of Formal Proofs 2024/May. (Weblink)
  
  
• 
  Thoman, Peter; Salzmann, Philip (2024): Balancing Tracking Granularity and Parallelism in Many-Task Systems: The Horizons Approach.
  In: SN Computer Science 5, No. 409. (DOI) (Weblink)
  
  
• 
  Wee, Julie; Vivero, Sebastian; Mathys, Tamara; Mollaret, Coline; Hauck, Christian; Lambiel, Christophe; Beutel, Jan; Haeberli, Wilfried (2024): Characterizing ground ice content and origin to better understand the seasonal surface dynamics of the Gruben rock glacier and the adjacent Gruben debris-covered glacier (southern Swiss Alps).
  In: The Cryosphere 18/12, S. 5939 - 5963. (DOI) (Weblink)
  
  
• 
  Yamada, Akihisa; Thiemann, Renè (2024): Sorted Terms.
  In: The Archive of Formal Proofs 2024/May. (Weblink)
  
  
• 
  Zech, Philipp; Burger, Peter; Hammes, Sascha; Geisler-Moroder, David; Breu, Ruth (2024): BIMReason - Validating BIM Model Correctness.
  In: Bauphysik 46/6, S. 332 - 339. (DOI) (Weblink)
  
  

Zeitschriftenaufsatz (Review)

• 
  Hauer, Martin; Hammes, Sascha; Zech, Philipp; Geisler-Moroder, David; Plörer, Daniel; Miller, Josef; van Karsbergen, Vincent; Pfluger, Rainer (2024): Integrating Digital Twins with BIM for Enhanced Building Control Strategies: A Systematic Literature Review Focusing on Daylight and Artificial Lighting Systems.
  In: Buildings 14/3, No. 805. (DOI) (Weblink)
  
  
• 
  Ströhle, Thomas; Campos, Ricardo; Jatowt, Adam (2024): Contrastive Text Summarization: A Survey, International Journal of Data Science and Analytics.
  In: International Journal of Data Science and Analytics 18, S. 353 - 367. (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)
  
  
• 
  Hollenstein, Jakob; Martius, Georg; Piater, Justus (2024): Colored Noise in PPO: Improved Exploration and Performance through Correlated Action Sampling.
  In: Proceedings of the AAAI Conference on Artificial Intelligence 38/11, S. 12466 - 12472. (DOI) (Weblink)
  
  
• 
  Jäger, Alexandra; Zech, Philipp; Breu, Ruth (2024): Companion Proceedings of the 17th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling Forum, M4S, FACETE, AEM, Tools and Demos.
  In: CEUR Workshop Proceedings 3855, No. m4s1. (Weblink)
  
  
• 
  Jäger, Alexandra; Zech, Philipp; Miller, Josef; Fröch, Georg; Breu, Ruth (2024): Towards Enabling Continous Integrated BIM2SIM Workflows with Model Augmentation Strategies.
  In: CEUR Workshop Proceedings 3855, No. m4s5. (Weblink)
  
  
• 
  Mohammadi, Amir Reza; Karimi, Amir-Hossein; Bohlouli, Mahdi; Zangerle, Eva; Specht, Günther (2024): HPT4Rec: AutoML-based Hyperparameter Self-Tuning Framework for Session-based Recommender Systems.
  In: CEUR Workshop Proceedings 3714, S. 1 - 8. (Weblink)
  
  
• 
  Müller, Michael M.; Specht, Günther; Kleinheinz, Lukas; Walde, Janette (2024): Bias Correction and Machine Learning in AR(1) Estimation:Bridging Traditional and Modern Technique.
  In: CEUR Workshop Proceedings 3710, S. 23 - 28. (Weblink)
  
  

Zeitschriftenbeitrag (anderer)

• 
  Bauer, Christine; Said, Alan; Zangerle, Eva (2024): Evaluation Perspectives of Recommender Systems: Driving Research and Education.
  In: Dagstuhl Reports 14/5, S. 58 - 172. (DOI) (Weblink)
  
  
• 
  Campos, Ricardo; Jorge, Alípio M.; Jatowt, Adam; Bhatia, Sumit; Litvak, Marina; Cordeiro, João Paulo; Rocha, Conceição; Sousa, Hugo O.; Mansouri, Behrooz (2024): Report on the 7th International Workshop on Narrative Extraction from Texts (Text2Story 2024) at ECIR 2024.
  In: SIGIR Forum 58/1. (DOI) (Weblink)
  
  
• 
  Said, Alan; Zangerle, Eva; Bauer, Christine (2024): Report on the 3rd Workshop on the Perspectives on the Evaluation of Recommender Systems (PERSPECTIVES 2023) at RecSys 2023.
  In: SIGIR Forum 57/2, No. 18. (DOI) (Weblink)
  
  

Zeitschriftenbeitrag (Meeting-Abstract)

• 
  Portscher, A.; Angerbauer, R.; Ibrahim, A.; Feuerstein, S.; Egger, K.; Brandauer, E.; Bergmann, M.; Hogl, B.; Stefani, A.; Rodriguez-Sanchez, Antonio; Cesar, M. (2024): A machine learning algorithm to predict short-term phenoconversion from polysomnography in isolated REM sleep behavior disorder.
  In: Sleep Medicine 115/Suppl. 1, S. 300 - 301. (DOI) (Weblink)
  
  

Zeitschriftenbeitrag (Editorial)

• 
  Alt, Florian; Knierim, Pascal; Williamson, Julie; Paradiso, Joe (2024): Guest Editors' Introduction: The Pervasive Multiverse.
  In: IEEE Pervasive Computing 23/1, S. 7 - 9. (DOI) (Weblink)
  
  
• 
  Bauer, Christine; Said, Alan; Zangerle, Eva (2024): Introduction to the Special Issue on Perspectives on Recommender Systems Evaluation.
  In: ACM Transactions on Recommender Systems 2/1, No. 1. (DOI) (Weblink)
  
  
• 
  Jatowt, Adam; Katsurai, Marie; Syafiq Mohd Pozi, Muhammad; Campos, Ricardo (2024): Special issue on selected papers from ICADL 2022.
  In: International Journal on Digital Libraries 25/1, S. 73 - 74. (DOI) (Weblink)
  
  

Sammelbandaufsatz (Originalarbeit)

• 
  Andries, Mihai; Jamone, Lorenzo; Piater, Justus; Sahin, Erol (2024): On Affordances and their Entailment for Autonomous Robotic Systems.
  In: Mangalam, M.; Hajnal, A.; Kelty-Stephen, D. G.: The Modern Legacy of Gibson's Affordances for the Sciences of Organisms. London; New York [u.a.]: Routledge., ISBN 978-1-0033-965-36, S. 363 - 376. (DOI) (Weblink)
  
  
• 
  Breu, Ruth; Zech, Philipp; Ristov, Sashko; Sauerwein, Clemens (2024): Planung, Entwicklung und Betrieb digitaler Zwillinge im BIM-Kontext.
  In: Bergmeister, Konrad; Fingerloos, Frank; Wörner, Johann-Dietrich: Beton-Kalender 2024. Berlin: Ernst & Sohn., ISBN 978-3-433-03406-4, S. 653 - 683. (Weblink)
  
  
• 
  Piater, Justus (2024): Generative Artificial Intelligence: How It Works And What It Can And Cannot Do.
  In: Hug, Theo; Missomelius, Petra; Ortner, Heike: Künstliche Intelligenz im Diskurs: Interdisziplinäre Perspektiven zur Gegenwart und Zukunft von KI-Anwendungen. Innsbruck: innsbruck university press (IUP) (= Medien - Wissen - Bildung)., ISBN 978-3-99106-139-7, S. 17 - 28. (DOI) (Weblink)
  
  
• 
  Ritter, Marcel; Harders, Matthias; Kim, Yeongmi (2024): Virtuelle und erweiterte Realitäten.
  In: Staffler, Lukas; Ebersberger, Bernd; Jobin, Anna (Eds.): Digitalwirtschaft. Technische, wirtschaftliche und gesellschaftliche Grundlagen. Wiesbaden: Springer Gabler., ISBN 978-3-658-45724-2, S. 449 - 468. (DOI) (Weblink)
  
  
• 
  Rojas, Cristof; Rodriguez-Sanchez, Antonio; Renaudo, Erwan (2024): Efficient Segmentation of E-Waste Devices With Deep Learning for Robotic Recycling.
  In: El-Yacoubi, Mounîm A; Vincent, Nicole; Kurtz, Camille: Emerging Topics in Pattern Recognition and Artificial Intelligence. Singapore [u.a.]: World Scientific Publishing (= Series on Language Processing, Pattern Recognition, and Intelligent Systems, 9)., ISBN 978-981-12-8911-8, S. 123 - 144. (DOI) (Weblink)
  
  

Beitrag in Proceedingsband

• 
  Abdallah, Abdelrahman; Kasem, Mahmoud; Abdalla, Mahmoud; Mahmoud, Mohamed; Elkasaby, Mohamed; Elbendary, Yasser; Jatowt, Adam (2024): ArabicaQA: A Comprehensive Dataset for Arabic Question Answering.
  In: Proceedings of the 47th International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR 2024). July 14–18, 2024, Washington, DC, USA. New York: Association for Computing Machinery., ISBN 979-8-4007-0431-4, S. 2049 - 2059. (DOI) (Weblink)
  
  
• 
  Acosta-Garcia, Laura; Aznar Poveda, Juan; Garcia-Sanchez, Antonio-Javier; Garcia-Haro, Joan; Fahringer, Thomas (2024): Proactive Adaptation of Data Rate in Mobile LoRa-Based IoT Devices Using Machine Learning.
  In: Proceedings of the 99th IEEE Vehicular Technol979-8-3503-8741-4ogy Conference (VTC2024-Spring). Los Alamitos: IEEE Computer Society Press., ISBN 979-8-3503-8741-4. (DOI) (Weblink)
  
  
• 
  Al Islam, Md Nafee; Cleland-Huang, Jane; Vierhauser, Michael (2024): ADAM: Adaptive Monitoring of Runtime Anomalies in Small Uncrewed Aerial Systems.
  In: Baresi, L; et al: SEAMS '24: Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. Lisbon AA Portugal, April 15 - 16, 2024. New York: ACM Digital Library., ISBN 979-8-4007-0585-4, S. 44 - 55. (DOI) (Weblink)
  
  
• 
  Aleksandrova, Kristina; Jakubuv, Jan; Kaliszyk, Cezary (2024): Prover9 Unleashed: Automated Configuration for Enhanced Proof Discovery.
  In: Bjorner, Nikolaj; Heule, Marijn; Voronkov, Andrei: Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2024). Manchester: EasyChair (= EPiC Series in Computing, 100)., S. 360 - 369. (DOI) (Weblink)
  
  
• 
  Andreeva, Elena; Bhattacharyya, Rishiraj; Roy, Arnab; Trevisani, Stefano (2024): On Efficient and Secure Compression Functions for Arithmetization-Oriented Hashing.
  In: Proceedings of the 37th IEEE Computer Security Foundations Symposium (CSF 2024). July 8 to 12, Enschede, Netherlands. Los Alamitos: IEEE Computer Society Press., ISBN 979-8-3503-6203-9, S. 295 - 310. (DOI) (Weblink)
  
  
• 
  Andreeva, Elena; Cogliati, Benoît; Lallemand, Virginie; Minier, Marine; Purnal, Antoon; Roy, Arnab (2024): Masked Iterate-Fork-Iterate: A New Design Paradigm for Tweakable Expanding Pseudorandom Function.
  In: Pöpper, C.; Batina, L.: Applied Cryptography and Network Security. 22nd International Conference, ACNS 2024. Abu Dhabi, United Arab Emirates, March 5–8, 2024, Proceedings, Part II. Cham: Springer (= Lecture Notes in Computer Science, 14584)., ISBN 978-3-031-54772-0, S. 433 - 459. (DOI) (Weblink)
  
  
• 
  Aoto, Takahito; Nishida, Naoki; Schöpf, Jonas (2024): Equational Theories and Validity for Logically Constrained Term Rewriting.
  In: Rehof, J: 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024). July 10-13, 2024, Tallinn, Estonia. Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik (= Leibniz International Proceedings in Informatics (LIPICS), 299)., ISBN 978-3-95977-323-2, No. 31. (DOI) (Weblink)
  
  
• 
  Argawal, Ankit; Zech, Philipp; Vierhauser, Michael (2024): Coupled Requirements-driven Testing of CPS: From Simulation To Reality.
  In: Proceedings of the IEEE 32nd International Requirements Engineering Conference (RE 2024). Reykjavik, 24-28 June. IEEE Conference eXpress Publishing., ISBN 979-8-3503-9511-2, S. 337 - 344. (DOI) (Weblink)
  
  
• 
  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)
  
  
• 
  Ayele, Abinew Ali; Babakov, Nikolay; Bevendorff, Janek; Bonet Casals, Xavier; Chulvi, Berta; Dementieva, Daryna; Elnagar, Ashaf; Freitag, Dayne; Fröbe, Maik; Korenčić, Damir; Mayerl, Maximilian; Moskovskiy, Daniil; Mukherjee, Animesh; Panchenko, Alexander; Potthast, Martin; Rangel, Francisco; Rizwan, Naquee; Rosso, Paolo; Schneider, Florian; Smirnova, Alisa; Stamatatos, Efstathios; Stakovskii, Elisei; Stein, Benno; Taulé, Mariona; Ustalov, Dmitry; Wang, Xintong; Wiegmann, Matti; Muhie Yimam, Seid; Zangerle, Eva (2024): Overview of PAN 2024: Multi-author Writing Style Analysis, Multilingual Text Detoxification, Oppositional Thinking Analysis, and Generative AI Authorship Verification Condensed Lab Overview.
  In: Goeuriot, L; Mulhem, P.; Quénot, G.; Schwab, D.; Di Nunzio, G.M.; Soulier, M.; Galuščáková, P.; de Herrera, A.G.S.; Faggioli, G.; Ferro, N. (Eds.): Experimental IR Meets Multilinguality, Multimodality, and Interaction. 15th International Conference of the CLEF Association, CLEF 2024, Grenoble, France, September 9–12, 2024, Proceedings, Part II. Cham: Springer., ISBN 978-3-031-71907-3, Bd. 14959, S. 231 - 259. (DOI) (Weblink)
  
  
• 
  Azhar, Nur Athirah; Mohd Pozi, Muhammad Syafiq; Din, Aniza Mohamed; Jatowt, Adam (2024): An Investigation of SMOTE Based Methods for Imbalanced Datasets with Data Complexity Analysis (Extended Abstract).
  In: Proceedings of the 40th International Conference on Data Engineering (ICDE 2024). 13-16 May 2024. Los Alamitos: IEEE Computer Society Press., ISBN 979-8-3503-1715-2, S. 5735 - 5736. (DOI) (Weblink)
  
  
• 
  Bassner, Patrick; Frankford, Eduard; Krusche, Stephan (2024): Iris: An ai-driven virtual tutor for computer science education.
  In: Proceedings of the 2024 on Innovation and Technology in Computer Science Education (ITiCSE 2024) V. 1. July 8–10, 2024, Milan, Italy. New York: ACM Digital Library., ISBN 979-8-4007-0600-4, S. 394 - 400. (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)
  
  
• 
  Benes, Martin; Böhme, Rainer (2024): Exploring Diffusion-Inspired Pixel Predictors for WS Steganalysis.
  In: Pérez-González, Fernando: IH&MMSec '24: Proceedings of the 2024 ACM Workshop on Information Hiding and Multimedia Security. Baiona Spain, June 24 - 26, 2024. New York: ACM Digital Library., ISBN 979-8-4007-0637-0, S. 75 - 86. (DOI) (Weblink)
  
  
• 
  Benes, Martin; Böhme, Rainer (2024): Kerckhoffs in Prison: A Study of the Steganalyst’s Knowledge.
  In: Proceedings of the 16th IEEE International Workshop on Information Forensics and Security (WIFS 2024). 2-5 Dec. 2024, Rome, Italy. Piscataway: IEEE Signal Processing Society., ISBN 979-8-3503-6442-2. (DOI) (Weblink)
  
  
• 
  Bevendorff, Janek; Casals, Xavier Bonet; Chulvi, Berta; Dementieva, Daryna; Elnagar, Ashaf; Freitag, Dayne; Fröbe, Maik; Korencic, Damir; Mayerl, Maximilian; Mukherjee, Animesh; Panchenko, Alexander; Potthast, Martin; Rangel, Francisco; Rosso, Paolo; Smirnova, Alisa; Stamatatos, Efstathios; Stein, Benno; Taule, Mariona; Ustalov, Dmitry; Wiegmann, Matti; Zangerle, Eva (2024): Overview of PAN 2024: Multi-author Writing Style Analysis, Multilingual Text Detoxification, Oppositional Thinking Analysis, and Generative AI Authorship Verification.
  In: Goharian, N.; Tonellotto, N.; He, Y.; et al: Advances in Information Retrieval. Proceedings of the 46th European Conference on Information Retrieval (ECIR 2024). Proceedings, Part VI. Glasgow, UK, March 24–28, 2024. Cham: Springer (= Lecture Notes in Computer Science, 14613)., ISBN 978-3-031-56071-2, S. 3 - 10. (DOI) (Weblink)
  
  
• 
  Bhati, Amit Singh; Dufka, Antonı́n; Andreeva, Elena; Roy, Arnab; Preneel, Bart (2024): Skye: An Expanding PRF based Fast KDF and its Applications.
  In: Association for Computing Machinery: Proceedings of the 19th ACM Asia Conference on Computer and Communications Security (ASIA CCS 2024). July 1-5, Singapore. New York: ACM Digital Library., ISBN 979-8-4007-0482-6, S. 1082 - 1108. (DOI) (Weblink)
  
  
• 
  Biffl, Stefan; Meixner, Kristof; Vierhauser, Michael (2024): Agile Field Test Support for Drone Rescue Missions.
  In: Proceedings of the 26th International Conference on Business Informatics (CBI). 9-13 Sept. 2024. Los Alamitos: IEEE Computer Society Press., ISBN 979-8-3315-2909-3, S. 228 - 237. (DOI) (Weblink)
  
  
• 
  Campos, Ricardo; Jorge, Alipio; Jatowt, Adam; Bhatia, Sumit; Litvak, Marina (2024): The 7th International Workshop on Narrative Extraction from Texts: Text2Story 2024.
  In: Goharian, N.; Tonellotto, N.; He, Y.; et al: Advances in Information Retrieval. Proceedings of the 46th European Conference on Information Retrieval (ECIR 2024). Proceedings, Part V. Glasgow, UK, March 24–28, 2024. Cham: Springer Nature (= Lecture Notes in Computer Science, 14612)., ISBN 978-3-031-56068-2, S. 391 - 397. (DOI) (Weblink)
  
  
• 
  Chambers, Theodore; Cleland-Huang, Jane; Vierhauser, Michael (2024): Self-Adaptation of Loosely Coupled Systems across a System of Small Uncrewed Aerial Systems.
  In: Proceedings of the 2th International Workshop on Software Engineering for Systems-of-Systems and Software Ecosystems (SESoS). 14 April 2024, Lisbon, Portugal. Los Alamitos: IEEE Computer Society Press., ISBN 979-8-4007-0557-1, S. 37 - 44. (DOI) (Weblink)
  
  
• 
  Chambers, Theodore; Vierhauser, Michael; Agrawal, Ankit; Murphy, Michael; Brauer, Jason Matthew; Purandare, Salil; Cohen, Myra B; Cleland-Huang, Jane (2024): HIFuzz: Human Interaction Fuzzing for small Unmanned Aerial Vehicles.
  In: Mueller, F.F.; Kyburz, P.; et al: Proceedings of the CHI Conference on Human Factors in Computing Systems (CHI 2024). Honolulu HI USA, May 11 - 16, 2024. New York: ACM Digital Library., ISBN 979-8-4007-0330-0, No. 266. (DOI) (Weblink)
  
  
• 
  Chowdhury, Aakash; Roy, Arnab; Brunetta, Carlo; Oswald, Elisabeth (2024): Leakage Certification Made Simple.
  In: Proceedings of 44th Annual International Cryptology Conference (CRYPTO 2024). Santa Barbara, CA, USA, August 18–22. Cham: Springer (= Lecture Notes in Computer Science, 14925)., ISBN 978-3-031-68390-9, S. 427 - 460. (DOI) (Weblink)
  
  
• 
  Crisci, Luigi; Carpentieri, Lorenzo; Thoman, Peter; Alpav, Aksel; Heuveline, Vincent; Cosenza, Biagio (2024): SYCL-Bench 2020: Benchmarking SYCL 2020 on AMD, Intel, and NVIDIA GPUs.
  In: IWOCL '24: Proceedings of the 12th International Workshop on OpenCL and SYCL. Chicago IL USA, April 8 - 11, 2024. New York: ACM Digital Library., ISBN 979-8-4007-1790-1, No. 1. (DOI) (Weblink)
  
  
• 
  Ding, Wenjian; Zhang, Yao; Wang, Jun; Jatowt, Adam; Yang, Zhenglu (2024): Can We Learn Question, Answer, and Distractors All from an Image? A New Task for Multiple-choice Visual Question Answering.
  In: Calzolari, N.; Kan, M.-Y.; Hoste, V.; et al: Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation (LREC-COLING 2024). ELRA Language Resources Association (ELRA) and the International Committee on Computational Linguistics (ICCL)., S. 2852 - 2863. (Weblink)
  
  
• 
  Ding, Wenjian; Zhang, Yao; Wang, Jun; Jatowt, Adam; Yang, Zhenglu (2024): Exploring Union and Intersection of Visual Regions for Generating Questions, Answers, and Distractors.
  In: Al-Onaizan, Yaser; Bansal, Mohit; Chen, Yun-Nung: Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing. Stroudsburg, PA: Association for Computational Linguistics (ACL)., S. 1479 - 1489. (DOI) (Weblink)
  
  
• 
  Duan, Yijun; Liu, Xin; Jatowt, Adam; Yu, Hai-Tao; Lynden, Steven; Matono, Akiyoshi (2024): Inexact Graph Representation Learning.
  In: Proceedings of the 2024 International Joint Conference on Neural Networks (IJCNN 2024). Los Alamitos: IEEE Computer Society Press., ISBN 979-8-3503-5931-2. (DOI) (Weblink)
  
  
• 
  Eberl, Manuel; Bordg, Anthony; Paulson, Lawrence C.; Li, Wenda (2024): Formalising Half of a Graduate Textbook on Number Theory.
  In: Bertot, Y.; Kutsia, T.; Norrish, M.: Proceedings of the 15th International Conference on Interactive Theorem Proving (ITP 2024). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik (= Leibniz International Proceedings in Informatics (LIPICS), 309)., ISBN 978-3-95977-337-9, No. 40. (DOI) (Weblink)
  
  
• 
  Ermakova, Liana; Bosser, Anne-Gwenn; Miller, Tristan; Jatowt, Adam (2024): Overview of the CLEF 2024 JOKER Task 1: Humour-aware Information Retrieval.
  In: Faggioli, G.; Ferro, N.; Galuščáková, P.; de Herrera, A.G. S. (Eds.): Working Notes of the Conference and Labs of the Evaluation Forum (CLEF 2024). Aachen: CEUR-WS.org., S. 1775 - 1785. (Weblink)
  
  
• 
  Ermakova, Liana; Bosser, Anne-Gwenn; Miller, Tristan; Jatowt, Adam (2024): Overview of the CLEF 2024 JOKER Task 3: Translate puns from English to French.
  In: Faggioli, G.; Ferro, N.; Galuščáková, P.; de Herrera, A.G. S. (Eds.): Working Notes of the Conference and Labs of the Evaluation Forum (CLEF 2024). Aachen: CEUR-WS.org., S. 1800 - 1810. (Weblink)
  
  
• 
  Ermakova, Liana; Bosser, Anne-Gwenn; Miller, Tristan; Palma Preciado, Victor Manuel; Sidorov, Grigori; Jatowt, Adam (2024): Overview of the CLEF 2024 JOKER Track.
  In: Goeuriot, L; Mulhem, P.; Quénot, G.; Schwab, D.; Di Nunzio, G.M.; Soulier, M.; Galuščáková, P.; de Herrera, A.G.S.; Faggioli, G.; Ferro, N. (Eds.): Experimental IR Meets Multilinguality, Multimodality, and Interaction. 15th International Conference of the CLEF Association, CLEF 2024, Grenoble, France, September 9–12, 2024, Proceedings, Part II. Cham: Springer., ISBN 978-3-031-71907-3, S. 165 - 182. (DOI) (Weblink)
  
  
• 
  Ermakova, Liana; Bosser, Anne-Gwenn; Miller, Tristan; Thomas-Young, Treamine; Palma Preciado, Victor Emanuel; Sidorov, Grigori; Jatowt, Adam (2024): CLEF 2024 JOKER Lab: Automatic Humour Analysis.
  In: Goharian, N.; Tonellotto, N.; He, Y.; et al: Advances in Information Retrieval. Proceedings of the 46th European Conference on Information Retrieval (ECIR 2024). Proceedings, Part VI. Glasgow, UK, March 24–28, 2024. Cham: Springer (= Lecture Notes in Computer Science, 14613)., ISBN 978-3-031-56071-2, S. 36 - 43. (DOI) (Weblink)
  
  
• 
  Farahani, Rez; Ristov, Sashko; Prodan, Radu (2024): Designing a Sustainable Serverless Graph Processing Tool on the Computing Continuum.
  In: Zeinalipour, D; Blanco Heras, D; Pallis, G.; et al: Euro-Par 2023: Parallel Processing Workshops. Euro-Par 2023 International Workshops, Limassol, Cyprus, August 28 – September 1, 2023, Revised Selected Papers, Part I. Cham: Springer (= Lecture Notes in Computer Science, 14351)., ISBN 978-3-031-50683-3, S. 210 - 214. (DOI) (Weblink)
  
  
• 
  Feuerstein, Simon; Stefani, Ambra; Angerbauer, Raphael; Egger, Kristin; Ibrahim, Abubaker; Holzknecht, Evi; Högl, Birgit; Rodríguez-Sanchez, Antonio; Cesari, Matteo (2024): Sleep structure discriminates patients with isolated REM sleep behavior disorder: a deep learning approach.
  In: Proceedings of the 46th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC 2024). 15-19 July 2024, Orlando, FL, USA. IEEE Conference eXpress Publishing., ISBN 979-8-3503-7150-5, S. 1 - 4. (DOI) (Weblink)
  
  
• 
  Fischer, Daniel; Sauerwein, Clemens; Sayin, Marie-Liz; Stelzer, Dirk; Breu, Ruth (2024): The Role of Threat Intelligence Sharing Platforms in Companies, Public Authorities, and Universities: Insights from an Exploratory Global Survey.
  In: Proceedings of the IEEE International Conference on Big Data (BigData 2024). 15-18 Dec. 2024, Washington DC, USA. Los Alamitos: IEEE Computer Society Press., ISBN 979-8-3503-6248-0, S. 2616 - 2623. (DOI) (Weblink)
  
  
• 
  Fischer, Stefan; Urbanke, Pirmin; Ramler, Rudolf; Steidl, Monika; Felderer, Michael (2024): An Overview of Microservice-Based Systems Used for Evaluation in Testing and Monitoring: A Systematic Mapping Study.
  In: Lonetti, F.; et al: AST '24: Proceedings of the 5th ACM/IEEE International Conference on Automation of Software Test (AST 2024). Lisbon Portugal April, 15 - 16, 2024. New York: ACM Digital Library., ISBN 979-8-4007-0588-5, S. 182 - 192. (DOI) (Weblink)
  
  
• 
  Fogarollo, Stefano; Scharll, Yanick; Bale, Reto; Harders, Matthias (2024): Learning Deformable Intra-Patient Liver Registration with Graph Cross-Attention.
  In: Modat, M; Simpson, I; Špiclin, Z; Bastiaansen, W; Hering, A; Mok, T C W: Biomedical Image Registration. 11th International Workshop, WBIR 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 6, 2024, Proceedings. Cham: Springer (= Lecture Notes in Computer Science, 15249)., ISBN 978-3-031-73479-3, S. 73 - 85. (DOI) (Weblink)
  
  
• 
  Fogarollo, Stefano; Scharll, Yannick; Bale, Reto; Harders, Matthias (2024): Towards Fast and Accurate Non-rigid Liver Fusion.
  In: Modat, M; Simpson, I; Špiclin, Z; Bastiaansen, W; Hering, A; Mok, T C W: Biomedical Image Registration. 11th International Workshop, WBIR 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 6, 2024, Proceedings. Cham: Springer (= Lecture Notes in Computer Science, 15249)., ISBN 978-3-031-73479-3, S. 358 - 369. (DOI) (Weblink)
  
  
• 
  Frankford, Eduard; Crazzolara, Daniel; Sauerwein, Clemens; Vierhauser, Michael; Breu, Ruth (2024): Requirements for an Online Integrated Development Environment for Automated Programming Assessment Systems.
  In: Poquet, O.; Orteg-Arranz, A.; et al: Proceedings of the 16th International Conference on Computer Supported Education. Volume 1. Setubal: SciTEPress (= CSEDU)., ISBN 978-989-758-697-2, S. 305 - 313. (DOI) (Weblink)
  
  
• 
  Frankford, Eduard; Hohn, Ingo; Sauerwein, Clemens; Breu, Ruth (2024): A Survey Study on the State of the Art of Programming Exercise Generation Using Large Language Models.
  In: Bollin, A; Bosnić, I; Brings, J; Daun, M; Manjunath, M: Proceedings of the 36th International Conference on Software Engineering Education and Training (CSEE&T). Los Alamitos: IEEE Computer Society Press., ISBN 9798350378986. (DOI) (Weblink)
  
  
• 
  Frankford, Eduard; Sauerwein, Clemens; Bassner, Patrick; Krusche, Stefan; Breu, Ruth (2024): AI-Tutoring in Software Engineering Education.
  In: Paiva, A.; Abreu, R.; et al: ICSE-SEET '24: Proceedings of the 46th International Conference on Software Engineering: Software Engineering Education and Training. New York: ACM Digital Library., ISBN 979-8-4007-0498-7, S. 309 - 319. (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)
  
  
• 
  Fröwis, Michael; Böhme, Rainer (2024): Detecting Privileged Parties on Ethereum.
  In: Essex, A.; et al: Financial Cryptography and Data Security. FC 2023 International Workshops. Voting, CoDecFin, DeFi, WTSC. Bol, Brač, Croatia, May 5, 2023, Revised Selected Papers. Cham: Springer (= Lecture Notes in Computer Science, 13953)., ISBN 978-3-031-48805-4, S. 470 - 488. (DOI) (Weblink)
  
  
• 
  Geiß, Henri-Jacques; Al-Hafez, Firas; Seyfarth, Andre; Peter, Jan; Tateo, David (2024): Exciting Action: Investigating Efficient Exploration for Learning Musculoskeletal Humanoid Locomotion.
  In: Proceedings of the 23rd International Conference on Humanoid Robots (IEEE-RAS 2024). Los Alamitos: IEEE Computer Society Press (= IEEE-RAS International Conference on Humanoid Robots)., ISBN 979-8-3503-7357-8, S. 205 - 212. (DOI) (Weblink)
  
  
• 
  Golendukhina, Valentina; Felderer, Michael (2024): Unveiling Data Preprocessing Patterns in Computational Notebooks.
  In: Proceedings of the 50th Euromicro Conference on Software Engineering and Advanced Applications (SEAA). Aug. 28 to Aug. 30 2024, Paris, France. Los Alamitos: IEEE Computer Society Press., ISBN 979-8-3503-8026-2, S. 114 - 121. (DOI) (Weblink)
  
  
• 
  Golendukhina, Valentina; Wiesmayr, Bianca; Felderer, Michael (2024): A Review of Publicly Available Datasets from Manufacturing Systems.
  In: Facchinetti, T.; Cenedese, A; Lo Bello, L; Vitturi, S; Sauter, T; Tramarin, F: Proceedings of the IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA 2024). 10 - 13 September 2024, Padova, Italy. Los Alamitos: IEEE Computer Society Press., ISBN 979-8-3503-6123-0. (DOI) (Weblink)
  
  
• 
  Groher, Iris; Vierhauser, Michael; Hartl, Erik (2024): A Learning Analytics Dashboard for Improved Learning Outcomes and Diversity in Programming Classes.
  In: Poquet, O.; Orteg-Arranz, A.; et al: Proceedings of the 16th International Conference on Computer Supported Education. Volume 2. Setubal: SciTEPress (= CSEDU)., ISBN 978-989-758-697-2, S. 618 - 625. (DOI) (Weblink)
  
  
• 
  Hammes, Sascha; Zech, Philipp; Geisler-Moroder, David; Goldin, Emanuele; Pfluger, Rainer (2024): BIM und Beleuchtungssteuerungen – Entwicklung von Werkzeugen basierend auf Literatur- und Marktanalysen.
  In: Lichttechnische Gesellschaft Österreichs (LTG): Langfassungen zum lichttechnischen Kongress 2024 & 100 Jahre LTG, Lichttechnische Gesellschaft Österreichs (LTG), Andau, Österreich, Jun. 04.-05., 2024. Verträgliches, qualitätsvolles Licht – nicht erst zukünftig, sondern bereits Realität! Absdorf: Lichttechnische Gesellschaft., S. 1 - 12. (Weblink)
  
  
• 
  Hammes, Sascha; Zech, Philipp; Geisler-Moroder, David; Goldin, Emanuele; Pfluger, Rainer (2024): Konzepte zur BIM-basierten Konfiguration und Parametrisierung von Beleuchtungssteuerungen abgeleitet aus Literatur- und Marktrecherchen.
  In: Bednar, Thomas: Proceedings of BauSim Conference 2024. 10te Konferenz von IBPSA-DACH, TU Wien, Österreich. Proceedings. 23-26 September 2024, Vienna, Austria. International Building Performance Simulation Association (IBPSA)., ISBN 978-3-200-10068-8, S. 48 - 55. (DOI) (Weblink)
  
  
• 
  Hirokawa, Nao; Kim, Dohan; Shintani, Kiraku; Thiemann, René (2024): Certification of Confluence- and Commutation-Proofs via Parallel Critical Pairs.
  In: Timany, Amin; Traytel, Dmitriy; Pientka, Brigitte; Blazy, Sandrine (Eds.): Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2024). London, UK, January 15 - 16, 2024. New York: ACM Digital Library., ISBN 979-8-4007-0488-8, S. 147 - 161. (DOI) (Weblink)
  
  
• 
  Hofer, Nora (2024): Increasing Trust in Image Analysis by Detecting Trellis Quantization in JPEG Images.
  In: Proceedings of the IEEE International Conference on Image Processing (ICIP 2024). 27-30 Oct. 2024. Los Alamitos: IEEE Computer Society Press (= Proceedings of IEEE International Conference on Image Processing)., ISBN 979-8-3503-4939-9, S. 3834 - 3840. (DOI) (Weblink)
  
  
• 
  Hofer, Nora; Böhme, Rainer (2024): A Taxonomy of Miscompressions: Preparing Image Forensics for Neural Compression.
  In: Proceedings of the 16th IEEE International Workshop on Information Forensics and Security (WIFS 2024). 2-5 Dec. 2024, Rome, Italy. Piscataway: IEEE Signal Processing Society., ISBN 979-8-3503-6442-2. (DOI) (Weblink)
  
  
• 
  Hollenstein, Jakob; Zaric, Marko; Tosatto, Samuele; Piater, Justus (2024): Pink Noise LQR: How does Colored Noise affect the Optimal Policy in RL?
  In: Proceedings of the Workshop at the International Conference on Machine Learning (ICML 2024). OpenReview.net., No. 66. (Weblink)
  
  
• 
  Jakubuv, Jan; Janota, Mikolas; Urban, Josef (2024): Solving Hard Mizar Problems with Instantiation and Strategy Invention.
  In: Kohlhase, A.; Kovács, L.: Proceedings of the 17th International Conference Intelligent Computer Mathematics (CICM 2024). Cham: Springer (= Lecture Notes in Computer Science, 14960)., ISBN 978-3-031-66996-5, S. 315 - 333. (DOI) (Weblink)
  
  
• 
  Jakubův, Jan; Janota, Mikolas; Piepenbrock, Jelle; Urban, Josef (2024): Machine Learning for Quantifier Selection in cvc5.
  In: Endriss, U.; Melo, F.S.; Bach, K.; Bugarín-Diz, A.; Alonso-Moral, J.M.; Senén, B.; Heintz, F.: Proceedings of the 27th European Conference on Artificial Intelligence (ECAI 2024). 19–24 October 2024, Santiago de Compostela, Spain. Amsterdam - Berlin [u.a.]: IOS Press (= Frontiers in Artificial Intelligence and Applications, 392)., ISBN 978-1-64368-548-9, S. 4336 - 4343. (DOI) (Weblink)
  
  
• 
  Josifovski, Josip; Auddy, Sayantan; Malmir, Mohammadhossein; Piater, Justus; Knoll, Alois; Navarro-Guerrero, Nicolás (2024): Continual Domain Randomization.
  In: Proceedings of the 2024 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2024). 14-18 Oct. 2024. Los Alamitos: IEEE Computer Society Press (= Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS))., ISBN 979-8-3503-7770-5, S. 4965 - 4972. (DOI) (Weblink)
  
  
• 
  Kallel, Mahdi; Tosatto, Samuele; D'Eramo, Carlo (2024): Revisiting On-Policy Deep Reinforcement Learning.
  In: Proceedings of the 17th European Workshop on Reinforcement Learning (EWRL 2024). OpenReview.net., No. 118. (Weblink)
  
  
• 
  Kim, Dohan (2024): An Isabelle/HOL formalization of narrowing and multiset narrowing for E-unifiability, reachability and infeasibility.
  In: Bertot, Y.; Kutsia, T.; Norrish, M.: Proceedings of the 15th International Conference on Interactive Theorem Proving (ITP 2024). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik (= Leibniz International Proceedings in Informatics (LIPICS), 309)., ISBN 978-3-95977-337-9, No. 24. (DOI) (Weblink)
  
  
• 
  Larcher, Thomas; Ristov, Sashko (2024): jPackFaaS: Profiling Java Serverless Functions Package Size in Federated FaaS.
  In: Zeinalipour, D; Blanco Heras, D; Pallis, G.; et al: Euro-Par 2023: Parallel Processing Workshops. Euro-Par 2023 International Workshops, Limassol, Cyprus, August 28 – September 1, 2023, Revised Selected Papers, Part I. Cham: Springer (= Lecture Notes in Computer Science, 14351)., ISBN 978-3-031-50683-3, S. 330 - 341. (DOI) (Weblink)
  
  
• 
  Li, Yixuan; Parsert, Julian; Polgreen, Elizabeth (2024): Guiding Enumerative Program Synthesis with Large Language Models.
  In: Gurfinkel, A.; Ganesh, V.: Proceedings of the 36th International Conference Computer Aided Verification (CAV 2024). Proceedings, Part II. Montreal, QC, Canada, July 24–27, 2024. Cham: Springer (= Lecture Notes in Computer Science, 14682)., ISBN 978-3-031-65629-3, S. 280 - 301. (DOI) (Weblink)
  
  
• 
  Lorch, Benedikt; Böhme, Rainer (2024): Landscape More Secure Than Portrait? Zooming Into the Directionality of Digital Images
  With Security Implications.
  In: Balzarotti, D; Xu, W: Proceedings of the 33rd USENIX Security Symposium 2024. Philadelphia PA, USA August 14 - 16, 2024. Berkeley: USENIX - The advanced computing systems association., ISBN 9798331302566, S. 6903 - 6920. (DOI) (Weblink)
  
  
• 
  Mello, Beatriz; Welsch, Robin; Verbokkem, Marissa Christien; Knierim, Pascal; Dechant, Martin Johannes (2024): Navigating the Virtual Gaze: Social Anxiety's Role in VR Proxemics.
  In: Mueller, F.F.; Kyburz, P.; et al: Proceedings of the CHI Conference on Human Factors in Computing Systems (CHI 2024). Honolulu HI USA, May 11 - 16, 2024. New York: ACM Digital Library., ISBN 979-8-4007-0330-0, No. 598. (DOI) (Weblink)
  
  
• 
  Miller, Josef; Jäger, Alexandra; Fröch, Georg; Pfluger, Rainer; Zech, Philipp; Hauer, Martin (2024): Combined web-based and BIM tool plugin toolchain to support data exchange during BIM2SIM workflows.
  In: Bednar, Thomas: Proceedings of BauSim Conference 2024. 10te Konferenz von IBPSA-DACH, TU Wien, Österreich. Proceedings. 23-26 September 2024, Vienna, Austria. International Building Performance Simulation Association (IBPSA)., ISBN 978-3-200-10068-8, S. 40 - 47. (DOI) (Weblink)
  
  
• 
  Mitterwallner, Fabian; Middeldorp, Aart; Thiemann, Renè (2024): Linear Termination is Undecidable.
  In: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2024). Tallinn, Estonia, July 8 - 11, 2024. New York: ACM Digital Library., ISBN 979-8-4007-0660-8, No. 57. (DOI) (Weblink)
  
  
• 
  Mohammadi, Amir Reza; Peintner, Andreas; Müller, Michael; Zangerle, Eva (2024): Are We Explaining the Same Recommenders? Incorporating Recommender Performance for Evaluating Explainers.
  In: Di Noia, T.; Lops, P.; Joachims, T.; Verbert, K.; Castells, P.; Dong, Z.; London, B. (Eds.): Proceedings of the Eighteenth ACM Conference on Recommender Systems 2024. Bari, Italy, 14th–18th October 2024. New York: ACM Digital Library., ISBN 979-8-4007-0505-2, S. 1113 - 1118. (DOI) (Weblink)
  
  
• 
  Moscati, M.; Strauß, Hannah; Jacobsen, P.-O.; Peintner, A.; Zangerle, E.; Zentner, Marcel; Schedl, M. (2024): Emotion-Based Music Recommendation from Quality Annotations and Large-Scale User-Generated Tags.
  In: 32nd ACM Conference on User Modeling, Adaptation and Personalization. Cagliari Italy, July 1 - 4, 2024. New York: ACM Press., ISBN 979-8-4007-0433-8, S. 159 - 164. (DOI) (Weblink)
  
  
• 
  Mozafari, Jamshid; Abdallah, Abdelrahman; Piryani, Bhawna; Jatowt, Adam (2024): Exploring Hint Generation Approaches for Open Domain Question Answering.
  In: Al-Onaizan, Yaser; Bansal, Mohit; Chen, Yun-Nung: Findings of the Association for Computational Linguistics: EMNLP 2024. Miami, Florida, USA. Stroudsburg, PA: Association for Computational Linguistics (ACL)., S. 9327 - 9352. (DOI) (Weblink)
  
  
• 
  Mozafari, Jamshid; Jangra, Anubhav; Jatowt, Adam (2024): TriviaHG: A Dataset for Automatic Hint Generation from Factoid Questions.
  In: Proceedings of the 47th International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR 2024). July 14–18, 2024, Washington, DC, USA. New York: Association for Computing Machinery., ISBN 979-8-4007-0431-4, S. 2060 - 2070. (DOI) (Weblink)
  
  
• 
  Niederhauser, Johannes; Brown, Chad; Kaliszyk, Cezary (2024): Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic.
  In: Benzmüller, C.; Heule, M.; Schmidt, R.: Proceedings of the 12th International Joint Conference Automated Reasoning (IJCAR 2024). Proceedings, Part I. Cham: Springer (= Lecture Notes in Computer Science, 14739)., ISBN 978-3-031-63497-0, S. 86 - 104. (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)
  
  
• 
  Palermo, G.; Accordi, G.; Gadioli, D; ..., ...; Thoman, Peter; Fahringer, Thomas; Gschwandtner, Philipp; et al (2024): LIGATE - LIgand Generator and portable drug discovery platform AT Exascale.
  In: Proceedings of the 21st ACM International Conference on Computing Frontiers: Workshops and Special Sessions (CF '24 Companion). May 7–9, 2024, Ischia, Italy. New York: Association for Computing Machinery., ISBN 979-8-4007-0492-5, S. 107 - 109. (DOI) (Weblink)
  
  
• 
  Palma Preciado, Victor Manuel; Sidorov, Grigori; Ermakova, Liana; Bosser, Anne-Gwenn; Miller, Tristan; Jatowt, Adam (2024): Overview of the CLEF 2024 JOKER Task 2: Humour Classification According to Genre and Technique.
  In: Faggioli, G.; Ferro, N.; Galuščáková, P.; de Herrera, A.G. S. (Eds.): Working Notes of the Conference and Labs of the Evaluation Forum (CLEF 2024). Aachen: CEUR-WS.org., S. 1786 - 1799. (Weblink)
  
  
• 
  Pedratscher, Stefan; Fahringer, Thomas; Aznar -Poveda, Juan (2024): Dynamic Workflow Scheduling in the Edge-Cloud Continuum: Optimizing Runtimes Under Budget Constraints.
  In: Chang, Rong N.; Chang, Carl K; Yang, Jingwei; et al.: Proceedings of the 17th International Conference on Cloud Computing (CLOUD 2024). Shenzhen, China, 7-13 July 2024. Los Alamitos: IEEE Computer Society Press (= IEEE International Conference on Cloud Computing, CLOUD)., ISBN 979-8-3503-6853-6, S. 69 - 80. (DOI) (Weblink)
  
  
• 
  Piepenbrock, Jelle; Janota, Mikolas; Urban, Josef; Jakubův, Jan (2024): First Experiments with Neural cvc5.
  In: Bjorner, Nikolaj; Heule, Marijn; Voronkov, Andrei: Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2024). Manchester: EasyChair (= EPiC Series in Computing, 100)., S. 264 - 277. (DOI) (Weblink)
  
  
• 
  Piryani, Bhawna; Abdallah, Abdelrahman; Mozafari, Jamshid; Jatowt, Adam (2024): Detecting Temporal Ambiguity in Questions.
  In: Al-Onaizan, Yaser; Bansal, Mohit; Chen, Yun-Nung: Findings of the Association for Computational Linguistics: EMNLP 2024. Miami, Florida, USA. Stroudsburg, PA: Association for Computational Linguistics (ACL)., S. 9620 - 9634. (DOI) (Weblink)
  
  
• 
  Piryani, Bhawna; Mozafari, Jamshid; Jatowt, Adam (2024): ChroniclingAmericaQA: A Large-scale Question Answering Dataset based on Historical American Newspaper Pages.
  In: Proceedings of the 47th International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR 2024). July 14–18, 2024, Washington, DC, USA. New York: Association for Computing Machinery., ISBN 979-8-4007-0431-4, S. 2038 - 2048. (DOI) (Weblink)
  
  
• 
  Prange, Sarah; Knierim, Pascal; Knoll, Gabriel; Dietz, Felix; De Luca, Alexander; Alt, Florian (2024): "I do (not) need that feature!": understanding users' awareness and control of privacy permissions on android smartphones.
  In: Kelley, P. G.; Kapadia, A.: Proceedings of the 20th Symposium on Usable Privacy and Security (SOUPS 2024). Berkeley: USENIX - The advanced computing systems association., ISBN 978-1-939133-42-7, S. 453 - 472. (DOI) (Weblink)
  
  
• 
  Przystupa, Michael; Gidel, Gauthier; Taylor, Matthew; Jagersand, Martin; Piater, Justus; Tosatto, Samuele (2024): Local Linearity is All You Need (in Data-Driven Teleoperation).
  In: Proceedings of the 2024 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2024). 14-18 Oct. 2024. Los Alamitos: IEEE Computer Society Press (= Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS))., ISBN 979-8-3503-7770-5, S. 12148 - 12155. (DOI) (Weblink)
  
  
• 
  Ranalter, Daniel; Brown, Chad; Kaliszyk, Cezary (2024): Experiments with Choice in Dependently-Typed Higher-Order Logic.
  In: Bjorner, Nikolaj; Heule, Marijn; Voronkov, Andrei: Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2024). Manchester: EasyChair (= EPiC Series in Computing, 100)., S. 311 - 320. (DOI) (Weblink)
  
  
• 
  Regev, Juwal; Jatowt, Adam; Färber, Michael (2024): Future Timelines: Extraction and Visualization of Future-related Content from News Articles.
  In: Luz, A.; Lattanzi, S.; et al: Proceedings of the 17th ACM International Conference on Web Search and Data Mining (WSDM 2024). Merida Mexico, March 4 - 8, 2024. New York: ACM Digital Library., ISBN 979-8-4007-0371-3, S. 1082 - 1085. (DOI) (Weblink)
  
  
• 
  Said, Alan; Bauer, Christine; Zangerle, Eva (2024): Reflections on Recommender Systems: Past, Present, and Future (INTROSPECTIVES).
  In: Di Noia, T.; Lops, P.; Joachims, T.; Verbert, K.; Castells, P.; Dong, Z.; London, B. (Eds.): Proceedings of the Eighteenth ACM Conference on Recommender Systems 2024. Bari, Italy, 14th–18th October 2024. New York: ACM Digital Library., ISBN 979-8-4007-0505-2, S. 1237 - 1238. (DOI) (Weblink)
  
  
• 
  Sauerwein, Clemens; Antensteiner, Tobias; Salhofer, Peter; Breu, Ruth (2024): Success Factors of Automated Programming Assessment Systems in Different Learning Environments.
  In: Proceedings of the 57th Hawaii International Conference on System Sciences (HICSS 2024). Association for Information Systems (AIS) / AIS Electronic Library (AISeL) (= Proceedings of the Hawaii International Conference on System Sciences (HICSS))., ISBN 978-0-9981331-7-1, S. 94 - 104. (Weblink)
  
  
• 
  Sauerwein, Clemens; Wenzl, Christina; Breu, Ruth (2024): Uncovering Critical Resources and Factors Influencing the Use of Threat Intelligence Sharing Platforms.
  In: Proceedings of the 57th Hawaii International Conference on System Sciences (HICSS 2024). Association for Information Systems (AIS) / AIS Electronic Library (AISeL) (= Proceedings of the Hawaii International Conference on System Sciences (HICSS))., ISBN 978-0-9981331-7-1, S. 1921 - 1931. (Weblink)
  
  
• 
  Schöpf, Jonas; Mitterwallner, Fabian; Middeldorp, Aart (2024): Confluence of Logically Constrained Rewrite Systems Revisited.
  In: Benzmüller, C.; Heule, M.; Schmidt, R.: Proceedings of the 12th International Joint Conference Automated Reasoning (IJCAR 2024). Proceedings, Part II. Cham: Springer (= Lecture Notes in Computer Science, 14739)., ISBN 978-3-031-63497-0, S. 298 - 316. (DOI) (Weblink)
  
  
• 
  Shahin, Mahtab; Shah, Sved Attique; Sharma, Rahul; Ghasempouri, Tara; Aznar Poveda, Juan; Fahringer, Thomas; Draheim, Dirk (2024): Performance of a Distributed Apriori Algorithm Using the Serverless Functions of the Apollo Framework.
  In: Silhavy, Radek; Silhavy, Petr: Machine Learning Methods in Systems. Proceedings of 13th Computer Science On-line Conference 2024, Vol. 4. Cham: Springer Nature (= Lecture Notes in Networks and Systems, 1126)., ISBN 978-3-031-70595-3, S. 363 - 374. (DOI) (Weblink)
  
  
• 
  Sojitra, Daivik; Jain, Raghav; Saha, Sriparna; Jatowt, Adam; Gupta, Manish (2024): Timeline Summarization in the Era of LLMs.
  In: Proceedings of the 47th International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR 2024). July 14–18, 2024, Washington, DC, USA. New York: Association for Computing Machinery., ISBN 979-8-4007-0431-4, S. 2657 - 2661. (DOI) (Weblink)
  
  
• 
  Steidl, Monika; Dornauer, Benedikt; Felderer, Michael; Ramler, Rudolf; Racasan, Micrea-Cristian; Gattringer, Marko (2024): How Industry Tackles Anomalies during Runtime: Approaches and Key Monitoring Parameters.
  In: Proceedings of the 50th Euromicro Conference on Software Engineering and Advanced Applications (SEAA). Aug. 28 to Aug. 30 2024, Paris, France. Los Alamitos: IEEE Computer Society Press., ISBN 979-8-3503-8026-2, S. 364 - 372. (DOI) (Weblink)
  
  
• 
  Steidl, Monika; Ramler, Rudolf; Felderer, Michael (2024): The Past, Present, and Future of Research on the Continuous Development of AI.
  In: Proceedings of the 50th Euromicro Conference on Software Engineering and Advanced Applications (SEAA). Aug. 28 to Aug. 30 2024, Paris, France. Los Alamitos: IEEE Computer Society Press., ISBN 979-8-3503-8026-2, S. 300 - 308. (DOI) (Weblink)
  
  
• 
  Thiemann, Rene; Yamada, Akihisa (2024): A Verified Algorithm for Deciding Pattern Completeness.
  In: Rehof, J: 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024). July 10-13, 2024, Tallinn, Estonia. Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik (= Leibniz International Proceedings in Informatics (LIPICS), 299)., ISBN 978-3-95977-323-2, No. 27. (DOI) (Weblink)
  
  
• 
  Thoman, Peter; Knorr, Fabian; Crisci, Luigi (2024): SimSYCL: A SYCL Implementation Targeting Development, Debugging, Simulation and Conformance.
  In: IWOCL '24: Proceedings of the 12th International Workshop on OpenCL and SYCL. Chicago IL USA, April 8 - 11, 2024. New York: ACM Digital Library., ISBN 979-8-4007-1790-1, No. 3. (DOI) (Weblink)
  
  
• 
  Tran, Quynh Nhu Jennifer; Santner, Tina; Rodriguez-Sanchez, Antonio (2024): Automatic computation of the Posterior Nipple Line from mammographies.
  In: Radeva, P; Furnari, A.; Bouatouch, K.; Sousa, A.: Proceedings of the 19th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications - Volume 4 (VISIGRAPP 2024). Setubal: SciTEPress., ISBN 978-989-758-679-8, Bd. 4, S. 629 - 636. (DOI) (Weblink)
  
  
• 
  Triendl, Simon; Ristov, Sashko (2024): Peeking Behind the Serverless Implementations and Deployments of the Montage Workflow.
  In: Balsamo, S.; Knottenbelt, W.; et al: ICPE '24: Proceedings of the 15th ACM/SPEC International Conference on Performance Engineering. London United Kingdom, May 7 - 11, 2024. New York: ACM Digital Library., ISBN 979-8-4007-0444-4, S. 196 - 203. (DOI) (Weblink)
  
  
• 
  Urena Santiago, Javier; Ströhle, Thomas; Rodriguez-Sanchez, Antonio; Breu, Ruth (2024): Vision Transformers for Weakly-Supervised Microorganism Enumeration.
  In: Proceedings of the International Conference on Digital Image Computing: Techniques and Applications (DICTA 2024). Los Alamitos: IEEE Computer Society Press., ISBN 979-8-3503-7903-7, S. 126 - 133. (DOI) (Weblink)
  
  
• 
  Vierhauser, Michael; Groher, Iris; Antensteiner, Tobias; Sauerwein, Clemens (2024): Towards Integrating Emerging AI Applications in SE Education.
  In: Bollin, A; Bosnić, I; Brings, J; Daun, M; Manjunath, M: Proceedings of the 36th International Conference on Software Engineering Education and Training (CSEE&T). Los Alamitos: IEEE Computer Society Press., ISBN 9798350378986. (DOI) (Weblink)
  
  
• 
  Vierhauser, Michael; Groher, Iris; Sauerwein, Clemens; Antensteiner, Tobias; Hatmanstorfer, Sebastian (2024): Learning Analytics Support in Higher-Education: Towards a Multi-Level Shared Learning Analytics Framework.
  In: Poquet, O.; Orteg-Arranz, A.; et al: Proceedings of the 16th International Conference on Computer Supported Education. Volume 1. Setubal: SciTEPress (= CSEDU)., ISBN 978-989-758-697-2, S. 635 - 644. (DOI) (Weblink)
  
  
• 
  Vierhauser, Michael; Meixner, Kristof; Biffl, Stefan (2024): Scenario-Based Field Testing of Drone Missions.
  In: Proceedings of the 50th Euromicro Conference on Software Engineering and Advanced Applications (SEAA). Aug. 28 to Aug. 30 2024, Paris, France. Los Alamitos: IEEE Computer Society Press., ISBN 979-8-3503-8026-2, S. 10 - 17. (DOI) (Weblink)
  
  
• 
  Vigl, Wolfgang; Abramova, Svetlana (2024): Design and Use of Privacy Capture-the-Flag Challenges in an Introductory Class on Information Privacy and Security.
  In: Proceedings of the 2024 on Innovation and Technology in Computer Science Education (ITiCSE 2024) V. 1. July 8–10, 2024, Milan, Italy. New York: ACM Digital Library., ISBN 979-8-4007-0600-4, S. 618 - 624. (DOI) (Weblink)
  
  
• 
  Wallat, Jonas; Jatowt, Adam; Anand, Avishek (2024): Temporal Blind Spots in Large Language Models.
  In: Luz, A.; Lattanzi, S.; et al: Proceedings of the 17th ACM International Conference on Web Search and Data Mining (WSDM 2024). Merida Mexico, March 4 - 8, 2024. New York: ACM Digital Library., ISBN 979-8-4007-0371-3, S. 683 - 692. (DOI) (Weblink)
  
  
• 
  Wenzel, Georg; Jatowt, Adam (2024): Temporal Validity Change Prediction.
  In: Ku, Lun-Wei; Martins, Andre; Srikumar, Vivek: Findings of the Association for Computational Linguistics: ACL 2024. Bangkok, Thailand. Stroudsburg, PA: Association for Computational Linguistics (ACL)., S. 1424 - 1446. (DOI) (Weblink)
  
  
• 
  Wohlrab, Rebekka; Vierhauser, Michael; Nilsson, Erik (2024): What Impact do my Preferences Have? A Framework for Explanation-Based Elicitation of Quality Objectives for Robotic Mission Planning.
  In: Mendez, D.; Moreira, A.: Learning Analytics Dashb. 30th International Working Conference, REFSQ 2024. Winterthur, Switzerland, April 8–11, 2024. Cham: Springer (= Lecture Notes in Computer Science, 14588)., ISBN 978-3-031-57326-2, S. 111 - 128. (DOI) (Weblink)
  
  
• 
  Wu, Yiquan; Zhou, Anlai; Liu, Yuhang; Liu, Yifei; Jatowt, Adam; Lu, Weiming; Xiao, Jun; Kuang, Kun (2024): Chain-of-Quizzes: Pedagogy-inspired Example Selection in In-Context-Learning.
  In: Ku, Lun-Wei; Martins, Andre; Srikumar, Vivek: Findings of the Association for Computational Linguistics: ACL 2024. Bangkok, Thailand. Stroudsburg, PA: Association for Computational Linguistics (ACL)., S. 10136 - 10142. (DOI) (Weblink)
  
  
• 
  Yan, Yan; Oswald, Elisabeth; Roy, Arnab (2024): Not Optimal but Efficient: A Distinguisher Based on the Kruskal-Wallis Test.
  In: Information Security and Cryptology – ICISC 2023. 26th International Conference on Information Security and Cryptology, ICISC 2023, Seoul, South Korea, November 29 – December 1, 2023, Revised Selected Papers, Part I. Singapur: Springer Singapore., ISBN 978-981-97-1234-2, S. 240 - 258. (DOI) (Weblink)
  
  
• 
  Yu, Yi; Sugiyama, Kazunari; Jatowt, Adam (2024): Sequential Recommendation with Collaborative Explanation via Mutual Information Maximization.
  In: Proceedings of the 47th International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR 2024). July 14–18, 2024, Washington, DC, USA. New York: Association for Computing Machinery., ISBN 979-8-4007-0431-4, S. 1062 - 1072. (DOI) (Weblink)
  
  
• 
  Zangerle, Eva; Mayerl, Maximilian; Potthast, Martin; Stein, Benno (2024): Overview of the Multi-Author Writing Style Analysis Task at PAN 2024.
  In: Faggioli, G.; Ferro, N.; Galuščáková, P.; de Herrera, A.G. S. (Eds.): Working Notes of the Conference and Labs of the Evaluation Forum (CLEF 2024). Aachen: CEUR-WS.org., Bd. 3740, S. 2424 - 2431. (Weblink)
  
  
• 
  Zech, Philipp; Burger, Peter; Hammes, Sascha; Geisler-Moroder, David; Breu, Ruth (2024): BIMReason - Validating BIM Model Correctness.
  In: Bednar, Thomas: Proceedings of BauSim Conference 2024. 10te Konferenz von IBPSA-DACH, TU Wien, Österreich. Proceedings. 23-26 September 2024, Vienna, Austria. International Building Performance Simulation Association (IBPSA)., ISBN 978-3-200-10068-8, S. 56 - 63. (DOI) (Weblink)
  
  
• 
  Zech, Philipp; Fröch, Georg; Breu, Ruth (2024): A Requirements Study on Model Repositories for Digital Twins in Construction Engineering.
  In: Sellami, M.; Vidal, M.-E.; van Dongen, B.; Gaaloul, W.; Panetto, H.: Cooperative Information Systems. 29th International Conference, CoopIS 2023, Groningen, The Netherlands, October 30–November 3, 2023, Proceedings. Cham: Springer (= Lecture Notes in Computer Science, 14353)., ISBN 978-3-031-46845-2, S. 459 - 469. (DOI) (Weblink)
  
  
• 
  Zech, Philipp; Goldin, Emanuele; Hammes, Sascha; Geisler-Moroder, David; Pfulger, Rainer; Breu, Ruth (2024): Model-Based Auto-Commissioning of Building Control Systems.
  In: Filipe, Joaquim; Śmiałek, Michał; Brodsky, Alexander; Hammoudi, Slimane: Proceedings of the 26th International Conference on Enterprise Information Systems - (Volume 2). April 28-30, 2024, Angers, France. Setubal: SciTEPress., ISBN 978-989-758-692-7, S. 121 - 128. (DOI) (Weblink)
  
  
• 
  Zech, Philipp; Nardin, Claudio; Ristov, Sashko; Flora, Matthias; Breu, Ruth (2024): Digital-Twins-As-A-Service in Construction Engineering.
  In: Proceedingsof the 2024 IEEE 20th International Conference on Automation Science and Engineering (CASE). IEEE Conference eXpress Publishing., ISBN 979-8-3503-5851-3, S. 3004 - 3010. (DOI) (Weblink)
  
  
• 
  Zech, Philipp; Probitzer, Philipp; Fröch, Georg; Breu, Ruth (2024): A Proposal for a Models-Meet-Data Repository for Digital Twins in Construction Engineering.
  In: Proceedings of the IEEE 21st International Conference on Software Architecture Companion (ICSA-C 2024). 4 – 8 June 2024, Hyderabad, India. Los Alamitos: IEEE Computer Society Press., ISBN 979-8-3503-6625-9, S. 111 - 118. (DOI) (Weblink)
  
  

Beitrag in Proceedingsband (Abstract)

• 
  Beutel, Jan (2024): Fluchthorn Ein Jahr Danach – Die Wissenschaftliche Erkenntnis.
  In: Geoforum Tirol: Tagungsband 26. Geoforum Umhausen. 17.-18. Oktober 2024. Innsbruck: Geoforum Tirol., S. 17. (Weblink)
  
  
• 
  Beutel, Jan; Cicoira, Aessandro; Morra di Cella, Umberto; Pogliotti, Paolo; Weber, Samuel (2024): Insights from steep-bedrock, high-altitude mountain permafrost laboratory at the Matterhorn.
  In: EGUsphere: EGU - General Assembly 2024 - Book of Abstracts. Vienna, Austria & Online | 14–19 April 2024. Göttingen: Copernicus., No. EGU24-19057. (DOI) (Weblink)
  
  
• 
  Gärtner-Roer, Isabelle; Kneib-Walter, Andrea; Vieli, Andreas; Cicoira, Alessandro; Beutel, Jan; Strozzi, Tazio (2024): Rockglacier dynamics on Disko Island, Western Greenland.
  In: Beddoe, Ryley; Karunaratne, Kumari: Proceedings of the 12th International Conference on Permafrost (ICOP 2024). Volume 2: Extended Abstracts. International Permafrost Association., S. 155 - 156. (Weblink)
  
  
• 
  Krautblatter, Michael; Weber, Samuel; Dietze, Micha; Keuschnig, Markus; Stockinger, Georg; Brückner, Lisa; Beutel, Jan; Figl, Thomas; Trepmann, Claudia; Hofmann, Robert; Rau, Maximilian; Pfluger, Felix; Barbosa, Laura; Siegert, Mejia; Siegert, Florian (2024): The 2023 Fluchthorn massive permafrost rock slope failure analysed.
  In: Beddoe, Ryley; Karunaratne, Kumari: Proceedings of the 12th International Conference on Permafrost (ICOP 2024). Volume 2: Extended Abstracts. International Permafrost Association., S. 184 - 185. (Weblink)
  
  
• 
  Krautblatter, Michael; Weber, Samuel; Dietze, Michael; Keuschnig, Markus; Stockinger, Georg; Brückner, Lisa; Beutel, Jan; Figl, Thomas; Trepmann, Claudia; Hofmann, Robert; Rau, Maximilian; Pfluger, Felix; Barbosa Mejia, Laura; Siegert, Florian (2024): The 2023 Fluchthorn massive permafrost rock slope failure analysed.
  In: EGUsphere: EGU - General Assembly 2024 - Book of Abstracts. Vienna, Austria & Online | 14–19 April 2024. Göttingen: Copernicus., No. EGU24-20989. (DOI) (Weblink)
  
  
• 
  Ristov, Sashko (2024): Engineering Serverless Application Life-cycles in Federated Serverless Infrastructures.
  In: Balsamo, S.; Knottenbelt, W.; et al: ICPE '24: Proceedings of the 15th ACM/SPEC International Conference on Performance Engineering. London United Kingdom, May 7 - 11, 2024. New York: ACM Digital Library., ISBN 979-8-4007-0444-4, S. 166. (DOI) (Weblink)
  
  
• 
  Ristov, Sashko; Gritsch, Philipp; Meyer, David; Felderer, Michael (2024): GoSpeechLess: Interoperable Serverless ML-based Cloud Services.
  In: Paiva, A.; Abreu, R.; et al: ICSE-Companion '24: Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings. Lisbon Portugal, April 14 - 20, 2024. New York: ACM Digital Library., ISBN 979-8-4007-0502-1, S. 394 - 395. (DOI) (Weblink)
  
  
• 
  Wee, Julie; Vivero, Sebastian; Mollaret, Coline; Hauck, Christian; Lambiel, Christophe; Beutel, Jan (2024): Characterizing ground ice content and origin to better understand the seasonal surface dynamics of the Gruben rock glacier (western Swiss Alps).
  In: EGUsphere: EGU - General Assembly 2024 - Book of Abstracts. Vienna, Austria & Online | 14–19 April 2024. Göttingen: Copernicus., No. EGU24-19785. (DOI) (Weblink)
  
  
• 
  Wee, Julie; Vivero, Sebastian; Mollaret, Colline; Hauck, Christian; Lambiel, Christophe; Beutel, Jan (2024): Understanding the seasonal surface dynamics of a rock glacier through the assessment of ground ice content and origin.
  In: Beddoe, Ryley; Karunaratne, Kumari: Proceedings of the 12th International Conference on Permafrost (ICOP 2024). Volume 2: Extended Abstracts. International Permafrost Association., S. 169 - 170. (Weblink)
  
  

Lehrbuchbeitrag, wissenschaftlicher

• 
  Blaauwbroek, Lasse; Cerna, David M.; Gauthier, Thibault; Jakubuv, Jan; Kaliszyk, Cezary; Suda, Martin; Urban, Josef (2024): Learning Guided Automated Reasoning: A Brief Survey.
  In: Capretta, V; Krebberfs, R.; Wiedijk, F.: Logics and Type Systems in Theory and Practice. Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday. Cham: Springer (= Lecture Notes in Computer Science, 14560)., ISBN 978-3-031-61715-7, S. 54 - 83. (DOI) (Weblink)
  
  

Sonstige Publikationen

elektronische Publikation, wissenschaftliche

• 
  Geiss, Henri-Jacques; Agostini, Alejandro; Piater, Justus (2024): Position Talk: Building a Curious Agent that Learns to Plan with Image Schemas. (Weblink)
  
  
• 
  Przystupa, Michael; Gidel, Gauthier; Taylor, Matthew; Jägersand, Martin; Piater, Justus; Tosatto, Samuele (2024): Investigating the Benefits of Nonlinear Action Maps in Data-Driven Teleoperation. (DOI) (Weblink)
  
  

elektronische Publikation (Preprint)

• 
  Auddy, Sayantan; Bergner, Sebastian; Piater, Justus (2024): Effect of Optimizer, Initializer, and Architecture of Hypernetworks on Continual Learning from Demonstration. (Weblink)
  
  
• 
  Ferreira da Silva, Rafael; Bard, Deborah; Chard, Kyle; ., …; Fahringer, Thomas; Gritsch, Philipp; Ristov, Sashko; et al (2024): Workflows Community Summit 2024: Future Trends and Challenges in Scientific Workflows. (DOI) (Weblink)
  
  
• 
  Josifovski, Josip; Auddy, Sayantan; Malmir, Mohammadhossein; Piater, Justus; Knoll, Alois; Navarro-Guerrero, Nicolás (2024): Continual Domain Randomization. (Weblink)
  
  
• 
  Mallet, Antoine; Benes, Martin; Cogranne, Rémi (2024): Cover-Source Mismatch in Steganalysis: Systematic Review. (DOI) (Weblink)
  
  
• 
  Najafabadi Samani, Zahra; Gassner, Matthias; Fahringer, Thomas; Aznar Poveda, Juan; Pedratscher, Stefan (2024): Dynamic Resource Manager for Automating Deployments in the Computing Continuum. (DOI) (Weblink)
  
  
• 
  Shahin, Mahtab; Ghasempouri, Tara; Aznar Poveda, Juan; Janatian, Nasim; Fahringer, Thomas; Shah, Syed; Draheim, Dirk (2024): Meteorological Insights: Scalable Weather Pattern Mining in Tallinn and Tartu. (DOI) (Weblink)
  
  
• 
  Shahin, Mahtab; Janatian, Nasim; Aznar Poveda, Juan; Fahringer, Thomas; Ghasempouri, Tara; Attique Shah, Syed; Draheim, Dirk (2024): Orchestration of Serverless Functions for Scalable Association Rule Mining with Apollo. (DOI) (Weblink)
  
  
• 
  Shahin, Mahtab; Timofejev, Kirill; Aznar Poveda, Juan; Ghasempouri, Tara; Fahringer, Thomas; Attique Shah, Syed; Draheim, Dirk (2024): Scalable data mining using a distributed apriori algorithm with apollo framework. (DOI) (Weblink)
  
  
• 
  Yaish, Aviv; Abramova, Svetlana; Böhme, Rainer (2024): Strategic Vote Timing in Online Elections With Public Tallies. (DOI) (Weblink)
  
  
• 
  Zaric, Marko; Hollenstein, Jakob; Piater, Justus; Renaudo, Erwan (2024): Unsupervised Learning of Effective Actions in Robotics. (DOI) (Weblink)
  
  

Forschungsdaten

• 
  Beutel, Jan; Weber, Samuel; Cicoira, Alessandro (2015-lfd): Matterhorn Cryosphere Observatory, Switzerland (Datensatz). Version 1. In: Swiss Seismological Service (SED) @ ETH Zürich. (DOI) (Weblink)
  
  
• 
  Weber, Samuel; Beutel, Jan; Cicoira, Alessandro (2024): In-situ measurements in steep bedrock permafrost in an Alpine environment on the Matterhorn Hörnligrat, Zermatt Switzerland: 2008-2023 (Datensatz). Version 4. In: Pangaea. (DOI) (Weblink)
  
  

Medienbeiträge

Beitrag in Publikumszeitschrift

• 
  Hofer, Nora (2024): Im Auge des Betrachters. Neue Videoüberwachung soll Sicherheit bringen. Aber ist sie auch verhältnismäßig?
  In: 20er. Die Tiroler Straßenzeitung.
  
  

Medienbeitrag

• 
  Beutel, Jan: Tauendes Eis am Berg. Felssturz am Matterhorn – Experte erklärt Phänomen.
  In: Tagesanzeiger vom 30.08.2024. (Weblink)
  
  
• 
  Beutel, Jan: In den Bergen und ganz unten.
  In: Passauer Neue Presse vom 02.08.2024. (Weblink)
  
  
• 
  Beutel, Jan: Wunder der Natur: Die Alpen.
  In: Zweites Deutsches Fernsehen (ZDF) Online vom 02.06.2024. (Weblink)
  
  
• 
  Blome, Titus; Lorch, Benedikt: Die Schwächen der KI-Detektoren (Interview).
  In: Süddeutsche Zeitung vom 31.01.2024. (Weblink)
  
  
• 
  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)
  
  
• 
  Häntschel-Erhart, Irene; Kettemann, Matthias C.; Piater, Justus: KI, Ethik und Recht – erneut volles Haus bei DiSCussion.
  In: Newsroom - www.uibk.ac.at vom 29.01.2024. (Weblink)
  
  
• 
  Häntschel-Erhart, Irene; Piater, Justus: Gelun­ge­ner Abschluss der KI-DiSCus­sion-Reihe.
  In: Newsroom - www.uibk.ac.at vom 27.06.2024. (Weblink)
  
  
• 
  Piater, Justus: Künstliche Intelligenz (Interview).
  In: Tirol TV vom 19.10.2024. (Weblink)
  
  
• 
  Piater, Justus: Wie gefährlich ist künstliche Intelligenz? (Interview).
  In: TGR Trento (RAI) vom 22.09.2024. (Weblink)
  
  
• 
  Piater, Justus: KI hat nur so viel Macht, wie wir ihr geben: Sind die Warnungen übertrieben oder realistisch? (Interview).
  In: Tiroler Tageszeitung vom 01.06.2024. (Weblink)
  
  
• 
  Piater, Justus: KI: Viel Leistung, aber kein Verstand (Interview).
  In: Wiener Zeitung vom 28.04.2024. (Weblink)
  
  
• 
  Piater, Justus: Denn sie weiß (noch) nicht, was sie tut.
  In: Tiroler Tageszeitung vom 27.04.2024.
  
  
• 
  Zangerle, Eva: Recommender Systems: Funktionsweise und Forschungstrends (Interview).
  In: Engineering Kiosk Podcast vom 12.11.2024. (Weblink)
  
  
• 
  Zangerle, Eva: Einfacher, aber dafür emotionaler? Wie sich Liedtexte verändert haben (Interview).
  In: Deutschlandfunk Kultur vom 15.05.2024. (Weblink)
  
  
• 
  Zangerle, Eva: Why modern songs lyrics are boring, spies, politics and art, and blues legend Eric Bibb (Interview).
  In: ABC Listen vom 20.04.2024. (Weblink)
  
  
• 
  Zangerle, Eva: En quarante ans, les chansons ont perdu en qualité (Interview).
  In: Radio France Internationale (RFI) vom 10.04.2024. (Weblink)
  
  
• 
  Zangerle, Eva: Pop-Texte werden immer einfacher und Ich-bezogener (Interview).
  In: Saarländischer Rundfunk vom 08.04.2024. (Weblink)
  
  
• 
  Zangerle, Eva: Studie: Songtexte werden immer einfacher - und aggressiver (Interview).
  In: Deutschlandfunk Nova vom 01.04.2024. (Weblink)
  
  
• 
  Zangerle, Eva: Song lyrics have become angrier since the 80s, study shows (Interview).
  In: Ludlow and Tenbury Wells Advertiser vom 28.03.2024. (Weblink)
  
  
• 
  Zangerle, Eva: Song Lyrics Really Are Getting Simpler and More Repetitive, Study Finds (Interview).
  In: Scientific American vom 28.03.2024. (Weblink)
  
  
• 
  Zangerle, Eva: 40-Jahr-Vergleich: Liedtexte immer einfacher & emotionaler (Interview).
  In: ORF Radio - Ö3 vom 28.03.2024. (Weblink)
  
  
• 
  Zech, Philipp: Plastikmüll im Hochgebirge (Interview).
  In: 3Sat vom 18.03.2024. (Weblink)
  
  

Vorträge 2024

Präsentationen auf Kongressen, Tagungen o.Ä.

Konferenzvortrag (Keynote)

• 
  Vortragende/r: Middeldorp, Aart: Confluence of Logically Constrained Rewrite Systems.
  13th International Workshop on Confluence (IWC 2024), Tallin, 09.07.2024. (Weblink)
  
  
• 
  Vortragende/r: Ristov, Sashko: Engineering serverless application life-cycles in federated serverless infrastructures.
  7th Workshop on Hot Topics in Cloud Computing Performance (HotCloudPerf 2024), London, 11.05.2024. (Weblink)
  
  
• 
  Vortragende/r: Scrocca, Mario; Serles, Umutcan: Empowering Industrial Procedures with Knowledge Graphs.
  Knowledge Graphs For Data Integration (KG4DI 2024), De Krook, 10.12.2024. (Weblink)
  
  

Konferenzvortrag (auf persönliche Einladung)

• 
  Vortragende/r: Abramova, Svetlana: Empirical research of complex crypto asset ecosystems.
  ChaiNScience 2024, Zürich, 05.04.2024. (Weblink)
  
  
• 
  Vortragende/r: Abramova, Svetlana: Security and humans: the how & the why of making people matter.
  Security Excellence Hackathon, Sarajevo, 24.02.2024. (Weblink)
  
  
• 
  Vortragende/r: Böhme, Rainer: Quantifying Cyber Risk.
  Workshop on Real-life impacts of security vulnerabilities (2024), Zürich, 18.04.2024. (Weblink)
  
  
• 
  Vortragende/r: Gschwandtner, Philipp: Beyond Benchmarks: Comparing Parallel Programming Models in Real-World Scenarios.
  Austrian-Slovenian HPC Meeting 2024–ASHPC24, Grundlsee, 12.06.2024. (Weblink)
  
  
• 
  Vortragende/r: Jatowt, Adam: Estimating Temporal Validity of Text.
  Workshop Mots/Machines #6 Science, AI, Creativity and Creation 2024, Brest, 08.03.2024. (Weblink)
  
  
• 
  Vortragende/r: Kissmann, R. Co-AutorInnen: Huber, D.; Gschwandtner, Ph.: High-Resolution Simulations of the Gamma-Ray Binary LS5039.
  Astronum 2024, La Rochelle, 04.07.2024. (Weblink)
  
  
• 
  Vortragende/r: Tosatto, Samuele: Beyond Monte Carlo Off-Policy Policy Gradient.
  Mini-Workshop on Reinforcement Learning, Mannheim, 12.01.2024. (Weblink)
  
  

Konferenzvortrag

• 
  Vortragende/r: Aoto, Takahito Co-AutorInnen: Nishida, Naoki; Schöpf, Jonas: Equational Theories and Validity for Logically Constrained Term Rewriting.
  9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024), Tallinn, 11.07.2024. (Weblink)
  
  
• 
  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: Beutel, Jan Co-AutorInnen: Gärtner-Roer, Isabelle: Permafrost Monitoring im Hochgebirge.
  18. Tiroler Geotechniktag Naturgefahren, Innsbruck, 24.05.2024. (Weblink)
  
  
• 
  Vortragende/r: Bhati, Amit Singh Co-AutorInnen: Dufka, Antonı́n; Andreeva, Elena; Roy, Arnab; Preneel, Bart: Skye: An Expanding PRF based Fast KDF and its Applications.
  19th ACM Asia Conference on Computer and Communications Security (AsiaCCS 2024), Singapur, 04.07.2024. (Weblink)
  
  
• 
  Vortragende/r: Chowdhury, Aakash Co-AutorInnen: Roy, Arnab; Brunetta, Carlo; Oswald, Elisabeth: Leakage Certification Made Simple.
  Crypto 2024, Santa Barbara, 20.08.2024. (Weblink)
  
  
• 
  Vortragende/r: Eberl, Manuel Co-AutorInnen: Bordg, Anthony; Paulson, Lawrence C.; Li, Wenda: Formalising Half of a Graduate Textbook on Number Theory.
  15th Conference on Interactive Theorem Proving (ITP 2024), Tiflis, 13.09.2024. (Weblink)
  
  
• 
  Vortragende/r: Fahringer, Thomas: Collaborative State Machines: A Novel Programming Model for the Cloud-Edge-IoT Continuum.
  ScalPerf - Scalable Approaches to High Performance Computing, Bertinoro, 24.09.2024. (Weblink)
  
  
• 
  Vortragende/r: Feuerstein, Simon Co-AutorInnen: Stefani, Ambra; Angerbauer, Raphael; Egger, Kristin; Ibrahim, Abukaber; Holzknecht, Evi; Högl, Birgit; Rodríguez-Sanchez, Antonio; Cesari, Matteo: Sleep Structure Discriminates Patients with Isolated REM Sleep Behavior Disorder: A Deep Learning Approach.
  46th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC 2024), Orlando, 18.07.2024. (Weblink)
  
  
• 
  Vortragende/r: Fischer, Daniel; Sauerwein, Clemens: Nutzung von Threat Intelligence Sharing Platforms – Ergebnisse einer internationalen Studie.
  31. DFN-Konferenz: Sicherheit in vernetzten Systemen, Hamburg, 30.01.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: Geiss, Henri-Jacques Co-AutorInnen: Agostini, Alejandro; Piater, Justus: Building a Curious Agent that Learns to Plan with Image Schemas.
  8th Image Schema Day ISD8@AI*IA, Bozen, 28.11.2024. (Weblink)
  
  
• 
  Vortragende/r: Golendukhin, Valentina Co-AutorInnen: Wiesmayr, Bianca; Felderer, Michael: A Review of Publicly Available Datasets from Manufacturing Systems.
  IEEE International Conference on Emerging Technologies and Factory Automation - IEEE ETFA 2024, Padua / Padova, 11.09.2024. (Weblink)
  
  
• 
  Vortragende/r: Golendukhina, Valentina Co-AutorInnen: Felderer, Michael: Unveiling Data Preprocessing Patterns in Computational Notebooks.
  50th Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA 2024), Paris, 29.08.2024. (Weblink)
  
  
• 
  Vortragende/r: Gritsch, Philipp Co-AutorInnen: Oberroither, Thomas; Ristov, Sashko; Felderer, Michael: PlugFlow: Create and execute dynamic serverless workflows.
  10th Workshop on Serverless Computing, Hongkong, 02.12.2024 (Online). (Weblink)
  
  
• 
  Vortragende/r: Gschwandtner, Philipp Co-AutorInnen: Thoman, Peter: Celerity: Distributed-memory Accelerator Programming Made Easy/ier.
  30. Workshop der GI/ITG-Fachgruppe: Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware (PARS 2024), Ingolstadt, 25.09.2024. (Weblink)
  
  
• 
  Vortragende/r: Haller-Seeber, Simon: Innovative Approaches in AI and Robotics Education.
  Educational Robotics Workshop und Symposium, Wien, 27.11.2024. (Weblink)
  
  
• 
  Vortragende/r: Hammes, Sascha Co-AutorInnen: Weninger, Johannes; Gschwandtner, Philipp; Zech, Philipp: Achieving a Deeper Understanding of User-Related Influences on Artificial Lighting Energy Demand Using High-Performance Computing.
  6th IBPSA-Italy Conference: Building Simulation Applications (BSA 2024), Bozen / Bolzano, 27.06.2024. (Weblink)
  
  
• 
  Vortragende/r: Hammes, Sascha Co-AutorInnen: Zech, Philipp; Geisler-Moroder, David; Goldin, Emanuele; Pfluger, Rainer: BIM und Beleuchtungssteuerungen – Entwicklung von Werkzeugen basierend auf Literatur- und Marktanalysen.
  Lichttechnischer Kongress 2024 & 100 Jahre LTG, Andau, 04.06.2024.
  
  
• 
  Vortragende/r: Jäger, Alexandra Co-AutorInnen: Zech, Philipp; Breu, Ruth: Optimizing Energy Communities: a Model-Based Approach.
  1st International Workshop on Models for Simulation (M4S), Stockholm, 03.12.2024. (Weblink)
  
  
• 
  Vortragende/r: Jäger, Alexandra Co-AutorInnen: Zech, Philipp; Miller, Josef; Fröch, Georg; Breu, Ruth: Towards enabling continous integrated BIM2SIM workflows with model augmentation strategies.
  1st International Workshop on Models for Simulation (M4S), Stockholm, 03.12.2024. (Weblink)
  
  
• 
  Vortragende/r: Jatowt, Adam Co-AutorInnen: Ermakova, Liana; Bosser, Anne-Gwenn; Miller, Tristan; Thomas-Young, Treamine; Palma Preciado, Victor Emanuel; Sidorov, Grigori: CLEF 2024 JOKER Lab: Automatic Humour Analysis.
  46th European Conference on Information Retrieval (ECIR 2024), Glasgow, 26.03.2024. (Weblink)
  
  
• 
  Vortragende/r: Kim, Dohan: An Isabelle/HOL formalization of narrowing and multiset narrowing for E-unifiability, reachability and infeasibility.
  15th Conference on Interactive Theorem Proving (ITP 2024), Tiflis, 13.09.2024. (Weblink)
  
  
• 
  Vortragende/r: Knierim, Pascal Co-AutorInnen: Prange, Sarah; Knoll, Gabriel; Dietz, Felix; De Luca, Alexander; Alt, Florian: “I do (not) need that Feature!” – Understanding Users’ Awareness and Control of Privacy Permissions on Android Smartphones.
  20th Symposium on Usable Privacy and Security (SOUPS 2024), Philadelphia, 13.08.2024. (Weblink)
  
  
• 
  Vortragende/r: Middeldorp, Aart: CoCo 2024.
  13th International Workshop on Confluence (IWC 2024), Tallin, 09.07.2024. (Weblink)
  
  
• 
  Vortragende/r: Müller, Michael Co-AutorInnen: Specht, Günther; Kleinheinz, Lukas; Walde, Janette: Bias Correction and Machine Learning in AR(1) Estimation: Bridging Traditional and Modern Techniques.
  35th GI-Workshop Grundlagen von Datenbanken (GvDB 2024), Herdecke, 23.05.2024. (Weblink)
  
  
• 
  Vortragende/r: Mussmann, Andrea: Bridging the Gap: Introducing a Custom Transkribus Import/Export Tool.
  Digital Approaches to Cultural Heritage, Innsbruck, 20.09.2024.
  
  
• 
  Vortragende/r: Najafabadi Samani, Zahra Co-AutorInnen: Gaßner, Matthias; Fahringer, Thomas; Aznar Poveda, Juan; Pedratscher, Stefan: Dynamic Resource Manager for Automating Deployments in the Computing Continuum.
  30th International European Conference on Parallel and Distributed Computing (EURO-PAR 2024), Madrid, 26.08.2024. (Weblink)
  
  
• 
  Vortragende/r: Niederhauser, Johannes Co-AutorInnen: Brown, Chad; Kaliszyk, Cezary: Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic.
  International Joint Conference on Automated Reasoning (IJCAR 2024), Nancy, 04.07.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: Parsert, Julian: Guiding Synthesis with AI.
  16th Alpine Verification Meeting (AVM’24), Breisgau, 05.09.2024. (Weblink)
  
  
• 
  Vortragende/r: Pedratscher, Stefan Co-AutorInnen: Fahringer, Thomas; Aznar-Poveda, Juan: Dynamic Workflow Scheduling in the Edge-Cloud Continuum: Optimizing Runtimes under Budget Constraints.
  17th International Conference on Cloud Computing (CLOUD 2024), Shenzen, 08.07.2024 (Online). (Weblink)
  
  
• 
  Vortragende/r: Piater, Justus: The IMAGINE Project: Robot Intuition and Understanding for Disassembly.
  ERF 2024 - European Robotics Forum, Rimini, 14.03.2024. (Weblink)
  
  
• 
  Vortragende/r: Ristov, Sashko: Code Portable Serverless Workflows with Interoperable Cloud Services in Sky Computing.
  Intelligent Serverless and Cloud Applications Symposium, Zürich, 18.06.2024. (Weblink)
  
  
• 
  Vortragende/r: Ristov, Sashko Co-AutorInnen: Brandacher, Simon; Felderer, Michael; Breu, Ruth: GoDeploy: Portable Deployment of Serverless Functions in Federated FaaS.
  Software Engineering 2024 Konferenz, Linz, 28.02.2024. (Weblink)
  
  
• 
  Vortragende/r: Ristov, Sashko Co-AutorInnen: Gritsch, Philipp; Meyer, David; Felderer, Michael: GoSpeechLess: Interoperable Serverless ML-based Cloud Services.
  46th International Conference on Software Engineering (ICSE 2024), Lissabon, 19.04.2024. (Weblink)
  
  
• 
  Vortragende/r: Ristov, Sashko Co-AutorInnen: Hautz, Mika; Gritsch, Philipp; Nastic, Stefan; Prodan, Radu; Felderer, Michael: StoreLess: Serverless Workflow Scheduling with Federated Storage in Sky Computing.
  ICSOC 2024: International Conference on Service-Oriented Computing, Tunis, 06.12.2024. (Weblink)
  
  
• 
  Vortragende/r: Ristov, Sashko Co-AutorInnen: Pedratscher, Stefan; Fahrninger, Thomas: M2FaaS: Transparent and fault tolerant FaaSification of Node.js monolith code blocks.
  Software Engineering 2024 Konferenz, Linz, 29.02.2024. (Weblink)
  
  
• 
  Vortragende/r: Roy, Arnab: New Design Approaches in Symmetric Cryptography.
  11th Asian-workshop on Symmetric Key Cryptography (ASK 2024), Kolkata, 14.12.2024. (Weblink)
  
  
• 
  Vortragende/r: Sauerwein, Clemens Co-AutorInnen: Antensteiner, Tobias; Salhofer, Peter; Breu, Ruth: Success Factors of Automated Programming Assessment Systems in Different Learning Environments.
  57th Hawaii International Conference on System Sciences (HICSS 2024), Honolulu, Hawaii, 05.01.2024. (Weblink)
  
  
• 
  Vortragende/r: Sauerwein, Clemens Co-AutorInnen: Fischer, Daniel: Insights into the Distribution and Use of Threat Intelligence Sharing Platforms.
  Security Interest Group Switzerland – 23rd SOC Forum, Zürich, 06.03.2024. (Weblink)
  
  
• 
  Vortragende/r: Sauerwein, Clemens Co-AutorInnen: Wenzl, Christina; Breu, Ruth: Uncovering Critical Resources and Factors Influencing the Use of Threat Intelligence Sharing Platforms.
  57th Hawaii International Conference on System Sciences (HICSS 2024), Honolulu, Hawaii, 06.01.2024. (Weblink)
  
  
• 
  Vortragende/r: Sauerwein, Clemens; Brunner, Michael: Preparing for the European Cyber Resilience Act – Get your House in Order Before the New Legislation Hits.
  Software Engineering Live 2024, Kitzbühel, 25.04.2024. (Weblink)
  
  
• 
  Vortragende/r: Schöpf, Jonas Co-AutorInnen: Mitterwallner, Fabian; Middeldorp, Aart: Confluence of Logically Constrained Rewrite Systems Revisited.
  International Joint Conference on Automated Reasoning (IJCAR 2024), Nancy, 03.07.2024. (Weblink)
  
  
• 
  Vortragende/r: Steidl, Monika Co-AutorInnen: Dornauer, Benedikt; Felderer, Michael; Ramler, Rudolf; Racasan, Mircea-Cristian; Gattringer, Marko: How Industry Tackles Anomalies during Runtime: Approaches and Key Monitoring Parameters.
  50th Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA 2024), Paris, 30.08.2024. (Weblink)
  
  
• 
  Vortragende/r: Steidl, Monika Co-AutorInnen: Leitner, Michael; Urbanke, Pirmin; Gattringer, Marko; Felderer, Michael; Ristov, Sashko: Understanding Microservice Runtime Monitoring Data for Anomaly Detection with Structural Equation Modeling.
  25th International Conference on on Product-Focused Software Process Improvement (PROFES 2024), Tartu, 03.12.2024. (Weblink)
  
  
• 
  Vortragende/r: Steidl, Monika Co-AutorInnen: Ramler, Rudolf; Felderer, Michael: The Past, Present, and Future of Research on the Continuous Development of AI.
  50th Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA 2024), Paris, 30.08.2024. (Weblink)
  
  
• 
  Vortragende/r: Strauß, Hannah Co-AutorInnen: Jacobsen, P.-O.; Moscati, M.; Scheld, M.; Zangerle, E.; Zentner, Marcel: EMMA Vol.2: Expanding the Emotion-to-Music Mapping Atlas Using a Multi-Faceted Content-Centric Music Recommendation Dataset.
  12th Triennial Conference of the European Society for the Cognitive Science of Music (ESCOM12), York, 03.07.2024. (Weblink)
  
  
• 
  Vortragende/r: Thiemann, René: Verified Preprocessing of Linear Integer Arithmetic Constraints.
  15th Conference on Interactive Theorem Proving (ITP 2024), Tiflis, 14.09.2024 (Online). (Weblink)
  
  
• 
  Vortragende/r: Thiemann, Renè Co-AutorInnen: Kim, Dohan; Hirokawa, Noa; Shintani, Kiraku: Certification of Confluence- and Commutation-Proofs via Parallel Critical Pairs.
  Certified Programs and Proofs (CPP 2024), London, 15.01.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)
  
  
• 
  Vortragende/r: Thiemann, René Co-AutorInnen: Yamada, Akihisa: A Verified Algorithm for Deciding Pattern Completeness.
  9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024), Tallinn, 11.07.2024. (Weblink)
  
  
• 
  Vortragende/r: Thoman, Peter: Transparently Scaling Applications to Multiple GPUs with Celerity.
  Austrian-Slovenian HPC Meeting 2024–ASHPC24, Grundlsee, 12.06.2024. (Weblink)
  
  
• 
  Vortragende/r: Thoman, Peter Co-AutorInnen: Gschwandtner, Philipp; Heredina, Facundo Molina; Fahringer, Thomas: Celerity-Rsim: Porting Light Propagation Simulation to Accelerator Clusters using a High-Level API.
  17th International Symposium on High-Level Parallel Programming and Applications (HLPP2024), Pisa, 04.07.2024. (Weblink)
  
  
• 
  Vortragende/r: Tran, Quynh Nhu Jennifer Co-AutorInnen: Santner, Tina; Rodriguez-Sanchez, Antonio: Automatic Computation of the Posterior Nipple Line from Mammographies.
  19th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISIGRAPP 2024), Rom, 28.02.2024 (Online). (Weblink)
  
  
• 
  Vortragende/r: Trevisano, Stefano Co-AutorInnen: Andreeva, Elena; Bhattacharyya, Rishiraj; Roy, Arnab: On Efficient and Secure Compression Functions for Arithmetization-Oriented Hashing.
  37th IEEE Computer Security Foundations Symposium (CSF 2024), Enschede, 11.07.2024. (Weblink)
  
  
• 
  Vortragende/r: Triendl, Simon; Ristov, Sashko: Peeking Behind the Serverless Implementations and Deployments of the Montage Workflow.
  7th Workshop on Hot Topics in Cloud Computing Performance (HotCloudPerf 2024), London, 11.05.2024. (Weblink)
  
  
• 
  Vortragende/r: Vierhauser, Michael: Sicherheitsanalyse für Cyber-physische Systeme: Leichtgewichtige Ansätze und Strategien.
  Software Engineering Live 2024, Kitzbühel, 26.04.2024. (Weblink)
  
  
• 
  Vortragende/r: Vierhauser, Michael Co-AutorInnen: Agrawal, Ankit; Zhang, Bohan; Shivalingaiah, Yashaswini; Cleland-Huang, Jane: A Requirements-Driven Platform for Validating Field Operations of Small Uncrewed Aerial Vehicles.
  Software Engineering 2024 Konferenz, Linz, 28.02.2024. (Weblink)
  
  
• 
  Vortragende/r: Vierhauser, Michael Co-AutorInnen: Chambers, Theodore; Cleland-Huang, Jane: Self-Adaptation of Loosely Coupled Systems across a System of Small Uncrewed Aerial Systems.
  46th International Conference on Software Engineering (ICSE 2024), Lissabon, 14.04.2024. (Weblink)
  
  
• 
  Vortragende/r: Vierhauser, Michael Co-AutorInnen: Zech, Phillipp; Agrawal, Ankit: Coupled Requirements-driven Testing of CPS: From Simulation To Reality.
  IEEE 32nd International Requirements Engineering Conference (RE@Next), Reykjavik, 27.06.2024. (Weblink)
  
  
• 
  Vortragende/r: Zahmatkesh, Samira Co-AutorInnen: Zech, Philipp: Comparing the Performance of Recurrent Neural Network and Some Well-Known Statistical Methods in the Case of Missing Multivariate Time Series Data.
  European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD 2024), Vilnius, 13.09.2024. (Weblink)
  
  
• 
  Vortragende/r: Zech, Philipp: A Theoretical Framework for Model-Based Life Cycle Engineering of Simulation.
  Annual Modeling and Simulation Conference (ANNSIM 2024), Washington D.C., 23.05.2024. (Weblink)
  
  
• 
  Vortragende/r: Zech, Philipp Co-AutorInnen: Burger, Peter; Hammes, Sascha; Geisler-Moroder, David; Breu, Ruth: BIMReason - Validating BIM Model Correctness.
  Bausim 2024, Wien, 24.09.2024. (Weblink)
  
  
• 
  Vortragende/r: Zech, Philipp Co-AutorInnen: Goldin, Emanuele; Hammes, Sascha; Geisler-Moroder, David; Pfluger, Rainer; Breu, Ruth: Model-Based Auto-Commissioning of Building Control Systems.
  26th International Conference on Enterprise Information Systems (ICEIS 2024), Angers, 28.04.2024. (Weblink)
  
  
• 
  Vortragende/r: Zech, Philipp Co-AutorInnen: Nardin, Claudio; Ristov, Sashko; Flora, Matthias; Breu, Ruth: Digital-Twins-As-A-Service in Construction Engineering.
  20th International Conference on Automation Science and Engineering (CASE) 2024, Bari, 31.08.2024. (Weblink)
  
  
• 
  Vortragende/r: Zech, Philipp Co-AutorInnen: Plörer, Daniel; Pfluger, Rainer; Breu, Ruth: Scalable Building Energy Efficiency Balancing.
  2024 Annual Modeling and Simulation Conference, Washington, 22.05.2024. (Weblink)
  
  
• 
  Vortragende/r: Zech, Philipp Co-AutorInnen: Pobitzer, Philipp; Fröch, Georg; Breu, Ruth: A Proposal for a Models-meet-Data Repository For Digital Twins in Construction Engineering.
  21st International Conference on Software Architecture (ICSA 2024), Hyderabad, 06.06.2024. (Weblink)
  
  

Chair / Diskussionsteilnehmer:in bei Konferenz

• 
  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)
  
  
• 
  Zech, Philipp: Session Chair.
  Annual Modeling and Simulation Conference (ANNSIM 2024), Washington D.C., 23.05.2024. (Weblink)
  
  

Vortrag bei Expert:innentagung

• 
  Vortragende/r: Beutel, Jan: Fluchthorn Ein Jahr Spaeter – Die Wissenschaftliche Erkenntnis bisher.
  26. Geoforum Umhausen, Umhausen, 17.10.2024. (Weblink)
  
  
• 
  Vortragende/r: Beutel, Jan: 32 Milliseconds to the Matterhorn - On in-situ sensing and process understanding of natural hazards and climate change in mountain areas.
  Austrian Computer Science Day 2024, Wien, 14.06.2024. (Weblink)
  
  
• 
  Vortragende/r: Böhme, Rainer: Preserving Privacy in Transaction Graphs.
  Workshop on Engineering for Privacy in Central Bank Digital Currencies, Cambridge, 28.03.2024.
  
  
• 
  Vortragende/r: Breu, Ruth: Paneldiskutantin bei Breakout-Seession: Muss Grundlagenforschung „angewandter“ werden?
  FWF - think.beyond Summit, Wien, 14.03.2024. (Weblink)
  
  
• 
  Vortragende/r: Lill, Bjarne: Cyber Security und Resilienz in Supply Chains mit Fokus auf KMU (CySeReS-KMU).
  8. Summit Industrie 4.0, Hall in Tirol, 26.11.2024. (Weblink)
  
  
• 
  Vortragende/r: Ristov, Sashko: Coding Serverless Workflow Applications in the Edge Cloud Continuum Beyond Von Neumann.
  OVE IT-Kolloquium: Edge Computing – In Echtzeit am Netzwerkrand, Wien, 14.05.2024. (Weblink)
  
  

Vortrag bei Summer-/Winterschool

• 
  Vortragende/r: Einkemmer, Lukas; Gschwandtner, Philipp: How to write correct OpenMP programs - Heat equation.
  Summer School 2024: OpenMP course and future development of the DK, Obergurgl, 17.09.2024. (Weblink)
  
  
• 
  Vortragende/r: Einkemmer, Lukas; Gschwandtner, Philipp: How to write correct OpenMP programs - Intel Inspector XE (demo+practical).
  Summer School 2024: OpenMP course and future development of the DK, Obergurgl, 17.09.2024. (Weblink)
  
  
• 
  Vortragende/r: Einkemmer, Lukas; Gschwandtner, Philipp: More Open MP - Summary.
  Summer School 2024: OpenMP course and future development of the DK, Obergurgl, 17.09.2024. (Weblink)
  
  
• 
  Vortragende/r: Einkemmer, Lukas; Gschwandtner, Philipp: OpenMP worksharing directives.
  Summer School 2024: OpenMP course and future development of the DK, Obergurgl, 17.09.2024. (Weblink)
  
  
• 
  Vortragende/r: Einkemmer, Lukas; Gschwandtner, Philipp: Introduction to modern hardware.
  Summer School 2024: OpenMP course and future development of the DK, Obergurgl, 16.09.2024. (Weblink)
  
  
• 
  Vortragende/r: Einkemmer, Lukas; Gschwandtner, Philipp: OpenMP programming and execution model.
  Summer School 2024: OpenMP course and future development of the DK, Obergurgl, 16.09.2024. (Weblink)
  
  
• 
  Vortragende/r: Gschwandtner, Philipp: The taskloop directive.
  Shared-Memory Parallelization with OpenMP, Obergurgl, 18.09.2024. (Weblink)
  
  
• 
  Vortragende/r: Gschwandtner, Philipp: Thread affinity in OpenMP.
  Shared-Memory Parallelization with OpenMP, Obergurgl, 18.09.2024. (Weblink)
  
  
• 
  Vortragende/r: Gschwandtner, Philipp: How to write correct OpenMP programs.
  Shared-Memory Parallelization with OpenMP, Obergurgl, 17.09.2024. (Weblink)
  
  
• 
  Vortragende/r: Gschwandtner, Philipp: More OpenMP.
  Shared-Memory Parallelization with OpenMP, Obergurgl, 17.09.2024. (Weblink)
  
  
• 
  Vortragende/r: Gschwandtner, Philipp: Vectorization with OpenMP.
  Shared-Memory Parallelization with OpenMP, Obergurgl, 17.09.2024. (Weblink)
  
  
• 
  Vortragende/r: Gschwandtner, Philipp: An overview of OpenMP.
  Shared-Memory Parallelization with OpenMP, Obergurgl, 16.09.2024. (Weblink)
  
  
• 
  Vortragende/r: Gschwandtner, Philipp: OpenMP programming and execution model.
  Shared-Memory Parallelization with OpenMP, Obergurgl, 16.09.2024. (Weblink)
  
  
• 
  Vortragende/r: Piater, Justus: Introduction to Neural Networks; Attention-based and Multi-Modal Neural Networks.
  FFG-Innovationscamp BioGenDesKI – Bioinspiriertes & generatives Design 2024, , 21.11.2024 (Online).
  
  

Vortrag bei Projektmeeting / Forschungskooperationstreffen

• 
  Vortragende/r: Fahringer, Thomas: Wp2 Programming models and autotuning for exascale heterogeneous architectures.
  Ligate Project Meeting, Prag, 03.04.2024. (Weblink)
  
  
• 
  Vortragende/r: Fahringer, Thomas: On using modern C++ and nested recursive task parallelism for HPC applications with AllScale.
  25th Apart Anniversary Meeting, Obergurgl, 13.02.2024. (Weblink)
  
  
• 
  Vortragende/r: Gschwandtner, Philipp: Celerity - Distributed-memory Accelerator Programming Made Easier.
  25th Apart Anniversary Meeting, Obergurgl, 15.02.2024. (Weblink)
  
  
• 
  Vortragende/r: Kim, Dohan: Isabelle/HOL Formalization of Narrowing and Applications to E-Unifiability, Reachability and Infeasibility.
  ARI Final Meeting 2024, Nomi, 22.02.2024. (Weblink)
  
  
• 
  Vortragende/r: Middeldorp, Aart: Term Rewriting.
  14th International School on Rewriting (ISR 2024), Obergurgl, 25.08.2024. (Weblink)
  
  
• 
  Vortragende/r: Middeldorp, Aart: ARI: Past, Present, Future.
  ARI Final Meeting 2024, Nomi, 20.02.2024. (Weblink)
  
  
• 
  Vortragende/r: Middeldorp, Aart Co-AutorInnen: Mitterwallner, Fabian; Thiemann, René: Linear Termination is Undecidable.
  60th TRS Meeting 2024, Tokio, 08.10.2024 (Online). (Weblink)
  
  
• 
  Vortragende/r: Mitterwallner, Fabian: LiveView – Work in Progress.
  ARI Final Meeting 2024, Nomi, 22.02.2024. (Weblink)
  
  
• 
  Vortragende/r: Schöpf, Jonas: Logically Constrained Analysis in CREST.
  ARI Final Meeting 2024, Nomi, 21.02.2024. (Weblink)
  
  
• 
  Vortragende/r: Steidl, Monika: Projektabschlussergebnisse ConTest.
  Projektmeeting ConTest, , 02.10.2024 (Online).
  
  
• 
  Vortragende/r: Steidl, Monika: Detecting the Unexpected: Anomalies during Runtime.
  2. Research Days 2024, Hagenberg, 03.06.2024 (Online).
  
  
• 
  Vortragende/r: Thiemann, René: CeTA 3.0 – Improved Support for ARI, CoCo and Infeasibility.
  ARI Final Meeting 2024, Nomi, 22.02.2024. (Weblink)
  
  

Posterpräsentation

• 
  Vortragende/r: Fogarollo, Stefano Co-AutorInnen: Scharll, Yannick; Bale, Reto; Harders, Matthias: Learning Deformable Intra-Patient Liver Registration with Graph Cross-Attention.
  International Workshop on Biomedical Image Registration (WBIR 2024), Marrakesh, 06.10.2024. (Weblink)
  
  
• 
  Vortragende/r: Fogarollo, Stefano Co-AutorInnen: Scharll, Yannik; Bale, Reto; Harders, Matthias: Towards Fast and Accurate Non-rigid Liver Fusion.
  European School of Interventional Radiology (ESIR 2024), Innsbruck, 12.12.2024.
  
  
• 
  Vortragende/r: Fogarollo, Stefano Co-AutorInnen: Scharll, Yannik; Bale, Reto; Harders, Matthias: Towards Fast and Accurate Non-rigid Liver Fusion.
  International Workshop on Biomedical Image Registration (WBIR 2024), Marrakesh, 06.10.2024. (Weblink)
  
  
• 
  Vortragende/r: Frosch, J. Co-AutorInnen: Strauß, Hannah; Zentner, Marcel; Vigl, Julia; Jacobsen, P. O.; Hemetsberger, F.: Exploring the role of language comprehension in shaping the emotional experience in hip-hop music in a cross-cultural online study.
  12th Triennial Conference of the European Society for the Cognitive Science of Music (ESCOM12), York, 06.07.2024. (Weblink)
  
  
• 
  Vortragende/r: Geiss, Henri-Jacques Co-AutorInnen: Al-Hafez, Firas; Seyfarth, Andre; Peters, Jan; Tateo, Davide: Exciting Action: Investigating Efficient Exploration for Learning Musculoskeletal Humanoid Locomotion.
  IEEE-RAS 23rd International Conference on Humanoid Robots (HUMANOIDS 2024), Nancy, 23.11.2024. (Weblink)
  
  
• 
  Vortragende/r: Hemetsberger, F. Co-AutorInnen: Strauß, Hannah; Vigl, Julia; Zentner, Marcel; Jacobsen, P. O.; Frosch, J.: Beyond Words: Exploring How Lyrics Shape Emotions In Hip-Hop Music.
  12th Triennial Conference of the European Society for the Cognitive Science of Music (ESCOM12), York, 06.07.2024. (Weblink)
  
  
• 
  Vortragende/r: Hollenstein, Jakob Co-AutorInnen: Auddy, Sayantan; Piater, Justus: Chance & Curiosity: How Does Action Noise Exploration Compare to Curiosity-Based Intrinsic Rewards?
  1st Austrian Symposium on AI, Robotics, and Vision (AIRoV 2024), Innsbruck, 26.03.2024. (Weblink)
  
  
• 
  Vortragende/r: Jacobsen, P. O. Co-AutorInnen: Strauß, Hannah; Vigl, Julia; Zangerle, E.; Zentner, Marcel: Assessing aesthetic music-evoked emotions in a minute or less: A comparison of the GEMS-45 and the GEMS-9.
  12th Triennial Conference of the European Society for the Cognitive Science of Music (ESCOM12), York, 04.07.2024. (Weblink)
  
  
• 
  Vortragende/r: Knierim, Pascal Co-AutorInnen: Todhri, Angela: From Immersion to Manipulation: Exploring the Prevalence of Dark Patterns in Mixed Reality.
  20th Symposium on Usable Privacy and Security (SOUPS 2024), Philadelphia, 12.08.2024. (Weblink)
  
  
• 
  Vortragende/r: Parsert, Julian Co-AutorInnen: Polgreen, Elizabeth: Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis.
  38th Annual AAAI Conference on Artificial Intelligence (AAAI 2024), Vancouver, 24.02.2024. (Weblink)
  
  
• 
  Vortragende/r: Peintner, Andreas: Sequential Recommendation: A Graph-based Perspective.
  Austrian Computer Science Day 2024, Wien, 14.06.2024. (Weblink)
  
  
• 
  Vortragende/r: Piater, Justus Co-AutorInnen: Hollenstein, Jakob; Auddy, Sayantan; Saveriano, Matteo; Renaudo, Erwan: Action Noise in Off-Policy Deep Reinforcement Learning: Impact on Exploration and Performance.
  Reinforcement Learning Conference, Amherst, 12.08.2024. (Weblink)
  
  
• 
  Vortragende/r: Samira, Zahmatkesh Co-AutorInnen: Zech, Philipp: Analysing Missing Spatio-Temporal Data with a Combination of Neural Networks and Statistical Model: A Hybrid Approach.
  European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML-PPkDD), Vilnius, 10.09.2024.
  
  
• 
  Vortragende/r: Serles, Umutcan Co-AutorInnen: Kärle, Elias; Hunkel, Richard; Fensel, Dieter: German Tourism Knowledge Graph.
  The Extended Semantic Web Conference 2024, Hersonissos, 28.05.2024. (Weblink)
  
  
• 
  Vortragende/r: Tosatto, Samuele Co-AutorInnen: Hollenstein, Jakob; Zaric, Marko; Piater, Justus: Pink Noise LQR: How does Colored Noise affect the Optimal Policy in RL?
  Workshop Foundations of Reinforcement Learning and Control: Connections and Perspectives (ICML 2024), Wien, 27.07.2024. (Weblink)
  
  
• 
  Vortragende/r: Urena-Santiago, Javier Co-AutorInnen: Ströhle, Thomas; Rodriguez-Sanchez, Antonio; Breu, Ruth: Vision Transformers for Weakly-Supervised Microorganism Enumeration.
  25th International Conference on Digital Image Computing: Techniques and Applications (DICTA 2024), Perth, 28.11.2024. (Weblink)
  
  
• 
  Vortragende/r: Zangerle, Eva Co-AutorInnen: Bauer, Christine; Said, Alan: Exploring the Landscape of Recommender Systems Evaluation: Practices and Perspectives.
  18th ACM Conference on Recommender Systems (RecSys 2024), Bari, 17.10.2024. (Weblink)
  
  
• 
  Vortragende/r: Zaric, Marko Co-AutorInnen: Hollenstein, Jakob; Piater, Justus; Renaudo, Erwan: Unsupervised Learning of Effective Actions in Robotics.
  1st Austrian Symposium on AI, Robotics, and Vision (AIRoV 2024), Innsbruck, 26.03.2024. (Weblink)
  
  

Gastvorträge

Gastvortrag

• 
  Vortragende/r: Amschwand, Dominik: Seasonal ice storage changes and meltwater generation at Murtèl rock glacier (Engadine, eastern Swiss Alps): Estimates from measurements and energy budgets in the coarse blocky active layer.
  Université de Fribourg / Universität Freiburg / University of Fribourg, Fribourg, 27.11.2024 (Online). (Weblink)
  
  
• 
  Vortragende/r: Amschwand, Dominik: Tracking ice/water fluxes across the coarse-blocky active layer Murtèl rock glacier (Engadine).
  Universität Bern, Bern, 13.11.2024 (Online).
  
  
• 
  Vortragende/r: Beutel, Jan: Observing Slope Movements Using Continuous GNSS – History, Methods, Data Interpretation.
  Université de Fribourg / Universität Freiburg / University of Fribourg, Fribourg, 21.08.2024 (Online). (Weblink)
  
  
• 
  Vortragende/r: Eberl, Manuel: Infinite sums and series expansions in Isabelle/HOL.
  Technische Universität München (TU München), München, 11.12.2024.
  
  
• 
  Vortragende/r: Eberl, Manuel: System Introductions II – Isabelle.
  Universität Bonn, Bonn, 13.05.2024. (Weblink)
  
  
• 
  Vortragende/r: Fahringer, Thomas: Collaborative State Machines: A better programming model for the cloud-edge-iot continuuum.
  Universida de Chile / Universität Chile, Santiago de Chile, 22.07.2024.
  
  
• 
  Vortragende/r: Jatowt, Adam: Analyzing and Improving Temporal Reasoning Capabilities of LLMs.
  Ludwig-Maximilians-Universität München (LMU), München, 11.06.2024.
  
  
• 
  Vortragende/r: Jatowt, Adam: Analyzing and Improving Temporal Reasoning Capabilities of Large Language Models.
  Technische Universität Dresden, Dresden, 06.02.2024 (Online).
  
  
• 
  Vortragende/r: Middeldorp, Aart Co-AutorInnen: Mitterwallner, Fabian; Thiemann, René: Linear Termination is Undecidable.
  Radboud Universiteit (RU) Nijmegen / Radboud University Nijmegen / Radboud Universität Nijmegen, Nijmegen, 24.09.2024. (Weblink)
  
  
• 
  Vortragende/r: Piater, Justus: Making robots learn to perceive and act with understanding.
  Eberhard-Karls-Universität Tübingen, Tübingen, 28.05.2024. (Weblink)
  
  
• 
  Vortragende/r: Rodriguez-Sanchez, Antonio: Deep Learning: Fundamental research and some applications.
  Universitat de les Illes Balears / University of the Balearic Islands / Universität der Balearen, Palma, 27.11.2024.
  
  
• 
  Vortragende/r: Rodriguez-Sanchez, Antonio: Learning: from fundamental research to different applications.
  Università degli Studi di Trento / University of Trento / Universität Trient, Trento / Trient, 06.05.2024.
  
  
• 
  Vortragende/r: Steidl, Monika: Easy Peasy Lemon Squeezy - Unravelling the Secrets of Effortless Software and AI Integration and Deployment in Production.
  Jyväskylän yliopisto / Universität Jyväskylä / University of Jyväskylä, Jyväskylä, 22.02.2024 (Online).
  
  
• 
  Vortragende/r: Tosatto, Samuele: Efficient Action Representation for Robot Learning.
  Montréal Robotics and Embodied AI Lab, Montreal, 18.04.2024 (Online). (Weblink)
  
  

Einzelvorträge (berufliche Weiterbildung / Wissenstransfer)

Lehrer:innenfortbildung

• 
  Piater, Justus: Generative KI: Möglichkeiten und Grenzen.
  Pädagogische Hochschule Tirol (PHT), Innsbruck, 24.04.2024 - 25.04.2024. (Weblink)
  
  

Vortrag (Wissenstransfer / Weiterbildung)

• 
  Vortragende/r: Abramova, Svetlana: What can central bank digital currency designers learn from asking potential users?
  State Bank of Pakistan, 14.05.2024 (Online). (Weblink)
  
  
• 
  Vortragende/r: Aznar-Poveda, Juan: Distributed Stream and Batch Systems.
  Bootcamp Performanceorientiertes Softwareengineering – POS Tirol, Innsbruck, 08.05.2024. (Weblink)
  
  
• 
  Vortragende/r: Etheredge, Marlon; Aznar-Poveda, Juan; Najafabadi Samani, Zahra: Distributed Event-Driven Systems.
  Bootcamp Performanceorientiertes Softwareengineering – POS Tirol, Innsbruck, 07.06.2024. (Weblink)
  
  
• 
  Vortragende/r: Etheredge, Marlon; Aznar-Poveda, Juan; Najafabadi Samani, Zahra: Deploying Applications in Kubernetes and Autoscaling.
  Bootcamp Performanceorientiertes Softwareengineering – POS Tirol, Innsbruck, 08.05.2024. (Weblink)
  
  
• 
  Vortragende/r: Etheredge, Marlon; Aznar-Poveda, Juan; Najafabadi Samani, Zahra: Developing Cloud Applications.
  Bootcamp Performanceorientiertes Softwareengineering – POS Tirol, Innsbruck, 26.04.2024.
  
  
• 
  Vortragende/r: Etheredge, Marlon; Aznar-Poveda, Juan; Najafabadi Samani, Zahra: Distributed Systems across the continuum" and "Resource management.
  Bootcamp Performanceorientiertes Softwareengineering – POS Tirol, Innsbruck, 05.04.2024.
  
  
• 
  Vortragende/r: Gschwandtner, Philipp: The taskloop directive.
  VSC Training Course: Shared memory parallelization with OpenMP, Wien, 30.04.2024 (Online). (Weblink)
  
  
• 
  Vortragende/r: Gschwandtner, Philipp: Thread affinity in OpenMP.
  VSC Training Course: Shared memory parallelization with OpenMP, Wien, 30.04.2024 (Online). (Weblink)
  
  
• 
  Vortragende/r: Gschwandtner, Philipp: Vectorization with OpenMP.
  VSC Training Course: Shared memory parallelization with OpenMP, Wien, 30.04.2024 (Online). (Weblink)
  
  
• 
  Vortragende/r: Gschwandtner, Philipp: An overview of OpenMP.
  VSC Training Course: Shared memory parallelization with OpenMP, Wien, 29.04.2024 (Online). (Weblink)
  
  
• 
  Vortragende/r: Gschwandtner, Philipp: Introduction to modern hardware.
  VSC Training Course: Shared memory parallelization with OpenMP, Wien, 29.04.2024 (Online). (Weblink)
  
  
• 
  Vortragende/r: Gschwandtner, Philipp: More OpenMP.
  VSC Training Course: Shared memory parallelization with OpenMP, Wien, 29.04.2024 (Online). (Weblink)
  
  
• 
  Vortragende/r: Gschwandtner, Philipp: OpenMP programming and execution model.
  VSC Training Course: Shared memory parallelization with OpenMP, Wien, 29.04.2024 (Online). (Weblink)
  
  
• 
  Vortragende/r: Gschwandtner, Philipp: OpenMP worksharing directives.
  VSC Training Course: Shared memory parallelization with OpenMP, Wien, 29.04.2024 (Online). (Weblink)
  
  
• 
  Vortragende/r: Gschwandtner, Philipp: Introduction to Parallel Computing.
  Bootcamp Performanceorientiertes Softwareengineering – POS Tirol, Innsbruck, 03.04.2024. (Weblink)
  
  
• 
  Vortragende/r: Lorch, Benedikt: Is landscape more secure than portrait? Causes and implications of directionality in image security applications.
  IBM Research, Zürich, 29.04.2024.
  
  
• 
  Vortragende/r: Piater, Justus: Attention-based and Multi-Modal Neural Networks.
  Innovationscamp Bioinspiriertes und generatives Design, Innsbruck, 20.11.2024. (Weblink)
  
  
• 
  Vortragende/r: Piater, Justus: Generative KI: Funktionsweise, Möglichkeiten und Grenzen.
  Pädagogische Hochschule Tirol (PHT), Innsbruck, 11.11.2024 (Online). (Weblink)
  
  
• 
  Vortragende/r: Rodríguez-Sánchez, Antonio: Neural Networks for Generative AI und Biologically-Plausible Neural Networks.
  Innovationscamp Bioinspiriertes und generatives Design, Innsbruck, 21.11.2024. (Weblink)
  
  
• 
  Vortragende/r: Salzmann, Philip: Code Quality.
  Bootcamp Performanceorientiertes Softwareengineering – POS Tirol, Innsbruck, 08.05.2024. (Weblink)
  
  
• 
  Vortragende/r: Salzmann, Philip: Key Concept: Programmer Performance - Version Control, Testing and Automation.
  Bootcamp Performanceorientiertes Softwareengineering – POS Tirol, Innsbruck, 02.04.2024. (Weblink)
  
  
• 
  Vortragende/r: Sauerwein, Clemens: IT-Sicherheitsstrategien für KMU.
  CySeReS-KMU, Wels, 20.03.2024 (Online). (Weblink)
  
  
• 
  Vortragende/r: Thoman, Peter: Applying Modern Profiling Methods.
  Bootcamp Performanceorientiertes Softwareengineering – POS Tirol, Innsbruck, 14.05.2024. (Weblink)
  
  
• 
  Vortragende/r: Thoman, Peter: Hardware Architectures And Their Impact on Optimization.
  Bootcamp Performanceorientiertes Softwareengineering – POS Tirol, Innsbruck, 04.04.2024. (Weblink)
  
  
• 
  Vortragende/r: Thoman, Peter: Key Concept: Program Performance.
  Bootcamp Performanceorientiertes Softwareengineering – POS Tirol, Innsbruck, 02.04.2024. (Weblink)
  
  

Vorträge für die Öffentlichkeit

Öffentlicher Vortrag

• 
  Benes, Martin: Steganography Workshop.
  Gymnázium Brno-Řečkovice, Brno-Řečkovice, 27.03.2024. (Weblink)
  
  
• 
  Chimiak-Opoka, Joanna; Hiebel, Gerald; König genannt Kersting, Carina; Kupfer, Alexander; Piater, Justus; Wang-Kathrein, Joseph: Wie verwende ich KI?
  DiSCussion - Digital Science Center, Innsbruck, 05.06.2024. (Weblink)
  
  
• 
  Etheredge, Marlon; Aznar-Poveda, Juan; Najafabadi Samani, Zahra: Vernetzte Computerintelligenz: Ein neues Zeitalter für intelligente Städte (Smart Cities).
  Lange Nacht der Forschung, Innsbruck, 24.05.2024. (Weblink)
  
  
• 
  Gschwandtner, Philipp: Cluster Coffer.
  Lange Nacht der Forschung, Innsbruck, 24.05.2024. (Weblink)
  
  
• 
  Gschwandtner, Philipp: Cluster Coffer.
  Tag der MIP - Mathematik, Informatik und Physik, Innsbruck, 22.02.2024. (Weblink)
  
  
• 
  Haller-Seeber, Simon; Hofmann, Patrick; Kelter, Christopher: Programmieren eines autonomen Roboters anhand einer selbstentwickelten KI.
  Campustage Sillgasse, Innsbruck, 21.03.2024.
  
  
• 
  Jatowt, Adam: Answering Complex Questions with Large Language Models.
  Alumni Homecoming-Days, Innsbruck, 18.10.2024. (Weblink)
  
  
• 
  Knierim, Pascal: 1001 Karrieren in der Informatik.
  BeSt (Berufs- und Studieninformationsmesse), Innsbruck, 27.11.2024. (Weblink)
  
  
• 
  Peintner, Andreas; Zangerle, Eva: Psychologie-basierte Empfehlungssysteme.
  Tag der Mathematik, Informatik und Physik, Innsbruck, 22.02.2024. (Weblink)
  
  
• 
  Peintner, Andreas; Zangerle, Eva; Mohammadi, Amir Reza: Empfehlungssysteme.
  Lange Nacht der Forschung, Innsbruck, 24.05.2024. (Weblink)
  
  
• 
  Piater, Justus: 2025: Was bringt die Technik Neues?
  wAIke Up: Kaffee mit KI, Innsbruck, 06.12.2024. (Weblink)
  
  
• 
  Piater, Justus: Generative KI in 5 Minuten; Bilder erstellen mit KI.
  Stadtbibliothek Innsbruck, Innsbruck, 05.06.2024. (Weblink)
  
  
• 
  Piater, Justus: Möglichkeiten der KI bei klangrelevanten Arbeitsschritten im Fertigungsprozess.
  Staatliche Berufsfachschule für Musikinstrumentenbau Mittenwald, Mittenwald, 22.04.2024.
  
  
• 
  Piater, Justus: Was darf KI? Rechtliche und ethische Perspektiven auf Chancen und Risiken von Künstlicher Intelligenz.
  DiSCussion - Digital Science Center, Innsbruck, 11.01.2024. (Weblink)
  
  
• 
  Ristov, Sashko; Gritscvh, Philipp: Serverless AI auf Abruf - Gesichtserkennung ohne großen Aufwand.
  Tag der MIP - Mathematik, Informatik und Physik, Innsbruck, 22.02.2024. (Weblink)
  
  
• 
  Sauerwein, Clemens: Wie können wir kleine Computer mit denkbar einfachen Anweisungen zum Leben erwecken?
  Lange Nacht der Forschung, Innsbruck, 24.05.2024. (Weblink)
  
  
• 
  Zangerle, Eva: Empfehlungssysteme - wie gut kennen sie mich wirklich?
  Tag der MIP - Mathematik, Informatik und Physik, Innsbruck, 22.02.2024. (Weblink)
  
  

Publikationen 2023

Herausgeberschaften

Proceedings (Herausgeberschaft)

• 
  Knierim, Pascal (2023): Cross-Reality Interaction: 1st Seminar on Cross-Reality Interaction. Independently published. ISBN 979-8375775487.
  
  
• 
  Naumowicz, Adam; Thiemann, Renè (2023): Proceedings of the 14th International Conference on Interactive Theorem Proving (ITP 2023). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik (= Leibniz International Proceedings in Informatics (LIPICS), 268). ISBN 978-3-95977-284-6. (Weblink)
  
  

(Mit-)Herausgeberschaft von Periodika / Buchreihen

Herausgeberschaft von Periodikum / Buchreihe

• 
  Böhme, Rainer: Member of the Editorial Board - IEEE Transactions on Information Forensics and Security, 01.01.2017 lfd. (Weblink)
  
  
• 
  Böhme, Rainer: Member of the Editorial Board - Wirtschaftsinformatik / Business & Information Business Engineering (BISE), 01.01.2016 lfd. (Weblink)
  
  
• 
  Böhme, Rainer: Member of the Editorial board - EURASIP Journal on Information Security, 01.01.2013 lfd. (Weblink)
  
  
• 
  Böhme, Rainer: Member of the Editorial Board - Electronic Commerce Research (ECR), 01.01.2013 lfd. (Weblink)
  
  
• 
  Breu, Ruth: Member of the Editorial Board - Software & Systems Modeling (SoSyM), 01.01.2013 lfd. (Weblink)
  
  
• 
  Breu, Ruth: Member of Editorial Board - International Journal of Web Engineering and Technology (IJWET), 01.01.2009 lfd. (Weblink)
  
  
• 
  Campos, Ricardo; Jorge, Alipio Mario; Jatowt, Adam; Bhatia, Sumit; Litvak, Marina: Volume 3370: Text2Story 2023. Sixth Workshop on Narrative Extraction From Texts.
  Proceedings of Text2Story — Sixth Workshop on Narrative Extraction From Texts held in conjunction with the 45th European Conference on Information Retrieval (ECIR 2023) - CEUR Workshop Proceedings, 02.04.2023. (Weblink)
  
  
• 
  Fahringer, Thomas: Associate Editor - IEEE Transactions on Cloud Computing, 01.01.2013 lfd.
  
  
• 
  Felty, Amy; Moser, Georg: Editor of Special Issue - Logical Methods in Computer Science, 01.09.2022 lfd.
  
  
• 
  Fensel, Dieter: Member of the Editorial Board - Studies on the Semantic Web (Book Series), 01.03.2011 - 30.12.2024. (Weblink)
  
  
• 
  Fensel, Dieter: Member of the International Editorial Review Board - International Journal of E-Entrepreneurship and Innovation (IJEEI), 01.01.2011 - 30.12.2024. (Weblink)
  
  
• 
  Fensel, Dieter: Associate Editor - Foundations and Trends in Web Science, 01.10.2005 - 30.12.2024. (Weblink)
  
  
• 
  Fensel, Dieter: Editorial Board Member - International Journal on Web and Grid Services, 01.01.2005 - 30.12.2024. (Weblink)
  
  
• 
  Fensel, Dieter: Editorial Review Board Member - International Journal on Semantic Web and Information Systems (IJSWIS), 01.01.2005 - 30.12.2024.
  
  
• 
  Fensel, Dieter: Associate Editor - International Journal of Web Services Practices (IJWSP), 01.01.2004 - 30.12.2024.
  
  
• 
  Fensel, Dieter: Associate Editor - Journal on Web Semantics, 01.12.2003 - 30.12.2024.
  
  
• 
  Fensel, Dieter: Associate Editor - Lecture Notes in Computer Science, 01.01.2002 - 30.12.2024.
  
  
• 
  Harders, Matthias: Associate editor - Presence - MIT Press Journal, 01.03.2014 lfd. (Weblink)
  
  
• 
  Harders, Matthias: Associate editor - ACM Transactions on Applied Perception, 01.03.2014 lfd. (Weblink)
  
  
• 
  Harders, Matthias: Editorial Advisory Board Member - Springer Series on Touch and Haptic Systems, 01.03.2014 lfd. (Weblink)
  
  
• 
  Harders, Matthias: Editorial Board Member - Virtual Reality, 01.03.2014 lfd. (Weblink)
  
  
• 
  Jatowt, Adam: Editorial Board Member - Journal of Social Computing (JoSC), 01.01.2022 lfd. (Weblink)
  
  
• 
  Middeldorp, Aart: Editorial Board - Electronic Proceedings in Theoretical Computer Science, 01.04.2009 lfd. (Weblink)
  
  
• 
  Middeldorp, Aart: Editor - Journal of Automated Reasoning, 01.01.2007 lfd. (Weblink)
  
  
• 
  Middeldorp, Aart: Editor - Applicable Algebra in Engineering, Communication and Computing, 01.09.2003 lfd.
  
  
• 
  Said, Alan; Zangerle, Eva; Bauer, Christine: Herausgeberschaft von Volume 3476: Proceedings of the 3rd Workshop Perspectives on the Evaluation of Recommender Systems 2023 (PERSPECTIVES 2023) - CEUR Workshop Proceedings, 01.01.2023 - 31.12.2023. (Weblink)
  
  
• 
  Thiemann, René: Editor - Archive of Formal Proofs, 01.01.2017 lfd. (Weblink)