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

    • 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
    • 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 ( – )
      participations in other joint project: HFSP - Research Grant - Program | Förderkennzeichen: RGP0057/2021
    • 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
    • PPP-DL – Performance, Portabilität und Produktivität für Deep-Learning Anwendungen auf Multi- und Many-Core Architekturen ( – )
      Gefördertes Einzelprojekt: DFG - Sachbeihilfe/Einzelförderung | Förderkennzeichen: GO 756/8-1
    • Al-based Medical Image Analysis and AR-based Surgical Navigation for Craniomaxillofacial Surgery ( – )
      Gefördertes Einzelprojekt: Chinesisch-Deutsches Zentrum für Wissenschaftsförderung | Förderkennzeichen: M-0019
    • 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/1, Z01
    • HiRes – HiRes-Hemo: Hämodynamik in hoher räumlich-zeitlicher Auflösung durch vergleichende visuelle Analyse von 4D PC-MRI-Daten und CFD-Simulationsensembles ( – )
      Gefördertes Einzelprojekt: DFG - Sachbeihilfe/Einzelförderung | Förderkennzeichen: LI 1530/28-1; HO 5231/3-1
    • GAIA – Standortübergreifendes Graduiertenkolleg: „Trustworthy AI for Seamless Problem solving: Next generation Intelligence Joins Robust Data Analysis“ (Data NInJA) - Promotionsthema: "Gaußprozesse für automatische und interpretierbare Anomalie-Erkennung" ( – )
      participations in other joint project: MKW - Förderlinie „Künstliche Intelligenz/Maschinelles Lernen“ - Standortübergreifendes Graduiertenkolleg | Förderkennzeichen: 005-2010-0003
    • SFB 1450 - B04: Multiskalige Darstellung und Analyse der Leukozytenwanderung in hypoxischen Entzündungsbereichen in vivo ( – )
      Teilprojekt in DFG-Verbund koordiniert an der Universität Münster: DFG - Sonderforschungsbereich | Förderkennzeichen: SFB 1450/1, B04
    • SFB 1459 - C05: Kohärente nanophotonische neuronale Netzwerke mit adaptiven molekularen Systemen ( – )
      Teilprojekt in DFG-Verbund koordiniert an der Universität Münster: DFG - Sonderforschungsbereich | Förderkennzeichen: SFB 1459/1, C05
    • 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 . . „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 . . „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 . . „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 . . „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 . 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 . . „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 . . „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 . im Druck. „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. MLResearchPress.
    • 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 . . „Efficient Adaptive Multiresolution Aggregations of Spatio-temporal Ensembles.“ Beitrag präsentiert auf der EuroVis, Odense doi: 10.2312/pgv.20241128.
    • . . „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.
    • . . „Virtually free groups are 𝑝-Schatten stable.“ Proceedings of the American Mathematical Society, Nr. 152 (01): 411–421. doi: 10.1090/proc/16411.
    • . . „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 . . „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.
    • , , , , , 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.
    • , und . . „Challenging the robustness of image registration similarity metrics with adversarial attacks.“ In Biomedical Image Registration, herausgegeben von M. Modat, I. Simpson, Ž. Špiclin, W. Bastiaansen, A. Hering und T.C.W. Mok. Heidelberg: Springer.
    • , , und . . „Polynomial kernel learning for interpolation kernel machines with application to graph classification.“ Pattern Recognition Letters, Nr. 186: 7–13.
    • , , und . . „Enhancing road marking sign detection in low-light conditions with YOLOv7 and contrast enhancement techniques.“ International Journal of Applied Science and Engineering, Nr. 21 (3): 2023515.
    • , und . im Druck. „Regularization of interpolation kernel machines.“ In Proc. of ICPR
    • , und . im Druck. „Superpixel-based sparse labeling for efficient and certain medical image annotation.“ In Proc. of ICPR
    • , , , und . . „Transformer-based parameter fitting of models derived from Bloch-McConnell Equations for CEST MRI analysis.“ In Proc. of MLMI@MICCAI, herausgegeben von X Xu, Z Cui, I Rekik, X Ouyang und K Sun. New York City: Springer Publishing.
    • , , , , , , , , , und . . „C-TRUS: A novel dataset and initial benchmark for colon wall segmentation in transabdominal ultrasound .“ In Proc. of ASMUS@MICCAI, herausgegeben von A Gómez, V Khanal, AP King und AL Namburete. New York City: Springer Publishing.
    • , , , , und . im Druck. „Automatic extraction of medication data from semi-structured prescriptions.“ In Proc. of MIE
    • , , , und . im Druck. „ChemGraph Explainer: A graphical user interface for explaining predictions of graph neural networks in chemistry.“ In Proc. of ECML Workshop ML4CCE
    • , , , und . . „Towards an Autoscaling Service for Real-Time Online Interactive Applications on Clouds.“ In Euromicro Conference on Parallel, Distributed and Network-Based Processing, herausgegeben von A Chis und H. González-Vélez. New York City: Wiley-IEEE Press. doi: 10.1109/PDP62718.2024.00024.
    • , , und . „Performance Evaluation of a Legacy Real-Time System: An Improved RAST Approach.“ In Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, herausgegeben von JL. Guisado-Lizar, A. Riscos-Núñez, MJ. Morón-Fernández und G. Wainer. Heidelberg: Springer. doi: 10.1007/978-3-031-57523-5_2.
    • , und . „KNOWLEDGE ACQUISITION IN MULTI-AGENT SYSTEMS: A FORMALIZATION OF THE ELEUSIS CARD GAME.“ Journal of Mathematical Sciences, Nr. 281 (2) doi: 10.1007/s10958-024-07107-y.
    • . . „(De/Re)-Composition of Data-Parallel Computations via Multi-Dimensional Homomorphisms.“ ACM Transactions on Programming Languages and Systems, Nr. 46 (3): 1–74. doi: 10.1145/3665643.
    • , , und . . „Descend: A Safe GPU Systems Programming Language.“ Proceedings of the ACM on Programming Languages, Nr. 8 (PLDI): 841–864. doi: 10.1145/3656411.
    • , , , , , , und . . „Scheduling Languages: A Past, Present, and Future Taxonomy.“ arXiv doi: 10.48550/arXiv.2410.19927.
    • . . „Full Version: (De/Re)-Composition of Data-Parallel Computations via Multi-Dimensional Homomorphisms.“ arXiv doi: 10.48550/arXiv.2405.05118.
    • , , , , und . . „SAM meets Gaze: Passive Eye Tracking for Prompt-based Instance Segmentation.“ Proceedings of Machine Learning Research, Nr. 2023
    • , , und . . „Graphical and Textual Models Embedded in a Constructor-Driven Transformation.“ In Proceedings of the 18th IEEE International Conference on Semantic Computing, herausgegeben von IEEE Computer Society, or the Institute of Electrical and Electronics Engineers, Inc.. New York City: Wiley-IEEE Computer Society Press. doi: 10.1109/ICSC59802.2024.00065.
    • , , , , , , , , , , , und . . „Visual analytics of soccer player performance using objective ratings.“ Information Visualization, Nr. 1–15 doi: 10.1177/14738716231220539.
    • , und . . „"In the Beginning, I Couldn't Necessarily Do Anything With It": Links Between Compiler Error Messages and Sense of Belonging.“ In Proceedings of the 2024 ACM Conference on International Computing Education Research (ICER 2024), herausgegeben von Paul Denny, Leo Porter, Margaret Hamilton und Briana Morrison. New York, NY: ACM Press. doi: 10.1145/3632620.3671105.
    • , und . . „Regulation, Self-Efficacy, and Participation in CS1 Group Work.“ In Proceedings of the 2024 ACM Conference on International Computing Education Research (ICER 2024), herausgegeben von Paul Denny, Leo Porter, Margaret Hamilton und Briana Morrison. New York, NY: ACM Press. doi: 10.1145/3632620.3671115.
    • , , , , , und . . „Deductive Verification of Parameterized Embedded Systems Modeled in SystemC.“ In Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, Lecture Notes in Computer Science, herausgegeben von Rayna Dimitrova, Ori Lahav und Sebastian Wolff. Heidelberg: Springer. doi: 10.1007/978-3-031-50521-8_9.

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: