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

    • Automatische Skalierbarkeit in verteilten Systemen mit Echtzeit-Anforderungen ( - )
      Gefördertes Einzelprojekt: GS electronic Gebr. Schönweitz GmbH
    • NVIDA Graduate Fellowship award ( - )
      Gefördertes Einzelprojekt: Nvidia Corporation
    • HPC²SE - Verbundprojekt: HPC2SE - Hardware- und Leistungsorientierte Codegenerierung für Informatik und Ingenieurwesen ( - )
      Beteiligung in einem BMBF-Verbund: Bundesministerium für Bildung und Forschung | Förderkennzeichen: 01IH16003B
    • EXC 1003 A6 - Analyse von Bewegung in Zellsysytemen ( - )
      Teilprojekt in DFG-Verbund koordiniert an WWU: DFG - Exzellenzcluster | Förderkennzeichen: EXC1003/1
    • 9th International Symposium on High-Level Parallel Programming and Applications ()
      Wissenschaftliche Veranstaltung: Teilnahmebeiträge/Tagungsgebühren
    • Data Structures and Algorithms for RDF on Many-Core Systems ( - )
      Beteiligung in sonstigen Verbundvorhaben: Deutscher Akademischer Austauschdienst | Förderkennzeichen: 57084841
    • MONICA - Mobile Cloud Computing: Networks, Services and Architecture ( - )
      EU-Projekt koordiniert außerhalb der WWU: EU FP 7 - Marie Curie Actions - Internationaler Forschungspersonalaustausch | Förderkennzeichen: PIRSES-GA-2011-295222
    • OFERTIE - OpenFlow in Real-Time Internet Edutainment ( - )
      EU-Projekt koordiniert außerhalb der WWU: EU FP 7 - Collaborative Project | Förderkennzeichen: 318665
    • SFB 656 PM13 - SFB 656 PM13 - Parallele 4D-Bildrekonstruktionsverfahren ( - )
      Teilprojekt in DFG-Verbund koordiniert an WWU: DFG - Sonderforschungsbereich
    • Optimierung von Scheduling-Mechanismen innerhalb der ATIS-Softwareprodukte ( - )
      Gefördertes Einzelprojekt: Wirtschaft
    • EDUTAIN@GRID - A scalable QoS-enabled business Grid Environment for multi-user real-time online interactive applications ( - )
      EU-Projekt koordiniert außerhalb der WWU: EU FP 6 - Specific Targeted Research Projects | Förderkennzeichen: 034601
    • Durchführung einer gemeinsam betreuten Diplomarbeit/Vereinbarung mit der OVSoftware GmbH ( - )
      Gefördertes Einzelprojekt: Wirtschaft
    • ITSoftTeam - ITSoftTeam ( - )
      EU-Projekt koordiniert außerhalb der WWU: EU - TEMPUS | Förderkennzeichen: TEMPUS CD_JEP-26195-2005
    • CoreGrid - European research network on foundations, software infrastructures and applications for large scale distributed, grid and peer-to-peer technologies ( - )
      EU-Projekt koordiniert außerhalb der WWU: EU FP 6 - Networks of Excellence | Förderkennzeichen: 4265
    • COFFEE - Collective Operations: Formal Framework, Equalities, Efficiency ( - )
      Gefördertes Einzelprojekt: DFG - Sachbeihilfe/Einzelförderung | Förderkennzeichen: GO 756/4-2
  • Publikationen

    • Gehrke, Marcel; Möller, Ralf; Braun, Tanya. . ‘Who did it? Identifying the Most Likely Origins of Events.’ In PGM-22 Proceedings of the 11th International Conference on Probabilistic Graphical Models, edited by Salmerón, Antonio; Rumı́, Rafael, 217–228. digital: PMLR.
    • Bender Magnus, Kuhr Felix, Braun Tanya, Möller Ralf.Estimating Context-Specific Subjective Content Descriptions using BERT.“ contributed to the 16th IEEE International Conference on Semantic Computing, Virtual, .
    • Bender Magnus, Kuhr Felix, Braun Tanya. . ‘To Extend or not to Extend? Complementary Documents.’ In ICSC-22 Proceedings of the 16th IEEE International Conference on Semantic Computing, edited by Bulterman, Dick; Kitazawa, Atsushi; Ostrowski, David; Sheu, Phillip; Tsai, Jeffrey; Bansal, Srividya; D'Auria, Daniela; Mertens, Robert, 17–24. Digital: IEEE Press. doi: 10.1109/ICSC52841.2022.00011.
    • Thiele, Sebastian; Risse, Benjamin. . ‘Narrowing Attention in Capsule Networks.’ In 26th International Conference on Pattern Recognition. [akzeptiert / in Druck (unveröffentlicht)]
    • Kockwelp, Jacqueline; Thiele, Sebastian; Kockwelp, Pascal; Bartsch, Janis; 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). [akzeptiert / in Druck (unveröffentlicht)]
    • Nahardani, Ali; Leistikow, Simon; Grün, Katja; Krämer, Martin; Herrmann, Karl-Heinz; Schrepper, Andrea; Jung, Christian; Moradi, Sara; Schulze, Paul Christian; Linsen, Lars. . ‘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, Nr. 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, Nr. 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, .
    • 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), 287–292. [akzeptiert / in Druck (unveröffentlicht)]
    • Mohammed, O. T.; Paznikov, A. A.; Gorlatch, S. . ‘Accelerating Neural Network Training Process on Multi-Core Machine Using OpenMP.’ In 2022 III International Conference on Neural Networks and Neurotechnologies (NeuroNT), edited by IEEE, 7–11. Sankt Petersburg: IEEE Press. doi: 10.1109/NeuroNT55429.2022.9805549.
    • Abadeer, Mina; Magharious, Sameh; Gorlatch, Sergei. . ‘Modeling and interactive simulation of measures against infection transmission.’ Simulation: Transactions of the Society for Modeling and Simulation International I, Nr. 20. doi: 10.1177/00375497221133849.
    • Drees D, Eilers F, Jiang X. . ‘Hierarchical random walker segmentation for large volumetric biomedical images.’ IEEE Transactions on Image Processing 31: 4431–4446. doi: 10.1109/TIP.2022.3185551.
    • Drees D, Eilers F, Bian A, Jiang X. . ‘A Bhattacharyya coefficient-based framework for noise model-aware random walker image segmentation.’ In Proc. of GCPR. [akzeptiert / in Druck (unveröffentlicht)]
    • Stender Mareike, Hartwig Mattis, Braun Tanya, Möller Ralf. . ‘Increasing State Estimation Accuracy in the Inference Algorithm on a Hybrid Factor Graph Model.’ In FLAIRS-35 Proceedings of the 35th International FLAIRS Conference, edited by Bartak, Roman; Franklin, D. Michael; Keshtkar, Fazel; Chun, Soon Ae, 1–6. Digital: Florida Online Journals. doi: 10.32473/flairs.v35i.130682.
    • Hoffmann, Moritz; Braun, Tanya; Möller, Ralf. . ‘Lifted Division for Lifted Hugin Belief Propagation.’ In AISTATS-22 Proceedings of the 25th International Conference on Artificial Intelligence and Statistics, edited by Camps-Valls, Gustau; Ruiz, Francisco J. R.; Valera, Isabel, 6501–6510. Digital: Proceedings of Machine Learning Research.
    • Braun, Tanya; Gehrke, Marcel; Lau, Florian; Möller, Ralf. . ‘Lifting in Multi-agent Systems under Uncertainty.’ In UAI-22 Proceedings of the 38th Conference on Uncertainty in Artificial Intelligence, edited by Cussens, James; Zhang, Kun, 233–243. digital: PMLR.
    • Bender, Magnus; Kuhr, Felix; Braun, Tanya. . ‘To Extend or not to Extend? Enriching a Corpus with Complementary and Related Documents.’ International Journal of Semantic Computing 16, Nr. 4. doi: 10.1142/S1793351X2240013X.
    • Braun, Tanya; Gehrke, Marcel. . ‘Explainable and Explorable Decision Support.’ In Proceedings of the 27th International Conference on Conceptual Structures (ICCS 2022), edited by Braun, Tanya; Cristea, Diana; Jäschke, Robert, 99–114. Heidelberg: Springer Nature. doi: 10.1007/978-3-031-16663-1_8.
    • Lau, Florian; Braun, Tanya; Möller, Ralf; Fischer, Stefan. . ‘Using decPOMDPcoms to Holistically Model and Program Nanodevices and Emergent Nanonetworks.’ In NanoCom-22 Proceedings of the 9th ACM International Conference on Nanoscale Computing and Communication 2022. [akzeptiert / in Druck (unveröffentlicht)]
    • Braun, Tanya; Cristea, Diana; Jäschke, Robert (Eds.): . Graph-Based Representation and Reasoning. Heidelberg: Springer Nature. doi: 10.1007/978-3-031-16663-1.
    • Thießen, Thore; Vahrenhold, Jan. . ‘Klee’s Measure Problem Made Oblivious.’ In LATIN 2022: Theoretical Informatics, 15th Latin American Symposium, Guanajuato, Mexico, November 7–11, 2022, Proceedings, edited by Castañeda, Armando; Rodríguez-Henríquez, Francisco, 121–138. Cham: Springer Cham. doi: 10.1007/978-3-031-20624-5_8.
    • Evers M, Herick M, Molchanov V, Linsen L. . ‘Coherent Topological Landscapes for Simulation Ensembles.’ In Computer Vision, Imaging and Computer Graphics Theory and Applications, edited by Bouatouch K. et al., 223–237. Springer Verlag.
    • Adelt, Julius; Herber, Paula; Niehage, Mathis; Remke, Anne. . ‘Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty.’ In Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I, edited by Margaria, Tiziana; Steffen, Bernhard, 299–319. Rhodes, Greece: Springer. doi: 10.1007/978-3-031-19849-6_18.
    • Niehage, Mathis; Remke, Anne. . ‘Learning that Grid-Convenience Does Not Hurt Resilience in the Presence of Uncertainty.’ In Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings, edited by Bogomolov, Sergiy; Parker, David, 298–306. Warsaw, Poland: Springer Cham. doi: 10.1007/978-3-031-15839-1_17.
    • Adelt, Julius; Brettschneider, Daniel; Herber, Paula. . ‘Reusable Contracts for Safe Integration of Reinforcement Learning in Hybrid Systems.’ In Automated Technology for Verification and Analysis - 20th International Symposium, {ATVA} 2022, Virtual Event, October 25-28, 2022, Proceedings, edited by Bouajjani A, Hol{í}}k L, Wu Z, 58–74. China: Springer. doi: 10.1007/978-3-031-19992-9\_4.
    • Adelt Julius, Gebker Julian, Herber Paula. . ‘Towards Reusable Formal Models for Custom Real-Time Operating Systems.’ In Formal Methods for Industrial Critical Systems - 27th International Conference, {FMICS} 2022, Warsaw, Poland, September 14-15, 2022, Proceedings, edited by Groote JF, Huisman M, 69–85. Warsaw, Poland: Springer. doi: 10.1007/978-3-031-15008-1\_6.

    • 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]
    • 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, Italy. [akzeptiert / in Druck (unveröffentlicht)]
    • Salem Abdel-Badeeh Mohamed, Gorlatch Sergei (Eds.): . Materials, Computer Engineering and Education Technology. : Trans Tech Publications. doi: 10.4028/www.scientific.net/AST.105.
    • Borisenko Andrey, Gorlatch Sergei. . ‘Efficient GPU-parallelization of batch plants design using metaheuristics with parameter tuning.’ Journal of Parallel and Distributed Computing 154: 74–81. doi: 10.1016/j.jpdc.2021.03.012.
    • Tomak J, Gorlatch S. . ‘Measuring Performance of Fault Management in a Legacy System: An Alarm System Study.’ In Modelling, Analysis, and Simulation of Computer and Telecommunication Systems. MASCOTS 2020, edited by Calzarossa M, Gelenbe E, Grochla K, Lent R, Czachórski T, 129–146. Cham: Springer. doi: 10.1007/978-3-030-68110-4_9.
    • 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, Nr. 1: 1–26. doi: 10.1145/3427093.
    • Jarrous-Holtrup S, Schamel F, Hofer K, Gorlatch S. . ‘A Scalable Cloud Deployment Architecture for High-Performance Real-Time Online Applications.’ In High Performance Computing, edited by Jagode H, Anzt H, Ltaief H, Luszczek P, 395–405. Cham: Springer. doi: 10.1007/978-3-030-90539-2_26.
    • Abadeer M, Magharious S, Gorlatch S. . ‘Introducing Interactivity in Disaster Recovery Simulations.’ In New Trends in Intelligent Software Methodologies, Tools and Techniques, edited by Fujita H, Perez-Meana H, 267–280. Amsterdam: IOS Press. doi: 10.3233/FAIA210026.
    • Kucher V, Gorlatch S. . ‘Implicit Data Layout Optimization for Portable Parallel Programming in C++.’ In Parallel Computing Technologies, edited by Malyshkin V, 223–234. Cham: Springer. doi: 10.1007/978-3-030-86359-3_17.
    • Evers M, Huesmann K, Linsen L. . ‘Uncertainty-aware Visualization of Regional Time Series Correlation in Spatio-temporal Ensembles.’ Computer Graphics Forum 40, Nr. 3: 519–530. doi: 10.1111/cgf.14326.
    • 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: IEEE.
    • Seep J, Vahrenhold J. . ‘K-Means for Semantically Enriched Trajectories.’ In Proceedings of the 1st ACM SIGSPATIAL International Workshop on Animal Movement Ecology and Human Mobility (HANIMOB'21), edited by Hachem F, Ossi F, Cagnacci F, Damiani L, Demsar U, 38–47. New York, NY: ACM Press. doi: 10.1145/3486637.3489495.
    • Thießen T, Vahrenhold J. . ‘Oblivious Median Slope Selection.’ In Proceedings of the 33rd Canadian Conference on Computational Geometry, edited by He M, Sheehy D, 320–331.
    • Gutsfeld Jens Oliver, Müller-Olm Markus, Ohrem Christoph. . ‘Automata and Fixpoints for Asynchronous Hyperproperties.’ Proc. ACM Program. Lang. (POPL) 5, Nr. POPL: 1–29. doi: 10.1145/3434319.
    • 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.
    • Abate Alessandro, Blom Henk, Bouissou Marc, Cauchi Nathalie, Chraibi Hassane, Delicaris Joanna, Haesaert Sofie, Hartmanns Arnd, Khaled Mahmoud, Lavaei Abolfazl, Ma Hao, Mallik Kaushik, Niehage Mathis, Remke Anne, Schupp Stefan, Shmarov Fedor, Soudjani Sadegh, Thorpe Adam, Turcuman Vlad, Zuliani Paolo. . ‘ARCH-COMP21 Category Report: Stochastic Models.’ In 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 55–89. doi: 10.29007/dprv.
    • Niehage, Mathis; Hartmanns, Arnd; Remke, Anne. . ‘Learning optimal decisions for stochastic hybrid systems.’ In MEMOCODE '21: Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20-22, 2021, edited by Saha, Indranil; Zhang, Lijun, 44–55. Virtual Event, China: Association for Computing Machinery. doi: 10.1145/3487212.3487339.
    • Adelt J, Liebrenz T, Herber P. . ‘Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning Toolbox.’ In Formal Methods, edited by Huisman M, Pasareanu C, Zhan N, 349–366. Cham: Springer International Publishing. doi: 10.1007/978-3-030-90870-6_19.
    • Herber P, Liebrenz T, Adelt J. . ‘Combining Forces: How to Formally Verify Informally Defined Embedded Systems.’ In Formal Methods, edited by Huisman M, Pasareanu C, Zhan N, 3–22. Cham: Springer International Publishing. doi: 10.1007/978-3-030-90870-6_1.

    • Huesmann K, Klemm S, Linsen L, Risse B. . Exploiting the Full Capacity of Deep Neural Networks while Avoiding Overfitting by Targeted Sparsity Regularization. arXiv e-print:2002.09237: CoRR.
    • Doronin O, Dergun K, Dergachev A, Ilina A, Gorlatch S. . ‘Testing of multithreaded applications with locks on non-atomic variables.’ Scientific and Technical Journal of Information Technologies, Mechanics and Optics 20, Nr. 2: 243–248. doi: 10.17586/2226-1494-2020-20-2-243-248.
    • Kholod Ivan, Shorov Andrey, Gorlatch Sergei. . ‘Efficient Distribution and Processing of Data for Parallelizing Data Mining in Mobile Clouds.’ Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications 11, Nr. 1: 2–17. doi: 10.22667/JOWUA.2020.03.31.002.
    • Kucher Vladyslav, Hunloh Jens, Gorlatch Sergei. . ‘Performance Portability and Unified Profiling for Finite Element Methods on Parallel Systems.’ Advances in Science, Technology and Engineering Systems Journal (ASTESJ) 5, Nr. 1: 119–127. doi: 10.25046/aj050116.
    • Kholod I, Shorov A, Gorlatch S. . ‘Improving Parallel Data Mining for Different Data Distributions in IoT Systems.’ In Intelligent Distributed Computing XIII, edited by Kotenko I, Badica C, Desnitsky V, El Baz D, Ivanovic M, 75–85. Cham: Springer. doi: 10.1007/978-3-030-32258-8_9.
    • Abadeer Mina, Gorlatch Sergei. . ‘Simulating Infection Transmission: A Case Study of COVID-19.’ In Modelling and Simulation 2020, edited by Nketsa Alexandre, Baron Claude, Foucher Clément, 310–317. Toulouse: EUROSIS-ETI.
    • Garanina N, Anureev I, Siderova E, Koznov D, Zyubin V, Gorlatch S. . ‘An Ontology-Based Approach to Support Formal Verification of Concurrent Systems.’ In Formal Methods. FM 2019 International Workshops, edited by Sekerinski E, Moreira N, Oliveira JN, Ratiu D, Guidotti R, Farrell M, Luckcuck M, Marmsoler D, Campos J, Astarte T, Gonnord L, Cerone A, Couto L, Dongol B, Kutrib M, Monteiro P, Delmas D, 114–130. doi: 10.1007/978-3-030-54994-7_9.
    • Anureev I, Garanina N, Lyakh T, Rozov A, Zyubin V, Gorlatch S. . ‘Dedicative Verification of Reflex Programs.’ Programming and Computer Software 46: 261–272. doi: 10.1134/S0361768820040027.
    • Zhang Y, Humernbrum T, Gorlatch S. . ‘A Plug-in Framework for Efficient Multicast Using SDN.’ In Wireless Internet, edited by Deng DJ, Pang AC, Lin CC, 271–284. Cham: Springer. doi: 10.1007/978-3-030-52988-8_24.
    • 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.
    • Rasch A, Schulze R, Gorlatch S. . ‘md_poly: A Performance-Portable Polyhedral Compiler Based on Multi-Dimensional Homomorphisms.’ Contributed to the 10th International Workshop on Polyhedral Compilation Techniques, Bologna, Italy.
    • Kholod I, Rukavitsyn A, Paznikov A, Gorlatch S. . ‘Parallelization of the self-organized maps algorithm for federated learning on distributed sources.’ The Journal of Supercomputing 2020. doi: 10.1007/s11227-020-03509-2.
    • Garanina N, Anureev I, Zyubin V, Rozov A, Liakh T, Gorlatch S. . ‘Reasoning about Programmable Logic Controllers.’ System Informatics 2020, Nr. 17: 33–42.
    • Leistikow S, Huesmann K, Fofonov A, Linsen L. . ‘Aggregated Ensemble Views for Deep Water Asteroid Impact Simulations.’ IEEE Computer Graphics and Applications 40, Nr. 1: 72–81. doi: 10.1109/MCG.2019.2915215.
    • Gutsfeld Jens, Müller-Olm Markus, Ohrem Christoph. . ‘Propositional Dynamic Logic for Hyperproperties.’ In 31st International Conference on Concurrency Theory, edited by Konnov Igor, Kovács Laura.: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. doi: 10.4230/LIPIcs.CONCUR.2020.50.

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: