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
Publications

  • , , , and . . “Guided Discrete-Event Simulation for SHM via Symbolic Precomputation and Q-Learning.” in Leveraging Applications of Formal Methods, Verification and Validation. X-by-Construction Meets Intersymbolic AI., Vol. 17144 of Lecture Notes in Computer Science, edited by Tiziana Margaria and Bernhard Steffen. Kos: Springer Nature. doi: 10.1007/978-3-032-40121-2_11.

  • , , , , , , , and . “Visual Ensemble Analysis With Deep Learning Prediction for Studying the Effect of Tissue Properties on Radiofrequency Ablation.” Computer Graphics Forum e70428. doi: 10.1111/cgf.70428.
  • , , , and . . “Clifford Kolmogorov-Arnold Networks.” in Proc. of IJCNN, edited by IEEE. Maastricht, Netherlands: Wiley-IEEE Computer Society Press. doi: 10.1109/IJCNN69854.2026.11728617.
  • . . “Geometry-Inspired Approximation Algorithms for Persistent Homology.” Dissertation thesis, Universität Münster. doi: 10.17879/87898570411.
  • , , and . . “Towards Solving the Noisy Neighbor Problem in Containerized Cloud Applications.” in Proceedings of the 2026 15th International Conference on Software and Computer Applications, ICSCA '26, edited by for Computing Machinery Association. New York, United States: ACM Press. doi: 10.1145/3801619.3801680.
  • , , , and . . “BMND: Direct Poisson Denoising by N-Dimensional Block Matching and Collaborative Filtering.” Preprint. arXiv doi: 10.48550/arXiv.2609.34622.
  • , , and . . “Automated Abstraction Refinement for Information Flow Security in Embedded Systems.” Preprint. arXiv doi: 10.48550/arXiv.2609.29645.
  • , , , and . . “Inducing Comparability of Factorised Probability Distributions.” Preprint. arXiv doi: 10.48550/arXiv.2607.20502.
  • , , , , , , and . . “Multiresolution Density-Equalizing Transformation for Scatterplots.” IEEE Transactions on Visualization and Computer Graphics. doi: 10.1109/TVCG.2026.3713630.
  • , , and . . “Finite State Machines in the Context of Knowledge Based Transformations (Invited).” in Proceedings of the International Conference on AI x Business (AIxB 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/AIxB65684.2025.00021.
  • , , and . . “Exploring Sparsity and Smoothness of Arbitrary lp-Norms in Adversarial Attacks.” Preprint. arXiv doi: 10.48550/arXiv.2602.06578.
  • , , and . . “Perturbing the Phase: Analyzing Adversarial Robustness of Complex-Valued Neural Networks.” Preprint. arXiv doi: 10.48550/arXiv.2602.06577.
  • , , , , , and . in Kürze. “A Deep Learning Approach for Three-Dimensional Thyroid Nodule Detection from Ultrasound Images.” CMES - Computer Modeling in Engineering and Sciences 146 (3): 36.
  • , , , , , and . in Kürze. “EEGcMamba: EEG Clustering via State Space Model.” IEEE Transactions on Artificial Intelligence.
  • , , , , , , and . . “Robust self-supervised monocular depth estimation for endoscopic soft tissue deformation scenes with biomechanical constraints.” IEEE Transactions on Image Processing 35: 556–568.
  • , , , and . . “Transformer-based classification of transposable element consensus sequences with TEclass2.” Biology 15: 59.
  • , , , , , and . . “Schedgehammer: Auto-tuning Compiler Optimizations beyond Numerical Parameters.” in Proceedings of the 35th ACM SIGPLAN International Conference on Compiler Construction, edited by for Computing Machinery Association. New York: ACM Press. doi: 10.1145/3771775.3786282.
  • , , and . . “Research software from the integrated Formal Methods (iFM) conference 2023.” Science of Computer Programming 248: 103384–103384. doi: 10.1016/j.scico.2025.103384.
  • , , , , , , , , , , , , , , , , , , , and . . “Fairness in Student Group Formation: Perspectives, Priorities, Compromises, Mechanisms, and Tooling.” in 2025 Working Group Reports on Innovation and Technology in Computer Science Education (ITiCSE-WGR 2025), edited by Korhonen, Ari; Lovellette, Ellie. New York, NY, USA: Association for Computing Machinery. doi: 10.1145/3760545.3783973.
  • , , , , and . . “EEGcUCC: Semi-Supervised Deep EEG Clustering with Union Constraint Learning and Contrastive Learning.” Pattern Recognition 177: 113376.
  • , , and . in Kürze. “Thermal Detection of People with Mobility Restrictions for Barrier Reduction at Traffic Lights Controlled Intersections.” IEEE Open Journal of Intelligent Transportation Systems.
  • , , and . . “Computational Thinking in ICILS 2023: Analyzing the Construct and Its Antecedent- and Process-Level Predictors.” Preprint. ACM Transactions on Computing Education 26 (4): 1–26. doi: 10.1145/3813115.
  • , , , , , , , , and . “2025 IEEE Scientific Visualization Contest Winner: A Comprehensive Visual Exploration Tool for Multivariate Multi-Objective Optimization of Aluminum Alloy Compositions.” Preprint. IEEE Computer Graphics and Applications Early Access. doi: 10.1109/MCG.2026.3678413.
  • , and . . “How (and How Not) Do Code Complexity Measures Predict Cognitive Load?” in ICER '26: Proceedings of the 2026 ACM Conference on International Computing Education Research Vol. 1, edited by Neil C. C. Brown and Kristin Searle. New York, NY: ACM Press. doi: 10.1145/3765964.3811665.
  • , , , and . . “Secure Communication Networks and Distributed Systems for a Resilient Society.” Computers and Security 162 104791. doi: 10.1016/j.cose.2025.104791.
  • , , , , and . . “SwiftSNNI: Optimized Scheduling for Secure Neural Network Inference (SNNI) on Multi-Core Systems.” in ICPE '26: Proceedings of the 17th ACM/SPEC International Conference on Performance Engineering, edited by Roberto Verdecchia, Catia Trubiani, Radu Calinescu and Ana Lucia Verbanescu. New York: ACM Press. doi: 10.1145/3777884.3797005.
  • , , , and . “SAFE MUTATIONS OF COMMUNICATION PROTOCOLS.” Journal of Mathematical Sciences -. doi: 10.1007/s10958-026-08465-5.
  • , , , and . . “A CUDA Performance Study of Global- and Shared-Memory Kernels for the Buckley–Leverett Polymer-Flooding Problem.” Applied Sciences 16 (5449). doi: 10.3390/app16115449.
  • , , , , , , , , , and . in Kürze. “Towards Unsupervised Anomaly Detection and Clustering of Defects in Electrode Surface Inspection.” in Proceedings of the 20th CIRP Conference on Intelligent Computation in Manufacturing Engineering 2026
  • , , , and . . “Lifted Causal Inference.” Preprint. Annals of Mathematics and Artificial Intelligence S806. doi: 10.1007/s10472-026-10009-1.
  • , , , and . in Kürze. “Variable Elimination for Forgetting in Probabilistic Graphical Models - A Work in Progress.” Preprint. in Joint proceedings of the Workshop on Theory and Methods for Abstraction (THEMA 2026) and the Workshop on Modularity and Splitting Techniques for Knowledge Representation and Reasoning (MoST 2026) at the 9th Federated Logic Conference (FLoC 2026), edited by Christoph Beierle, Alexander Hahn, Gabriele Kern-Isberner, Oliver Kutz, Zeynep G. Saribatur, Kai Sauerwald and Lars-Philllip Spiegel.
  • , and . . “Indistinguishable Agents in Decentralised POMDPs.” Preprint. in Informal Proceedings of the LAMAS&SR-26 Workshop on Logical Aspects of Multi-Agent Systems and Strategic Reasoning 2026
  • , , , , and . . “A Probabilistic Circuit Framework for Interpretable Graph PU Learning.” in UAI-26 Proceedings of the 42nd Conference on Uncertainty in Artificial Intelligence, edited by Emilija Perković and Daniel Malinsky. Cambridge: MLResearchPress.
  • , , , , and . in Kürze. “Lifted Model Construction under Approximate Commutativity.” in SUM-26 Proceedings of the 17th International Conference on Scalable Uncertainty Management, edited by Inès Couso, Michael Sioutis and Petros Stefaneas. Heidelberg: Springer Nature.
  • , , , , , , , , , , , and . . “MIA: A Visual Analytics System for Multimodal Spectral Imaging Data.” Computers and Graphics 139 104727. doi: 10.1016/j.cag.2026.104727.
  • , , , , , and . in Kürze. “Joint Learning of Unsupervised Multi-view Feature and Instance Co-selection with Cross-view Imputation.” IEEE Transactions on Knowledge and Data Engineering.
  • , and . in Kürze. “DeepCSHAP: Utilizing Shapley Values to Explain Deep Complex-Valued Neural Networks.” IEEE Transactions on Pattern Analysis and Machine Intelligence.
  • , , , , , , , , and . . “Variation in tumor segmentation between inexperienced and experienced observers using contrast-enhanced SPECT/CT and its implications for predictive dosimetry in selective internal radiation therapy (SIRT).” 4. edt. EANM Innovation doi: 10.1016/j.eanmi.2026.100303.
  • , and . in Kürze. “The Curious Case of Exploding DecPOMDPs: Containing the Fire through Policy Counting.” in SUM-26 Proceedings of the 17th International Conference on Scalable Uncertainty Management, edited by Inès Couso, Michael Sioutis and Petros Stefaneas. Heidelberg: Springer Nature.
  • , and . in Kürze. “On Probabilistic Inference Through Parametric Tensor Decomposition in Base Tensor Networks.” in SUM-26 Proceedings of the 17th International Conference on Scalable Uncertainty Management, edited by Inès Couso, Michael Sioutis and Petros Stefaneas. Heidelberg: Springer Nature.
  • , , and . . “Towards Quantitative Analysis of Intelligent Simulink Models Using Stochastic Hybrid Automata.” in Leveraging Applications of Formal Methods, Verification and Validation. X-by-Construction Meets Intersymbolic AI., Vol. 17144 of Lecture Notes in Computer Science, edited by Tiziana Margaria and Bernhard Steffen. Kos: Springer Nature. doi: 10.1007/978-3-032-40121-2_10.
  • , , and . . “Academia–Industry Collaboration: Capstone Projects - Practices Across Informatics Europe Member Institutions.” Zürich: Informatics Europe. doi: 10.5281/zenodo.23497468.
  • , and . . “Software Reengineering for Fixing Design Smells in Legacy Networked Systems.” in ICCCM '26: Proceedings of the 14th International Conference on Computer and Communications Management, edited by for Computing Machinery Association. New York, NY, USA: ACM Press. doi: 10.1145/3841323.3841336.
  • , , , and . . “A Chunk-Weighted, Structure-Aware Approach to Information Retrieval Based on Non-Agentic AI.” in Proceedings of the 14th International Conference on Computer and Communications Management, edited by for Computing Machinery Association. New York, NY, USA: ACM Press. doi: 10.1145/3841323.3841325.
  • , , , and . . “Probabilistic laws on infinite groups.” Preprint. Israel Journal of Mathematics 2026. doi: 10.1007/s11856-026-2943-2.
  • , , , and . . “Lifted Forward Planning in Relational Factored Markov Decision Processes with Concurrent Actions.” in AAMAS-26 Proceedings of the 25th International Conference on Autonomous Agents and Multi-Agent Systems, edited by Chris Amato, Louise Dennis, Viviana Mascardi and John Thangarajah. Richland: International Foundation for Autonomous Agents and Multiagent Systems. doi: 10.65109/GOIS4183.
  • , and . . “An Instrument for Observing Teams to Explicate Regulation Strategies in Computer Science.” ACM Transactions on Computing Education 26 (2): 1–28. doi: 10.1145/3779308.
  • , , , , , , , , , , and . . “Evaluating Assessment Practices in Team-Based Computing Capstone Projects.” in ITiCSE 2025: 2025 Working Group Reports on Innovation and Technology in Computer Science Education, edited by Ari Korhonen and Ellie Lovellette. New York, NY: ACM Press. doi: 10.1145/3760545.3783974.

  • , , and . . “Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks.” in 2025 27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), edited by IEEE. Los Alamitos, CA: Wiley-IEEE Computer Society Press. doi: 10.1109/synasc69064.2025.00011.
  • , , , , , , , , , , , and . . “Ultra-fast extubation following cardiac surgery improves hemodynamic stability and reduces ICU workload.” Frontiers in Cardiovascular Medicine 12: 1695955.. doi: 10.3389/fcvm.2025.1695955.
  • , , and . . “CVKAN: Complex-valued Kolmogorov-Arnold Networks.” in Proc. of IJCNN, edited by IEEE. Rome, Italy: Wiley-IEEE Computer Society Press. doi: 10.1109/IJCNN64981.2025.11227425.
  • , , and . . “Mapping Mental Models of Uncertainty to Parallel Coordinates by Probabilistic Brushing.” Preprint. Computer Graphics Forum 44 (3). doi: 10.1111/cgf.70103.
  • , , , , and . . “Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata.” in International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, Vol. 16143 of Lecture Notes in Computer Science, edited by Pavithra Prabhakar and Andrea Vandin. Switzerland: Springer Nature. doi: 10.1007/978-3-032-05792-1_21.
  • , , and . . “pyATF: Constraint-Based Auto-Tuning in Python.” contribution to the 34th ACM SIGPLAN International Conference on Compiler Construction, Las Vegas ACM Press. doi: 10.1145/3708493.3712682.
  • , , , , , , and . . “Scheduling Language Chronology: Past, Present, and Future.” Transactions on Architecture and Code Optimization 22 (3): 1–31. doi: 10.1145/3743135.
  • , , and . . “Reduction-Aware Directive-Based Programming via Multi-Dimensional Homomorphisms.” in Proceedings of the SC '25 Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis doi: 10.1145/3731599.3767572.
  • , , and . “USING THE SPIN MODEL CHECKER FOR AUTO-TUNING HIGH-PERFORMANCE PROGRAMS.” Journal of Mathematical Sciences - (-). doi: 10.1007/s10958-025-07687-3.
  • , and . . “A Toolset for Predicting Performance of Legacy Real-Time Software Based on the RAST Approach.” contribution to the ACM SIGSIM-PADS Principles of Advanced Discrete Simulation, Atlanta, Georgia, doi: 10.1145/3673897.
  • , , and . . “A Decluttering Lens for Scatterplots.” contribution to the IEEE Visualization and Visual Analytics (VIS), Vienna doi: 10.1109/VIS60296.2025.00031.
  • , , , , , , and . . “SiGrid: Gridifying Scatterplots with Sector-Based Regularization and Hagrid.” contribution to the IEEE Visualization and Visual Analytics (VIS), Vienna doi: 10.1109/VIS60296.2025.00032.

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: