About Me

@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}
}

@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{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{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}
}

@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{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}
}

@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{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{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{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}
}

@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{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{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}
}

@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{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}
}

@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}
}

@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{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{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}
}

@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{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}
}

@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}
}

@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{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{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{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}
}

@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}
}

@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{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}
}

@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}
}

@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}
}

@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}
}

@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{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}
}