Research

The actual workgroups  explore  central, modern and  attractive topics in computer science::

They are well embedded in the national and international societies, and participated in several larger research institutes, specially the Exzellenzcluster Cells in Motion, the Sonderforschungsbereich Molekulare kardiovaskuläre Bildgebung(MoBil) and the founding of the European Institute for Molecular Imaging (EIMI) and the Center for Nonlinear Science (CENOS).

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

    • 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 ( – )
      Individual Granted Project: DFG - Individual Grants Programme | Project Number: LI 1530/31-1; SCHM 1609/8-1
    • Safe ILIAS – Safe Integration of Learning In Autonomous cyber-physical Systems ( – )
      Individual Granted Project: DFG - Individual Grants Programme | Project Number: HE 6733/5-1
    • E-Mobilität für LKWs - Prädiktive KI Modelle ( – )
      Individual Granted Project: MAN Truck & Bus SE
    • Trustworthy Interactive Visual Exploration of Multidimensional Data Using Projections ( – )
      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) ( – )
      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 ( – )
      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
    • InterKI – Interdisziplinäres Lehrprogramm zu maschinellem Lernen und künstlicher Intelligenz ( – )
      Individual Granted Project: Federal Ministry of Education and Research | Project Number: 16DHBKI049
    • Friends with benefits? A holistic approach to diffuse mutualism in plant-pollinator interactions ( – )
      participations in other joint project: HFSP - Research Grant - Program | Project Number: RGP0057/2021
    • EXFP-MML – SPP 2363 - Subproject: Elucidating Fingerprints – Towards a Holistic Explanatory Toolbox for Molecular Machine Learning ( – )
      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
    • PPP-DL – Performance, Portabilität und Produktivität für Deep-Learning Anwendungen auf Multi- und Many-Core Architekturen ( – )
      Individual Granted Project: DFG - Individual Grants Programme | Project Number: GO 756/8-1
    • Al-based Medical Image Analysis and AR-based Surgical Navigation for Craniomaxillofacial Surgery ( – )
      Individual Granted Project: Sino-German Center for Research Promotion | Project Number: M-0019
    • CRC 1450 Z01 - Interactive and computational analysis of large multiscale imaging data ( – )
      Subproject in DFG-Joint Project Hosted at the University of Münster: DFG - Collaborative Research Centre | Project Number: SFB 1450/1, Z01
    • HiRes – HiResHemo: Hemodynamics at High Spatio-temporal Resolution by Comparative Visual Analysis of 4D PC-MRI Data and CFD Simulation Ensembles ( – )
      Individual Granted Project: DFG - Individual Grants Programme | Project Number: LI 1530/28-1; HO 5231/3-1
    • GAIA – Joint Research Training Group: „Trustworthy AI for Seamless Problem solving: Next generation Intelligence Joins Robust Data Analysis“ (Data NInJA) - PhD topic: "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 | Project Number: 005-2010-0003
    • CRC 1450 B04 - Multiscale visualisation and analysis of innate immune cell migration at sites of hypoxic inflammation in vivo ( – )
      Subproject in DFG-Joint Project Hosted at the University of Münster: DFG - Collaborative Research Centre | Project Number: SFB 1450/1, B04
    • CRC 1459 C05 - Coherent nanophotonic neural networks with adaptive molecular systems ( – )
      Subproject in DFG-Joint Project Hosted at the University of Münster: DFG - Collaborative Research Centre | Project Number: SFB 1459/1, C05
    • meditrain – Joint project: Modular Virtual Reality training of clinical scenarios with AI driven, interactive patients ( – )
      participations in bmbf-joint project: Federal Ministry of Education and Research | Project Number: 16DHBKI077
    • STATE – SystemC to Timed Automata Transformation Engine (since )
      Own Resources Project
    • Applied IoT Data Analytics (since )
      Own Resources Project
    • Query Processing (since )
      Own Resources Project
    • Metric and Ptolemaic Access Methods (since )
      Own Resources Project
    • Similarity Search (since )
      Own Resources Project

  • Latest Publications

    • Fournier-Facio Francesco, Gerasimova Maria, Spaas Pieter. . ‘Local Hilbert-Schmidt stability.’ Journal of Algebra 663. doi: 10.1016/j.jalgebra.2024.08.042.
    • Tu P, Ye H, Shi H, Young J, Xie M, Zhao P, Zheng C, Jiang X, Chen X. . ‘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, Wang S. . ‘Optimising allocation of marketing resources among offline channel retailers: A bi-clustering-based model.’ Journal of Business Research 186: 114914.
    • Zhang J, Jiang X. . ‘Evolutionary training set pruning for boosting interpolation kernel machines.’ In Pattern Recognition Applications and Methods. [accepted / in Press (not yet published)]

    • Bender, Magnus; Braun, Tanya; Möller, Ralf; Gehrke, Marcel. . ‘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; Gehrke, Marcel. . ‘ReFrESH – Relation-preserving Feedback-reliant Enhancement of Subjective Content Descriptions.’ Contributed 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; Gehrke, Marcel. . ‘Colour Passing Revisited: Lifted Model Construction with Commutative Factors.’ In AAAI-24 Proceedings of the 38th AAAI Conference on Artificial Intelligence, edited by Wooldridge, Michael; Dy, Jennifer; Natarajan Sriraam, 20500–20507. Palo Alto, CA: AAAI Press. doi: 10.1609/aaai.v38i18.30034.
    • Hartwig, Mattis; Möller, Ralf; Braun, Tanya. . ‘An Extended View on Lifting Gaussian Bayesian Networks.’ Artificial Intelligence 330: 104082. doi: 10.1016/j.artint.2024.104082.
    • Luttermann, Malte; Hartwig, Mattis; Braun, Tanya; Möller, Ralf; Gehrke, Marcel. . ‘Lifted Causal Inference in Relational Domains.’ In CLeaR-24 Proceedings of the 3rd Conference on Causal Learning and Reasoning, edited by Locatello, Francesco; Didelez, Vanessa, 827–842.: MLResearchPress. [accepted / in Press (not yet published)]
    • Herber, Paula; Wijs, Anton (Eds.): . 18th International Conference on integrated Formal Methods, {iFM} 2023. Heidelberg: Springer. doi: 10.1007/978-3-031-47705-8.
    • Adelt Julius; Gebker Julian; Herber Paula. . ‘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; Schaefer, I (Eds.): . Ernst Denert Software Engineering Award 2022. Berlin: Springer Nature. doi: 10.1007/978-3-031-44412-8_1.
    • Borrelli, Gabriel; Evers, Marina; Linsen, Lars. . ‘Efficient Adaptive Multiresolution Aggregations of Spatio-temporal Ensembles.’ Contributed to the EuroVis, Odense. doi: 10.2312/pgv.20241128.
    • Gerasimova Maria, Monod Nicolas. . ‘A family of exotic group C*-algebras.’ Advances in Mathematics 442: 109594. doi: 10.1016/j.aim.2024.109594.
    • Amir Gideon, Blachar Guy, Gerasimova Maria, Kozma Gady. . ‘Lipschitz harmonic functions on vertex-transitive graphs.’ Electronic Communications in Probability 29. doi: 10.1214/24-ECP588.
    • Gerasimova Maria, Shchepin Konstantin. . ‘Virtually free groups are 𝑝-Schatten stable .’ Proceedings of the American Mathematical Society 152, № 01: 411–421. doi: 10.1090/proc/16411.
    • Thießen, Thore; Vahrenhold, Jan. . ‘Optimal Offline ORAM with Perfect Security via Simple Oblivious Priority Queues.’ In Proceedings of the 35th International Symposium on Algorithms and Computation (ISAAC 2024), edited by Mestre, Julián; Wirth, Anthony. Wadern: Dagstuhl Publishing. doi: 10.4230/LIPIcs.ISAAC.2024.36. [accepted / in Press (not yet published)]
    • Herick, Maria; Joachim, Michael; Vahrenhold, Jan. . ‘Adaptive Approximation of Persistent Homology.’ Journal of Applied and Computational Topology 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; Vahrenhold, Jan (Hrsg.): . 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.
    • Eickelmann, Birgit; Fröhlich, Nadine; Bos, Wilfried; Gerick, Julia; Goldhammer, Frank; Schaumburg, Heike; Schwippert, Knut; Senkbeil, Martin; Vahrenhold, Jan. . „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 Eickelmann, Birgit; Fröhlich, Nadine; Bos, Wilfried; Gerick, Julia; Goldhammer, Frank; Schaumburg, Heike; Schwippert, Knut; Senkbeil, Martin; Vahrenhold, Jan, 7–45. Münster: Waxmann. doi: 10.31244/9783830999492.01.
    • Eickelmann, Birgit; Vahrenhold, Jan; Drossel, Kerstin; Niggemeier, Johannes; Niemann, Jan. . „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 Eickelmann, Birgit; Fröhlich, Nadine; Bos, Wilfried; Gerick, Julia; Goldhammer, Frank; Schaumburg, Heike; Schwippert, Knut; Senkbeil, Martin; Vahrenhold, Jan, 255–287. Münster: Waxmann. doi: 10.31244/9783830999492.08.
    • Niehage, Mathis; Remke, Anne. . ‘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, edited by Kalyvianaki, Evangelia; Paolieri, Marco, 61–81. Heidelberg: Springer. doi: 10.1007/978-3-031-48885-6_5.
    • Vahrenhold, Jan. . „Das systematische Vorgehen im Fokus.“ In Wirksamer Informatikunterricht. Unterrichtsqualität: Perspektiven von Expertinnen und Experten, herausgegeben von Komm, Dennis, 198–206. Baltmannsweiler: Schneider Verlag Hohengehren.
    • Xiao J, Zhong Y, Jia Y, Wang Y, Jiang X, Wang S. . ‘A novel deep ensemble model for imbalanced credit scoring in internet finance.’ International Journal of Forecasting 40, № 1: 348–372.
    • Xiao J, Wen Z, Jiang X, Yu L, Wang S. . ‘Three-stage research framework to assess and predict the financial risk of SMEs based on hybrid method.’ Decision Support Systems 177: 114090.
    • Chen J, Pi D, Jiang X, Xu Y, Chen Y, Wang X. . ‘Denosieformer: A transformer based approach for single-channel EEG artifact removal.’ IEEE Transactions on Instrumentation and Measurement 73: 1–16.
    • Eminaga o, Saad F, Tian Z, Wolffgang U, Karakiewicz P, Ouellet V, Azzi F, Spieker T, Helmke B, Graefen M, Jiang X, Xing L, Witt J, Trudel D, Leyh-Bannurah SM. . ‘Artificial intelligence unravels interpretable malignancy grades of prostate cancer on histology images.’ npj Imaging 2: 6.
    • Zhang J, Jiang X. . ‘Classification performance boosting for interpolation kernel machines by training set pruning using genetic algorithm.’ In Prof. of ICPRAM, edited by M. Castrillon-Santana, M. De Marsico, A. Fred, 428–435. Setúbal: SciTePress.
    • Hegselmann S, Shen Z, Gierse F, Agrawal M, Sontag D, Jiang X. . ‘A data-centric approach to generate faithful and high quality patient summaries with large language models.’ In Conference on Health, Inference, and Learning (CHIL), edited by N.A., 339–379. New York: MLResearchPress.
    • Rexeisen R, Jiang X. . ‘Challenging the robustness of image registration similarity metrics with adversarial attacks.’ In Biomedical Image Registration, edited by M. Modat, I. Simpson, Ž. Špiclin, W. Bastiaansen, A. Hering, T.C.W. Mok, 112–126. Heidelberg: Springer.
    • Zhang J, Liu CL, Jiang X. . ‘Polynomial kernel learning for interpolation kernel machines with application to graph classification.’ Pattern Recognition Letters 186: 7–13.
    • Manongga WC, Chen RC, Jiang X. . ‘Enhancing road marking sign detection in low-light conditions with YOLOv7 and contrast enhancement techniques .’ International Journal of Applied Science and Engineering 21, № 3: 2023515.
    • Zhang J, Jiang X. . ‘Regularization of interpolation kernel machines.’ In Proc. of ICPR. [accepted / in Press (not yet published)]
    • Rezaei S, Jiang X. . ‘Superpixel-based sparse labeling for efficient and certain medical image annotation.’ In Proc. of ICPR. [accepted / in Press (not yet published)]
    • Duhme C, Lippe C, Voerr V, Jiang X. . ‘Transformer-based parameter fitting of models derived from Bloch-McConnell Equations for CEST MRI analysis.’ In Proc. of MLMI@MICCAI, edited by Xu X, Cui Z, Rekik I, Ouyang X, Sun K, 108–116. New York City: Springer Publishing.
    • Leenings R, Konowski M, Winter NR, Ernsting J, Fisch L, Barkhau C, Dannlowski U, Lügering A, Jiang X, Hahn T. . ‘C-TRUS: A novel dataset and initial benchmark for colon wall segmentation in transabdominal ultrasound .’ In Proc. of ASMUS@MICCAI, edited by Gómez A, Khanal V, King AP, Namburete AL, 101–111. New York City: Springer Publishing.
    • Oehm JB, Wenning O, Storck M, Jiang X, Varghese F. . ‘Automatic extraction of medication data from semi-structured prescriptions.’ In Proc. of MIE. [accepted / in Press (not yet published)]
    • Kara AC, Rana D, Glorius F, Jiang X. . ‘ChemGraph Explainer: A graphical user interface for explaining predictions of graph neural networks in chemistry.’ In Proc. of ECML Workshop ML4CCE. [accepted / in Press (not yet published)]
    • Jarrous-Holtrup, S; Abdinghoff, J; Schamel, F; Gorlatch, S. . ‘Towards an Autoscaling Service for Real-Time Online Interactive Applications on Clouds.’ In Euromicro Conference on Parallel, Distributed and Network-Based Processing, edited by Chis, A; González-Vélez, H., 1–8. New York City: Wiley-IEEE Press. doi: 10.1109/PDP62718.2024.00024.
    • Tomak, J.; Liermann, A.; Gorlatch, S. . ‘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, edited by Guisado-Lizar, JL.; Riscos-Núñez, A.; Morón-Fernández, MJ.; Wainer, G., 18–33. Heidelberg: Springer. doi: 10.1007/978-3-031-57523-5_2.
    • Garanina, N.; Gorlatch, S. . ‘KNOWLEDGE ACQUISITION IN MULTI-AGENT SYSTEMS: A FORMALIZATION OF THE ELEUSIS CARD GAME.’ Journal of Mathematical Sciences 281, № 2. doi: 10.1007/s10958-024-07107-y.
    • Rasch, Ari. . ‘(De/Re)-Composition of Data-Parallel Computations via Multi-Dimensional Homomorphisms.’ ACM Transactions on Programming Languages and Systems Just Accepted. doi: 10.1145/3665643.
    • Köpcke, Bastian; Gorlatch, Sergei; Steuwer, Michel. . ‘Descend: A Safe GPU Systems Programming Language.’ Proceedings of the ACM on Programming Languages 8, № PLDI: 841–864. doi: 10.1145/3656411.
    • Dornbusch, Maja; Vahrenhold, Jan. . ‘"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), edited by Denny, Paul; Porter, Leo; Hamilton, Margaret; Morrison, Briana, 14–26. New York, NY: ACM Press. doi: 10.1145/3632620.3671105.
    • Wortmann, Carolin; Vahrenhold, Jan. . ‘Regulation, Self-Efficacy, and Participation in CS1 Group Work.’ In Proceedings of the 2024 ACM Conference on International Computing Education Research (ICER 2024), edited by Denny, Paul; Porter, Leo; Hamilton, Margaret; Morrison, Briana, 359–373. New York, NY: ACM Press. doi: 10.1145/3632620.3671115.
    • Tasche P; Monti RE; Drerup SE; Blohm P; Herber P; Huisman M. . ‘Deductive Verification of Parameterized Embedded Systems Modeled in {SystemC}.’ In Verification, Model Checking, and Abstract Interpretation - 25th International Conference, {VMCAI} 2024, edited by Dimitrova, Rayna ; Lahav, Ori; Wolff, Sebastian, 187–209. Heidelberg: Springer. doi: 10.1007/978-3-031-50521-8\_9.
    • Beckmann, Daniel; Kockwelp, Jacqueline; Gromoll, Joerg; Kiefer, Friedemann;Risse, Benjamin. . ‘SAM meets Gaze: Passive Eye Tracking for Prompt-based Instance Segmentation.’ Proceedings of Machine Learning Research 2023.
    • Schick, Johannes; Wagner, Marc; Lippe, Wolfram-Manfred. . ‘Graphical and Textual Models Embedded in a Constructor-Driven Transformation.’ In Proceedings of the 18th IEEE International Conference on Semantic Computing, edited by IEEE Computer Society, or the Institute of Electrical and Electronics Engineers, Inc., 226–230. New York City: Wiley-IEEE Computer Society Press. doi: 10.1109/ICSC59802.2024.00065.
    • Evers, Marina; Derstroff, Adrian; Leistikow, Simon; Schneider, Tom; Mallepree, Larissa; Stampke, Jan; Leisgang, Moritz; Sprafke, Sebastian; Schuhl, Melina; Krefft, Niklas; Droese, Felix; Linsen, Lars. . ‘Visual analytics of soccer player performance using objective ratings.’ Information Visualization 1–15. doi: 10.1177/14738716231220539.
    • Derstroff, Adrian; Leistikow, Simon; Nahardani, Ali; Gruen, Katja; Franz, Marcus; Hoerr, Verena; Linsen, Lars. . ‘Interactive visual formula composition of multidimensional data classifiers.’ Information Visualization 0. doi: 10.1177/14738716241270288.
    • Rave, Hennes; Evers, Marina; Gerrits, Tim; Linsen, Lars. . ‘Region-based Visualization in Hierarchically Clustered Ensemble Volumes.’ Contributed to the International Symposium on Vision, Modeling, and Visualization (VMV 2024), Munich. doi: 10.2312/vmv.20241206.
    • Evers, Marina; Leistikow, Simon; Rave, Hennes; Linsen, Lars. . ‘Interactive Visual Analysis of Spatial Sensitivities.’ IEEE Transactions on Visualization and Computer Graphics 0: 1–15. doi: 10.1109/TVCG.2024.3433001.
    • Vogel-Heuser B.; Fay A.; Rupprecht B.; Kunze F.C.; Hankemeier V.; Westermann T.; Manca G. . ‘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; Linsen, Lars. . ‘De-cluttering Scatterplots with Integral Images.’ IEEE Transactions on Visualization and Computer Graphics 0: 1–13. doi: 10.1109/TVCG.2024.3381453.
    • Steinhorst, Phil; Duhme, Christof; Jiang, Xiaoyi; Vahrenhold, Jan. . ‘Recognizing Patterns in Productive Failure.’ In Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1, edited by Battestilli, Lina; Rebelsky, Samuel; Shoop, Libby, 1293–1299. 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; Nardi L. . ‘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, edited by Association for Computing Machinery, 19–42. New York, NY, USA: Association for Computing Machinery. doi: 10.1145/3623278.3624770.
    • Delicaris, Joanna; Stübbe, Jonas; Schupp, Stefan; Remke, Anne. . ‘RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems.’ In Performance Evaluation Methodologies and Tools, edited by Kalyvianaki, Evangelia; Paolieri, Marco, 170–182. Heidelberg: Springer. doi: 10.1007/978-3-031-48885-6_11.

    • Adelt J.; Bruch S.; Herber P.; Niehage M.; Remke A. . ‘Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink.’ In Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings, edited by Steffen, Bernhard, 94–118. Heidelberg: Springer. doi: 10.1007/978-3-031-46002-9_6.
    • Bender, Magnus; Braun, Tanya; Möller, Ralf; Gehrke, Marcel. . ‘Unsupervised Estimation of Subjective Content Descriptions.’ In ICSC-23 Proceedings of the 17th IEEE International Conference on Semantic Computing, edited by Bulterman, Dick; Kitazawa, Atsushi; Ostrowski, David; Sheu, Phillip; D'Auria, Daniela; Li, Kyle, 266–273. New York City: Wiley-IEEE Press. doi: 10.1109/ICSC56153.2023.00052.
    • Bender, Magnus; Braun, Tanya; Möller, Ralf; Gehrke, Marcel. . ‘LESS is More - LEan Computing for Selective Summaries.’ In Proceedings of the 46th German Conference on Artificial Intelligence, edited by Seipel, Dietmar; Steen , Alexander, 1–14. Heidelberg: Springer. doi: 10.1007/978-3-031-42608-7_1.

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: