Publications

@article{grossAssayBasedMachineLearningRethinking2026,
 author = {Groß, Joschka and Backenköhler, Michael and Volkamer, Andrea},
 doi = {10.1039/D6DD00472E},
 eprint = {https://pubs.rsc.org/dd/article-pdf/doi/10.1039/D6DD00472E/15052126/d6dd00472e.pdf},
 issn = {2635-098X},
 journal = {Digital Discovery},
 month = {11},
 title = {Assay-Based Machine Learning: Rethinking Evaluation in Drug Discovery},
 url = {https://doi.org/10.1039/D6DD00472E},
 year = {2026}
}

@inproceedings{faltenbacherHowPCBasedMethodsErr2026,
 author = {Faltenbacher, Sofia and Wahl, Jonas and Herman, Rebecca Jean and Runge, Jakob},
 booktitle = {Proceedings of the 42nd Conference on Uncertainty in Artificial Intelligence},
 editor = {Perković, Emilija and Malinsky, Daniel},
 month = {Aug},
 pages = {1498--1519},
 pdf = {https://raw.githubusercontent.com/mlresearch/v337/main/assets/faltenbacher26a/faltenbacher26a.pdf},
 publisher = {PMLR},
 series = {Proceedings of Machine Learning Research},
 title = {How PC-based Methods Err: Towards Better Reporting of Assumption Violations and Small Sample Errors},
 url = {https://proceedings.mlr.press/v337/faltenbacher26a.html},
 volume = {337},
 year = {2026}
}

@article{aalailaChaoticAndComplexDynamics2026,
 author = {Yahya Aalaila and Gerrit Großmann and Sumantrak Mukherjee and Jonas Wahl and Sebastian Vollmer},
 doi = {10.1038/s41598-026-52349-2},
 journal = {Scientific Reports (Sci Rep)},
 month = {6},
 number = {1},
 pages = {1-14},
 publisher = {Springer Nature},
 title = {Chaotic and complex dynamics expose the limits of counterfactual reasoning},
 url = {https://www.nature.com/articles/s41598-026-52349-2},
 volume = {16},
 year = {2026}
}

@article{grossEvaluationBeyondGoodnessOf2026,
 author = {Joschka Groß and Michael Backenköhler and Paula Linh Kramer and Raquel López-Ríos De Castro and Guillermo Pérez-Hernández and Verena Wolf and Andrea Volkamer},
 doi = {10.1016/j.ailsci.2026.100169},
 journal = {Artificial Intelligence in the Life Sciences (AILSCI)},
 month = {6},
 number = {article 100169},
 pages = {1-17},
 publisher = {Elsevier},
 title = {Evaluation beyond goodness of fit: Quantifying biophysical alignment of AI models for kinase-centric drug discovery},
 url = {https://www.sciencedirect.com/science/article/pii/S2667318526000176?via%3Dihub},
 volume = {9},
 year = {2026}
}

@inproceedings{mullerPerDomainGeneralizingPoliciesOn2026,
 author = {Müller, Nicola J. and Oster, Moritz and Valera, Isabel and Hoffmann, Jörg and Gros, Timo P.},
 booktitle = {Proceedings of the Thirty-Sixth International Conference on Automated Planning and Scheduling. International Conference on Automated Planning and Scheduling (ICAPS-2026), June 27 - July 2, Dublin, Ireland},
 doi = {10.1609/icaps.v36i1.42889},
 isbn = {ISSN 2334-0843},
 month = {6},
 number = {1},
 pages = {703-707},
 publisher = {AAAI Press},
 title = {Per-Domain Generalizing Policies: On Learning Efficient and Robust Q-Value Functions},
 url = {https://ojs.aaai.org/index.php/ICAPS/article/view/42889},
 volume = {36},
 year = {2026}
}

@article{reiterCausalInferenceOnProcess2026,
 author = {Nicolas-Domenic Reiter and Jonas Wahl and Andreas Gerhardus and Jakob Runge},
 doi = {10.3150/25-BEJ1909},
 journal = {Bernoulli},
 month = {5},
 number = {2},
 pages = {1356-1382},
 publisher = {Bernoulli Society for Mathematical Statistics and Probability},
 title = {Causal inference on process graphs: Causal structure and effect identification},
 url = {https://www.dfki.de/fileadmin/user_upload/import/16775_casual_inference_on_process_graphs.pdf},
 volume = {32},
 year = {2026}
}

@inproceedings{khadarAICHAOS2ndWorkshop2026,
 author = {Malik Khadar and Julia Cecil and Leon Van Der Neut and Nikola Banovic and Kevin Baum and Stevie Chancellor and Enrico Costanza and Motahhare Eslami and Anna Maria Feit and Susanne Gaube and Ujwal Gadiraju and Harmanpreet Kaur},
 booktitle = {CHI EA '26: Proceedings of the Extended Abstracts of the 2026 CHI Conference on Human Factors in Computing Systems. International Conference Extended Abstracts on Human Factors in Computing Systems (CHI EA-26), April 13-17, Barcelona, Spain},
 doi = {10.1145/3772363.3778736},
 isbn = {979-8-4007-2281-3},
 month = {4},
 number = {article 919},
 pages = {1-6},
 publisher = {ACM, New York, NY, USA},
 title = {AI CHAOS! 2nd Workshop on the Challenges for Human Oversight of AI Systems},
 url = {https://dl.acm.org/doi/10.1145/3772363.3778736},
 year = {2026}
}

@article{linhkramerCustomkinfraglibFilteringTheKinaseFocused2026,
 author = {Linh Kramer, Paula and Buchthal, Katharina and Sydow, Dominique and Sonja Leo, Katharina and Volkamer, Andrea},
 doi = {10.1021/acsomega.5c12231},
 eprint = {https://pubs.acs.org/acsodf/article-pdf/11/10/16369/63264601/ao5c12231.pdf},
 issn = {2470-1343},
 journal = {ACS omega},
 month = {03},
 number = {10},
 pages = {16369--16380},
 publisher = {ACS Publications},
 title = {Customkinfraglib: Filtering the kinase-focused fragmentation library},
 url = {https://doi.org/10.1021/acsomega.5c12231},
 volume = {11},
 year = {2026}
}

@article{grossBCosGNNsFaithfulExplanations2026,
 author = {Groß, Joschka and Solanki, Mohammad Shaique and Wolf, Verena},
 journal = {arXiv preprint arXiv:2605.19778},
 title = {B-cos GNNs: Faithful Explanations through Dynamic Linearity},
 year = {2026}
}

@article{meyerPGTGProcedurallyGeneratedGridBased2026,
 author = {Joshua Meyer and Felix Maurice Kuntz and Verena Wolf and Jörg Hoffmann and Timo P. Gros},
 journal = {Reinforcement Learning Journal},
 pages = {},
 title = {PGTG: Procedurally Generated Grid-Based Traffic Gym},
 url = {https://rlj.cs.umass.edu/2026/papers/Paper32.pdf},
 volume = {7},
 year = {2026}
}

@inproceedings{mullerTowardAGeneralFramework2026,
 author = {Müller, Nicola J. and Rudolph, Naya and Taitler, Ayal and Gros, Timo P.},
 booktitle = {Workshop on Planning in the Era of LLMs at ICAPS-26},
 title = {Toward a General Framework for Evaluating Per-Domain Generalization Using LLMs, Theorem Provers, and Statistical Model Checking},
 url = {https://openreview.net/pdf?id=MLnzKKBdT4},
 year = {2026}
}

@inbook{baumUtilitarismusUndDasProblem2026,
 author = {Kevin Baum},
 booktitle = {Handbuch Utilitarismus},
 editor = {Vuko Andrić and Bernward Gesang},
 pages = {163-176},
 publisher = {Springer-Verlag},
 title = {Utilitarismus und das Problem kollektiven Handelns},
 url = {https://link.springer.com/chapter/10.1007/978-3-662-71326-6_16},
 year = {2026}
}

@article{meinelWhatAreAISystems2026,
 author = {Philip Meinel and Kevin Baum and Holger Hermanns and Emily Pöppelmann and Markus Langer and Anne Lauber-Ronsberg},
 doi = {10.1016/j.clsr.2026.106373},
 journal = {Computer Law & Security Review},
 number = {106373},
 pages = {1-12},
 publisher = {Elsevier},
 title = {What are AI systems? Rethinking the core definition in the EU AI Act},
 url = {https://www.sciencedirect.com/science/article/pii/S2212473X26001148},
 volume = {62},
 year = {2026}
}

@inproceedings{mullerLearningPerDomainGeneralizingPolicies2025,
 author = {Nicola J. Müller and Moritz Oster and Timo P. Gros},
 booktitle = {Proceedings of the Ninth Workshop on Bridging the Gap Between AI Planning and (Reinforcement) Learning (PRL @ ICAPS 2025). Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL-2025), located at ICAPS'25, November 10, Melbourne, Australia},
 month = {11},
 publisher = {AAAI Press},
 title = {Learning Per-Domain Generalizing Policies Using Offline Reinforcement Learning},
 url = {https://prl-theworkshop.github.io/prl2025-icaps/papers/11.pdf},
 year = {2025}
}

@article{castroTheJourneyOfData2025,
 author = {Raquel López-Ríos de Castro and Jaime Rodríguez-Guerra and David Schaller and Talia K Kimber and Corey Taylor and Jessica B White and Michael Backenköhler and Joschka Groß and Alexander M Payne and Benjamin Kaminow and Ivan Pulido and Sukrit Singh and Paula Linh Kramer and Guilermo Pérez-Hernández and Andrea Volkamer and John D Chodera},
 doi = {10.33011/livecoms.6.1.3875},
 editor = {David L. Mobley and Michael R. Shirts and Daniel M. Zuckerman},
 journal = {Living Journal of Computational Molecular Science (LiveCoMS)},
 month = {11},
 number = {1},
 pages = {3875-3875},
 publisher = {University of Colorado Boulder, Boulder, Colorado, USA},
 title = {The Journey of Data: Lessons Learned in Modeling Kinase Affinity, Selectivity, and Resistance [Article v1. 0]},
 url = {https://www.dfki.de/fileadmin/user_upload/import/16917_The_Journey_of_Data_Lessons_Learned_in_Modeling_Ki.pdf},
 volume = {6},
 year = {2025}
}

@inproceedings{grosPyDSMCStatisticalModelChecking2025,
 author = {Timo P. Gros and Arnd Hartmanns and Ivo Hoese and Joshua Meyer and Nicola J. Müller and Verena Wolf},
 booktitle = {Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Second International Joint Conference, Proceedings. International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems (QEST+FORMATS-2025), August 26-28, Aarhus, Denmark},
 doi = {10.1007/978-3-032-05792-1_8},
 editor = {Pavithra Prabhakar and Andrea Vandin},
 isbn = {978-3-032-05791-4},
 month = {10},
 pages = {134-156},
 publisher = {Springer Nature, Switzerland},
 series = {Lecture Notes in Computer Science, LNCS},
 title = {PyDSMC: Statistical Model Checking for Neural Agents Using the Gymnasium Interface},
 url = {https://link.springer.com/chapter/10.1007/978-3-032-05792-1_8},
 volume = {16143},
 year = {2025}
}

@inproceedings{grosVisualAnalysisOfAction2025,
 author = {Timo P. Gros and David Groß and Julius Kamp and Stefan Gumhold and Jörg Hoffmann},
 booktitle = {World Conference on Explainable Artificial Intelligence. xAI: World Conference on Explainable Artificial Intelligence (xAI-2025), July 9-11, Istanbul, Turkey},
 month = {10},
 publisher = {Springer Berlin Heidelberg, Heidelberg},
 title = {Visual Analysis of Action Policy Behavior: A Case Study in Grid-World Driving},
 year = {2025}
}

@article{reinhardtOutcomesAddressedByWholeBody2025,
 author = {Svenja Reinhardt and Joshua Berger and Matthias Kohl and Simon von Stengel and Michael Uder and Wolfgang Kemmler},
 doi = {10.3390/sports13090302},
 journal = {Sports},
 month = {9},
 number = {302},
 pages = {1-25},
 publisher = {MDPI},
 title = {Outcomes Addressed by Whole-Body Electromyostimulation Trials in Sportspeople and Athletes—An Evidence Map Summarizing and Categorizing Current Findings},
 url = {https://www.mdpi.com/2075-4663/13/9/302},
 volume = {13(9)},
 year = {2025}
}

@inproceedings{eniserUsingActionPolicyTestingIn2025,
 author = {Hasan Ferit Eniser and Songtuan Lin and Nicola J. Müller and Anastasia Isychev and Valentin Wüstholz and Isabel Valera and Jörg Hoffmann and Maria Christakis},
 booktitle = {Proceedings of the Eighteenth International Symposium on Combinatorial Search. International Symposium on Combinatorial Search (SoCS-2025), August 12-15, Scotland, United Kingdom},
 doi = {10.1609/socs.v18i1.35990},
 editor = {Maxim Likhachev and Hana Rudová and Enrico Scala},
 isbn = {13 978-1-57735-901-2},
 month = {8},
 pages = {181-185},
 publisher = {AAAI Press, Washington, DC, USA},
 title = {Using Action-Policy Testing in RL to Reduce the Number of Bugs},
 url = {https://ojs.aaai.org/index.php/SOCS/article/view/35990},
 volume = {18},
 year = {2025}
}

@article{lohseSortabilityOfTimeSeries2025,
 author = {Christopher Lohse and Jonas Wahl},
 editor = {Adam Arany},
 journal = {Transactions on Machine Learning Research (TMLR)},
 month = {7},
 pages = {---},
 publisher = {-},
 title = {Sortability of Time Series Data},
 url = {https://openreview.net/forum?id=OGvmCpcHdV},
 volume = {-},
 year = {2025}
}

@inproceedings{bingStructuralCausalBottleneckModels2025,
 author = {Simon Bing and Jonas Wahl and Jakob Runge},
 booktitle = {UAI 2025 Workshop on Causal Abstractions and Representations. Causal Abstractions and Representations (CAR), located at UAI 2025, July 25, Rio de Janeiro, Brazil},
 month = {6},
 publisher = {OpenReview},
 title = {Structural Causal Bottleneck Models},
 url = {https://openreview.net/forum?id=EFNvKMSITB},
 year = {2025}
}

@article{beckerReferenceValuesForStatic2025,
 author = {Stephan Becker and Anna Thomas and Lilli Ulrich and Laura Becker and Carlo Dindorf and Joshua Berger and Michael Fröhlich},
 doi = {10.1186/s13102-025-01128-z},
 journal = {BMC Sports Science, Medicine and Rehabilitation},
 month = {4},
 number = {94},
 pages = {1-11},
 publisher = {BioMed Central},
 title = {Reference values for static posturography of sportive and healthy adults aged 18-30 years},
 url = {https://link.springer.com/article/10.1186/s13102-025-01128-z#citeas},
 volume = {17},
 year = {2025}
}

@article{bergerInfluenceOfWBEMSOn2025,
 author = {Joshua Berger and Patrick Berndt and Christoph Eifler and Wolfgang Kemmler and Michael Fröhlich},
 doi = {10.55860/ULHO2155},
 journal = {Scientific Journal of Sport and Performance (SJSP)},
 month = {3},
 pages = {285-299},
 publisher = {Asociación Española de Análisis del Rendimiento Deportivo (AEAREDO)},
 title = {Influence of WB-EMS on strength endurance parameters and subjectively perceived back pain: A multicentre study},
 url = {https://sjsp.aearedo.es/index.php/sjsp/article/view/influence-wb-ems-strength-endurance-back-pain},
 volume = {4},
 year = {2025}
}

@article{araizaillanARoadmapForResponsible2025,
 author = {Dejanira Araiza-Illan and Kevin Baum and Helen Beebee and Raja Chatila and Sarah Moth-Lund Christensen and Simon Coghlan and Emily Collins and S.Kate Conroy and Alcino Cunha and Anna Dobrosovestnova and Hein Duijf and Vanessa Evers and Michael Fisher and Nico Hochgeschwender and Nadin Kökciyan and Séverin Lemaignan and Francisco Rodriguez-Lera and Sara Ljungblad and Martin Magnusson and Masoumeh Mansouri and Michael Milford and AJung Moon and Thomas M. Powers and Pericle Salvini and Teresa Scantamburlo and Nick Schuster and Marija Slavkovik and Ufuk Topcu and Daniel Vanegas and Andrzej Wasowski and Yi Yang},
 doi = {10.1109/MRA.2025.3620148},
 journal = {IEEE Robotics & Automation Magazine},
 number = {4},
 pages = {12-24},
 publisher = {IEEE},
 title = {A Roadmap for Responsible Robotics: Promoting Human Agency and Collaborative Efforts},
 url = {https://ieeexplore.ieee.org/abstract/document/11236462/authors#authors},
 volume = {32},
 year = {2025}
}

@inproceedings{baumAggregationProblemsInMachine2025,
 author = {Kevin Baum and Marija Slavkovik},
 booktitle = {Proceedings of the AAAI/ACM Conference on AI, Ethics, and Society. AAAI/ACM Conference on Artificial Intelligence, Ethics, and Society (AIES-2025)},
 doi = {10.1609/aies.v8i1.36554},
 publisher = {AAAI/ACM},
 title = {Aggregation Problems in Machine Ethics and AI Alignment},
 url = {https://ojs.aaai.org/index.php/AIES/article/view/36554},
 year = {2025}
}

@inproceedings{ajanoviBridgingTheGapBetween2025,
 author = {Zlatan Ajanovi and Timo P. Gros and Floris Den Hengst and Daniel Holler and Harsha Kokel and Ayal Taitler},
 booktitle = {AAAI 2025 Workshop Proceedings (PRL Workshop). Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL-2025), February 25},
 publisher = {AAAI Press},
 title = {Bridging the Gap Between AI Planning and Reinforcement Learning},
 url = {https://research.ibm.com/publications/bridging-the-gap-between-ai-planning-and-reinforcement-learning},
 year = {2025}
}

@inproceedings{baumDisentanglingAIAlignmentA2025,
 author = {Kevin Baum},
 booktitle = {AISoLA 2024. International Conference on Bridging the Gap between AI and Reality (AiSoLA-2024)},
 doi = {10.48550/arXiv.2506.06286},
 publisher = {Springer NAture Switzerland},
 title = {Disentangling AI Alignment: A Structured Taxonomy Beyond Safety and Ethics},
 url = {https://link.springer.com/chapter/10.1007/978-3-032-01377-4_8},
 year = {2025}
}

@article{schlickerHowDoWeAssess2025,
 author = {Nadine Schlicker and Kevin Baum and Alarith Ude and Sarah Sterz and Martin C. Hirsch and Markus Langer},
 editor = {Matthieu J. Guitton},
 journal = {Computers in Human Behavior},
 pages = {1-19},
 publisher = {Elsevier},
 title = {How do we assess the trustworthiness of AI? Introducing the trustworthiness assessment model (TrAM)},
 url = {https://www.sciencedirect.com/science/article/pii/S0747563225001189},
 volume = {170},
 year = {2025}
}

@inproceedings{baumJustificationsForDemocratizingAI2025,
 author = {Kevin Baum and Andre Steingrüber},
 booktitle = {AISoLA 2025. International Conference on Bridging the Gap between AI and Reality (AiSoLA-2025)},
 publisher = {Springer Nature Switzerland},
 title = {Justifications for Democratizing AI Alignment and Their Prospects},
 url = {https://arxiv.org/abs/2507.19548},
 year = {2025}
}

@inbook{baumLetsTalkAIWith2025,
 author = {Kevin Baum and Barbara Steffen},
 booktitle = {Let’s Talk AI: Interdisciplinarity Is a Must},
 editor = {Barbara Steffen and Edward A. Lee and Bernhard Steffen},
 pages = {104-112},
 publisher = {Springer Nature Switzerland},
 title = {Let’s Talk AI with philosophy and computer science expert Kevin Baum},
 url = {https://link.springer.com/chapter/10.1007/978-3-032-09008-9_12},
 year = {2025}
}

@inproceedings{langerOnTheComplexitiesOf2025,
 author = {Markus Langer and Veronika Lazar and Kevin Baum},
 booktitle = {International Conference on Bridging the Gap between AI and Reality. International Conference on Bridging the Gap between AI and Reality (AiSoLA-2025)},
 pages = {160-169},
 publisher = {Springer Nature Switzerland},
 title = {On the Complexities of Testing for Compliance with Human Oversight Requirements in AI Regulation},
 url = {https://www.dfki.de/fileadmin/user_upload/import/16858_978-3-032-07132-3.pdf},
 year = {2025}
}

@inproceedings{grosPerDomainGeneralizingPoliciesOn2025,
 author = {Timo P. Gros and Nicola J. Müller and Daniel Fiser and Isabel Valera and Verena Wolf and Jörg Hoffmann},
 booktitle = {The 35th International Conference on Automated Planning and Scheduling. International Conference on Automated Planning and Scheduling (ICAPS-2025), November 9-14, Melbourne, Australia},
 publisher = {AAAI Press},
 title = {Per-Domain Generalizing Policies: On Validation Instances and Scaling Behavior},
 url = {https://doi.org/10.5281/zenodo.15314878},
 year = {2025}
}

@inproceedings{kerstanResponsibleAndTrustedAI2025,
 author = {Sophia Kerstan and Kevin Baum and Thorsten Helfer and Markus Langer and Eva Schmidt and Andreas Sesing-Wagenpfeil and Timo Speith},
 booktitle = {International Conference on Bridging the Gap between AI and Reality. International Conference on Bridging the Gap between AI and Reality (AiSoLA-2025)},
 pages = {141-145},
 publisher = {Springer Nature Switzerland},
 title = {Responsible and Trusted AI: An Interdisciplinary Perspective (2025)},
 url = {https://www.dfki.de/fileadmin/user_upload/import/16856_978-3-032-07132-3.pdf},
 year = {2025}
}

@inproceedings{wahlSeparationBasedDistanceMeasuresFor2025,
 author = {Jonas Wahl and Jakob Runge},
 booktitle = {Proceedings of The 28th International Conference on Artificial Intelligence and Statistics. International Conference on Artificial Intelligence and Statistics (AISTATS-2025), May 3-5, Mai Khao, Thailand},
 pages = {3412-3420},
 publisher = {Proceedings of Machine Learning Research},
 title = {Separation-Based Distance Measures for Causal Graphs},
 url = {https://proceedings.mlr.press/v258/wahl25b.html},
 volume = {258},
 year = {2025}
}

@inproceedings{brouillardTheLandscapeOfCausal2025,
 author = {Philippe Brouillard and Chandler Squires and Jonas Wahl and Konrad Körding and Karen Sachs and Alexandre Drouin and Dhanya Sridhar},
 booktitle = {Proceedings of the Fourth Conference on Causal Learning and Reasoning. Conference on Causal Learning and Reasoning (CLeaR-2025)},
 organization = {PMLR},
 pages = {834-873},
 publisher = {MLResearchPress},
 title = {The Landscape of Causal Discovery Data: Grounding Causal Discovery in Real-World Applications},
 url = {https://proceedings.mlr.press/v275/brouillard25a},
 volume = {275},
 year = {2025}
}

@inproceedings{hermanUnitlessUnrestrictedMarkovConsistentSCM2025,
 author = {Rebecca J Herman and Jonas Wahl and Urmi Ninad and Jakob Runge},
 booktitle = {Proceedings of the Fourth Conference on Causal Learning and Reasoning. Conference on Causal Learning and Reasoning (CLeaR-2025)},
 pages = {1506-1531},
 publisher = {MLResearchPress},
 title = {Unitless Unrestricted Markov-Consistent SCM Generation: Better Benchmark Datasets for Causal Discovery},
 url = {https://proceedings.mlr.press/v275/herman25a.html},
 volume = {275},
 year = {2025}
}

@inproceedings{finkbeinerCounterfactualExplanationsForMITL2024,
 author = {Bernd Finkbeiner and Felix Jahn and Julian Siber},
 booktitle = {44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2024). IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS-2024), December 16-18},
 doi = {10.4230/LIPIcs.FSTTCS.2024.22},
 editor = {Siddharth Barman and Slawomir Lasota},
 isbn = {978-3-95977-355-3},
 month = {12},
 pages = {22:1-22:25},
 publisher = {Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, Dagstuhl, Germany},
 series = {Leibniz International Proceedings in Informatics, LIPIcs},
 title = {Counterfactual Explanations for MITL Violations},
 volume = {323},
 year = {2024}
}

@article{barzEffectsOfASymptomTitrated2024,
 author = {Andreas Barz and Joshua Berger and Marco Speicher and Arne Morsch and Markus Wanjek and Jürgen Rissland and Johannes Jäger},
 doi = {10.1038/s41598-024-82584-4},
 journal = {Nature Scientific Reports (Sci Rep)},
 month = {12},
 number = {744},
 pages = {1-11},
 publisher = {Springer Nature},
 title = {Effects of a symptom-titrated exercise program on fatigue and quality of life in people with post-COVID condition–a randomized controlled trial},
 url = {https://www.nature.com/articles/s41598-024-82584-4#citeas},
 volume = {15},
 year = {2024}
}

@inproceedings{meyerMARSMultiSampleAllocationThrough2024,
 author = {Joshua Meyer and Alexander Rath and Ömercan Yazici and Philipp Slusallek},
 booktitle = {SIGGRAPH Asia 2024 Conference Papers. ACM SiggraphAsia (SigAsia-2024), December 3-6, Tokyo, Japan},
 doi = {10.1145/3680528.3687636},
 isbn = {9798400711312},
 month = {12},
 publisher = {Association for Computing Machinery, New York, NY, USA},
 series = {SA '24, SA '24},
 title = {MARS: Multi-sample Allocation through Russian roulette and Splitting},
 url = {https://doi.org/10.1145/3680528.3687636},
 year = {2024}
}

@inproceedings{helferResponsibleAndTrustedAI2024,
 author = {Thorsten Helfer and Kevin Baum and Andreas Sesing-Wagenpfeil and Eva Schmidt and Markus Langer},
 booktitle = {Bridging the Gap Between AI and Reality - Second International Conference, Proceedings. International Conference on Bridging the Gap between AI and Reality (AiSoLA-2024), October 30 - November 3, Crete, Greece},
 doi = {10.1007/978-3-031-75434-0_3},
 edition = {1},
 editor = {Bernhard Steffen},
 isbn = {978-3-031-75433-3},
 month = {12},
 pages = {35-39},
 publisher = {Springer, Cham},
 series = {Lecture Notes in Computer Science, LNCS},
 title = {Responsible and Trusted AI: An Interdisciplinary Perspective},
 volume = {15217},
 year = {2024}
}

@inproceedings{baumTransparentTransparencyDevelopingA2024,
 author = {Deborah Baum and Kevin Baum and Sasha Zamani and Christian Bennoit and Dirk Werth},
 booktitle = {Bridging the Gap Between AI and Reality - Second International Conference, Proceedings. International Conference on Bridging the Gap between AI and Reality (AiSoLA-2024), October 30 - November 3, Crete, Greece},
 doi = {10.1007/978-3-031-75434-0_5},
 edition = {1},
 editor = {Bernhard Steffen},
 isbn = {978-3-031-75433-3},
 month = {12},
 pages = {55-73},
 publisher = {Springer, Cham},
 series = {Lecture Notes in Computer Science, LNCS},
 title = {Transparent Transparency Developing a Scheme for Understanding Transparency Requirements},
 volume = {15217},
 year = {2024}
}

@article{langerEffectiveHumanOversightOf2024,
 author = {Markus Langer and Kevin Baum and Nadine Schlicker},
 doi = {10.1007/s11023-024-09701-0},
 journal = {Minds and Machines - Journal for Artificial Intelligence, Philosophy and Cognitive Science},
 month = {11},
 number = {1},
 pages = {1-30},
 publisher = {Springer Nature},
 title = {Effective Human Oversight of AI-Based Systems: A Signal Detection Perspective on the Detection of Inaccurate and Unfair Outputs},
 volume = {35},
 year = {2024}
}

@article{kemmlerResponseCommentaryRevisedContraindications2024,
 author = {Wolfgang Kemmler and Michael Fröhlich and Oliver Ludwig and Christoph Eifler and Joshua Berger and Florian Micke and Heinz Kleinöder and Bernd Wegener and Christoph Zinner and Frank C Mooren and Marc Teschler and Andre Filipovic and S Müller and K England and Jens Vatter and Sebastian Authenrieth and Matthias Kohl and Simon von Thaden},
 doi = {10.3389/fspor.2024.1473103},
 editor = {Alessandra Di Cagno},
 journal = {Frontiers in Sports and Active Living},
 month = {10},
 pages = {1473103},
 publisher = {Frontiers Media SA},
 title = {Response: Commentary: Revised contraindications for the use of non-medical WB-electromyostimulation. Evidence-based German consensus recommendations”},
 volume = {6},
 year = {2024}
}

@inproceedings{baumTamingTheAIMonster2024,
 author = {Kevin Baum and Biewer Sebastian and Hermanns Holger and Hetmank Sven and Langer Markus and Lauber-Rönsberg Anne and Sterz Sarah},
 booktitle = {Model Checking Software - 30th International Symposium - Proceedings. International Symposium on Model Checking Software (SPIN-2024), April 8-9, Luxembourg City, Luxembourg},
 doi = {10.1007/978-3-031-66149-5_1},
 editor = {Thomas Neele and Anton Wijs},
 month = {10},
 pages = {3-25},
 publisher = {Springer Nature, Switzerland},
 series = {Lecture Notes in Computer Science, LNCS},
 title = {Taming the AI Monster: Monitoring of Individual Fairness for Effective Human Oversight},
 volume = {14624},
 year = {2024}
}

@article{baumActingForTheRight2024,
 author = {Kevin Baum and Lisa Dargasz and Felix Jahn and Timo P. Gros and Verena Wolf},
 doi = {arXiv:2409.15014},
 journal = {ArXiv e-prints (arxiv)},
 month = {9},
 pages = {1-10},
 publisher = {arXiv},
 title = {Acting for the Right Reasons: Creating Reason-Sensitive Artificial Moral Agents},
 volume = {1},
 year = {2024}
}

@article{schneiderMotionPrimitivesAsThe2024,
 author = {Tristan Schneider and Matheus V. A. Pedrosa and Timo P. Gros and Verena Wolf and Kathrin Flaßkamp},
 doi = {10.1109/TITS.2024.3436530},
 journal = {IEEE Transactions on Intelligent Transportation Systems},
 month = {9},
 number = {11},
 pages = {17852-17864},
 publisher = {IEEE},
 title = {Motion Primitives as the Action Space of Deep Q-Learning for Planning in Autonomous Driving},
 volume = {25},
 year = {2024}
}

@article{dindorfAssessingTheImpactOf2024,
 author = {Carlo Dindorf and Jonas Dully and Joshua Berger and Stephan Becker and Emanuel Wolf and Steven Simon and Eva Bartaguiz and Wolfgang Kemmler and Michael Fröhlich},
 doi = {10.3390/s24134100},
 journal = {Sensors - Open Access Journal (Sensors)},
 month = {6},
 number = {4100},
 pages = {1-16},
 publisher = {MDPI},
 title = {Assessing the Impact of Neuromuscular Electrical Stimulation-Based Fingerboard Training versus Conventional Fingerboard Training on Finger Flexor Endurance in Intermediate to Advanced Sports Climbers: A Randomized Controlled Study},
 url = {https://www.mdpi.com/1424-8220/24/13/4100},
 volume = {24},
 year = {2024}
}

@article{backenkohlerGuidedDockingAsA2024,
 author = {Michael Backenköhler and Joschka Groß and Verena Wolf and Andrea Volkamer},
 doi = {10.1021/acs.jcim.4c00055},
 journal = {Journal of Chemical Information and Modeling (JCIM)},
 month = {5},
 number = {10},
 pages = {4009-4020},
 publisher = {ACS Publications, Washington DC},
 title = {Guided docking as a data generation approach facilitates structure-based machine learning on kinases},
 url = {https://pubs.acs.org/doi/10.1021/acs.jcim.4c00055},
 volume = {64},
 year = {2024}
}

@inproceedings{bingIdentifyingLinearlyMixedCausalRepresentations2024,
 author = {Simon Bing and Urmi Ninad and Jonas Wahl and Jakob Runge},
 booktitle = {Proceedings of the Third Conference on Causal Learning and Reasoning. Conference on Causal Learning and Reasoning (CLeaR-2024)},
 editor = {Francesco Locatello and Vanessa Didelez},
 month = {4},
 pages = {843-867},
 publisher = {PMLR},
 series = {Proceedings of Machine Learning Research},
 title = {Identifying Linearly-Mixed Causal Representations from Multi-Node Interventions},
 url = {https://proceedings.mlr.press/v236/bing24a.html},
 volume = {236},
 year = {2024}
}

@article{stengelRevisedContraindicationsForThe2024,
 author = {Simon von Stengel and Michael Fröhlich and Oliver Ludwig and Christoph Eifler and Joshua Berger and Heinz Kleinöder and Florian Micke and Bernd Wegener and Christoph Zinner and Frank C Mooren and Marc Teschler and Andre Filipovic and Stephan Müller and Keven England and Jens Vatter and Sebastian Authenrieth and Matthias Kohl and Wolfgang Kemmler},
 doi = {10.3389/fspor.2024.1371723},
 editor = {Alessandra Di Cagno},
 journal = {Frontiers in Sports and Active Living},
 month = {4},
 pages = {1371723},
 publisher = {Frontiers Media SA},
 title = {Revised contraindications for the use of non-medical WB-electromyostimulation. Evidence-based German consensus recommendations},
 volume = {6},
 year = {2024}
}

@article{biewerSoftwareDopingAnalysisFor2024,
 author = {Sebastian Biewer and Kevin Baum and Sarah Sterz and Holger Hermanns and Sven Hetmank and Markus Langer and Anne Lauber-Rönsberg and Franz Lehr},
 doi = {10.1007/s10703-024-00445-2},
 journal = {Formal Methods in System Design},
 month = {4},
 pages = {1-50},
 publisher = {Springer},
 title = {Software doping analysis for human oversight},
 url = {https://link.springer.com/article/10.1007/s10703-024-00445-2#Abs1},
 volume = {62},
 year = {2024}
}

@article{tomkoCausalInferenceForSpatial2024,
 author = {Martin Tomko and Yanan Xin and Jonas Wahl},
 doi = {10.4230/DagRep.14.5.25},
 editor = {Martin Tomko and Yanan Xin and Jonas Wahl},
 journal = {Dagstuhl Reports},
 number = {5},
 pages = {25-57},
 publisher = {Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, Dagstuhl, Germany},
 title = {Causal Inference for Spatial Data Analytics (Dagstuhl Seminar 24202)},
 url = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.5.25},
 volume = {14},
 year = {2024}
}

@misc{mullerComparingStateOfTheArtGraphNeural2024,
 author = {Nicola J. Müller and Pablo Sánchez and Jörg Hoffmann and Verena Wolf and Timo P. Gros},
 booktitle = {ICAPS Workshop on Planning and Reinforcement Learning (PRL)},
 title = {Comparing State-of-the-art Graph Neural Networks and Transformers for General Policy Learning},
 year = {2024}
}

@inbook{liEnhancingGNNsWithArchitectureAgnostic2024,
 author = {Zhifei Li and Gerrit Großmann and Verena Wolf},
 booktitle = {Hocine Cherifi; Murat Donduran; Luis M. Rocha; Chantal Cherifi; Onur Varol;: International Conference on Complex Networks and Their Applications},
 pages = {183-194},
 publisher = {Springer Nature Switzerland},
 title = {Enhancing GNNs with Architecture-Agnostic Graph Transformations: A Systematic Analysis},
 url = {https://arxiv.org/pdf/2410.08759},
 year = {2024}
}

@inproceedings{sterzOnTheQuestFor2024,
 author = {Sarah Sterz and Kevin Baum and Sebastian Biewer and Holger Hermanns and Anne Lauber-Rönsberg and Philip Meinel and Markus Langer},
 booktitle = {Proceedings of the 2024 ACM Conference on Fairness, Accountability, and Transparency. ACM Conference on Fairness, Accountability, and Transparency (ACM FAccT-2024), June 3-6, Rio de Janeiro, Brazil},
 doi = {10.1145/3630106.3659051},
 isbn = {979-8-4007-0450-5},
 pages = {2495-2507},
 publisher = {Association for Computing Machinery, New York, NY, USA},
 title = {On the Quest for Effectiveness in Human Oversight: Interdisciplinary Perspectives},
 url = {https://arxiv.org/abs/2404.04059},
 year = {2024}
}

@inproceedings{grosSafeReinforcementLearningThrough2024,
 author = {Timo P. Gros and Nicola J. Müller and Daniel Höller and Verena Wolf},
 booktitle = {Workshop on Reliable Data-Driven Planning and Scheduling. International Conference on Automated Planning and Scheduling (ICAPS-2024)},
 publisher = {Springer},
 title = {Safe Reinforcement Learning Through Regret and State Restorations in Evaluation Stages},
 year = {2024}
}

@inproceedings{backenkohlerStructuralActivityPredictionModels2024,
 author = {Michael Backenköhler and Joschka Groß and Paula Linh Kramer and Verena Wolf and Andrea Volkamer},
 booktitle = {ICML'24 Workshop ML for Life and Material Science: From Theory to Industry Applications. International Conference on Machine Learning (ICML-2024)},
 publisher = {Openreview},
 title = {Structural activity prediction models recover known binding modes (Poster abstract)},
 url = {https://openreview.net/forum?id=9O27GTKm1B},
 year = {2024}
}

@article{grosDSMCEvaluationStagesFostering2023,
 author = {Timo P. Gros and Joschka Groß and Daniel Höller and Jörg Hoffmann and Michaela Klauck and Hendrik Meerkamp and Nicola J. Müller and Lukas Schaller and Verena Wolf},
 doi = {10.1145/3607198},
 journal = {ACM Transactions on Modeling and Computer Simulation (TOMACS)},
 month = {10},
 number = {4},
 pages = {1-28},
 publisher = {ACM, New York, NY, USA},
 title = {DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning--Extended Version},
 volume = {33},
 year = {2023}
}

@article{bergerInfluenceOfALongTerm2023,
 author = {Joshua Berger and Elena Janowicz and Oliver Ludwig and Markus Weineck and Wolfgang Kemmler and Michael Fröhlich},
 doi = {10.55860/LKHR6684},
 journal = {Scientific Journal of Sport and Performance (SJSP)},
 month = {8},
 number = {4},
 pages = {514-526},
 publisher = {ARD Asociación Española},
 title = {Influence of a long-term WB-EMS intervention on parameters of body composition and physical performance among individuals of different age decades between 19 and 81 years},
 volume = {2},
 year = {2023}
}

@article{mullerNeuroExplicitSemanticSegmentationOf2023,
 author = {Nicola J. Müller and Daniel Porawski and Lukas Wilde and Dennis Fink and Guillaume Trap and Annika Engel and Georges P. Schmartz},
 doi = {10.1063/5.0109284},
 editor = {Robert P. Behringer},
 journal = {Review of Scientific Instruments},
 month = {6},
 number = {6},
 pages = {063304},
 publisher = {AIP Publishing},
 title = {Neuro-explicit semantic segmentation of the diffusion cloud chamber},
 url = {https://www.dfki.de/fileadmin/user_upload/import/16919_Neuro-explicit_semantic_segmentation_of_the_diffus.pdf},
 volume = {94},
 year = {2023}
}

@article{wahlVectorCausalInferenceBetween2023,
 author = {Jonas Wahl and Urmi Ninad and Jakob Runge},
 doi = {10.1609/aaai.v37i10.26450},
 journal = {Proceedings of the AAAI Conference on Artificial Intelligence (AAAI)},
 month = {6},
 number = {10},
 pages = {12305-12312},
 publisher = {AAAI Press},
 title = {Vector Causal Inference between Two Groups of Variables},
 url = {https://ojs.aaai.org/index.php/AAAI/article/view/26450},
 volume = {37},
 year = {2023}
}

@article{caiComputerScienceMethodsFor2023,
 author = {Wentong Cai and  Philipp Andelfinger and  Luca Bortolussi and  Christopher Carothers and  Dong Kevin Jin and  Till Köster and  Michael Lees and  Jason Liu and  Margaret Loper and  Alessandro Pellegrini and  Wen Jun Tan and Verena Wolf},
 journal = {Dagstuhl Reports},
 month = {5},
 number = {10},
 pages = {1-44},
 publisher = {Dagstuhl Reports},
 title = {Computer Science Methods for Effective and Sustainable Simulation Studies},
 volume = {12},
 year = {2023}
}

@article{kemmlerCorrigendumPositionStatementAnd2023,
 author = {Wolfgang Kemmler and Michael Fröhlich and Oliver Ludwig and Christoph Eifler and Simon von Thaden and Sebastian Willert and Marc Teschler and Anja Weissenfels and Heinz Kleinöder and Florian Micke and Nicolas Wirtz and Christoph Zinner and Andre Filipovic and Bernd Wegener and Joshua Berger and Alexandre Evangelista and Stefano D’ottavio and Chandandeep Singh and Amir Lerman and Unai A. Perez De Arrilucea Le Floc’h and Abraham Carle-Calo and Angel Guitierrez and Francisco J. Amaro-Gahete},
 doi = {10.3389/fphys.2023.1207584},
 editor = {Giuseppe D'Antona},
 journal = {Frontiers in Physiology},
 month = {5},
 pages = {1207584},
 publisher = {Frontiers Media SA, Switzerland},
 title = {Corrigendum: Position statement and updated international guideline for safe and effective whole-body electromyostimulation training-the need for common sense in WB-EMS application},
 volume = {14},
 year = {2023}
}

@article{baumFromFearToAction2023,
 author = {Kevin Baum and Joanna Bryson and Frank Dignum and Virginia Dignum and Marko Grobelnik and Holger Hoos and Morten Irgens and Paul Lukowicz and Catelijne Muller and Francesca Rossi and John Shawe-Taylor and Andreas Theodorou and Ricardo Vinuesa},
 doi = {10.3389/fcomp.2023.1210421},
 journal = {Frontiers in Computer Science},
 month = {5},
 pages = {0-0},
 publisher = {Frontiers Media},
 title = {From Fear to Action: AI Governance and Opportunities for All},
 url = {https://www.frontiersin.org/articles/10.3389/fcomp.2023.1210421/full},
 volume = {5},
 year = {2023}
}

@article{backenkohlerTeachOpenCADDGoesDeepLearning2023,
 author = {Michael Backenköhler and Paula Linh Kramer and Joschka Groß and Gerrit Großmann and Roman Joeres and Azat Tagirdzhanov and Dominique Sydow and Hamza Ibrahim and Floriane Odje and Verena Wolf and Andrea Volkamer},
 doi = {10.26434/chemrxiv-2023-kz1pb},
 journal = {ChemRxiv},
 month = {5},
 pages = {---},
 publisher = {ChemRxiv.org},
 title = {TeachOpenCADD goes Deep Learning: Open-source Teaching Platform Exploring Molecular DL Applications},
 url = {https://doi.org/10.26434/chemrxiv-2023-kz1pb},
 volume = {ChemRxiv Online},
 year = {2023}
}

@article{grossmannUnsupervisedRelationalInferenceUsing2023,
 author = {Gerrit Großmann and Julian Zimmerlin and Michael Backenköhler and Verena Wolf},
 doi = {10.1007/s41109-023-00542-x},
 journal = {Applied Network Science},
 month = {4},
 number = {18},
 pages = {1-21},
 publisher = {Springer},
 title = {Unsupervised relational inference using masked reconstruction},
 url = {https://appliednetsci.springeropen.com/articles/10.1007/s41109-023-00542-x},
 volume = {8},
 year = {2023}
}

@article{kemmlerPositionStatementAndUpdated2023,
 author = {Wolfgang Kemmler and Michael Fröhlich and Oliver Ludwig and Christoph Eifler and Simon Von Stengel and Sebastian Willert and Marc Teschler and Anja Weissenfels and Heinz Kleinöder and Florian Micke and Nicolas Wirtz and Christoph Zinner and Andre Filipovic and Bernd Wegener and Joshua Berger and Alexandre Evangelista and Stefano D’Ottavio and Jaskanwal Deep Singh Sara and Amir Lerman and Unai A Perez de Arrilucea Le Floc’h and Abraham Carle-Calo and Angel Guitierrez and Francisco J Amaro-Gahete},
 doi = {10.3389/fphys.2023.1174103},
 editor = {Giuseppe D’Antona},
 journal = {Frontiers in Physiology},
 month = {3},
 pages = {1174103},
 publisher = {Frontiers Media SA},
 title = {Position statement and updated international guideline for safe and effective whole-body electromyostimulation training-the need for common sense in WB-EMS application},
 volume = {14},
 year = {2023}
}

@inproceedings{forsterAComputationalCantorBernsteinAnd2023,
 author = {Yannick Forster and Felix Jahn and Gert Smolka},
 booktitle = {CPP '23: 12th ACM SIGPLAN International Conference on Certified Programs and Proofs. ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP-2023), January 16-17, Boston,, MA, USA},
 doi = {10.1145/3573105.3575690},
 isbn = {979-8-4007-0026-2},
 month = {1},
 pages = {159-166},
 publisher = {ACM},
 title = {A Computational Cantor-Bernstein and Myhill's Isomorphism Theorem in Constructive Type Theory},
 url = {https://inria.hal.science/hal-03891390},
 year = {2023}
}

@article{grosAnalyzingNeuralNetworkBehavior2023,
 author = {Timo P. Gros and Holger Hermanns and Jörg Hoffmann and Michaela Klauck and Marcel Steinmetz},
 journal = {International Journal on Software Tools for Technology Transfer (STTT)},
 number = {3},
 pages = {407-426},
 publisher = {Springer Berlin Heidelberg Berlin/Heidelberg},
 title = {Analyzing neural network behavior through deep statistical model checking},
 volume = {25},
 year = {2023}
}

@inproceedings{forsterConstructiveAndSyntheticReducibility2023,
 author = {Yannick Forster and Felix Jahn},
 booktitle = {CSL 2023 - 31st EACSL Annual Conference on Computer Science Logic. EACSL Annual Conference on Computer Science Logic (CSL), Warsaw, Poland},
 doi = {10.4230/LIPIcs.CSL.2023.16},
 pages = {1-21},
 publisher = {Schloss Dagstuhl Leibniz-Zentrum für Informatik, Dagstuhl Publishing},
 title = {Constructive and Synthetic Reducibility Degrees: Post's Problem for Many-one and Truth-table Reducibility in Coq},
 url = {https://inria.hal.science/hal-03901942},
 year = {2023}
}

@inproceedings{solankiDoVocalBreathSounds2023,
 author = {Solanki, Mohammad Shaique and Bharadwaj, Ashutosh and Kylash, Jeevan and Ghosh, Prasanta Kumar},
 booktitle = {Proc. Interspeech 2023},
 pages = {5406--5410},
 title = {Do Vocal Breath Sounds Encode Gender Cues for Automatic Gender Classification?},
 year = {2023}
}

@inproceedings{caiIntelligentModelingAndSimulation2023,
 author = {Wentong Cai and Philipp Andelfinger and Luca Bortolussi and Christopher Carothers and Dong Kevin Jin and Till Köster and Michael Lees and Jason Liu and Margaret Loper and Alessandro Pellegrini and Wen Jun Tan and Verena Wolf},
 booktitle = {Dagstuhl-Seminar Report 22401. Dagstuhl Seminare/Workshops, Computer Science Methods for Effective and Sustainable Simulation Studies, October 3-7, Schloß Dagstuhl, Germany},
 doi = {10.4230/DagRep.12.10.1},
 pages = {44-46},
 publisher = {Schloss Dagstuhl-Leibniz-Zentrum für Informatik},
 series = {Dagstuhl Seminar Report},
 title = {Intelligent Modeling and Simulation Lifecycle},
 url = {https://www.dfki.de/fileadmin/user_upload/import/13355_dagrep_v012_i010_p001_22401.pdf},
 volume = {22401},
 year = {2023}
}

@inproceedings{baumNormativePerspectivesOnAnd2023,
 author = {Kevin Baum and Thorsten Helfer and Markus Langer and Eva Schmidt},
 booktitle = {AISoLA 2023. International Conference on Bridging the Gap between AI and Reality (AiSoLA-2023), Kreta},
 publisher = {Springer Nature},
 title = {Normative Perspectives on and Societal Implications of AI Systems},
 url = {https://link.springer.com/book/10.1007/978-3-031-46002-9},
 year = {2023}
}

@inproceedings{baumXAIRequirementsInSmart2023,
 author = {Deborah Baum and Kevin Baum and Timo P. Gros and Verena Wolf},
 booktitle = {Explainable Artificial Intelligence, First World Conference, Proceedings, Part I. xAI: World Conference on Explainable Artificial Intelligence (xAI-2023), July 26-28, Lissabon, Portugal},
 doi = {10.1007/978-3-031-44064-9_1},
 editor = {Luca Longo},
 isbn = {978-3-031-44063-2},
 pages = {3-24},
 publisher = {Springer Nature Switzerland},
 series = {Communications in Computer and Information Science, CCIS},
 title = {XAI Requirements in Smart Production Processes: A Case Study},
 volume = {1901},
 year = {2023}
}

@article{gotzSpatialDistributionOfMuscular2022,
 author = {Marina Götz and Rafael Heiss and Simon von Stengel and Frank Roemer and Joshua Berger and Armin Nagel and Michael Uder and Wolfgang Kemmler},
 doi = {10.3390/s222410017},
 journal = {Sensors - Open Access Journal (Sensors)},
 month = {12},
 number = {24},
 pages = {10017},
 publisher = {MDPI, Switzerland},
 title = {Spatial Distribution of Muscular Effects of Acute Whole-Body Electromyostimulation at the Mid-Thigh and Lower Leg—A Pilot Study Applying Magnetic Resonance Imaging},
 volume = {22},
 year = {2022}
}

@article{bergerWBEMSMarketDevelopmentPerspectivesAnd2022,
 author = {Joshua Berger and Michael Fröhlich and Wolfgang Kemmler},
 doi = {10.3390/ijerph192114211},
 journal = {International Journal of Environmental Research and Public Health},
 month = {10},
 number = {21},
 pages = {14211},
 publisher = {MDPI, Switzerland},
 title = {WB-EMS Market Development—Perspectives and Threats},
 volume = {19},
 year = {2022}
}

@article{baumEthicsForNerds2022,
 author = {Kevin Baum and Sarah Sterz},
 doi = {10.29173/irie484},
 journal = {The International Review of Information Ethics (IRIE)},
 month = {8},
 number = {1},
 pages = {1-9},
 publisher = {IRIE, Edmonton, Alberta, Canada},
 title = {Ethics for Nerds},
 url = {https://www.dfki.de/fileadmin/user_upload/import/16844_IRIE+31+Baum,+Sterz.pdf},
 volume = {31},
 year = {2022}
}

@article{wahlWhereAreAllThe2022,
 author = {Jonas Wahl},
 doi = {10.1016/j.patter.2022.100571},
 journal = {Patterns},
 month = {8},
 number = {8},
 pages = {1-2},
 publisher = {Elsevier},
 title = {Where are all the guns? Modeling firearm ownership in the United States},
 url = {https://www.cell.com/patterns/fulltext/S2666-3899(22)00182-9},
 volume = {3},
 year = {2022}
}

@inproceedings{eniserMetamorphicRelationsViaRelaxations2022,
 author = {Hasan Ferit Eniser and Timo P. Gros and Valentin Wüstholz and Jörg Hoffmann and Maria Christakis},
 booktitle = {ISSTA 2022: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis. ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA-2022), July 18-22},
 doi = {10.1145/3533767.3534392},
 isbn = {978-1-4503-9379-9},
 month = {7},
 pages = {52-63},
 publisher = {ACM, New York, NY, USA},
 title = {Metamorphic relations via relaxations: An approach to obtain oracles for action-policy testing},
 year = {2022}
}

@inproceedings{steinmetzDebuggingAPolicyAutomatic2022,
 author = {Marcel Steinmetz and Daniel Fišer and Hasan Ferit Eniser and Patrick Ferber and Timo P. Gros and Philippe Heim and Daniel Höller and Xandra Schuler and Valentin Wüstholz and Maria Christakis and Jörg Hoffmann},
 booktitle = {Proceedings of the 32nd International Conference on Automated Planning and Scheduling. International Conference on Automated Planning and Scheduling (ICAPS-2022), July 13-24},
 doi = {10.1609/icaps.v32i1.19820},
 editor = {Akshat Kumar and Sylvie Thiébaux and Pradeep Varakantham and William Yeoh},
 isbn = {978-1-57735-874-9},
 month = {6},
 pages = {353-361},
 publisher = {AAAI Press},
 series = {ICAPS conference series},
 title = {Debugging a Policy: Automatic Action-Policy Testing in AI Planning},
 volume = {32 (2022)},
 year = {2022}
}

@article{kyriakopoulosAComprehensiveApproachFor2022,
 author = {Charalampos Kyriakopoulos and Karl Nordström and Paula Linh Kramer and Judith Yumiko Gottfreund and Abdulrahman Salhab and Julia Arand and Fabian Müller and Ferdinand von Meyenn and Gabriella Ficz and Wolf Reik and Verena Wolf and Jörn Walter and Pascal Giehr},
 doi = {10.1016/j.crmeth.2022.100187},
 journal = {Cell Reports Methods},
 month = {3},
 number = {3},
 pages = {1-23},
 publisher = {Cell Press},
 title = {A comprehensive approach for genome-wide efficiency profiling of DNA modifying enzymes},
 volume = {2},
 year = {2022}
}

@article{wahlTracesOnDiagramAlgebras2022,
 author = {Jonas Wahl},
 doi = {10.1112/jlms.12562},
 journal = {Journal of the London Mathematical Society},
 month = {3},
 number = {4},
 pages = {2324-2372},
 publisher = {John Wiley & Sons, Ltd},
 title = {Traces on diagram algebras I: Free partition quantum groups, random lattice paths and random walks on trees},
 url = {https://londmathsoc.onlinelibrary.wiley.com/doi/full/10.1112/jlms.12562},
 volume = {105},
 year = {2022}
}

@article{baumFromResponsibilityToReasonGiving2022,
 author = {Kevin Baum and Susanne Mantel and Eva Schmidt and Timo Speith},
 doi = {10.1007/s13347-022-00510-w},
 journal = {Philosophy & Technology},
 month = {2},
 number = {12 (2022)},
 pages = {1-30},
 publisher = {Springer Nature, The Netherlands},
 title = {From Responsibility to Reason-Giving Explainable Artificial Intelligence},
 url = {https://www.dfki.de/fileadmin/user_upload/import/16845_s13347-022-00510-w.pdf},
 volume = {35},
 year = {2022}
}

@inproceedings{guntherConditionalIndependenceTestingWith2022,
 author = {Wiebke Günther and Urmi Ninad and Jonas Wahl and Jakob Runge},
 booktitle = {Advances in Neural Information Processing Systems 35. Neural Information Processing Systems (NeurIPS-2022), 36th Conference, November 28 - December 9},
 editor = {S. Koyejo and S. Mohamed and A. Agarwal and D. Belgrave and K. Cho and A. Oh},
 isbn = {9781713871088},
 pages = {16191-16202},
 publisher = {Curran Associates, Inc.},
 title = {Conditional Independence Testing with Heteroskedastic Data and Applications to Causal Discovery},
 url = {https://proceedings.neurips.cc/paper_files/paper/2022/file/6739d8df16b5bce3587ca5f18662a6aa-Paper-Conference.pdf},
 year = {2022}
}

@inproceedings{grossGlyphBasedVisualAnalysisOf2022,
 author = {David Groß and Michaela Klauck and Timo P. Gros and Marcel Steinmetz and Joerg Hoffmann and Stefan Gumhold},
 booktitle = {International Conference on Information Visualisation (IV'22). International Conference on Information Visualisation (IV-2022), 26th International Conference on Information Visualisation, July 19-22, Vienna, Austria},
 doi = {10.1109/IV56949.2022.00011},
 isbn = {978-1-6654-9008-5},
 publisher = {IEEE},
 title = {Glyph-Based Visual Analysis of Q-Learning Based Action Policy Ensembles on Racetrack},
 year = {2022}
}

@inproceedings{grosMoGymUsingFormalModels2022,
 author = {Timo P. Gros and Holger Hermanns and Jörg Hoffmann and Michaela Klauck and Maximilian A Köhl and Verena Wolf},
 booktitle = {International Conference on Computer Aided Verification. International Conference on Computer Aided Verification (CAV)},
 doi = {10.1007/978-3-031-13188-2_21},
 isbn = {978-3-031-13188-2},
 organization = {Springer, Cham},
 pages = {430-443},
 publisher = {Springer Cham},
 title = {MoGym: Using Formal Models for Training and Verifying Decision-making Agents},
 year = {2022}
}

@article{bergerEffectsOfAn8Week2021,
 author = {Joshua Berger and Oliver Ludwig and Stephanie Becker and Wolfgang Kemmler and Michael Fröhlich},
 doi = {10.1123/ijatt.2020-0016},
 journal = {International Journal of Athletic Therapy and Training (IJATT)},
 month = {11},
 number = {2},
 pages = {96-100},
 publisher = {Human Kinetics},
 title = {Effects of an 8-Week Whole-Body Electromyostimulation Training on Cycling Performance, Back Pain, and Posture of a 17-Year-Old Road Cyclist},
 volume = {26},
 year = {2021}
}

@article{grossmannHeterogeneityMattersContactStructure2021,
 author = {Gerrit Großmann and Michael Backenköhler and Verena Wolf},
 doi = {10.1371/journal.pone.0250050},
 editor = {Vygintas Gontis},
 journal = {PLOS One},
 month = {7},
 number = {7},
 pages = {1-19},
 publisher = {Public Library of Science},
 title = {Heterogeneity matters: Contact structure and individual variation shape epidemic dynamics},
 volume = {16},
 year = {2021}
}

@article{baumSpareMeTheDetails2021,
 author = {Kevin Baum and Markus Langer and Cornelius J. König and Viviane Hähne and Daniel Oster and Timo Speith},
 doi = {10.1111/ijsa.12325},
 journal = {International Journal of Selection and Assessment},
 month = {6},
 number = {2},
 pages = {154-169},
 publisher = {Wiley & Sons},
 title = {Spare me the details: How the type of information about automated interviews influences applicant reactions},
 url = {https://www.dfki.de/fileadmin/user_upload/import/16848_Int_J_Selection_Assessment_-_2021_-_Langer_-_Spare_me_the_details__How_the_type_of_information_about_automated_interviews.pdf},
 volume = {29},
 year = {2021}
}

@inproceedings{grossmannEpidemicOverdispersionStrengthensThe2021,
 author = {Gerrit Großmann and Michael Backenköhler and Verena Wolf},
 booktitle = {HSCC '21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control. ACM International Conference on Hybrid Systems: Computation and Control (HSCC-2021), May 19-21, Nashville,, Tennesse, USA},
 doi = {10.1145/3447928.3457209},
 isbn = {978-1-4503-8339-4},
 month = {5},
 pages = {1-3},
 publisher = {ACM, New York, NY},
 title = {Epidemic overdispersion strengthens the effectiveness of mobility restrictions},
 year = {2021}
}

@inproceedings{backenkohlerAnalysisOfMarkovJump2021,
 author = {Michael Backenköhler and Luca Bortolussi and Gerrit Großmann and Verena Wolf},
 booktitle = {Tools and Algorithms for the Construction and Analysis of Systems. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS-2021), 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, March 27 - April 1, Luxembourg City, Luxembourg},
 doi = {10.1007/978-3-030-72016-2_12},
 edition = {1st},
 editor = {Jan Friso Groote and Kim Guldstrand Larsen and },
 isbn = {978-3-030-72016-2},
 month = {3},
 pages = {210-229},
 publisher = {Springer, Switzerland},
 title = {Analysis of Markov jump processes under terminal constraints},
 volume = {12651},
 year = {2021}
}

@article{kemmlerEfficacyOfWholeBodyElectromyostimulation2021,
 author = {Wolfgang Kemmler and Mahdieh Shojaa and James Steele and Joshua Berger and Michael Fröhlich and Daniel Schoene and Simon von Thaden and Heinz Kleinöder and Matthias Kohl},
 doi = {10.3389/fphys.2021.640657},
 editor = {Emiliano Cè},
 journal = {Frontiers in Physiology},
 month = {2},
 pages = {640657},
 publisher = {Frontiers Media SA},
 title = {Efficacy of Whole-Body Electromyostimulation (WB-EMS) on Body Composition and Muscle Strength in Non-athletic Adults. A Systematic Review and Meta-Analysis},
 volume = {12},
 year = {2021}
}

@inproceedings{backenkohlerAbstractionGuidedTruncationsForStationary2021,
 address = {Cham},
 author = {Backenköhler, Michael and Bortolussi, Luca and Großmann, Gerrit and Wolf, Verena},
 booktitle = {Quantitative Evaluation of Systems},
 editor = {Abate, Alessandro and Marin, Andrea},
 isbn = {978-3-030-85172-9},
 pages = {351--371},
 publisher = {Springer International Publishing},
 title = {Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models},
 year = {2021}
}

@article{kurasovAnalyticSolutionsForStochastic2021,
 author = {Pavel Kurasov and Delio Mugnolo and Verena Wolf},
 doi = {10.1007/s00285-021-01549-7},
 journal = {Journal of Mathematical Biology},
 number = {1-2},
 publisher = {Springer Science and Business Media LLC},
 title = {Analytic solutions for stochastic hybrid models of gene regulatory networks},
 volume = {82},
 year = {2021}
}

@inproceedings{steinmetzDebuggingAPolicyA2021,
 author = {Marcel Steinmetz and Timo P. Gros and Philippe Heim and Daniel Höller and Jörg Hoffmann},
 booktitle = {Bridging the Gap Between AI Planning and Reinforcement Learning (PRL) – Workshop at ICAPS 2021 (August 5-6). Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL-2021), located at ICAPS 2021, August 5-6},
 pages = {1-10},
 publisher = {ICAPS},
 series = {PRL Workshop Series, PRL @ ICAPS},
 title = {Debugging a Policy: A Framework for Automatic Action Policy Testing},
 year = {2021}
}

@article{beckerHeadingInSoccerDoes2021,
 author = {Stephanie Becker and Joshua Berger and Oliver Ludwig and Daniel Günther and Jens Kelm and Michael Fröhlich},
 doi = {10.2478/hukin-2021-0012},
 journal = {Journal of Human Kinetics},
 month = {1},
 pages = {71-80},
 publisher = {PMC - PubMed Central},
 title = {Heading in Soccer: Does Kinematics of the Head-Neck-Torso Alignment Influence Head Acceleration?},
 volume = {77 (2021)},
 year = {2021}
}

@inproceedings{kirschInfoLabSaarSchulerlaborInformatik2021,
 author = {Nadine Kirsch and Kerstin Reese and Verena Wolf},
 booktitle = {INFORMATIK 2021 - Computer Science & Sustainability. Workshop: Für Informatik begeistern - vom Kindesalter bis zum Abitur (Informatik-Begeisterung-2), located at INFORMATIK 2021, September 27 - October 1, Berlin, Germany},
 doi = {10.18420/informatik2021-141},
 editor = {Nicht bekannt},
 isbn = {978-3-88579-708-1},
 pages = {1653-1656},
 publisher = {Gesellschaft für Informatik, Bonn},
 series = {Lecture Notes in Informatics, LNI},
 title = {InfoLab Saar - Schülerlabor Informatik der Universität des Saarlandes},
 volume = {P314},
 year = {2021}
}

@inproceedings{baierLabConditionsForResearch2021,
 author = {Christel Baier and Maria Christakis and Timo P. Gros and David Groß and Stefan Gumhold and Holger Hermanns and Jörg Hoffmann and Michaela Klauck},
 booktitle = {Trustworthy AI--Integrating Learning, Optimization and Reasoning: First International Workshop, TAILOR 2020, Virtual Event, September 4--5, 2020, Revised Selected Papers. Workshop on Foundations of Trustworthy AI integrating Learning, Optimisation and Reasoning (TAILOR-2020), located at First International Workshop, April 4-5, Virtual Event},
 organization = {Springer Nature},
 publisher = {Springer Nature},
 title = {Lab Conditions for Research on Explainable Automated Decisions},
 year = {2021}
}

@inproceedings{baumTowardsPerspicuityRequirements2021,
 author = {Kevin Baum and Sarah Sterz and Anne Lauber-Rönsberg and Holger Hermanns},
 booktitle = {2021 IEEE 29th International Requirements Engineering Conference Workshops (REW). IEEE International Requirements Engineering Conference (RE-2021)},
 doi = {10.1109/REW53955.2021.00029},
 pages = {159-163},
 publisher = {IEEE},
 title = {Towards Perspicuity Requirements},
 url = {https://ieeexplore.ieee.org/document/9582408},
 year = {2021}
}

@inproceedings{grosTraceVisTowardsVisualizationFor2021,
 author = {Timo P. Gros and David Groß and Stefan Gumhold and Jörg Hoffmann and Michaela Klauck and Marcel Steinmetz},
 booktitle = {Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020. International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA-2020), 9th International Symposium on Leveraging Applications of Formal Method, October 20-30, Rhodes, Greece},
 organization = {Springer International Publishing},
 pages = {27-46},
 publisher = {Springer International Publishing},
 title = {TraceVis: towards visualization for deep statistical model checking},
 volume = {Part IV 9},
 year = {2021}
}

@article{baumWhatDoWeWant2021,
 author = {Kevin Baum and Markus Langer and Daniel Oster and Timo Speith and Holger Hermanns and Lena Kästner and Eva Schmidt and Andreas Sesing},
 doi = {10.1016/j.artint.2021.103473},
 journal = {Artificial Intelligence (AIJ)},
 pages = {1-24},
 publisher = {Elsevier, Artificial intelligence},
 title = {What do we want from Explainable Artificial Intelligence (XAI)? – A stakeholder perspective on XAI and a conceptual model guiding interdisciplinary XAI research},
 url = {https://www.dfki.de/fileadmin/user_upload/import/16847_1-s2.0-S0004370221000242-main.pdf},
 volume = {296},
 year = {2021}
}

@article{baumWhatToExpectFrom2021,
 author = {Kevin Baum and Nadine Schlicker and Markus Langer and Sonja K. Ötting and Cornelius J. König and Dieter Wallach},
 doi = {10.1016/j.chb.2021.106837},
 journal = {Computers in Human Behavior},
 pages = {1-57},
 publisher = {Pergamon},
 title = {What to expect from opening up ‘black boxes’? Comparing perceptions of justice between human and automated agents},
 url = {https://www.dfki.de/fileadmin/user_upload/import/16846_SchlicketEtAl_preprint.pdf},
 volume = {122},
 year = {2021}
}

@inproceedings{grossmannLearningVaccineAllocationFrom2020,
 author = {Gerrit Großmann and Michael Backenköhler and Jonas Klesen and Verena Wolf},
 booktitle = {Complex Networks & Their Applications IX. International Conference on Complex Networks and their Applications (COMPLEX NETWORKS-2020), Proceedings of the Ninth International Conference on Complex Networks and Their Applications, December 1-3, Madrid, Spain},
 doi = {10.1007/978-3-030-65347-7_36},
 editor = {Rosa M. Benito and Chantal Cherifi and Hocine Cherifi and Esteban Moro and Luis Aurelio Rocha and Marta Sales-Pardo},
 isbn = {9783030653477},
 month = {12},
 pages = {432-443},
 publisher = {Springer International Publishing, Switzerland},
 title = {Learning Vaccine Allocation from Simulations},
 volume = {1},
 year = {2020}
}

@article{grossmannEfficientSimulationOfNonMarkovian2020,
 author = {Gerrit Großmann and Luca Bortolussi and Verena Wolf},
 doi = {10.1371/journal.pone.0241394},
 editor = {Hocine Cherifi},
 journal = {PLOS ONE},
 month = {10},
 number = {10},
 pages = {1-18},
 publisher = {PLOS ONE},
 title = {Efficient simulation of non-Markovian dynamics on complex networks},
 volume = {15},
 year = {2020}
}

@article{ludwigCanASuperimposedWholeBody2020,
 author = {Oliver Ludwig and Joshua Berger and Torsten Schuh and Marco Backfisch and Stephan Becker and Michael Fröhlich},
 journal = {Journal of Sports Science & Medicine (JSSM)},
 month = {9},
 number = {3},
 pages = {535-546},
 publisher = {Department of Sports Medicine, Uludag University},
 title = {Can a superimposed whole-body electromyostimulation intervention enhance the effects of a 10-week athletic strength training in youth elite soccer players?},
 url = {https://pmc.ncbi.nlm.nih.gov/articles/PMC7429429/},
 volume = {19},
 year = {2020}
}

@inproceedings{grossmannImportanceOfInteractionStructure2020,
 author = {Gerrit Großmann and Michael Backenköhler and Verena Wolf},
 booktitle = {Quantitative Evaluation of Systems. International Conference on Quantitative Evaluation of Systems (QEST-2020), 17th International Conference, QEST 2020, October 31 - September 1, Vienna, Austria},
 doi = {10.1007/978-3-030-59854-9_16},
 edition = {1st},
 editor = {Marco Gribaudo and David N. Jansen and Anne Remke},
 isbn = {9783030598549},
 month = {9},
 pages = {211-229},
 publisher = {Springer International Publishing, Switzerland},
 title = {Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case Study},
 volume = {12289},
 year = {2020}
}

@article{grosTrackingTheRaceBetween2020,
 author = {Timo P. Gros and Daniel Höller and Jörg Hoffmann and Verena Wolf},
 doi = {10.48550/arXiv.2008.00766},
 journal = {ArXiv e-prints (arxiv)},
 month = {8},
 number = {00766},
 pages = {1-19},
 publisher = {arXiv},
 title = {Tracking the Race Between Deep Reinforcement Learning and Imitation Learning - Extended Version},
 volume = {2008},
 year = {2020}
}

@inproceedings{grosDeepStatisticalModelChecking2020,
 author = {Timo P. Gros and Holger Hermanns and Jörg Hoffmann and Michaela Klauck and Marcel Steinmetz},
 booktitle = {Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta. Distributed Applications and Interoperable Systems: IFIP WG 6.1 International Conference (DAIS-2020), located at 5th International Federated Conference on Distributed Computing Techniques, June 15-19, Valetta, Malta},
 doi = {10.1007/978-3-030-50086-3_6},
 month = {6},
 organization = {Springer International Publishing},
 pages = {96-114},
 publisher = {Springer International Publishing},
 title = {Deep statistical model checking},
 year = {2020}
}

@article{bergerEffectsOfAnImpulse2020,
 author = {Joshua Berger and Oliver Ludwig and Stephanie Becker and Marco Backfisch and Wolfgang Kemmler and Michael Fröhlich},
 journal = {Journal of Sports Science & Medicine (JSSM)},
 month = {5},
 number = {2},
 pages = {271-281},
 publisher = {PMC - PubMed Central},
 title = {Effects of an Impulse Frequency Dependent 10-Week Whole-body Electromyostimulation Training Program on Specific Sport Performance Parameters},
 volume = {19},
 year = {2020}
}

@article{grossNovelIsNotAlways2020,
 author = {Joschka Groß and Alvaro Torralba and Maximilian Fickert},
 doi = {10.1609/aaai.v34i06.6541},
 editor = {Vincent Conitzer and Fei Sha},
 journal = {Proceedings of the AAAI Conference on Artificial Intelligence},
 month = {4},
 number = {06: AAAI-20 Technical Tracks 6},
 pages = {9875-9882},
 publisher = {AAAI Press, Palo Alto, California, USA},
 title = {Novel Is Not Always Better: On the Relation between Novelty and Dominance Pruning},
 url = {https://cdn.aaai.org/ojs/6541/6541-13-9766-1-10-20200519.pdf},
 volume = {34},
 year = {2020}
}

@article{zartFrequencyDependentReactionOfThe2020,
 author = {Sebastian Zart and Joshua Berger and Oliver Ludwig and Janosch Knauth and Michael Fröhlich},
 doi = {10.3389/fphys.2020.00150},
 editor = {Jae-Young Lim},
 journal = {Frontiers in Physiology},
 month = {2},
 pages = {150},
 publisher = {Frontiers Media SA},
 title = {Frequency-Dependent Reaction of the Triceps Surae Muscle of the Mouse During Electromyostimulation},
 volume = {11},
 year = {2020}
}

@incollection{schilloHaveYouEverQuestioned2020,
 author = {Moritz Schillo and Kevin Baum},
 booktitle = {Folge um Folge. Multiple Perspektiven auf die Fernsehserie},
 editor = {Marco Agnetta and Markus Schleich},
 pages = {263-279},
 publisher = {Universitätsverlag Hildesheim},
 title = {"Have you ever questioned the nature of your reality?“ — Westworld aus der Perspektive der Philosophie},
 url = {https://www.dfki.de/fileadmin/user_upload/import/16861_Serienband_AgnettaSchleich.pdf},
 year = {2020}
}

@incollection{baumAlgorithmenUndDieGrenzen2020,
 author = {Kevin Baum and Tina Feldkamp and Sophie Elisabeth Henning and Nikolai Käfer},
 booktitle = {Kevin Baum; Tina Feldkamp;  Sophie Elisabeth Henning; Nikolai Käfer; Andreas Suchanek; Wolfgang Gründinger; Sarah J. Becker; André T. Nemat; Marcel Rebbert; Robert Ranisch; Lisa Schöttl; Manuel Kilian; Pauline Kuss; Philipp Hommelsheim; Simon Dümpelmann;: Unternehmensverantwortung im digitalen Wandel: Ein Debattenbeitrag zu Corporate Digital Responsibility},
 pages = {35-42},
 publisher = {Verlag Bertelsmann Stiftung},
 title = {Algorithmen und die Grenzen von Fairness},
 url = {https://www.dfki.de/fileadmin/user_upload/import/16853_UN_Verantwortung_im_digitalen_Wandel.pdf},
 year = {2020}
}

@inproceedings{backenkohlerBoundingMeanFirstPassage2020,
 author = {Michael Backenköhler and Luca Bortolussi and Verena Wolf},
 booktitle = {Quantitative Evaluation of Systems. International Conference on Quantitative Evaluation of Systems (QEST), Cham},
 doi = {10.1007/978-3-030-59854-9_13},
 editor = {Marco Gribaudo and David N. Jansen and Anne Remke},
 isbn = {9783030598549},
 pages = {155-174},
 publisher = {Springer International Publishing},
 title = {Bounding Mean First Passage Times in Population Continuous-Time Markov Chains},
 url = {https://link.springer.com/chapter/10.1007/978-3-030-59854-9_13},
 year = {2020}
}

@article{backenkohlerPosterAbstractBirthDeathProcesses2020,
 author = {Backenköhler, Michael and Grossmann, Gerrit},
 month = {01},
 pages = {},
 title = {Poster Abstract: Birth-Death Processes Reproduce the Infection Footprint of Complex Networks},
 year = {2020}
}

@inproceedings{grosRealTimeDecisionMakingFor2020,
 author = {Timo P. Gros and Joschka Groß and Verena Wolf},
 booktitle = {2020 Winter Simulation Conference (WSC). Winter Simulation Conference (WSC-2020), December 14-18, Orlando,, FL, USA},
 doi = {10.1109/WSC48552.2020.9383884},
 pages = {3032-3044},
 publisher = {IEEE},
 title = {Real-Time Decision Making for a Car Manufacturing Process Using Deep Reinforcement Learning},
 year = {2020}
}

@inproceedings{grossmannRejectionBasedSimulationOfNonMarkovian2020,
 address = {Cham},
 author = {Großmann, Gerrit and Bortolussi, Luca and Wolf, Verena},
 booktitle = {Complex Networks and Their Applications VIII},
 editor = {Cherifi, Hocine and Gaito, Sabrina and Mendes, José Fernendo and Moro, Esteban and Rocha, Luis Mateus},
 isbn = {978-3-030-36687-2},
 pages = {349--361},
 publisher = {Springer International Publishing},
 title = {Rejection-Based Simulation of Non-Markovian Agents on Complex Networks},
 year = {2020}
}

@article{bergerWholeBodyElectromyostimulationInPhysical2020,
 author = {Joshua Berger and Stephan Becker and Oliver Ludwig and Wolfgang Kemmler and Michael Fröhlich},
 doi = {10.1589/jpts.32.395},
 journal = {Journal of Physical Therapy Science (JPTS)},
 month = {1},
 number = {6},
 pages = {395-400},
 publisher = {The Society of Physical Therapy Science},
 title = {Whole-body electromyostimulation in physical therapy: do gender, skinfold thickness or body composition influence maximum intensity tolerance?},
 volume = {32},
 year = {2020}
}

@article{beckerEffectsOfA6Week2019,
 author = {Stephanie Becker and Joshua Berger and Marco Backfisch and Oliver Ludwig and Jens Kelm and Michael Fröhlich},
 journal = {Journal of Sports Science & Medicine (JSSM)},
 month = {11},
 number = {4},
 pages = {729-737},
 publisher = {PMC - PubMed Central, USA},
 title = {Effects of a 6-Week Strength Training of the Neck Flexors and Extensors on the Head Acceleration during Headers in Soccer},
 volume = {18},
 year = {2019}
}

@article{kemmlerEmpfehlungenZuKontraindikationenFur2019,
 author = {Wolfgang Kemmler and Anja Wissenfels and S. Willert and M. Fröhlich and O. Ludwig and Joshua Berger and S. Zart and S. Becker and M. Backfisch and Heinz Kleinöder and U. Dörrmann and N. Wirtz and Bernd Wegener and Karl Lorenz Konrad and C. Eifler and J. Krug and C. Zinner and S. Müller and Jens Vatter and Sebastian Authenrieth and Thomas Beisswenger and M. Teschler and Simon von Thaden},
 doi = {10.5960/dzsm.2019.401},
 journal = {Deutsche Zeitschrift für Sportmedizin},
 month = {11},
 number = {11},
 pages = {278-282},
 publisher = {WWF Verlagsgesellschaft mbH},
 title = {Empfehlungen zu Kontraindikationen für Ganzkörper-Elektromyostimulation im kommerziellen, nicht-medizinischen Setting: Recommendations of contraindications for whole-body electromyostimulation in a commercial, non-medical setting},
 volume = {70},
 year = {2019}
}

@book{parkerQuantitativeEvaluationOfSystems2019,
 author = {David Parker and Verena Wolf},
 isbn = {9783030302818},
 month = {9},
 pages = {355},
 publisher = {Springer Nature, Switzerland},
 title = {Quantitative Evaluation of Systems: 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings},
 year = {2019}
}

@inproceedings{grossmannRejectionBasedSimulationOfStochastic2019,
 author = {Gerrit Großmann and Verena Wolf},
 booktitle = {Hybrid Systems Biology - 6th International Workshop, Revised Selected Papers. International Workshop on Hybrid Systems Biology (HSB-2019), April 6-7, Prague, Czech Republic},
 doi = {10.1007/978-3-030-28042-0_5},
 editor = {Milan Češka and Nicola Paoletti},
 isbn = {978-3-030-28041-3},
 month = {8},
 pages = {63-79},
 publisher = {Springer Nature},
 series = {Lecture Notes in Bioinformatics, LNBI},
 title = {Rejection-Based Simulation of Stochastic Spreading Processes on Complex},
 volume = {11705},
 year = {2019}
}

@article{ludwigTheImpactOfWholeBody2019,
 author = {Oliver Ludwig and Joshua Berger and Stephan Becker and Wolfgang Kemmler and Michael Fröhlich},
 doi = {10.3389/fphys.2019.01020},
 editor = {Kohei Watanabe},
 journal = {Frontiers in Physiology},
 month = {8},
 pages = {1020},
 publisher = {Frontiers Media SA},
 title = {The Impact of Whole-Body Electromyostimulation on Body Posture and Trunk Muscle Strength in Untrained Persons},
 volume = {10},
 year = {2019}
}

@article{bergerAdjustmentEffectsOfMaximum2019,
 author = {Joshua Berger and Stephan Becker and Marco Backfisch and Christoph Eifler and Wolfgang Kemmler and Michael Fröhlich},
 doi = {10.3389/fphys.2019.00920},
 journal = {Frontiers in Physiology},
 month = {7},
 number = {920},
 pages = {1-8},
 publisher = {Frontiers Media S.A.},
 title = {Adjustment effects of maximum intensity tolerance during whole-body electromyostimulation training},
 url = {https://www.frontiersin.org/journals/physiology/articles/10.3389/fphys.2019.00920/full},
 volume = {10},
 year = {2019}
}

@article{beckerEvaluationOfTheBourban2019,
 author = {Stephanie Becker and Joshua Berger and Marco Backfisch and Oliver Ludwig and Michael Fröhlich},
 doi = {10.3390/jfmk4020035},
 journal = {Journal of Functional Morphology and Kinesiology (JFMK)},
 month = {6},
 number = {2},
 pages = {35},
 publisher = {MDPI, Switzerland},
 title = {Evaluation of the Bourban Trunk Muscle Strength Test Based on Electromyographic Parameters},
 volume = {4},
 year = {2019}
}

@article{luckHiddenMarkovModellingReveals2019,
 author = {Alexander Lück and Pascal Giehr and Karl Nordström and Jörn Walter and Verena Wolf},
 doi = {10.1109/TCBB.2019.2910814},
 journal = {IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)},
 month = {4},
 number = {5},
 pages = {1598-1609},
 publisher = {IEEE},
 title = {Hidden Markov Modelling Reveals Neighborhood Dependence of Dnmt3a and 3b Activity},
 volume = {16},
 year = {2019}
}

@inproceedings{kyriakopoulosAHybridHMMApproach2019,
 address = {Cham},
 author = {Kyriakopoulos, Charalampos and Giehr, Pascal and Lück, Alexander and Walter, Jörn and Wolf, Verena},
 booktitle = {Hybrid Systems Biology},
 editor = {Češka, Milan and Paoletti, Nicola},
 isbn = {978-3-030-28042-0},
 pages = {117--131},
 publisher = {Springer International Publishing},
 title = {A Hybrid HMM Approach for the Dynamics of DNA Methylation},
 year = {2019}
}

@inproceedings{grosAMAZEingProgrammingProvidingSKILLs2019,
 author = {Timo P. Gros and Pascal L. Held and Pascal Lauer and O. Niklas Metzger and Kallistos Weis},
 booktitle = {SKILL 2019 - Studierendenkonferenz Informatik. Bonn: Gesellschaft für Informatik e.V., 2019. Studierendenkonferenz Informatik (SKILL-2019), September 25-26, Kassel, Germany},
 pages = {59-70},
 publisher = {Gesellschaft für Informatik, Bonn},
 title = {aMAZEing Programming - Providing SKILLs to Fellow Students},
 year = {2019}
}

@inproceedings{backenkohlerBoundingFirstPassageTimes2019,
 author = {Michael Backenköhler and Luca Bortolussi and Verena Wolf},
 booktitle = {Computational Methods in Systems Biology - 17th International Conference - Proceedings. International Conference on Computational Methods in Systems Biology (CMSB-2019), September 18-20, Trieste, Italy},
 doi = {10.1007/978-3-030-31304-3_31},
 editor = {Luca Bortolussi and Guido Sanguinetti},
 isbn = {9783030313043},
 pages = {379-382},
 publisher = {Springer International Publishing},
 series = {Lecture Notes in Computer Science, LNBI},
 title = {Bounding First Passage Times in Chemical Reaction Networks},
 url = {https://link.springer.com/chapter/10.1007/978-3-030-31304-3_31},
 volume = {11773},
 year = {2019}
}

@inproceedings{backenkohlerControlVariatesForStochastic2019,
 address = {Cham},
 author = {Backenköhler, Michael and Bortolussi, Luca and Wolf, Verena},
 booktitle = {Computational Methods in Systems Biology},
 editor = {Bortolussi, Luca and Sanguinetti, Guido},
 isbn = {978-3-030-31304-3},
 pages = {42--59},
 publisher = {Springer International Publishing},
 title = {Control Variates for Stochastic Simulation of Chemical Reaction Networks},
 year = {2019}
}

@inproceedings{baumExplainabilityAsANonFunctional2019,
 author = {Kevin Baum and Maximilian Köhl and Markus Langer and Daniel Oster and Timo Speith and Dimitri Bohlender},
 booktitle = {2019 IEEE 27th International Requirements Engineering Conference (RE). IEEE International Requirements Engineering Conference (RE-2019)},
 doi = {10.1109/RE.2019.00046},
 pages = {363-368},
 publisher = {IEEE},
 title = {Explainability as a Non-Functional Requirement},
 url = {https://ieeexplore.ieee.org/document/8920711},
 year = {2019}
}

@inproceedings{baumInformatikunterrichtInDerGrundschuleErprobung2019,
 author = {Kevin Baum and Nadine Kirsch and Kerstin Reese and Pascal Schmidt and Lukas Wachter and Verena Wolf},
 booktitle = {18. GI-Fachtagung Informatik und Schule. Informatik für alle. GI-Fachtagung Informatik und Schule (INFOS-2019), September 16-18, Dortmund, Germany},
 editor = {Arno Pasternak},
 isbn = {978-3-88579-682-4},
 pages = {49-58},
 publisher = {Gesellschaft für Informatik e.V., Bonn},
 series = {Lecture Notes in Informatics, LNI},
 title = {Informatikunterricht in der Grundschule?-Erprobung und Auswertung eines Unterrichtsmoduls mit Calliope mini.},
 url = {https://www.dfki.de/fileadmin/user_upload/import/16855_b1.pdf},
 volume = {P-288},
 year = {2019}
}

@inproceedings{grossmannReducingSpreadingProcessesOn2019,
 address = {Cham},
 author = {Großmann, Gerrit and Bortolussi, Luca},
 booktitle = {Quantitative Evaluation of Systems},
 editor = {Parker, David and Wolf, Verena},
 isbn = {978-3-030-30281-8},
 pages = {292--309},
 publisher = {Springer International Publishing},
 title = {Reducing Spreading Processes on Networks to Markov Population Models},
 year = {2019}
}

@article{kurasovStochasticHybridModelsOf2018,
 author = {Pavel Kurasov and Alexander Lück and Delio Mugnolo and Verena Wolf},
 doi = {10.1016/j.mbs.2018.09.009},
 journal = {Mathematical Biosciences},
 month = {11},
 pages = {170-177},
 publisher = {Elsevier, Amsterdam},
 title = {Stochastic hybrid models of gene regulatory networks – A PDE approach},
 volume = {305},
 year = {2018}
}

@article{backesSimulatingTheLargeScaleErosion2018,
 author = {Michael Backes and Pascal Berrang and Mathias Humbert and Xiaoyu Shen and Verena Wolf},
 doi = {10.1109/TCBB.2018.2859380},
 journal = {IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)},
 month = {7},
 number = {5},
 pages = {1405-1412},
 publisher = {IEEE},
 title = {Simulating the Large-Scale Erosion of Genomic Privacy Over Time},
 volume = {15},
 year = {2018}
}

@phdthesis{wahlNonsingularBernoulliActionsQuantum2018,
 author = {Jonas Wahl},
 month = {6},
 school = {ARENBERG DOCTORAL SCHOOL Faculty of Science},
 title = {Nonsingular Bernoulli actions & quantum symmetries},
 type = {PhD-Thesis},
 url = {https://www.dfki.de/fileadmin/user_upload/import/17047_thesis_(1).pdf},
 year = {2018}
}

@article{giehrTwoAreBetterThan2018,
 author = {Pascal Giehr and Charalampos Kyriakopoulos and Konstantin Lepikhov and Stefan Wallner and Verena Wolf and Jörn Walter},
 doi = {10.1093/nar/gky422},
 journal = {Nucleic Acids Research},
 month = {6},
 number = {15},
 pages = {1-10},
 publisher = {Oxford University Press},
 title = {Two are better than one: HPoxBS - hairpin oxidative bisulfite sequencing},
 volume = {46},
 year = {2018}
}

@article{langerAlgorithmenBeiDerPersonalauswahl2018,
 author = {Markus Langer and Kevin Baum and Cornelius J. König},
 doi = {10.22028/D291-31272},
 journal = {Wirtschaftspsychologie aktuell},
 pages = {36-42},
 publisher = {Deutscher Psychologen Verlag GmbH, Bonn},
 title = {Algorithmen bei der Personalauswahl – eine kritische und hoffnungsvolle Betrachtung},
 url = {https://publikationen.sulb.uni-saarland.de/handle/20.500.11880/29303},
 volume = {25},
 year = {2018}
}

@article{andreychenkoApproximateAdaptiveUniformizationOf2018,
 author = {Alexander Andreychenko and Werner Sandmann and Verena Wolf},
 doi = {10.1016/j.apm.2018.05.009},
 journal = {Applied Mathematical Modelling},
 pages = {561-576},
 publisher = {ScienceDirect},
 title = {Approximate adaptive uniformization of continuous-time Markov chains},
 url = {https://www.sciencedirect.com/science/article/pii/S0307904X18302191},
 volume = {61},
 year = {2018}
}

@inproceedings{backenkohlerDataDrivenApproachTowardsA2018,
 author = {Michael Backenköhler and Felix Scherzinger and Adish Singla and Verena Wolf},
 booktitle = {Proceedings of the 11th International Conference on Educational Data Mining. International Conference on Educational Data Mining (EDM-2018), July 15-18, Buffalo,, NY, USA},
 editor = {Kristy Elizabeth Boyer and Michael Yudelson},
 pages = {246-246},
 publisher = {International Educational Data Mining Society},
 title = {Data-Driven Approach Towards a Personalized Curriculum},
 url = {https://www.dfki.de/fileadmin/user_upload/import/16875_Data-Driven_Approach_Towards_a_Personalized_Curriculum.pdf},
 year = {2018}
}

@incollection{langerDieUnNachvollziehbarkeitAlgorithmenbasierter2018,
 author = {Markus Langer and Kevin Baum and Cornelius J. König},
 booktitle = {Dr. Markus Langer;  Kevin Baum; Prof. Dr. Cornelius J. König;: Mensch und Gesellschaft im digitalen Wandel},
 doi = {10.22028/D291-31275},
 pages = {32-38},
 publisher = {Deutscher Psychologen Verlag, Berlin},
 title = {Die (Un-) Nachvollziehbarkeit algorithmenbasierter Entscheidungen: Implikationen und Empfehlungen für die Zukunft},
 url = {https://www.dfki.de/fileadmin/user_upload/import/16860_BDPBerichtChapter.pdf},
 year = {2018}
}

@article{kemmlerEfficacyAndSafetyOf2018,
 author = {Wolfgang Kemmler and Anja Weissenfels and Sebastian Willert and Mahdieh Shojaa and Simon von Thaden and Andre Filipovic and Heinz Kleinöder and Joshua Berger and Michael Fröhlich},
 doi = {10.3389/fphys.2018.00573},
 journal = {Frontiers in Physiology},
 pages = {1-17},
 publisher = {Deutsche Nationalbibliothek},
 title = {Efficacy and Safety of Low Frequency Whole-Body Electromyostimulation (WB-EMS) to Improve Health-Related Outcomes in Non-athletic Adults. A Systematic Review},
 volume = {9},
 year = {2018}
}

@inproceedings{baumFromMachineEthicsTo2018,
 author = {Kevin Baum and Holger Hermanns and Timo Speith},
 booktitle = {International Symposium on Artificial Intelligence and Mathematics (ISAIM). International Symposium on Artificial Intelligence and Mathematics, ISAIM 2018},
 publisher = {POWVER},
 title = {From Machine Ethics to Machine Explainability and Back},
 url = {https://www.dfki.de/fileadmin/user_upload/import/16849_ISAIM2018_Ethics_Baum_etal.pdf},
 year = {2018}
}

@article{kyriakopoulosLumpingOfDegreeBasedMeanField2018,
$ of the network, which is much smaller than the size of the master equation of the underlying stochastic model, yet numerically solving these equations can still be problematic for large $k_{\max}$. In this paper, we consider AME and PA, extended to cope with multiple local states, and we provide an aggregation procedure that clusters together nodes having similar degrees, treating those in the same cluster as indistinguishable, thus reducing the number of equations while preserving an accurate description of global observables of interest. We also provide an automatic way to build such equations and to identify a small number of degree clusters that give accurate results. The method is tested on several case studies, where it shows a high level of compression and a reduction of computational time of several orders of magnitude for large networks, with minimal loss in accuracy},
 author = {Kyriakopoulos, Charalampos and Grossmann, Gerrit and Wolf, Verena and Bortolussi, Luca},
 doi = {10.1103/PhysRevE.97.012301},
 issue = {1},
 journal = {Phys. Rev. E},
 month = {Jan},
 numpages = {15},
 pages = {012301},
 publisher = {American Physical Society},
 title = {Lumping of degree-based mean-field and pair-approximation equations for multistate contact processes},
 url = {https://link.aps.org/doi/10.1103/PhysRevE.97.012301},
 volume = {97},
 year = {2018}
}

@inproceedings{grossmannLumpingTheApproximateMaster2018,
 address = {Cham},
 author = {Großmann, Gerrit and Kyriakopoulos, Charalampos and Bortolussi, Luca and Wolf, Verena},
 booktitle = {Quantitative Evaluation of Systems},
 editor = {McIver, Annabelle and Horvath, Andras},
 isbn = {978-3-319-99154-2},
 pages = {157--172},
 publisher = {Springer International Publishing},
 title = {Lumping the Approximate Master Equation for Multistate Processes on Complex Networks},
 year = {2018}
}

@inproceedings{backenkohlerStudentPerformancePredictionAnd2018,
 author = {Michael Backenköhler and Verena Wolf},
 booktitle = {Software Engineering and Formal Methods. International Conference on Software Engineering and Formal Methods (SEFM), Cham},
 doi = {10.1007/978-3-319-74781-1_3},
 editor = {Antonio Cerone and Marco Roveri},
 isbn = {9783319747811},
 pages = {40-47},
 publisher = {Springer International Publishing},
 title = {Student Performance Prediction and Optimal Course Selection: An MDP Approach},
 url = {https://link.springer.com/chapter/10.1007/978-3-319-74781-1_3},
 year = {2018}
}

@article{backenkohlerMomentBasedParameterEstimationFor2017,
 author = {Michael Backenköhler and Luca Bortolussi and Verena Wolf},
 doi = {10.1109/TCBB.2017.2775219},
 journal = {IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)},
 month = {11},
 number = {4},
 pages = {1180-1192},
 publisher = {IEEE},
 title = {Moment-Based Parameter Estimation for Stochastic Reaction Networks in Equilibrium},
 volume = {15},
 year = {2017}
}

@inproceedings{baumTwoChallengesForCI2017,
 author = {Kevin Baum and Maximilian Köhl and Eva Schmidt},
 booktitle = {Proceedings of the 1st Workshop on Explainable Computational Intelligence (XCI 2017). Explainable Computational Intelligence Workshop (XCI-2017), located at INLG 2017, September 4, Santiago de Compostela, Spain},
 doi = {10.18653/v1/W17-3701},
 editor = {M. Pereira-Fariña and C. Reed},
 month = {9},
 publisher = {Association for Computational Linguistics},
 title = {Two Challenges for CI Trustworthiness and How to Address Them},
 url = {https://www.dfki.de/fileadmin/user_upload/import/16852_W17-3701.pdf},
 year = {2017}
}

@article{kyriakopoulosHOTAEstimationOfDNA2017,
 author = {Kyriakopoulos, Charalampos and Giehr, Pascal and Wolf, Verena},
 doi = {10.1093/bioinformatics/btx042},
 eprint = {https://academic.oup.com/bioinformatics/article-pdf/33/11/1733/49039968/bioinformatics_33_11_1733.pdf},
 issn = {1367-4803},
 journal = {Bioinformatics},
 month = {06},
 number = {11},
 pages = {1733-1734},
 title = {H(O)TA: estimation of DNA methylation and hydroxylation levels and efficiencies from time course data},
 url = {https://doi.org/10.1093/bioinformatics/btx042},
 volume = {33},
 year = {2017}
}

@inproceedings{luckAStochasticModelFor2017,
 address = {Cham},
 author = {Lück, Alexander and Giehr, Pascal and Walter, Jörn and Wolf, Verena},
 booktitle = {Computational Methods in Systems Biology},
 editor = {Feret, Jérôme and Koeppl, Heinz},
 isbn = {978-3-319-67471-1},
 pages = {160--178},
 publisher = {Springer International Publishing},
 title = {A Stochastic Model for the Formation of Spatial Methylation Patterns},
 year = {2017}
}

@inproceedings{biewerTeachingAcademicConcurrencyTo2017,
 author = {Sebastian Biewer and
Felix Freiberger and
Pascal L. Held and
Holger Hermanns},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/conf/birthday/BiewerFHH17.bib},
 booktitle = {Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand
Larsen on the Occasion of His 60th Birthday},
 doi = {10.1007/978-3-319-63121-9_9},
 editor = {Luca Aceto and
Giorgio Bacci and
Giovanni Bacci and
Anna Ingólfsdóttir and
Axel Legay and
Radu Mardare},
 pages = {170--195},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 timestamp = {Sun, 02 Oct 2022 15:55:45 +0200},
 title = {Teaching Academic Concurrency to Amazing Students},
 url = {https://doi.org/10.1007/978-3-319-63121-9_9},
 volume = {10460},
 year = {2017}
}

@article{luckGeneralizedMethodOfMoments2016,
 author = {Alexander Lück and Verena Wolf},
 doi = {10.1186/s12918-016-0342-8},
 journal = {BMC Systems Biology},
 month = {10},
 number = {98},
 pages = {1-12},
 publisher = {BioMed Central, UK},
 title = {Generalized method of moments for estimating parameters of stochastic reaction networks},
 volume = {10},
 year = {2016}
}

@inproceedings{backenkohlerGeneralizedMethodOfMoments2016,
 author = {Michael Backenköhler and Luca Bortolussi and Verena Wolf},
 booktitle = {Computational Methods in Systems Biology. International Conference on Computational Methods in Systems Biology (CMSB-2016), 14th International Conference, CMSB 2016, September 21-23, Cambridge, United Kingdom},
 doi = {10.1007/978-3-319-45177-0_2},
 editor = {Ezio Bartocci and Pietro Lio and Nicola Paoletti},
 isbn = {9783319451770},
 month = {9},
 pages = {15-29},
 publisher = {Springer International Publishing},
 title = {Generalized Method of Moments for Stochastic Reaction Networks in Equilibrium},
 year = {2016}
}

@inproceedings{krugerHybridStochasticSimulationOf2016,
 author = {Thilo Krüger and Verena Wolf},
 booktitle = {Hybrid Systems Biology - 5th International Workshop, Proceedings. International Conference on Hybrid Systems Biology (HSB-2016), October 20-21, Grenoble, France},
 doi = {10.1007/978-3-319-47151-8_3},
 editor = {Eugenio Cinquemani and Alexandre Donzé},
 isbn = {9783319471518},
 month = {9},
 pages = {39-53},
 publisher = {Springer International Publishing},
 series = {Lecture Notes in Computer Science, LNCS},
 title = {Hybrid Stochastic Simulation of Rule-Based Polymerization Models},
 volume = {9957},
 year = {2016}
}

@article{giehrTheInfluenceOfHydroxylation2016,
 author = {Pascal Giehr and Charalampos Kyriakopoulos and Gabriella Ficz and Verena Wolf and Jörn Walter},
 doi = {10.1371/journal.pcbi.1004905},
 journal = {PLOS Computational Biology},
 month = {5},
 number = {5},
 pages = {1-16},
 publisher = {Public Library of Science},
 title = {The Influence of Hydroxylation on Maintaining CpG Methylation Patterns: A Hidden Markov Model Approach},
 volume = {12},
 year = {2016}
}

@article{eckersleymaslinMERVLZscan4NetworkActivationResults2016,
 author = {Mélanie A. Eckersley-Maslin and Valentine Svensson and Christel Krueger and Thomas M. Stubbs and Pascal Giehr and Felix Krueger and Ricardo J. Miragaia and Charalampos Kyriakopoulos and Rebecca V. Berrens and Inês Milagre and Jörn Walter and Sarah A. Teichmann and Wolf Reik},
 doi = {10.1016/j.celrep.2016.08.087},
 issn = {2211-1247},
 journal = {Cell Reports},
 number = {1},
 pages = {179-192},
 title = {MERVL/Zscan4 Network Activation Results in Transient Genome-wide DNA Demethylation of mESCs},
 url = {https://www.sciencedirect.com/science/article/pii/S2211124716311962},
 volume = {17},
 year = {2016}
}

@inproceedings{krekhovMorphableUIAHypergraphBasedApproach2016,
 author = {Andrey Krekhov and Jürgen Grüninger and Kevin Baum and David McCann and Jens Krüger},
 booktitle = {WSCG 2016. Short Papers Proceedings - 24th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision. International Conference on Computer Graphics, Visualization and Computer Vision (WSCG-2016), May 30 - June 3, Plzen, Czech Republic},
 editor = {Vaclav Skala},
 isbn = {978-80-86943-58-9},
 publisher = {Vaclav Skala - Union Agency, Brno},
 series = {Computer Science Research Notes, CSRN},
 title = {MorphableUI: A Hypergraph-Based Approach to Distributed Multimodal Interaction for Rapid Prototyping and Changing Environments},
 url = {https://www.dfki.de/fileadmin/user_upload/import/16857_Krekhov.pdf},
 volume = {2602},
 year = {2016}
}

@inproceedings{baumWhatTheHackIs2016,
 author = {Kevin Baum},
 booktitle = {International Symposium on Leveraging Applications of Formal Methods. International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA-2016)},
 pages = {633-647},
 publisher = {Springer International Publishing},
 title = {What the hack is wrong with software doping?},
 url = {https://link.springer.com/chapter/10.1007/978-3-319-47169-3_49},
 year = {2016}
}

@inproceedings{bockModelBasedWholeGenomeAnalysisOf2015,
 author = {Christoph Bock and Luca Bortolussi and Thilo Krüger and Linar Mikeev and Verena Wolf},
 booktitle = {Hybrid Systems Biology - Fourth International Workshop. Revised Selected Papers. International Conference on Hybrid Systems Biology (HSB-2015), September 4-5, Madrid, Spain},
 doi = {10.1007/978-3-319-26916-0_8},
 editor = {Alessandro Abate and David Šafránek},
 isbn = {9783319269160},
 month = {9},
 pages = {141-155},
 publisher = {Springer International Publishing, Switzerland},
 series = {Lecture Notes in Computer Science, LNCS},
 title = {Model-Based Whole-Genome Analysis of DNA Methylation Fidelity},
 volume = {9271},
 year = {2015}
}

@incollection{bortolussiRuleBasedModellingAndSimulation2015,
 author = {Luca Bortolussi and Thilo Krüger and Thorsten Lehr and Verena Wolf},
 booktitle = {MSM '15: Proceedings of the Symposium on Modeling and Simulation in Medicine},
 editor = {Nicht bekannt},
 isbn = {978-1-5108-0102-8},
 month = {4},
 pages = {53-60},
 publisher = {ACM},
 title = {Rule-based modelling and simulation of drug-administration policies},
 year = {2015}
}

@article{wahlANoteOnReduced2015,
\wr_{\ast} S_N^+$, where $\mathbb{G}$ is a compact matrix quantum group. Based on recent results on their corepresentation theory by Lemeux and Tarrago in [Lemeux and Tarrago (2014)], we prove that $\mathbb{G} \wr_{\ast} S_N^+$ is of Kac type whenever $\mathbb{G}$ is, and that the reduced version of $\mathbb{G} \wr_{\ast} S_N^+$ is simple with unique trace state whenever $N \geq 8$. Moreover, we prove that the reduced von Neumann algebra of $\mathbb{G} \wr_{\ast} S_N^+$ does not have property $\Gamma$.},
 author = {Jonas Wahl},
 doi = {10.1215/ijm/1475266409},
 journal = {Illinois Journal of Mathematics (IJM)},
 number = {3},
 pages = {801-817},
 publisher = {Duke University Press (im Auftrag der University of Illinois)},
 title = {A note on reduced and von Neumann algebraic free wreath products},
 url = {https://projecteuclid.org/journals/illinois-journal-of-mathematics/volume-59/issue-3/A-note-on-reduced-and-von-Neumann-algebraic-free-wreath/10.1215/ijm/1475266409.full},
 volume = {59},
 year = {2015}
}

@article{andreychenkoModelReconstructionForMomentBased2015,
 author = {Alexander Andreychenko and Linar Mikeev and Verena Wolf},
 doi = {10.1145/2699712},
 journal = {ACM Transactions on Modeling and Computer Simulation (TOMACS)},
 number = {2},
 pages = {1-19},
 publisher = {Association for Computing Machinery},
 title = {Model Reconstruction for Moment-Based Stochastic Chemical Kinetics},
 url = {https://dl.acm.org/doi/10.1145/2699712},
 volume = {25},
 year = {2015}
}

@article{hasenauerMethodOfConditionalMoments2014,
 author = {J. Hasenauer and Verena Wolf and A. Kazeroonian and F. J. Theis},
 doi = {10.1007/s00285-013-0711-5},
 journal = {Journal of Mathematical Biology (JOMB)},
 month = {9},
 number = {3},
 pages = {687-735},
 publisher = {Springer, Berlin, Heidelberg},
 title = {Method of conditional moments (MCM) for the Chemical Master Equation},
 volume = {69},
 year = {2014}
}

@article{mikeevOnTheFlyVerificationAndOptimization2013,
 author = {Linar Mikeev and Martin R. Neuhäußer and David Spieler and Verena Wolf},
 doi = {10.1007/s10703-012-0165-1},
 editor = {Nicht bekannt},
 journal = {Formal Methods in System Design},
 month = {10},
 number = {2},
 pages = {313-337},
 publisher = {Springer US, USA},
 title = {On-the-fly verification and optimization of DTA-properties for large Markov chains},
 volume = {43},
 year = {2013}
}

@inproceedings{mikeevNumericalApproximationOfRare2013,
 author = {Linar Mikeev and Werner Sandmann and Verena Wolf},
 booktitle = {Computational Methods in Systems Biology. International Conference on Computational Methods in Systems Biology (CMSB-2013), 11th International Conference, CMSB 2013, September 22-24, Klosterneuburg, Austria},
 doi = {10.1007/978-3-642-40708-6_2},
 edition = {1st},
 editor = {Ashutosh Gupta and Thomas A. Henzinger},
 isbn = {9783642407086},
 month = {9},
 pages = {5-18},
 publisher = {Springer, Berlin, Heidelberg},
 title = {Numerical Approximation of Rare Event Probabilities in Biochemically Reacting Systems},
 volume = {8130},
 year = {2013}
}

@inproceedings{spielerEfficientSteadyStateAnalysis2013,
 author = {David Spieler and Verena Wolf},
 booktitle = {Analytical and Stochastic Modeling Techniques and Applications. International Conference on Analytical and Stochastic Modeling Techniques and Applications (ASMTA-2013), 20th International Conference, ASMTA 2013, July 8-10, Gent, Belgium},
 doi = {10.1007/978-3-642-39408-9_27},
 editor = {Alexander Dudin and Koen De Turck},
 isbn = {9783642394089},
 month = {7},
 pages = {380-395},
 publisher = {Springer Berlin Heidelberg, Heidelberg},
 title = {Efficient Steady State Analysis of Multimodal Markov Chains},
 year = {2013}
}

@inproceedings{angiusApproximateTransientAnalysisOf2013,
 author = {Alessio Angius and András Horváth and Verena Wolf},
 booktitle = {Analytical and Stochastic Modeling Techniques and Applications - 20th International Conference, Proceedings. International Conference on Analytical and Stochastic Modeling Techniques and Applications (ASMTA-2013), July 8-10, Ghent, Belgium},
 doi = {10.1007/978-3-642-39408-9_3},
 editor = {Alexander Dudin and Koen De Turck},
 isbn = {9783642394089},
 pages = {22-36},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science, LNCS},
 title = {Approximate Transient Analysis of Queuing Networks by Quasi Product Forms},
 url = {https://link.springer.com/chapter/10.1007/978-3-642-39408-9_3},
 volume = {7984},
 year = {2013}
}

@article{arandInVivoControlOf2012,
 author = {Julia Arand and David Spieler and Tommy Karius and Miguel R. Branco and Daniela Meilinger and Alexander Meissner and Thomas Jenuwein and Guoliang Xu and Heinrich Leonhardt and Verena Wolf and Jörn Walter},
 doi = {10.1371/journal.pgen.1002750},
 journal = {PLOS Genetics},
 month = {6},
 number = {6},
 pages = {1-11},
 publisher = {PLOS},
 title = {In Vivo Control of CpG and Non-CpG DNA Methylation by DNA Methyltransferases},
 url = {https://journals.plos.org/plosgenetics/article?id=10.1371/journal.pgen.1002750},
 volume = {8},
 year = {2012}
}

@article{katoenThreeValuedAbstractionForProbabilistic2012,
 author = {Joost-Pieter Katoen and Daniel Klink and Martin Leucker and Verena Wolf},
 doi = {10.1016/j.jlap.2012.03.007},
 journal = {The Journal of Logic and Algebraic Programming (JLAP)},
 month = {5},
 number = {4},
 pages = {356-389},
 publisher = {Elsevier, Amsterdam},
 title = {Three-valued abstraction for probabilistic systems},
 volume = {81},
 year = {2012}
}

@inproceedings{mikeevParameterEstimationForStochastic2012,
 author = {Linar Mikeev and Verena Wolf},
 booktitle = {HSCC '12: Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control. ACM International Conference on Hybrid Systems: Computation and Control (HSCC-2012), April 17-19, Beijing, China},
 doi = {10.1145/2185632.2185657},
 isbn = {9781450312202},
 month = {4},
 pages = {155-166},
 publisher = {ACM, New York, NY},
 title = {Parameter estimation for stochastic hybrid models of biochemical reaction networks},
 year = {2012}
}

@article{andreychenkoApproximateMaximumLikelihoodEstimation2012,
 author = {Aleksander Andreychenko and Linar Mikeev and David Spieler and Verena Wolf},
 doi = {10.1186/1687-4153-2012-9},
 journal = {EURASIP Journal on Bioinformatics and Systems Biology},
 number = {1},
 pages = {1-14},
 publisher = {Springer Nature},
 title = {Approximate maximum likelihood estimation for stochastic chemical kinetics},
 url = {https://doi.org/10.1186/1687-4153-2012-9},
 volume = {2012},
 year = {2012}
}

@inproceedings{angiusQuasiProductFormApproximation2012,
 author = {Alessio Angius and András Horváth and Verena Wolf},
 booktitle = {Transactions on Computational Systems Biology XIV - Special Issue on Computational Models for Cell Processes. International Workshop on Computational Models for Cell Processes (CompMod-2011), 3rd Workshop, September 10, Aachen, Germany},
 doi = {10.1007/978-3-642-35524-0_2},
 editor = {Corrado Priami and Ion Petre and Erik de Vink},
 isbn = {978-3-642-35524-0 (online)},
 pages = {26-52},
 publisher = {Springer, Berlin, Heidelberg},
 series = {Lecture Notes in Computer Science, LNCS},
 title = {Quasi Product Form Approximation for Markov Models of Reaction Networks},
 url = {https://link.springer.com/chapter/10.1007/978-3-642-35524-0_2},
 volume = {7625},
 year = {2012}
}

@article{dayarInfiniteLevelDependentQBDProcesses2011,
 author = {Tuğrul Dayar and Werner Sandmann and David Spieler and Verena Wolf},
 doi = {10.1239/aap/1324045696},
 journal = {Advances in Applied Probability},
 month = {12},
 number = {4},
 pages = {1005-1026},
 publisher = {Cambridge University Press},
 title = {Infinite level-dependent QBD processes and matrix-analytic solutions for stochastic chemical kinetics},
 volume = {43},
 year = {2011}
}

@article{dayarBoundingTheEquilibriumDistribution2011,
 author = {Tuǧrul Dayar and Holger Hermanns and David Spieler and Verena Wolf},
 doi = {10.1002/nla.795},
 journal = {Numerical Linear Algebra with Applications},
 month = {10},
 number = {6},
 pages = {931-946},
 publisher = {John Wiley & Sons, Ltd, England},
 title = {Bounding the equilibrium distribution of Markov population models},
 volume = {18},
 year = {2011}
}

@article{henzingerFormalismsForSpecifyingMarkovian2011,
 author = {Thomas Henzinger and Barbara Jobstmann and Verena Wolf},
 doi = {10.1142/S0129054111008441},
 journal = {International Journal of Foundations of Computer Science},
 month = {6},
 number = {04},
 pages = {823-841},
 publisher = {World Scientific Publishing Company, Singapur},
 title = {Formalisms For Specifying Markovian Population Models},
 volume = {22},
 year = {2011}
}

@article{didierApproximationOfEventProbabilities2011,
 author = {Frédéric Didier and Thomas A. Henzinger and Maria Mateescu and Verena Wolf},
 doi = {10.1016/j.tcs.2010.10.022},
 journal = {Theoretical Computer Science (TCS)},
 month = {5},
 number = {21},
 pages = {2128-2141},
 publisher = {Elsevier, Amsterdam},
 title = {Approximation of event probabilities in noisy cellular processes},
 volume = {412},
 year = {2011}
}

@inproceedings{mikeevEfficientCalculationOfRare2011,
 author = {Linar Mikeev and Werner Sandmann and Verena Wolf},
 booktitle = {VALUETOOLS '11: Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools. International ICST Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS-2011), May 16-20, Paris, France},
 doi = {10.4108/icst.valuetools.2011.245597},
 editor = {Samson Lasaulce and Dieter Fiems and Pete Harrison and Luc Vandendorpe},
 isbn = {978-1-936968-09-1},
 month = {5},
 pages = {186-196},
 publisher = {ACM},
 title = {Efficient Calculation of Rare Event Probabilities in Markovian Queueing Networks},
 year = {2011}
}

@inproceedings{lapinSHAVEStochasticHybridAnalysis2011,
 author = {Maksim Lapin and Linar Mikeev and Verena Wolf},
 booktitle = {HSCC '11: Proceedings of the 14th international conference on Hybrid systems: computation and control. ACM International Conference on Hybrid Systems: Computation and Control (HSCC-2011), April 12-14, Chicago,, IL, USA},
 doi = {10.1145/1967701.1967746},
 isbn = {978-1-4503-0629-4},
 month = {4},
 pages = {311-312},
 publisher = {ACM},
 title = {SHAVE: stochastic hybrid analysis of markov population models},
 year = {2011}
}

@article{mateescuFastAdaptiveUniformisationOf2010,
 author = {M. Mateescu and Verena Wolf and F. Didier and T.A. Henzinger},
 doi = {10.1049/iet-syb.2010.0005},
 journal = {IET Systems Biology},
 month = {11},
 number = {6},
 pages = {441-452},
 publisher = {IET, UK},
 title = {Fast adaptive uniformisation of the chemical master equation},
 volume = {4},
 year = {2010}
}

@inproceedings{dayarOnTheNumericalAnalysis2010,
 author = {Tuğrul Dayar and Linar Mikeev and Verena Wolf},
 booktitle = {Proceedings of the International Multiconference on Computer Science and Information Technology. Computer Aspects of Numerical Algorithms (CANA-2010), located at IMCSIT 2010, October 18-20, Wisla, Poland},
 doi = {10.1109/IMCSIT.2010.5680059},
 editor = {M. Ganzha and M. Paprzycki},
 isbn = {978-83-60810-27-9},
 month = {10},
 pages = {289-296},
 publisher = {IEEE},
 title = {On the numerical analysis of stochastic Lotka-Volterra models},
 volume = {5},
 year = {2010}
}

@inproceedings{henzingerHybridNumericalSolutionOf2010,
 author = {Thomas A. Henzinger and Linar Mikeev and Maria Mateescu and Verena Wolf},
 booktitle = {Proceedings of the 8th International Conference on Computational Methods in Systems Biology. International Conference on Computational Methods in Systems Biology (CMSB-2010), Proceedings of the 8th International Conference on Computational Methods in Systems Biology, September 29 - October 1, Trento, Italy},
 doi = {10.1145/1839764.1839772},
 isbn = {9781450300681},
 month = {9},
 pages = {55-65},
 publisher = {ACM, USA},
 title = {Hybrid numerical solution of the chemical master equation},
 year = {2010}
}

@article{wolfSolvingTheChemicalMaster2010,
 author = {Verena Wolf and Rushil Goel and Maria Mateescu and Thomas A. Henzinger},
 doi = {10.1186/1752-0509-4-42},
 editor = {Nicht bekannt},
 journal = {BMC Systems Biology},
 month = {4},
 number = {1},
 pages = {1-42},
 publisher = {BioMed Central},
 title = {Solving the chemical master equation using sliding windows},
 volume = {4},
 year = {2010}
}

@incollection{henzingerSlidingWindowAbstractionFor2009,
 author = {Thomas A. Henzinger and Maria Mateescu and Verena Wolf},
 booktitle = {Ahmed Bouajjani; Oded Maler;: International Conference on Computer Aided Verification},
 doi = {10.1007/978-3-642-02658-4_27},
 isbn = {9783642026584},
 month = {6},
 pages = {337-352},
 publisher = {Springer Berlin Heidelberg, Heidelberg},
 title = {Sliding Window Abstraction for Infinite Markov Chains},
 year = {2009}
}

@inproceedings{katoenAbstractionForStochasticSystems2008,
 author = {Joost-Pieter Katoen and Daniel Klink and Martin Leucker and Verena Wolf},
 booktitle = {CONCUR 2008 - Concurrency Theory. International Conference on Concurrency Theory (CONCUR-2008), 19th International Conference, CONCUR 2008, August 19-22, Toronto, Canada},
 doi = {10.1007/978-3-540-85361-9_24},
 edition = {1st},
 editor = {Franck van Breugel and Marsha Chechik},
 isbn = {9783540853619},
 month = {8},
 pages = {279-294},
 publisher = {Springer Berlin Heidelberg, Heidelberg},
 title = {Abstraction for Stochastic Systems by Erlang's Method of Stages},
 volume = {5201},
 year = {2008}
}

@inproceedings{sandmannComputationalProbabilityForSystems2008,
 author = {Werner Sandmann and Verena Wolf},
 booktitle = {Formal Methods in Systems Biology - First International Workshop, Proceedings. International Workshop on Formal Methods in Systems Biology (FMSB-2008), June 4-5, Cambridge, United Kingdom},
 doi = {10.1007/978-3-540-68413-8_3},
 edition = {1},
 editor = {Jasmin Fisher},
 isbn = {9783540684138},
 month = {6},
 pages = {33-47},
 publisher = {Springer, Berlin, Heidelberg},
 series = {Lecture Notes in Computer Science, LNCS},
 title = {Computational Probability for Systems Biology},
 volume = {5054},
 year = {2008}
}

@phdthesis{wolfEquivalencesOnPhaseType2008,
 author = {Verena Wolf},
 month = {5},
 pages = {210},
 publisher = {Univ.},
 school = {Universität Mannheim},
 title = {Equivalences on Phase Type Processes},
 type = {PhD-Thesis},
 year = {2008}
}

@article{wolfModellingOfBiochemicalReactions2007,
 author = {Verena Wolf},
 doi = {10.1016/j.entcs.2007.05.017},
 editor = {Nicht bekannt},
 journal = {Electronic Notes in Theoretical Computer Science},
 month = {7},
 number = {2},
 pages = {197-208},
 publisher = {Elsevier, Amsterdam},
 title = {Modelling of Biochemical Reactions by Stochastic Automata Networks},
 volume = {171},
 year = {2007}
}

@inproceedings{majstercederbaumInteractionModelsForBiochemical2007,
 author = {Mila Majster-Cederbaum and Nils Semmelrock and Verena Wolf},
 booktitle = {Proceedings of the 2007 International Conference on Bioinformatics & Computational Biology, BIOCOMP 2007. International Conference on Bioinformatics & Computational Biology (BioComp-07), June 25-28, Las Vegas,, NV, USA},
 editor = {Hamid R. Arabnia},
 pages = {480-486},
 publisher = {CSREA Press},
 title = {Interaction Models for Biochemical Reactions},
 year = {2007}
}

@inproceedings{buschANumericalAggregationAlgorithm2006,
 author = {Hauke Busch and Werner Sandmann and Verena Wolf},
 booktitle = {Computational Methods in Systems Biology - International Conference, Proceedings. International Conference on Computational Methods in Systems Biology (CMSB-2006), October 18-19, Trento, Italy},
 doi = {10.1007/11885191_21},
 edition = {1},
 editor = {Corrado Priami},
 isbn = {9783540461678},
 month = {10},
 pages = {298-311},
 publisher = {Springer, Berlin, Heidelberg},
 series = {Lecture Notes in Computer Science, LNCS},
 title = {A Numerical Aggregation Algorithm for the Enzyme-Catalyzed Substrate Conversion},
 volume = {4210},
 year = {2006}
}

@article{wolfTraceSemanticsForStochastic2006,
 author = {Verena Wolf and Christel Baier and Mila Majster-Cederbaum},
 doi = {10.1016/j.entcs.2006.07.019},
 editor = {Nicht bekannt},
 journal = {Electronic Notes in Theoretical Computer Science},
 month = {10},
 number = {3},
 pages = {187-204},
 publisher = {Elsevier, Amsterdam},
 title = {Trace Semantics for Stochastic Systems with Nondeterminism},
 volume = {164},
 year = {2006}
}

@article{baierBisimulationAndSimulationRelations2006,
 author = {Christel Baier and Holger Hermanns and Joost-Pieter Katoen and Verena Wolf},
 doi = {10.1016/j.entcs.2005.12.078},
 journal = {Electronic Notes in Theoretical Computer Science},
 month = {9},
 pages = {73-78},
 publisher = {Elsevier, Amsterdam},
 title = {Bisimulation and Simulation Relations for Markov Chains},
 volume = {162},
 year = {2006}
}

@inproceedings{baierStochasticReasoningAboutChannelBased2006,
 author = {Christel Baier and Verena Wolf},
 booktitle = {Coordination Models and Languages - 8th International Conference, Proceedings. International Conference on Coordination Languages and Models (Coordination-06), June 14-16, Bologna, Italy},
 doi = {10.1007/11767954_1},
 edition = {1},
 editor = {Paolo Ciancarini and Herbert Wiklicky},
 isbn = {9783540346951},
 month = {6},
 pages = {1-15},
 publisher = {Springer Nature},
 series = {Lecture Notes in Computer Science, LNCS},
 title = {Stochastic Reasoning About Channel-Based Component Connectors},
 volume = {4038},
 year = {2006}
}

@article{wolfTraceMachinesForObserving2006,
 author = {Verena Wolf and Christel Baier and Mila Majster-Cederbaum},
 doi = {10.1016/j.entcs.2005.10.042},
 editor = {Nicht bekannt},
 journal = {Electronic Notes in Theoretical Computer Science},
 month = {5},
 number = {2},
 pages = {259-277},
 publisher = {Elsevier, Amsterdam},
 title = {Trace Machines for Observing Continuous-Time Markov Chains},
 volume = {153},
 year = {2006}
}

@inproceedings{fecherDontKnowInProbabilistic2006,
 author = {Harald Fecher and Martin Leucker and Verena Wolf},
 booktitle = {Model Checking Software. International Symposium on Model Checking Software (SPIN-2006), 13th International SPIN Workshop, March 30 - April 1, Vienna, Austria},
 doi = {10.1007/11691617_5},
 edition = {1st},
 editor = {Antti Valmari},
 isbn = {9783540331032},
 month = {3},
 pages = {71-88},
 publisher = {Springer Berlin Heidelberg, Heidelberg},
 title = {Don't Know in Probabilistic Systems},
 year = {2006}
}

@article{sandmannAComputationalStochasticModeling2006,
 author = {Werner Sandmann and Verena Wolf},
 journal = {Enformatika Transactions on Engineering, Computing and Technology},
 pages = {132-137},
 publisher = {o.A.},
 title = {A computational stochastic modeling formalism for biological networks},
 volume = {14},
 year = {2006}
}

@article{baierComparativeBranchingTimeSemanticsFor2005,
 author = {Christel Baier and Joost-Pieter Katoen and Holger Hermanns and Verena Wolf},
 doi = {10.1016/j.ic.2005.03.001},
 journal = {Information and Computation (Inform. Comput.)},
 month = {8},
 number = {2},
 pages = {149-214},
 publisher = {Elsevier, Amsterdam},
 title = {Comparative branching-time semantics for Markov chains},
 volume = {200},
 year = {2005}
}

@incollection{wolfTestingTheoryForProbabilistic2005,
 author = {Verena Wolf},
 booktitle = {Model-Based Testing of Reactive Systems},
 chapter = {9: Testing Theory for Probabilistic Systems},
 doi = {10.1007/11498490_11},
 edition = {1st},
 editor = {David Hutchison and Takeo Kanade and Josef Kittler and Jon M. Kleinberg and Friedemann Mattern and John C. Mitchell and Moni Naor and Oscar Nierstrasz and C. Pandu Rangan and Bernhard Steffen and Madhu Sudan and Demetri Terzopoulos and Dough Tygar and Moshe Y. Vardi and Gerhard Weikum and Manfred Broy and Bengt Jonsson and Joost-Pieter Katoen and Martin Leucker and Alexander Pretschner},
 isbn = {9783540262787 9783540320371},
 month = {7},
 pages = {233-275},
 publisher = {Springer Berlin Heidelberg, Berlin, Heidelberg},
 title = {Testing Theory for Probabilistic Systems},
 volume = {3472},
 year = {2005}
}

@inproceedings{wolfComparativeLinearTimeSemanticsOn2004,
 author = {Verena Wolf and Christel Baier},
 booktitle = {Proceedings of the 16th Nordic Workshop on Programming Theory. Nordic Workshop on Programming Theory, October 6-8, Uppsala, Sweden},
 editor = {Paul Pettersson and Wang Yi},
 month = {10},
 pages = {80-82},
 publisher = {Department of Information Technology, Uppsala University},
 series = {Technical Report},
 title = {Comparative Linear-Time Semantics on Action-Labelled Continuous-Time Markov Chains},
 volume = {2004-041},
 year = {2004}
}