Forschung

Die aktuellen Arbeitsgruppen des Instituts für Informatik decken zentrale Gebiete der Informatik in moderner und attraktiver Ausrichtung ab:

Sie sind national und international gut vernetzt. Arbeitsgruppen des Instituts sind aktiv beteiligt am Exzellenzcluster Cells in Motion, dem Sonderforschungsbereich Molekulare kardiovaskuläre Bildgebung(MoBil) sowie an der Gründung des European Institute for Molecular Imaging (EIMI) und des Center for Nonlinear Science (CENOS) der WWU.

Neben dem Institut für Informatik beherbergt die Westfälische Wilhelms-Universität viele weitere Institute und Arbeitsgruppen, an denen Forschung und Lehre mit starkem Bezug zur Informatik durchgeführt wird, insbesondere in Teilgebieten der Angewandten Informatik wie Wirtschaftsinformatik, Geoinformatik, Bioinformatik und medizinische Informatik.

Und wir arbeiten zusammen - viele Lehrangebote aus diesen Bereichen sind als fachübergreifende Studien auch im Master Informatik anrechenbar und erlauben so vertiefte Einblicke in Anwendungen von Informatiktechniken.

Eine Übersicht bietet die Seite Alle Informatiken und das Menü "Assoziierte Gruppen" auf der Informatik-Leitseite.

Wir planen u.a. auch ein gemeinsames Graduiertenkolleg.

 

 

 

  • Laufende Projekte

    • SFB 1450 - Z01: Interaktive und rechnergestützte Analyse von großen multiskalen Bildgebungsdaten ( – )
      Teilprojekt in DFG-Verbund koordiniert an der Universität Münster: DFG - Sonderforschungsbereich | Förderkennzeichen: SFB 1450/2, Z01
    • EXFP-MML – SPP 2363 - Teilprojekt: Fingerprints entschlüsseln - Auf dem Weg zu einem ganzheitlichen Erklärungsinstrumentarium für molekulares maschinelles Lernen ( – )
      Teilprojekt in DFG-Verbund koordiniert an der Universität Münster: DFG - Schwerpunktprogramm | Förderkennzeichen: GL 349/15-1; JI 104/10-1
    • Clavicle-ML – Retrospektive CT-Untersuchungen zur Schlüsselbeinossifikation - Entwicklung eines klinischen Entscheidungshilfesystems mit skalenbasierten Bewertungen und modernen Methoden des maschinellen Lernens zur Verbesserung der Gültigkeit und Zuverlässigkeit forensischer Altersbegutachtungen ( – )
      Gefördertes Einzelprojekt: DFG - Sachbeihilfe/Einzelförderung | Förderkennzeichen: LI 1530/31-1; SCHM 1609/8-1
    • Safe ILIAS – Sichere Integration von Lernen in Autonomen cyber-physischen Systemen ( – )
      Gefördertes Einzelprojekt: DFG - Sachbeihilfe/Einzelförderung | Förderkennzeichen: HE 6733/5-1
    • HAPPI – HAPPI - Human-aware PGMs and Probabilistic Inference via Lifted Model Reconciliation ( – )
      Gefördertes Einzelprojekt: MKW - Förderlinie „Künstliche Intelligenz/Maschinelles Lernen“ - KI-Starter | Förderkennzeichen: 005-2401-0004
    • E-Mobilität für LKWs - Prädiktive KI Modelle ( – )
      Gefördertes Einzelprojekt: MAN Truck & Bus SE
    • Zuverlässige interaktive visuelle Exploration der mehrdimensionalen Daten anhand Projektionen ( – )
      Gefördertes Einzelprojekt: DFG - Sachbeihilfe/Einzelförderung | Förderkennzeichen: MO 3050/2-3
    • VACS 2.0: Visuelle Analyse von Kohortenstudien (Visuelle Analyse von zeitveränderlichen, hochdimensionalen, heterogenen und unvollständigen Daten mit Anwendung auf populationsbasierte Studien) ( – )
      Gefördertes Einzelprojekt: DFG - Sachbeihilfe/Einzelförderung | Förderkennzeichen: LI 1530/23-3
    • SPP 2363 - Teilprojekt: Neuronale Fingerabdrücke als struktur- und aktivitätssensitive molekulare Darstellungen ( – )
      Teilprojekt in DFG-Verbund koordiniert an der Universität Münster: DFG - Schwerpunktprogramm | Förderkennzeichen: KO 4689/7-1; RI 2938/3-1
    • InterKI – Interdisziplinäres Lehrprogramm zu maschinellem Lernen und künstlicher Intelligenz ( – )
      Gefördertes Einzelprojekt: Bundesministerium für Bildung und Forschung | Förderkennzeichen: 16DHBKI049
    • Friends with benefits? A holistic approach to diffuse mutualism in plant pollinator interactions ( – )
      Beteiligung in sonstigem Verbundvorhaben: HFSP - Research Grant - Program | Förderkennzeichen: RGP0057/2021
    • STATE – SystemC to Timed Automata Transformation Engine (seit )
      Eigenmittelprojekt
    • Applied IoT Data Analytics (seit )
      Eigenmittelprojekt
    • Query Processing (seit )
      Eigenmittelprojekt
    • Metric and Ptolemaic Access Methods (seit )
      Eigenmittelprojekt
    • Similarity Search (seit )
      Eigenmittelprojekt

  • Neueste Publikationen

    • , und . . „Combining Local Symmetry Exploitation and Reinforcement Learning for Optimised Probabilistic Inference - A Work In Progress.“ arXiv
    • , und . . „Symbolic Execution for Precise Information Flow Analysis of Timed Concurrent Systems.“ In Software Engineering and Formal Methods. SEFM 2024, Bd. 15280 aus Lecture Notes in Computer Science, herausgegeben von Madeira A. und Knapp A.. Heidelberg: Springer. doi: 10.1007/978-3-031-77382-2_7.
    • , , und . . „Formal Verification of Cyber-Physical Systems Using Domain-Specific Abstractions.“ In Software Engineering and Formal Methods, herausgegeben von Alexandre Madeira und Alexander Knapp. Berlin: Springer Nature. doi: 10.1007/978-3-031-77382-2_1.
    • , , und . . „Automated Invariant Generation for Efficient Deductive Reasoning About Embedded Systems.“ In Software Engineering and Formal Methods, herausgegeben von Alexandre Madeira und Alexander Knapp. Berlin: Springer Nature. doi: 10.1007/978-3-031-77382-2_23.
    • , , und . . „Local Hilbert-Schmidt stability.“ Journal of Algebra, Nr. 663 doi: 10.1016/j.jalgebra.2024.08.042.
    • , , , , und . . „Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems.“ In Leveraging Applications of Formal Methods, Verification and Validation, Lecture Notes in Computer Science, herausgegeben von Tiziana Margaria und Bernhard Steffen. Heidelberg: Springer. doi: 10.1007/978-3-031-75380-0_3.
    • , , und . . „Towards Quantitative Analysis of Simulink Models Using Stochastic Hybrid Automata.“ In Integrated Formal Methods. iFM 2024, Lecture Notes in Computer Science, herausgegeben von Nikolai Kosmatov und Laura Kovács. Berlin: Springer Nature. doi: 10.1007/978-3-031-76554-4_10.
    • , und . . „Symbolic state-space exploration meets statistical model checking.“ Performance Evaluation, Nr. 167 (102449) doi: 10.1016/j.peva.2024.102449.
    • , , , , , , , , und . . „Phase-specific augmented reality guidance for microscopic cataract surgery using spatiotemporal fusion network.“ Information Fusion, Nr. 113: 102604.
    • , , , , , und . . „Optimising allocation of marketing resources among offline channel retailers: A bi-clustering-based model.“ Journal of Business Research, Nr. 186: 114914.
    • , und . im Druck. „Evolutionary training set pruning for boosting interpolation kernel machines.“ In Pattern Recognition Applications and Methods
    • , , , , , und . . „EEGCiD: EEG condensation into diffusion model.“ IEEE Transactions on Automation Science and Engineering, Nr. 22: 8502–8518.
    • , , , , , , , und . im Druck. „Automatic segmentation of bone graft in maxillary sinus via distance constrained network guided by prior anatomical knowledge.“ IEEE Journal of Biomedical and Health Informatics
    • , , , , und . . „Graph neural network based on graph kernel: A survey.“ Pattern Recognition, Nr. 161: 111307.
    • , und . . „Deep Learning meta architecture to detect spatially coherent coarse grain regions in ultrasonic data.“ NDT and E International, Nr. 153: 103342.
    • , , , , , und . . „Example dependent cost sensitive learning based selective deep ensemble model for customer credit scoring.“ Scientific Reports, Nr. 15 6000. doi: 10.1038/s41598-025-89880-7.
    • , , und . im Druck. „Resistance distance guided node injection attack on graph neural networks.“ In Prof. of GbR
    • , und . im Druck. „Initializing complex-valued neural networks from their pretrained real-valued counterparts.“ In Proc. of IJCNN
    • , , und . im Druck. „CVKAN: Complex-valued Kolmogorov-Arnold Networks.“ In Proc. of IJCNN doi: 10.48550/arXiv.2502.02417.

    • , , und . . „Uniform Sample Distribution in Scatterplots via Sector-based Transformation.“ Beitrag präsentiert auf der IEEE Visualization and Visual Analytics (VIS), St. Pete Beach, Florida doi: 10.1109/VIS55277.2024.00039.
    • , , , , , , und . . „Interactive visual formula composition of multidimensional data classifiers.“ Information Visualization doi: 10.1177/14738716241270288.
    • , , , und . . „Region-based Visualization in Hierarchically Clustered Ensemble Volumes.“ Beitrag präsentiert auf der International Symposium on Vision, Modeling, and Visualization (VMV 2024), Munich doi: 10.2312/vmv.20241206.
    • , , , und . . „Interactive Visual Analysis of Spatial Sensitivities.“ IEEE Transactions on Visualization and Computer Graphics: 1–15. doi: 10.1109/TVCG.2024.3433001.
    • , , , und . . „Unsupervised Estimation of Subjective Content Descriptions in an Information System.“ International Journal of Semantic Computing, Nr. 18 (1): 51–75. doi: 10.1142/S1793351X24410034.
    • , , , und . . „ReFrESH – Relation-preserving Feedback-reliant Enhancement of Subjective Content Descriptions.“ Beitrag präsentiert auf der ICSC-24 18th IEEE International Conference on Semantic Computing, Laguna Hills doi: 10.1109/ICSC59802.2024.00010.
    • , , , und . . „Colour Passing Revisited: Lifted Model Construction with Commutative Factors.“ In AAAI-24 Proceedings of the 38th AAAI Conference on Artificial Intelligence, Bd. 38 aus Proceedings of the AAAI Conference on Artificial Intelligence, herausgegeben von Michael Wooldridge, Jennifer Dy und Natarajan Sriraam. Palo Alto, CA: AAAI Press. doi: 10.1609/aaai.v38i18.30034.
    • , , und . . „An Extended View on Lifting Gaussian Bayesian Networks.“ Artificial Intelligence, Nr. 330 104082. doi: 10.1016/j.artint.2024.104082.
    • , , , und . . „Lifting in Support of Privacy-preserving Probabilistic Inference.“ Künstliche Intelligenz, Nr. 38 (3): 225–241. doi: 10.1007/s13218-024-00851-y.
    • Braun, Tanya, und Möller, Ralf, Hrsg. .„AI in Healthcare and the Public Sector.“ Sonderausgabe Künstliche Intelligenz 3.
    • , und . . „Lessons from Resource-aware Machine Learning for Healthcare: An Interview with Katharina Morik.“ Künstliche Intelligenz, Nr. 38 (3): 243–248. doi: 10.1007/s13218-024-00839-8.
    • , , , , und . . „Lifted Causal Inference in Relational Domains.“ In CLeaR-24 Proceedings of the 3rd Conference on Causal Learning and Reasoning, Bd. 236 aus Proceedings of Machine Learning Research, herausgegeben von Francesco Locatello und Vanessa Didelez. online: MLResearchPress.
    • , und . . „AI in Healthcare and the Public Sector - Editorial.“ Künstliche Intelligenz, Nr. 38 (3): 115–117. doi: 10.1007/s13218-024-00852-x.
    • , und . . „Lifting Partially Observable Stochastic Games.“ In SUM-24 Proceedings of the 16th International Conference on Scalable Uncertainty Management, herausgegeben von Sébastien Destercke, Maria Vanina Martinez und Giuseppe Sanfilippo. Berlin: Springer Nature. doi: 10.1007/978-3-031-76235-2_16.
    • , und . . „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, Nr. 38 (3): 119–126. doi: 10.1007/s13218-024-00853-w.
    • , , , , , und . . „$DPM$: Clustering Sensitive Data through Separation.“ In CCS-24 Proceedings of the ACM SIGSAC Conference on Computer and Communications Security , herausgegeben von Bo Luo, Xiaojing Liao, Jun Xu, Engin Kirda und David Lie. New York, NY: ACM Press. doi: 10.1145/3658644.3690271.
    • , , , und . . „Estimating Causal Effects in Partially Directed Parametric Causal Factor Graphs.“ In SUM-24 Proceedings of the 16th International Conference on Scalable Uncertainty Management, herausgegeben von Sébastien Destercke, Maria Vanina Martinez und Giuseppe Sanfilippo. Berlin: Springer Nature. doi: 10.1007/978-3-031-76235-2_20.
    • Herber, Paula, und Wijs, Anton, Hrsg. . Lecture Notes in Computer Science, 18th International Conference on integrated Formal Methods, {iFM} 2023, Heidelberg: Springer. doi: 10.1007/978-3-031-47705-8.
    • , , und . . „Reusable formal models for concurrency and communication in custom real-time operating systems.“ International Journal on Software Tools for Technology Transfer, Nr. 26 (2): 229–245. doi: 10.1007/S10009-024-00743-4.
    • , , , , , , , , , und . . Ernst Denert Software Engineering Award 2022,, herausgegeben von E Bodden, M Felderer, W Hasselbring, P Herber, H Koziolek, C Lilienthal, F Matthes, L Prechelt, B Rumpe und I Schaefer. Berlin: Springer Nature. doi: 10.1007/978-3-031-44412-8_1.
    • , und . . „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, Bd. 15222 aus Lecture Notes in Computer Science, herausgegeben von Tiziana Margaria und Bernhard Steffen. Heidelberg: Springer. doi: 10.1007/978-3-031-75387-9_8.
    • , , und . . „Reusable Specification Patterns for Verification of Resilience in Autonomous Hybrid Systems.“ In Formal Methods (FM), Lecture Notes in Computer Science, herausgegeben von André Platzer, Kristin Yvonne Rozier, Matteo Pradella und Matteo Rossi. Heidelberg: Springer. doi: 10.1007/978-3-031-71177-0_14.
    • , , , und . . „Improving Robustness of Satellite Image Processing Using Principal Component Analysis for Explainability.“ In Proceedings of the 19th International Conference on Software Technologies (ICSOFT), herausgegeben von Hans-Georg Fill, Francisco José Dominguez Mayo, Marten van Sinderen und Leszek A. Maciaszek. Setúbal: SciTePress. doi: 10.5220/0012719500003753.
    • , , und . . „Efficient Adaptive Multiresolution Aggregations of Spatio-temporal Ensembles.“ Beitrag präsentiert auf der EuroVis, Odense doi: 10.2312/pgv.20241128.
    • , und . . „A family of exotic group C*-algebras.“ Advances in Mathematics, Nr. 442 109594. doi: 10.1016/j.aim.2024.109594.
    • , , , und . . „Lipschitz harmonic functions on vertex-transitive graphs.“ Electronic Communications in Probability, Nr. 29 doi: 10.1214/24-ECP588.
    • , und . . „Virtually free groups are 𝑝-Schatten stable.“ Proceedings of the American Mathematical Society, Nr. 152 (01): 411–421. doi: 10.1090/proc/16411.
    • , und . . „The Best of Both Worlds: Analytically-Guided Simulation of HPnGs for Optimal Reachability.“ In Performance Evaluation Methodologies and Tools - 16th EAI International Conference, VALUETOOLS 2023, Crete, Greece, September 6–7, 2023, Proceedings, Bd. 539 aus Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, herausgegeben von Evangelia Kalyvianaki und Marco Paolieri. Heidelberg: Springer. doi: 10.1007/978-3-031-48885-6_5.
    • . . „Das systematische Vorgehen im Fokus.“ In Wirksamer Informatikunterricht. Unterrichtsqualität: Perspektiven von Expertinnen und Experten, herausgegeben von Dennis Komm. Baltmannsweiler: Schneider Verlag Hohengehren.
    • , und . . „Optimal Offline ORAM with Perfect Security via Simple Oblivious Priority Queues.“ In Proceedings of the 35th International Symposium on Algorithms and Computation (ISAAC 2024), LIPIcs - Leibniz International Proceedings in Informatics, herausgegeben von Julián Mestre und Anthony Wirth. Wadern: Dagstuhl Publishing. doi: 10.4230/LIPIcs.ISAAC.2024.55.
    • , , und . . „Adaptive Approximation of Persistent Homology.“ Journal of Applied and Computational Topology, Nr. 8 (8): 2327–2366. doi: 10.1007/s41468-024-00192-7.
    • Eickelmann, Birgit, Fröhlich, Nadine, Bos, Wilfried, Gerick, Julia, Goldhammer, Frank, Schaumburg, Heike, Schwippert, Knut, Senkbeil, Martin, und Vahrenhold, JanHrsg. . ICILS 2023 #Deutschland - Computer- und informationsbezogene Kompetenzen und Kompetenzen im Bereich Computational Thinking von Schüler*innen im internationalen Vergleich, Münster: Waxmann. doi: 10.31244/9783830999492.
    • , , , , , , , , und . . „Die IEA-Studie ICILS 2023 - Informationen zur Anlage und Durchführung der Studie.“ In ICILS 2023 #Deutschland - Computer- und informationsbezogene Kompetenzen und Kompetenzen im Bereich Computational Thinking von Schüler*innen im internationalen Vergleich, herausgegeben von Birgit Eickelmann, Nadine Fröhlich, Wilfried Bos, Julia Gerick, Frank Goldhammer, Heike Schaumburg, Knut Schwippert, Martin Senkbeil und Jan Vahrenhold. Münster: Waxmann. doi: 10.31244/9783830999492.01.
    • , , , , und . . „Kompetenzen im Bereich ,Computational Thinking' von Schüler*innen in Deutschland im zweiten internationalen Vergleich.“ In ICILS 2023 #Deutschland - Computer- und informationsbezogene Kompetenzen und Kompetenzen im Bereich Computational Thinking von Schüler*innen im internationalen Vergleich, herausgegeben von Birgit Eickelmann, Nadine Fröhlich, Wilfried Bos, Julia Gerick, Frank Goldhammer, Heike Schaumburg, Knut Schwippert, Martin Senkbeil und Jan Vahrenhold. Münster: Waxmann. doi: 10.31244/9783830999492.08.
    • , , , und . . „Teaching Support Systems for Formal Foundations of Computer Science (Dagstuhl Seminar 24251).“ Dagstuhl Reports Nr. 14. Wadern: Dagstuhl Publishing. doi: 10.4230/DagRep.14.6.108.
    • , , , , , und . . „A novel deep ensemble model for imbalanced credit scoring in internet finance.“ International Journal of Forecasting, Nr. 40 (1): 348–372.
    • , , , , und . . „Three-stage research framework to assess and predict the financial risk of SMEs based on hybrid method.“ Decision Support Systems, Nr. 177: 114090.
    • , , , , , und . . „Denosieformer: A transformer based approach for single-channel EEG artifact removal.“ IEEE Transactions on Instrumentation and Measurement, Nr. 73: 1–16.
    • , , , , , , , , , , , , , , und . . „Artificial intelligence unravels interpretable malignancy grades of prostate cancer on histology images.“ npj Imaging, Nr. 2: 6.
    • , und . . „Classification performance boosting for interpolation kernel machines by training set pruning using genetic algorithm.“ In Prof. of ICPRAM, herausgegeben von M. Castrillon-Santana, M.De Marsico und A. Fred. Setúbal: SciTePress.
    • , , , , , und . . „A data-centric approach to generate faithful and high quality patient summaries with large language models.“ In Conference on Health, Inference, and Learning (CHIL), herausgegeben von N.A.. New York: MLResearchPress.

Die  älteren Forschungsberichte des Instituts für Informatik sind Teil der Forschungsberichte der WWU. Suchen Sie also in den folgenden Dokumenten den Bericht "Fachbereich Mathematik und Informatik", und darin nach "Institut für Informatik", um den passenden Teil zu finden: