 | Up a level |
Meyer, Tom (2023) A Symmetric Petri Net Model of Generic Publish-Subscribe Systems for Verification and Business Process Conformance Checking. In: International Workshop on Petri Nets and Software Engineering (PNSE'23), 26-27 Jun 2023, Lisbon,Portugal. Proceedings, published by CEUR Workshop Proceedings, Aachen, Germany, pp. 88-109.
Meyer, Tom and Andelfinger, Philipp and Ruscheinski, Andreas and Uhrmacher, Adelinde M. (2022) Seamless Simulation-Based Verification and Validation of Event-Driven Software Systems. In: Winter Simulation Conference (WSC 2022), 11-14 Dec 2022, Singapore. Proceedings, published by IEEE, pp. 2130-2141.
Shawki, Mohamad Rafek (2022) Explorative Analyse der ClinVar Datenbank. Bachelor thesis, Institute for Visual and Analytic Computing, University of Rostock.
Zuska, Marian (2022) Priorisierung genetischer Varianten mit Hilfe probabilistischer graphischer Modelle. Bachelor thesis, Institute for Visual and Analytic Computing, University of Rostock.
Meyer, Tom and Ruscheinski, Andreas and Wilsdorf, Pia and Uhrmacher, Adelinde M. (2021) Simulation-Supported Engineering of Self-Adaptive Software Systems. In: Winter Simulation Conference (WSC 2021), 13-16 Dec 2021, Phoenix, Arizona, USA. Proceedings, published by IEEE Press, pp. 1-12.
Ruscheinski, Andreas and Reimler, Anna Lena and Ewald, Roland and Uhrmacher, Adelinde M. (2021) VPMBench: a test bench for variant prioritization methods. BMC Bioinformatics, 22 (1), p. 541. ISSN 1471-2105.
Drüeke, Nicola M. (2020) Erklärbarkeit von Ensemble-Methoden zur Variantenpriorisierung. Bachelor thesis, Institute for Visual and Analytic Computing, University of Rostock.
Poggenberg, Stefan (2020) Runtime Verification von Simulationen eines selbst-adaptiven Systems zur Variantenpriorisierung. Masters thesis, Institute for Visual and Analytic Computing, University of Rostock.
