Research

Aside of the Institut für Informatik there are several other groups in the WWU with activities in research and teaching on computer science. Topics there belong mostly to the field of applied computer science, like Wirtschaftsinformatik, Geoinformatik, Bioinformatik and medizinische Informatik:

We work together, many courses from these areas are eligible as interdisciplinary studies for the graduation in Master of Computer Science and thus allow in-depth insights into the applications of computer technology.

For an overview, see Alle Informatiken [de], or the menu "associated groups" on the Informatik-Homepage.

Current Projects
- CRC 1450 - Z01: Interactive and computational analysis of large multiscale imaging data (2025 – 2028)
  Subproject in DFG-Joint Project Hosted at the University of Münster: | DFG - Collaborative Research Centre | Project Number: SFB 1450/2, Z01
- Tutor.AI (since 2024)
  Own Resources Project
- SPP 2363 - Subproject: Elucidating Fingerprints – Towards a Holistic Explanatory Toolbox for Molecular Machine Learning – EXFP-MML (2022 – 2027)
  Subproject in DFG-Joint Project Hosted at the University of Münster: | DFG - Priority Programme | Project Number: GL 349/15-1; JI 104/10-1
- Retrospective CT examinations of clavicular ossification - development of a clinical decision support system based on classical scale-based assessments and modern machine learning methodology to improve the validity and reliability of forensic age assessments – Clavicle-ML (2024 – 2027)
  Individual Granted Project: | DFG - Individual Grants Programme | Project Number: LI 1530/31-1; SCHM 1609/8-1
- Safe Integration of Learning In Autonomous cyber-physical Systems – Safe ILIAS (2024 – 2027)
  Individual Granted Project: | DFG - Individual Grants Programme | Project Number: HE 6733/5-1
- HAPPI - Human-aware PGMs and Probabilistic Inference via Lifted Model Reconciliation – HAPPI (2024 – 2026)
  Individual Granted Project: | MKW - Förderlinie „Künstliche Intelligenz/Maschinelles Lernen“ - KI-Starter | Project Number: 005-2401-0004
- E-Mobilität für LKWs - Prädiktive KI Modelle (2023 – 2026)
  Individual Granted Project: | MAN Truck & Bus SE
- Trustworthy Interactive Visual Exploration of Multidimensional Data Using Projections (2023 – 2026)
  Individual Granted Project: | DFG - Individual Grants Programme | Project Number: MO 3050/2-3
- VACS 2.0: Visual Analysis for Cohort Studies (Visual Analysis of Time-varying High-dimensional Heterogeneous and Incomplete Data with Application to Population-based Studies) (2023 – 2025)
  Individual Granted Project: | DFG - Individual Grants Programme | Project Number: LI 1530/23-3
- SPP 2363 - Subproject: Neural fingerprints as structure and activity-sensitive molecular representations (2022 – 2025)
  Subproject in DFG-Joint Project Hosted at the University of Münster: | DFG - Priority Programme | Project Number: KO 4689/7-1; RI 2938/3-1
- Interdisziplinäres Lehrprogramm zu maschinellem Lernen und künstlicher Intelligenz – InterKI (2021 – 2025)
  Participation in Federally Funded Joint Project: | Federal Ministry of Research, Technology and Space | Project Number: 16DHBKI049
- Friends with benefits? A holistic approach to diffuse mutualism in plant-pollinator interactions (2021 – 2025)
  Participation in other joint Project: | HFSP - Research Grant - Program | Project Number: RGP0057/2021
- SystemC to Timed Automata Transformation Engine – STATE (since 2018)
  Own Resources Project
- Applied IoT Data Analytics (since 2017)
  Own Resources Project
- Query Processing (since 2014)
  Own Resources Project
- Metric and Ptolemaic Access Methods (since 2011)
  Own Resources Project
- Similarity Search (since 2011)
  Own Resources Project
Latest Publications
- 2025
- 2024
2025
- Schick, Johannes, Wagner, Marc, and Lippe, Wolfram-Manfred. 2025. “Bridging Textual and Graphical Representations with Knowledge Graphs in Modeling Languages.” in Proceedings of the 8th International Conference on Software and System Engineering (ICoSSE 2025), edited by IEEE Computer Society, or the Institute of Electrical and Electronics Engineers, Inc.. Piscataway, NJ : Wiley-IEEE Computer Society Press. doi: 10.1109/ICoSSE65712.2025.00024.
- Borrelli, Gabriel, Ittermann, Till, and Linsen, Lars. 2025. “Mapping Mental Models of Uncertainty to Parallel Coordinates by Probabilistic Brushing.” Preprint. Computer Graphics Forum 44 (3). doi: 10.1111/cgf.70103.
- Wolff, Matthias, Eilers, Florian, and Jiang, Xiaoyi. in Kürze. “CVKAN: Complex-valued Kolmogorov-Arnold Networks.” Preprint. in Proc. of IJCNN doi: 10.48550/arXiv.2502.02417.
- Ridder, F., and Schilling, M. 2025. “The HalluRAG Dataset: Detecting Closed-Domain Hallucinations in RAG Applications Using an LLM’s Internal States.” in Proceedings of the AAAI 2025 Workshop on Preventing and Detecting LLM Misinformation (PDLM)
- Becker-Kupczok, Jonas, and Herber, Paula. 2025. “Symbolic Execution for Precise Information Flow Analysis of Timed Concurrent Systems.” in Software Engineering and Formal Methods. SEFM 2024, Vol. 15280 of Lecture Notes in Computer Science, edited by Madeira A. and Knapp A.. Cham: Springer. doi: 10.1007/978-3-031-77382-2_7.
- Herber, Paula, Adelt, Julius, and Tasche, Philip. 2025. “Formal Verification of Cyber-Physical Systems Using Domain-Specific Abstractions.” in Software Engineering and Formal Methods, edited by Alexandre Madeira and Alexander Knapp. Cham: Springer Nature. doi: 10.1007/978-3-031-77382-2_1.
- Philip, Tasche, Paula, Herber, and Marieke, Huisman. 2025. “Automated Invariant Generation for Efficient Deductive Reasoning About Embedded Systems.” in Software Engineering and Formal Methods, edited by Alexandre Madeira and Alexander Knapp. Cham: Springer Nature. doi: 10.1007/978-3-031-77382-2_23.
- Luttermann, Malte, Speller, Jan, Gehrke, Marcel, Braun, Tanya, Möller, Ralf, and Hartwig, Mattis. in Kürze. “Approximate Lifted Model Construction.” in IJCAI-25 Proceedings of the 34th International Joint Conference on Artificial Intelligence
- Hamid, Sagad, and Braun, Tanya. 2025. “Combining Local Symmetry Exploitation and Reinforcement Learning for Optimised Probabilistic Inference - A Work In Progress.” Preprint. arXiv
- Speller, Jan, Luttermann, Malte, Gehrke, Marcel, and Braun, Tanya. in Kürze. “Compression versus Accuracy: A Hierarchy of Lifted Models.” in ECAI-25 Proceedings of the 28th European Conference on Artificial Intelligence
- Karabulut, Nazlı Nur, and Braun, Tanya. in Kürze. “Counting Agents in Partially Observable Stochastic Games.” in ECSQARU-25 Proceedings of the 18th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty Springer Publishing.
- Fournier-Facio, Francesco, Gerasimova, Maria, and Spaas, Pieter. 2025. “Local Hilbert-Schmidt stability.” Journal of Algebra 663. doi: 10.1016/j.jalgebra.2024.08.042.
- Peivandi, Armin Darius, Holtkamp, Michael, Rave, Hennes, Linsen, Lars, Martens, Sven, Müller, Klaus-Michael, Karst, Uwe, and Martens, Sabrina. 2025. “Rapid versus slow degeneration and complications of biomaterials in patients with congenital heart disease.” Cardiovascular Pathology 75. doi: 10.1016/j.carpath.2024.107712.
- Molchanov, Vladimir, Rave, Hennes, and Linsen, Lars. 2025. “Efficient Regularization-based Normalization for Interactive Multidimensional Data Analysis Without Scaling Artifacts.” Journal of WSCG 33 (1): 43–52. doi: 10.24132/JWSCG.2025-5.
- Molchanov, Vladimir. in Kürze. “Riemannian inhomogeneity and anisotropy of perceptual color space.” Preprint. in EuroVis 2025 - Short Papers doi: 10.2312/evs.20251080.
- Blohm, Pauline, Fränzle, Martin, Herber, Paula, Kröger, Paul, and Remke, Anne. 2025. “Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems.” in Leveraging Applications of Formal Methods, Verification and Validation, Lecture Notes in Computer Science, edited by Tiziana Margaria and Bernhard Steffen. Crete: Springer. doi: 10.1007/978-3-031-75380-0_3.
- Blohm, Pauline, Herber, Paula, and Remke, Anne. 2025. “Towards Quantitative Analysis of Simulink Models Using Stochastic Hybrid Automata.” in Integrated Formal Methods. iFM 2024, Lecture Notes in Computer Science, edited by Nikolai Kosmatov and Laura Kovács. Manchester: Springer Nature. doi: 10.1007/978-3-031-76554-4_10.
- Niehage, Mathis, and Remke, Anne. 2025. “Symbolic state-space exploration meets statistical model checking.” Performance Evaluation 167 (102449). doi: 10.1016/j.peva.2024.102449.
- Niehage, Mathis, da Silva, Carina, Remke, Anne, and Hartmanns, Arnd. 2025. “Rare Event Simulation for Stochastic Hybrid Systems Using Symbolic Importance Functions.” in NASA Formal Methods, Vol. 15682 of Lecture Notes in Computer Science (LNCS), edited by Aaron Dutle, Laura Humphrey and Laura Titolo. Cham: Springer. doi: 10.1007/978-3-031-93706-4_15.
- Tu, P, Ye, H, Shi, H, Young, J, Xie, M, Zhao, P, Zheng, C, Jiang, X, and Chen, X. 2025. “Phase-specific augmented reality guidance for microscopic cataract surgery using spatiotemporal fusion network.” Information Fusion 113: 102604.
- Xiao, J, Li, Y, Tian, Y, Jiang, X, Wang, Y, and Wang, S. 2025. “Optimising allocation of marketing resources among offline channel retailers: A bi-clustering-based model.” Journal of Business Research 186: 114914.
- Zhang, J, and Jiang, X. in Kürze. “Evolutionary training set pruning for boosting interpolation kernel machines.” in Pattern Recognition Applications and Methods
- Chen, J, Pi, D, Jiang, X, Gao, F, Wang, B, and Chen, Y. 2025. “EEGCiD: EEG condensation into diffusion model.” IEEE Transactions on Automation Science and Engineering 22: 8502–8518.
- Xu, J, Gao, J, Jiang, S, Wang, C, Smedby, Ö, Wu, Y, Jiang, X, and Chen, X. in Kürze. “Automatic segmentation of bone graft in maxillary sinus via distance constrained network guided by prior anatomical knowledge.” IEEE Journal of Biomedical and Health Informatics.
- Lixiang, Xu, Jiawang, Peng, Xiaoyi, Jiang, Enhong, Chen, and Bin, Luo. 2025. “Graph neural network based on graph kernel: A survey.” Pattern Recognition 161: 111307.
- Frederik, Elischberger, and Xiaoyi, Jiang. 2025. “Deep Learning meta architecture to detect spatially coherent coarse grain regions in ultrasonic data.” NDT and E International 153: 103342.
- Jin, Xiao, Sihan, Li, Yuhang, Tian, Jing, Huang, Xiaoyi, Jiang, and Shouyang, Wang. 2025. “Example dependent cost sensitive learning based selective deep ensemble model for customer credit scoring.” Scientific Reports 15 6000. doi: 10.1038/s41598-025-89880-7.
- Wei, Xu, Lixiang, Xu, and Xiaoyi, Jiang. in Kürze. “Resistance distance guided node injection attack on graph neural networks.” in Prof. of GbR
- Eilers, Florian, and Jiang, Xiaoyi. in Kürze. “Initializing complex-valued neural networks from their pretrained real-valued counterparts.” in Proc. of IJCNN
2024
- Rave, Hennes, Molchanov, Vladimir, and Linsen, Lars. 2024. “Uniform Sample Distribution in Scatterplots via Sector-based Transformation.” contribution to the IEEE Visualization and Visual Analytics (VIS), St. Pete Beach, Florida doi: 10.1109/VIS55277.2024.00039.
- Derstroff, Adrian, Leistikow, Simon, Nahardani, Ali, Gruen, Katja, Franz, Marcus, Hoerr, Verena, and Linsen, Lars. 2024. “Interactive visual formula composition of multidimensional data classifiers.” Information Visualization. doi: 10.1177/14738716241270288.
- Rave, Hennes, Evers, Marina, Gerrits, Tim, and Linsen, Lars. 2024. “Region-based Visualization in Hierarchically Clustered Ensemble Volumes.” contribution to the International Symposium on Vision, Modeling, and Visualization (VMV 2024), Munich doi: 10.2312/vmv.20241206.
- Evers, Marina, Leistikow, Simon, Rave, Hennes, and Linsen, Lars. 2024. “Interactive Visual Analysis of Spatial Sensitivities.” IEEE Transactions on Visualization and Computer Graphics: 1–15. doi: 10.1109/TVCG.2024.3433001.
- Vogel-Heuser, B., Fay, A., Rupprecht, B., Kunze, F.C., Hankemeier, V., Westermann, T., and Manca, G. 2024. “Exploring challenges of alarm root-cause analysis across varying production process types Herausforderungen der Alarm Root-Cause Analyse in verschiedenen Arten von Produktionsprozessen.” Automatisierungstechnik 72 (4): 369–386. doi: 10.1515/auto-2023-0180.
- Rave, Hennes, Molchanov, Vladimir, and Linsen, Lars. 2024. “De-cluttering Scatterplots with Integral Images.” IEEE Transactions on Visualization and Computer Graphics: 1–13. doi: 10.1109/TVCG.2024.3381453.
- Steinhorst, Phil, Duhme, Christof, Jiang, Xiaoyi, and Vahrenhold, Jan. 2024. “Recognizing Patterns in Productive Failure.” in Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1, edited by Lina Battestilli, Samuel Rebelsky and Libby Shoop. New York, NY: ACM Press. doi: 10.1145/3626252.3630915.
- Hellsten, EO, Souza, A, Lenfers, J, Lacouture, R, Hsu, O, Ejjeh, A, Kjolstad, F, Steuwer, M, Olukotun, K, and Nardi, L. 2024. “BaCO: A Fast and Portable Bayesian Compiler Optimization Framework.” in Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 4, Vol. 4 of ASPLOS '23, edited by Association for Computing Machinery. New York, NY, USA: Association for Computing Machinery. doi: 10.1145/3623278.3624770.
- Delicaris, Joanna, Stübbe, Jonas, Schupp, Stefan, and Remke, Anne. 2024. “RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems.” in Performance Evaluation Methodologies and Tools, Vol. 539 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, edited by Evangelia Kalyvianaki and Marco Paolieri. Cham: Springer. doi: 10.1007/978-3-031-48885-6_11.
- Schilling, Malte, Ritter, Helge J., and Ohl, Frank W. 2024. “Linking meta-learning to meta-structure.” e164. doi: 10.1017/S0140525X24000232.
- Schilling, Malte, Hammer, Barbara, Ohl, Frank W., Ritter, Helge J., and Wiskott, Laurenz. 2024. “Modularity in Nervous Systems-a Key to Efficient Adaptivity for Deep Reinforcement Learning.” : 2358–2373. doi: 10.1007/s12559-022-10080-w.
- Hering, M., Höving, S., and Schilling, M. 2024. “3D-printed Robust Ground Contact Sensors for Haptic Feedback using Functional Materials.” in Proceedings of the CLAWAR 2024 Conference (Vol. 2), edited by K. Berns, M.O. Tokhi, A. Rönnau, M.F. Silva and R. Dillmann. Cham.
- Kahl, S., Löffler, F., Maciol, M., Ridder, F., Schmitz, M., Spanagel, J., Wienkamp, J., Burgahn, C., and Schilling, M. 2024. “Evaluating the Impact of Advanced LLM Techniques on AI Lecture Tutors for a Robotics Course.” in Communications in Computer and Information Science, edited by F Bellas and O Fontenla-Romero. Cham. doi: 10.1007/978-3-031-93409-4_14.
- Herber, Paula, and Wijs, Anton, eds. 2024. Lecture Notes in Computer Science, 18th International Conference on integrated Formal Methods, {iFM} 2023 Leiden: Springer. doi: 10.1007/978-3-031-47705-8.
- Julius, Adelt, Julian, Gebker, and Paula, Herber. 2024. “Reusable formal models for concurrency and communication in custom real-time operating systems.” International Journal on Software Tools for Technology Transfer 26 (2): 229–245. doi: 10.1007/S10009-024-00743-4.
- Bodden, E, Felderer, M, Hasselbring, W, Herber, P, Koziolek, H, Lilienthal, C, Matthes, F, Prechelt, L, Rumpe, B, and Schaefer, I. 2024. Ernst Denert Software Engineering Award 2022, edited by E Bodden, M Felderer, W Hasselbring, P Herber, H Koziolek, C Lilienthal, F Matthes, L Prechelt, B Rumpe and I Schaefer. Cham, Switzerland: Springer Nature. doi: 10.1007/978-3-031-44412-8_1.
- Becker-Kupczok, Jonas, and Herber, Paula. 2024. “Towards Automated Security Hardening Using Timed Path Conditions in Shared Bus Systems.” in Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV, Vol. 15222 of Lecture Notes in Computer Science, edited by Tiziana Margaria and Bernhard Steffen. Cham: Springer. doi: 10.1007/978-3-031-75387-9_8.
- Adelt, Julius, Robert, Mensing, and Paula, Herber. 2024. “Reusable Specification Patterns for Verification of Resilience in Autonomous Hybrid Systems.” in Formal Methods (FM), Lecture Notes in Computer Science, edited by André Platzer, Kristin Yvonne Rozier, Matteo Pradella and Matteo Rossi. Milan, Italy: Springer. doi: 10.1007/978-3-031-71177-0_14.
- Ulrike, Witteck, Jan, Stambke, Denis, Griessbach, and Paula, Herber. 2024. “Improving Robustness of Satellite Image Processing Using Principal Component Analysis for Explainability.” in Proceedings of the 19th International Conference on Software Technologies (ICSOFT), edited by Hans-Georg Fill, Francisco José Dominguez Mayo, Marten van Sinderen and Leszek A. Maciaszek. Dijon, France: SciTePress. doi: 10.5220/0012719500003753.
- Bender, Magnus, Braun, Tanya, Möller, Ralf, and Gehrke, Marcel. 2024. “Unsupervised Estimation of Subjective Content Descriptions in an Information System.” International Journal of Semantic Computing 18 (1): 51–75. doi: 10.1142/S1793351X24410034.
- Bender, Magnus, Braun, Tanya, Möller, Ralf, and Gehrke, Marcel. 2024. “ReFrESH – Relation-preserving Feedback-reliant Enhancement of Subjective Content Descriptions.” contribution to the ICSC-24 18th IEEE International Conference on Semantic Computing, Laguna Hills doi: 10.1109/ICSC59802.2024.00010.
- Luttermann, Malte, Braun, Tanya, Möller, Ralf, and Gehrke, Marcel. 2024. “Colour Passing Revisited: Lifted Model Construction with Commutative Factors.” in AAAI-24 Proceedings of the 38th AAAI Conference on Artificial Intelligence, Vol. 38 of Proceedings of the AAAI Conference on Artificial Intelligence, edited by Michael Wooldridge, Jennifer Dy and Natarajan Sriraam. Washington, DC: AAAI Press. doi: 10.1609/aaai.v38i18.30034.
- Hartwig, Mattis, Möller, Ralf, and Braun, Tanya. 2024. “An Extended View on Lifting Gaussian Bayesian Networks.” Artificial Intelligence 330 104082. doi: 10.1016/j.artint.2024.104082.
- Gehrke, Marcel, Liebenow, Johannes, Mohammadi, Esfandiar, and Braun, Tanya. 2024. “Lifting in Support of Privacy-preserving Probabilistic Inference.” Künstliche Intelligenz 38 (3): 225–241. doi: 10.1007/s13218-024-00851-y.
- Braun, Tanya, and Möller, Ralf, eds. 2024.“AI in Healthcare and the Public Sector.” Special Issue Künstliche Intelligenz 3.
- Braun, Tanya, and Möller, Ralf. 2024. “Lessons from Resource-aware Machine Learning for Healthcare: An Interview with Katharina Morik.” Künstliche Intelligenz 38 (3): 243–248. doi: 10.1007/s13218-024-00839-8.
- Luttermann, Malte, Hartwig, Mattis, Braun, Tanya, Möller, Ralf, and Gehrke, Marcel. 2024. “Lifted Causal Inference in Relational Domains.” in CLeaR-24 Proceedings of the 3rd Conference on Causal Learning and Reasoning, Vol. 236 of Proceedings of Machine Learning Research, edited by Francesco Locatello and Vanessa Didelez. online: MLResearchPress.
- Braun, Tanya, and Möller, Ralf. 2024. “AI in Healthcare and the Public Sector - Editorial.” Künstliche Intelligenz 38 (3): 115–117. doi: 10.1007/s13218-024-00852-x.
- Karabulut, Nazlı Nur, and Braun, Tanya. 2024. “Lifting Partially Observable Stochastic Games.” in SUM-24 Proceedings of the 16th International Conference on Scalable Uncertainty Management, edited by Sébastien Destercke, Maria Vanina Martinez and Giuseppe Sanfilippo. Cham: Springer Nature. doi: 10.1007/978-3-031-76235-2_16.
- Braun, Tanya, and Möller, Ralf. 2024. “AI in Healthcare and the Public Sector: How to Face the Challenges of High-Risk Applications and What AI Research Can Get Out of It.” Künstliche Intelligenz 38 (3): 119–126. doi: 10.1007/s13218-024-00853-w.
- Schütt, Yara, Liebenow, Johannes, Braun, Tanya, Gehrke, Marcel, Thaeter, Florian, and Mohammadi, Esfandiar. 2024. “$DPM$: Clustering Sensitive Data through Separation.” Preprint. in CCS-24 Proceedings of the ACM SIGSAC Conference on Computer and Communications Security , edited by Bo Luo, Xiaojing Liao, Jun Xu, Engin Kirda and David Lie. New York: ACM Press. doi: 10.1145/3658644.3690271.

Older research reports of the Institute for Computer Science are part of the research reports of the WWU. So look for the report "Department of Mathematics and Computer Science" in the following documents and then for "Institute for Computer Science" to find the appropriate part:

Forschungsberichte WWU (german)

Current Projects

Latest Publications

2025

2024