Institut für Informatik
Status: Organisation ist aktiv
Webseite: http://cs.uni-muenster.de/
| Anschrift: | Einsteinstr. 62 48149 Münster Deutschland |
Publikationen
Hooshangi, Sara; Shakli, Asma; Riddle, Steve; Aydin, Ilknur; Nasir, Nayla; Parupudi, Tejasvi; Rehman, Attiqa; Scott, Michael James; Vahrenhold, Jan; Weerasinghe, Amali; Wu, Xi In: Korhonen, Ari; Lovellette, Ellie (Hrsg.), ITiCSE 2025: 2025 Working Group Reports on Innovation and Technology in Computer Science Education. ACM Press. Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | akzeptiert / in Druck (unveröffentlicht) | |
Razali Yaakob, Huda F. AL-Shahad, Nurfadhlina Mohd Sharef, Hazlina Hamdan , Hasyma Abu Hassan, Xiaoyi Jiang (2026) In: CMES - Computer Modeling in Engineering and Sciences. Forschungsartikel (Zeitschrift) | Peer reviewed | akzeptiert / in Druck (unveröffentlicht) | |
Junfu Chen, Dechang Pi, Xiaoyi Jiang, Feng Gao, Qiao Yang, Yang Chen (2026) In: IEEE Transactions on Artificial Intelligence. Forschungsartikel (Zeitschrift) | Peer reviewed | akzeptiert / in Druck (unveröffentlicht) | |
Enpeng Wang, Jiangchang Xu, Yueang Liu, Puxun Tu, Junfeng Wang, Xiaoyi Jiang, Xiaojun Chen (2026) In: IEEE Transactions on Image Processing. Forschungsartikel (Zeitschrift) | Peer reviewed | akzeptiert / in Druck (unveröffentlicht) | |
Bickmann Lucas, Rodriguez Marias, Jiang Xiaoyi, Makalowski Wojciech (2026) In: Biology, 15, 59. Forschungsartikel (Zeitschrift) | Peer reviewed | Veröffentlicht |
Projekte
Laufzeit: 01.01.2025 - 31.12.2028 | 2. Förderperiode Gefördert durch: DFG - Sonderforschungsbereich Art des Projekts: Teilprojekt in DFG-Verbund koordiniert an der Universität Münster | |
Laufzeit: 01.04.2024 - 31.03.2027 | 1. Förderperiode Gefördert durch: DFG - Sachbeihilfe/Einzelförderung Art des Projekts: Gefördertes Einzelprojekt | |
Laufzeit: 01.04.2024 - 31.03.2027 Gefördert durch: DFG - Sachbeihilfe/Einzelförderung Art des Projekts: Gefördertes Einzelprojekt | |
Laufzeit: 15.03.2024 - 31.12.2026 Gefördert durch: MKW - Förderlinie „Künstliche Intelligenz/Maschinelles Lernen“ - KI-Starter Art des Projekts: Gefördertes Einzelprojekt | |
Laufzeit: seit 01.02.2024 Art des Projekts: Eigenmittelprojekt |
Preisverleihungen
| Preis der Fachgruppe Frauen und Informatik 2025 in der Kategorie: Sonderpreis für eine Bachelorarbeit von hoher gesellschaftlicher Relevanz Verliehen von: Gesellschaft für Informatik e.V. (GI) Verliehen an: Dornbusch, Maja Bekannt gegeben am: 01.03.2025 | Verleihung erfolgte am: 03.05.2025 Art der Preisverleihung: Forschungspreis oder andere Auszeichnung | |
| Best paper award 2023 Verliehen von: Conference Program Committee of the European Alliance for Innovation (EAI) Verliehen an: Niehage, Mathis; Remke, Anne Bekannt gegeben am: 07.09.2023 | Verleihung erfolgte am: 07.09.2023 Art der Preisverleihung: Preis für beste Veröffentlichung | |
| Förderpreis der Angewandten Informatik 2022 (1. Preis) Verliehen von: IHK Nord Westfalen Verliehen an: Drees, Dominik Bekannt gegeben am: 15.12.2022 | Verleihung erfolgte am: 15.12.2022 Art der Preisverleihung: Forschungspreis oder andere Auszeichnung | |
| CGO 2020 Graduate Student Research Competition (1st Place) Verliehen von: CGO 2020 SRC Committee Verliehen an: Rasch, Ari Bekannt gegeben am: 26.02.2022 | Verleihung erfolgte am: 26.02.2022 Art der Preisverleihung: Preis für beste Veröffentlichung | |
| Lehrpreis 2021 Verliehen von: Westfälische Wilhelms-Universität Münster Verliehen an: Holling, Markus; Risse, Benjamin; Schloßbauer, Anna; Kockwelp, Pascal Bekannt gegeben am: 15.01.2022 | Verleihung erfolgte am: 15.01.2022 Art der Preisverleihung: Forschungspreis oder andere Auszeichnung |
Promotionen
| A Scalable Coud Deployment Architecture for High-Performance Real-Time Online Applications Promovend*in: Jarrous-Holtrup, Sezar | Betreuer*innen: Gorlatch, Sergei | Gutachter*innen: Gorlatch, Sergei; Kuchen, Herbert; Holz, Ralph Zeitraum: 01.09.2019 - 23.05.2025 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster | |
| Towards Performance & Portability & Productivity in Parallel Programming: A Holistic Code Generation, Optimization, and Execution Approach for Data-Parallel… Promovend*in: Rasch, Ari | Betreuer*innen: Gorlatch, Sergei | Gutachter*innen: Gorlatch, Sergei; Kuchen, Herbert; Cohen, Albert Zeitraum: 01.07.2016 - 13.02.2025 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster | |
| Portable Implicit Parallel Programming in C++ using the Pacxx Framework Promovend*in: Vladyslav Kucher | Betreuer*innen: Gorlatch, Sergei | Gutachter*innen: Gorlatch, Sergei; Kuchen, Herbert Zeitraum: 03.04.2017 - 25.03.2024 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster | |
| Quality of Service in Software-Defined Networking with Applications to Social Networks Promovend*in: Zhang, Yu | Betreuer*innen: Gorlatch, Sergei | Gutachter*innen: Gorlatch, Sergei; Kuchen, Herbert Zeitraum: 01.10.2018 - 26.05.2023 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster | |
| Analyse semantisch annotierter Trajektorien Promovend*in: Seep, Jana | Betreuer*innen: Vahrenhold, Jan | Gutachter*innen: Vahrenhold, Jan; Schwering, Angela Zeitraum: 01.11.2017 - 09.02.2023 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster |
Habilitationen
Interaktive lineare Projektionen für mehrdimensionale Daten mit räumlicher Konnektivität Habilitand*in: Molchanov, Vladimir | Gutachter*innen: Linsen, Lars; Telea, Alex; Theisel, Holger; Weiskopf, DanielZeitraum: 22.05.2024 - 29.01.2025 Habilitationsverfahren erfolgt(e) an: Habilitationsverfahren erfolgt(e) an der Universität Münster | |
Effective Exploration of Virtual Reality Environments Habilitand*in: Steinicke, Frank | Gutachter*innen: ???Zeitraum: bis 22.12.2010 Habilitationsverfahren erfolgt(e) an: Habilitationsverfahren erfolgt(e) an der Universität Münster | |
Supporting Spatial Awareness and Multimodality in Interactive Volume Visualization Habilitand*in: Ropinski, Timo | Gutachter*innen: ???Zeitraum: bis 09.12.2009 Habilitationsverfahren erfolgt(e) an: Habilitationsverfahren erfolgt(e) an der Universität Münster | |
Kumulative Habilitation Habilitand*in: Borschbach, Markus | Gutachter*innen: ???Zeitraum: bis 04.07.2007 Habilitationsverfahren erfolgt(e) an: Habilitationsverfahren erfolgt(e) an der Universität Münster | |
Large Scale Algorithms and Data Structures for Dynamic and Time-Variant Geometric Problems Habilitand*in: Vahrenhold, Jan | Gutachter*innen: ???Zeitraum: bis 28.01.2004 Habilitationsverfahren erfolgt(e) an: Habilitationsverfahren erfolgt(e) an der Universität Münster |
Vorträge
| Compression versus Accuracy: A Hierarchy of Lifted Models Speller, Jan; Luttermann, Malte; Gehrke, Marcel; Braun, Tanya (29.10.2025) 28th European Conference on Artificial Intelligence (ECAI 2025), Bologna Art des Vortrags: wissenschaftlicher Vortrag | |
| Counting Agents in Partially Observable Stochastic Games Karabulut, Nazlı Nur; Braun, Tanya (25.09.2025) ECSQARU-25 18th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Hagen Art des Vortrags: wissenschaftlicher Vortrag | |
| Towards Explainability of Approximate Lifted Model Construction: A Geometric Perspective Speller, Jan (16.09.2025) Joint Workshop on Humanities-Centred Artificial Intelligence and Formal & Cognitive Reasoning co-located with 48th…, Potsdam Art des Vortrags: wissenschaftlicher Vortrag | |
| Variable Elimination as a Form of Forgetting in (Lifted) Probabilistic Graphical Models Braun, Tanya (19.03.2025) 2nd Logic and AI Meet-up, Hagen Art des Vortrags: wissenschaftlicher Vortrag | |
| Lifting Partially Observable Stochastic Games Karabulut, Nazlı Nur (29.11.2024) SUM-24 16th International Conference on Scalable Uncertainty Management, Palermo Art des Vortrags: wissenschaftlicher Vortrag |