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
    • 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
    • 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 . . „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 . 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 . im Druck. „Graph neural network based on graph kernel: A survey.“ Pattern Recognition

    • , , 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 . „Exploring challenges of alarm root-cause analysis across varying production process types Herausforderungen der Alarm Root-Cause Analyse in verschiedenen Arten von Produktionsprozessen.“ Automatisierungstechnik, Nr. 72 (4): 369–386. doi: 10.1515/auto-2023-0180.
    • , , und . . „De-cluttering Scatterplots with Integral Images.“ IEEE Transactions on Visualization and Computer Graphics: 1–13. doi: 10.1109/TVCG.2024.3381453.
    • , , , und . . „Recognizing Patterns in Productive Failure.“ In Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1, herausgegeben von Lina Battestilli, Samuel Rebelsky und Libby Shoop. New York, NY: ACM Press. doi: 10.1145/3626252.3630915.
    • , , , , , , , , , und . . „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, Bd. 4 aus ASPLOS '23, herausgegeben von Association for Computing Machinery. New York, NY, USA: Association for Computing Machinery. doi: 10.1145/3623278.3624770.
    • , , , 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 . . „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 . . „Virtually free groups are 𝑝-Schatten stable.“ Proceedings of the American Mathematical Society, Nr. 152 (01): 411–421. doi: 10.1090/proc/16411.
    • , , 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.
    • . . „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 . . „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 . . „Regularization of interpolation kernel machines.“ In Proc. of ICPR, herausgegeben von A.Antonacopoulos et al.. Berlin: Springer Nature.
    • , und . . „Superpixel-based sparse labeling for efficient and certain medical image annotation.“ In Proc. of ICPR, herausgegeben von A.Antonacopoulos et al.. Berlin: Springer Nature.
    • , , , 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.

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: