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.

 
  • Latest Publications

    • 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 . [accepted / in Press (not yet published)]
    • 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. Piscataway, NJ : 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.
    • 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. New York, NY: ACM Press. doi: 10.1145/3632620.3671105. [accepted / in Press (not yet published)]
    • 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. New York, NY: ACM Press. doi: 10.1145/3632620.3671115. [accepted / in Press (not yet published)]
    • 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. London: Springer. doi: 10.1007/978-3-031-50521-8\_9.

    • Borrelli, Gabriel; Hagemann, Lars; Steinkühler, Jannik;Derstroff, Adrian;Evers, Marina;Huesmann, Karim;Leistikow, Simon;Rave, Hennes;Gol, Reyhaneh Sabbagh;Linsen, Lars. . ‘2022 IEEE Scientific Visualization Contest Winner: Multifield Analysis of Vorticity-Driven Lateral Spread in Wildfire Ensembles.’ IEEE Computer Graphics and Applications 44, No. 1: 40–49. doi: 10.1109/MCG.2023.3310298.
    • Rasch, Ari; Schulze, Richard; Shabalin, Denys; Elster, Anne; Gorlatch, Sergei; Hall, Mary. . ‘(De/Re)-Compositions Expressed Systematically via MDH-Based Schedules.’ In CC 2023: Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction, edited by Verbrugge, Clark, 61–72. New York: ACM Press. doi: 10.1145/3578360.3580269.

    • Wyrwoll, Margot J; Wabschke, Rebecca; Röpke, Albrecht; Wöste, Marius; Ruckert, Christian; Perrey, S; Rotte, Nadja; Hardy, J; Astica, L; Lupiáñez, Darío G; Wistuba, Joachim; Westernströer, Birgit; Schlatt, Stefan; Berman, Andrea J; Müller, AM; Kliesch, Sabine; Yatsenko, Alexander N; Tüttelmann, Frank; Friedrich, Corinna. . ‘Analysis of copy number variation in men with non-obstructive azoospermia.’ Andrology 10, No. 8: 1593–1604. doi: 10.1111/andr.13267.
    • Kockwelp P, Junga A, Valkov D, Marschall B, Holling M, Risse B. . ‘Towards VR Simulation-Based Training in Brain Death Determination.’ In 2022 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops (VRW), edited by IEEE, 287–292. 2022 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops (VRW): Wiley-IEEE Press.
    • Thiele, Sebastian; Risse, Benjamin. . ‘Narrowing Attention in Capsule Networks.’ In 26th International Conference on Pattern Recognition, edited by IEEE, 2679–2685. 26th International Conference on Pattern Recognition (ICPR): Wiley-IEEE Press.
    • Kockwelp, Jacqueline; Thiele, Sebastian; Kockwelp, Pascal; Bartsch, Jannis; Schliemann, Christoph; Angenendt, Linus; Risse, Benjamin. . ‘Cell Selection-based Data Reduction Pipeline for Whole Slide Image Analysis of Acute Myeloid Leukemia.’ In The IEEE / CVF Computer Vision and Pattern Recognition Conference (CVPR), edited by IEEE/CVF, 1825–1834. In Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition: Wiley-IEEE Press.
    • Nahardani, Ali; Leistikow, Simon; Grün, Katja; Krämer, Martin; Herrmann, Karl-Heinz; Schrepper, Andrea; Jung, Christian; Moradi, Sara; Schulze, Paul Christian; Linsen, Lars; Reichenbach, Jürgen R; Hoerr, Verena; Franz, Marcus. . ‘Pulmonary Arteriovenous Pressure Gradient and Time-Averaged Mean Velocity of Small Pulmonary Arteries Can Serve as Sensitive Biomarkers in the Diagnosis of Pulmonary Arterial Hypertension: A Preclinical Study by 4D-Flow MRI.’ Diagnostics 12, No. 1: 58. doi: 10.3390/diagnostics12010058.
    • Rave H., Fincke J., Averkamp S., Tangerding B., Wehrenberg L.P., Gerrits T., Huesmann K., Leistikow S., Linsen L. . ‘Multifaceted Visual Analysis of Oceanographic Simulation Ensemble Data.’ IEEE Computer Graphics and Applications 42, No. 4: 80–88. doi: 10.1109/MCG.2021.3098096.
    • Derstroff A, Leistikow S, Nahardani A, Ebrahimi M, Hoerr V, Linsen L.Explorative Visual Analysis of Spatio-temporal Regions to Detect Hemodynamic Biomarker Candidates.’ contributed to the EuroVis 2022, Rom, .
    • Schoppmeier, Marcel; Herber, Paula. . ‘Simulation of Timing Attacks and Challenges for Early Side-Channel Security Analysis.’ In Designing Modern Embedded Systems: Software, Hardware, and Applications: 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3–4, 2022, Proceedings, edited by Henkler, Stefan; Kreutz, Marcio Eduardo; Wehrmeister, Marco A.; Götz, Marcelo; Rettberg, Achim, 16–27. Cham: Springer. doi: 10.1007/978-3-031-34214-1_2.
    • Abate, Alessandro; Blom, Henk; Delicaris, Joanna; Haesaert, Sofie; Hartmanns, Arnd; van Huijgevoort, Birgit; Lavaei, Abolfazl; Ma, Hao; Niehage, Mathis; Remke, Anne; Schön, Oliver; Schupp, Stefan; Soudjani, Sadegh; Willemsen, Lisa. . ‘ARCH-COMP22 Category Report: Stochastic Models.’ In Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), edited by Frehse, Goran; Althoff, Matthias; Schoitsch, Erwin; Guiochet, Jeremie, 113–141. München: EasyChair. doi: 10.29007/lsvc.
    • Borrelli G.; Hagemann L.; Steinkühler J.; Derstroff A.; Evers M.; Huesmann K.; Leistikow S.; Rave H.; Gol R.S.; Linsen L. . ‘How Wildfires Spread and Why: Visual Multi-field Analysis of Vorticity-driven Lateral Spread Ensembles.’ In Proceedings of IEEE VIS 2022 - Winner of the SciVis Contest 2022, edited by -, -. Proceedings of IEEE VIS 2022: Wiley-IEEE Press.
    • Nahardani, A.; Krämer, M.; Ebrahimi, M.;Herrmann, K.-H.; Leistikow, S.; Linsen, L.; Moradi, S.; Reichenbach, J.R.; Hoerr, V. . ‘Time-resolved velocity mapping at high magnetic fields: A preclinical comparison between stack-of-stars and cartesian 4D-Flow.’ Frontiers in Physics No. 10: 925. doi: 10.3389/fphy.2022.963807.
    • da Silva, Carina. . „SMC und zeitlich begrenzte Erreichbarkeitsanalyse für HPnGs.“ In Ausgezeichnete Informatikdissertationen 2021, herausgegeben von Steffen Hölldobler, Steffen; Reischuk, Rüdiger; Apel, Sven; Bernstein, Abraham; Freiling, Felix C.; Lenhof, Hans-Peter; Neumann, Gustaf; Römer, Kay Uwe; Scheuermann, Björn; Schweikardt, Nicole; Wehrle, Klaus, 11–20. Bonn: Köllen.

    • Preciado-Marquez D, Becker L, Storck M, Greulich L, Dugas M, Brix TJ. . ‘MainzelHandler: A Library for a Simple Integration and Usage of the Mainzelliste.’ In Public Health and Informatics, edited by Mantas John, Stoicu-Tivadar Lăcrămioara, Chronaki Catherine, Hasman Arie, Weber Patrick, Gallos Parisis, Crişan-Vida Mihaela, Zoulias Emmanouil, Chirila Oana Sorina, 233–237. online: IOP Publishing. doi: 10.3233/SHTI210155.
    • Tobias J. Brix, Ludger Becker, Timm Harbich, Johannes Oehm, Maximilian Fechner, Martin Dugas, Michael Storck. . ‘ODM Clinical Data Generator: Syntactically Correct Clinical Data Based on Metadata Definition.’ In German Medical Data Sciences: Bringing Data to Life, edited by Röhrig Rainer, Beißbarth Tim, Brannath Werner, Prokosch Hans-Ulrich, Schmidtmann Irene, Stolpe Susanne, Zapf Antonia, 35–40. doi: 10.3233/SHTI210048.
    • Herber Paula, Adelt Julius, Liebrenz Timm. . ‘Formal Verification of Intelligent Cyber-Physical Systems with the Interactive Theorem Prover KeYmaera X.’ In Proceedings of the Software Engineering 2021 Satellite Events, Braunschweig/Virtual, Germany, February 22 - 26, 2021, edited by Götz S, Linsbauer L, Schaefer I, Wortmann A, 1–4.: CEUR-WS.
    • Valkov Dimitar, Thiele Sebastian, Huesmann Karim, Risse Benjamin. . ‘Touch Recognition on Complex 3D Printed Surfaces using Filter Response Analysis.’ Contributed to the IEEE VR Workshop on Novel Input Devices and Interaction Techniques (NIDIT), Online. [online first]
    • Rasch Ari, Schulze Richard, Steuwer Michel, Gorlatch Sergei. . ‘Efficient Auto-Tuning of Parallel Programs with Interdependent Tuning Parameters via Auto-Tuning Framework (ATF).’ ACM Transactions on Architecture and Code Optimization 18, No. 1: 1–26. doi: 10.1145/3427093.
    • Huesmann Karim, Rodriguez Luis Garcia, Linsen Lars, Risse Benjamin. . ‘The Impact of Activation Sparsity on Overfitting in Convolutional Neural Networks.’ In The Impact of Activation Sparsity on Overfitting in Convolutional Neural Networks.: Springer International Publishing.
    • Haalck Lars, Risse Benjamin. . ‘Embedded Dense Camera Trajectories in Multi-Video Image Mosaics by Geodesic Interpolation-based Reintegration.’ Contributed to the Winter Conference on Applications of Computer Vision, Waikoloa, Hawaii.
    • Thiele Sebastian, Haalck Lars, Struffert Marvin, Scherber Christoph, Risse Benjamin. . ‘Towards Visual Insect Camera Traps.’ Contributed to the International Conference on Pattern Recognition (ICPR) Workshop on Visual observation and analysis of Vertebrate And Insect Behavior (VAIB), Milan.
    • Remke, Anne. . ‘Prof. Dr.’ Contributed to the 2021 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm), Aachen, Deutschland.
    • Gutsfeld Jens Oliver, Müller-Olm Markus, Dielitz Christian. . ‘Temporal Logics with Language Parameters.’ In Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings, edited by Leporati Alberto, Martı́n-Vide Carlos, Shapira Dana Zandron Claudio, 187–199.: Springer. doi: 10.1007/978-3-030-68195-1\_14.
    • Evers M, Leistikow S, Derstroff A, Gerrits T, Huesmann K, Hollenbeck J, Seljami J, Linsen L. . ‘Visual Analysis of Spatio-temporal Features in Multi-field Earth's Mantle Convection Simulations.’ In Proceedings of IEEE VIS 2021, edited by -, -. Proceedings of IEEE VIS 2021: Wiley-IEEE Press.
    • Angenendt L, Wöste M, Mikesch JH, Arteaga MF, Angenendt A, Sandmann S, Berdel WE, Lenz G, Dugas M, Meshinchi S, Schliemann C, Rössig C. . ‘Calcitonin receptor-like (CALCRL) is a marker of stemness and an independent predictor of outcome in pediatric AML.Blood Advances 5, No. 21: 4413–4421. doi: 10.1182/bloodadvances.2021005236.

    • Leitão E, Di Persio S, Laurentino S, Wöste M, Dugas M, Kliesch S, Neuhaus N, Horsthemke B. . ‘The sperm epigenome does not display recurrent epimutations in patients with severely impaired spermatogenesis.’ Clinical Epigenetics 121, No. 1: 61. doi: 10.1186/s13148-020-00854-0.
    • Pilch, Carina; Krause, Maurice; Remke, Anne; Ábrahám, Erika. . ‘A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata.’ In NASA Formal Methods, edited by Lee, Ritchie; Jha, Susmit; Mavridou, Anastasia; Giannakopoulou, Dimitr, 381–400. Cham: Springer. doi: 10.1007/978-3-030-55754-6_23.
    • Pieper U, Vahrenhold J. . ‘Critical Incidents in K-12 Computer Science Classrooms - Towards Vignettes for Computer Science Teacher Training.’ In Proceedings of the 51st ACM Technical Symposium on Computer Science Education, edited by Heckman S, Monge A, Cutter P, 978–984. New York, NY: ACM Press. doi: 10.1145/3328778.3366926.
    • Wöste Marius, Leitão Elsa, Laurentino Sandra, Horsthemke Bernhard, Rahmann Sven, Schröder Christopher. . ‘wg-blimp: an end-to-end analysis pipeline for whole genome bisulfite sequencing data.’ BMC Bioinformatics 2020. doi: 10.1186/s12859-020-3470-5.
    • Hagedorn Bastian, Lenfers Johannes, Koehler Thomas, Qin Xueying, Gorlatch Sergei, Steuwer Michel. . ‘Achieving High-Performance the Functional Way: A Functional Pearl on Expressing High-Performance Optimizations as Rewrite Strategies.’ In Proceedings of the ACM on Programming Languages. USA.
    • Herick M, Molchanov V, Linsen L. . ‘Temporally Coherent Topological Landscapes for Time-varying Scalar Fields.’ In Proceedings of the 15th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications -- Volume 3: IVAPP, 54–61.: SciTePress. doi: 10.5220/0008956300540061.
    • Molchanov V, Hamid S, Linsen L. . ‘Efficient Morphing of Shape-preserving Star Coordinates.’ In 2020 IEEE Pacific Visualization Symposium (PacificVis), 136–145.: Wiley-IEEE Press. doi: 10.1109/PacificVis48177.2020.8199. [online first]
    • Khanam T, Sandmann S, Seggewiss J, Ruether CM, Zimmermann M, Norvil A, Bartenhagen C, Randau G, Mueller S, Herbrüggen H, Hoffmann P, Herms S, Wei L, Wöste M, Wünsch C, Gowher H, Oschlies I, Klapper W, Woessmann W, Dugas M, Burkhardt B. . ‘Integrative genomic analysis of pediatric T- cell lymphoblastic lymphoma reveals candidates of clinical significance.’ Blood 2020. doi: 10.1182/blood.2020005381.
    • Reutter K, Sandmann S, Rohde J, Müller S, Wöste M, Khanam T, Michgehl U, Klapper W, Wö{ß}mann W, Seggewi{ß} J, Lenz G, Dugas M, Burkhardt B. . ‘Reconstructing clonal evolution in relapsed and non-relapsed Burkitt lymphoma.’ Leukemia 2020.
    • Varghese J, Fujarski M, Hahn T, Dugas M, Warnecke T. . ‘The Smart Device System for Movement Disorders: Preliminary Evaluation of Diagnostic Accuracy in a Prospective Study.’ Studies in Health Technology and Informatics 270: 889–893.
    • Wyrwoll MJ, Temel ?, Nagirnaja L, Oud MS, Lopes AM, {van der Heijden} GW, Heald JS, Rotte N, Wistuba J, Wöste M, Ledig S, Krenz H, Smits RM, Carvalho F, Gon{çc}}alves J, Fietz D, Türkgen{çc}} B, Ergören MC, {çC}}etinkaya M, Ba?ar M, Kahraman S, McEleny K, Xavier MJ, Turner H, Pilatz A, Röpke A, Dugas M, Kliesch S, Neuhaus N, {GEMINI Consortium}, Aston KI, Conrad DF, Veltman JA, Friedrich C, Tüttelmann F. . ‘Bi-allelic Mutations in M1AP Are a Frequent Cause of Meiotic Arrest and Severely Impaired Spermatogenesis Leading to Male Infertility.’ American Journal of Human Genetics 107, No. 2: 342–351. doi: 10.1016/j.ajhg.2020.06.010.
    • Sandmann S, Wöste M, Graaf AO, Burkhardt B, Jansen JH, Dugas M. . ‘CopyDetective: Detection threshold-aware copy number variant calling in whole-exome sequencing data.’ GigaScience 9, No. 11. doi: 10.1093/gigascience/giaa118.
    • Fechner M, Brix TJ, Hardt T, Oehm J, Dugas M, Storck M. . ‘Evaluation of openEHR Repositories Regarding Standard Compliance.’ Studies in Health Technology and Informatics 270: 592–596.
    • Salas-Huetos A, Tüttelmann F, Wyrwoll MJ, Kliesch S, Lopes AM, Con{çc}}alves J, Boyden SE, Wöste M, Hotaling JM, {GEMINI Consortium}, Nagirnaja L, Conrad DF, Carrell DT, Aston KI, Jenkins TG, O'Bryan MK, McLachlan R, Schlegel PN, Eisenberg ML, Sandlow JI, Smith JF, Kamal P, Ober C, Sigman M, Hwang K, Jungheim ES, Omurtag KR, Carvalho F, Fernandes S, Barros A, Gon{çc}}alves J, Laan M, Punab M, {Rajpert-De Meyts} E, J{ø}rgensen N, Almstrup K, Krausz CG, Jarvi KA, Jezek D. . ‘Disruption of human meiotic telomere complex genes TERB1, TERB2 and MAJIN in men with non-obstructive azoospermia.’ Human genetics 2020.
    • Rave H., Fincke J., Averkamp S., Tangerding B., Wehrenberg L.P., Gerrits T., Huesmann K., Leistikow S., Linsen L. . ‘Interactive Visual Analysis of Oceanographic Simulation Ensemble Data.’ In Proceedings of IEEE VIS 2020 - Winner of the 2020 SciVis Contest 2020, edited by -, -. Proceedings of IEEE VIS 2020: Wiley-IEEE Press.

    • Hesse-Edenfeld C, Steinke MJ, Santalidis N, Huesmann K, Leistikow S, Linsen L. . ‘Interactive Multi-Level Visualization of Combined Particle and Multi-Field Cosmology Data.’ In IEEE VIS 2019 - SciVis Contest (Honorable Mention).
    • Rasch, Ari; Schulze, Richard; Gorus, Waldemar; Hiller, Jan; Bartholomäus, Sebastian; Gorlatch, Sergei. . ‘High-performance Probabilistic Record Linkage via Multi-dimensional Homomorphisms.’ In Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, edited by ACM, 526–533. New York, NY, USA: ACM Press. doi: 10.1145/3297280.3297330.
    • Hamid S, Derstroff A, Klemm S, Ngo Q. Q., Jiang X, Linsen L. . ‘Visual ensemble analysis to study the influence of hyper-parameters on training deep neural networks.’ In Machine Learning Methods in Visualisation for Big Data, edited by Archambault, Daniel and Nabney, Ian and Peltonen, Jaakko.: The Eurographics Association. doi: 10.2312/mlvis.20191160.
    • Rasch Ari, Bigge Julian, Wrodarczyk Martin, Schulze Richard, Gorlatch Sergei. . ‘dOCAL: high-level distributed programming with OpenCL and CUDA.’ The Journal of Supercomputing 65: 1–22. doi: 10.1007/s11227-019-02829-2.
    • Rasch A, Gorlatch S. . ‘ATF: A generic directive‐based auto‐tuning framework.’ Concurrency Computation - Practice and Experience 31, No. 5. doi: 10.1002/cpe.4423.
    • Varghese J, Fujarski M, Dugas M. . ‘StudyPortal - Geovisualization of Study Research Networks.’ Journal of Medical Systems 44, No. 1: 22.
    • Varghese J, Fujarski M, Dugas M. . ‘StudyPortal - A Novel Method to Visualize Study Research Networks.’ Studies in Health Technology and Informatics 258: 163.
    • Riepenhausen S, Varghese J, Neuhaus P, Storck M, Meidt A, Hegselmann S, Dugas M. . ‘Portal of Medical Data Models: Status 2018.’ Studies in Health Technology and Informatics 258: 239–240.
    • Ropke A, Kockerling N, Wyrwoll MJ, Emich J, Woste M, Dugas M, Pilatz A, Schuppe H, Diemer T, Fietz D, Krallmann C, Kliesch S, Friedrich C, Tuttelmann F. . ‘Genetic analysis of 24 candidate genes validates TEX14, TEX11, NR5A1 and DMRT1 as clinically relevant for non-obstructive azoospermia.’ European Journal of Human Genetics 27 2: 1191.
    • {van der Bijl} N, Röpke A, Biswas U, Wöste M, Jessberger R, Kliesch S, Friedrich C, Tüttelmann F. . ‘Mutations in the stromal antigen 3 (STAG3) gene cause male infertility due to meiotic arrest.’ Human Reproduction 34, No. 11: 2112–2119.
    • Philipp Kather. . ‘On Understanding Algorithm Comprehension and Development.’ In ICER '19: Proceedings of the 2019 ACM Conference on International Computing Education Research, edited by McCartney R, Robins R, 333–334. New York, NY, USA: ACM Press. doi: 10.1145/3291279.3339432.

    • Wöste Marius, Dugas Martin. . ‘VIPER: a web application for rapid expert review of variant calls.’ Bioinformatics 34, No. 11: 1928–1929. doi: 10.1093/bioinformatics/bty022.
    • Rasch A, Gorlatch S. . ‘ATF: A Generic, Directive-Based Auto-Tuning Framework.’ Concurrency Computation - Practice and Experience 30, No. 3. doi: 10.1002/cpe.4423.

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: