Verena Wolf - RankMe

99 papers A* 3B 3C 1Misc 1Journal 40Unranked 49

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Exploring Molecule Generation Using Latent Space Graph Diffusion. CoRR Prashanth Pombala, Gerrit Grossmann, Verena Wolf
2025	J	`jnl`	Per-Domain Generalizing Policies: On Validation Instances and Scaling Behavior. CoRR Timo P. Gros, Nicola J. Müller, Daniel Fiser, Isabel Valera, Verena Wolf, Jörg Hoffmann
2025	—	`conf`	PyDSMC: Statistical Model Checking for Neural Agents Using the Gymnasium Interface. QEST+FORMATS Timo P. Gros, Arnd Hartmanns, Ivo Hoese, Joshua Meyer, Nicola J. Müller, Verena Wolf
2024	J	`jnl`	Acting for the Right Reasons: Creating Reason-Sensitive Artificial Moral Agents. CoRR Kevin Baum, Lisa Dargasz, Felix Jahn, Timo P. Gros, Verena Wolf
2024	J	`jnl`	Enhancing GNNs with Architecture-Agnostic Graph Transformations: A Systematic Analysis. CoRR Zhifei Li, Gerrit Großmann, Verena Wolf
2024	J	`jnl`	Guided Docking as a Data Generation Approach Facilitates Structure-Based Machine Learning on Kinases. J. Chem. Inf. Model. Michael Backenköhler, Joschka Groß, Verena Wolf, Andrea Volkamer
2024	J	`jnl`	Motion Primitives as the Action Space of Deep Q-Learning for Planning in Autonomous Driving. IEEE Trans. Intell. Transp. Syst. Tristan Schneider, Matheus V. A. Pedrosa, Timo P. Gros, Verena Wolf, Kathrin Flaßkamp
2024	—	`conf`	Safe Reinforcement Learning Through Regret and State Restorations in Evaluation Stages. Principles of Verification (3) Timo P. Gros, Nicola J. Müller, Daniel Höller, Verena Wolf
2023	J	`jnl`	DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning - Extended Version. ACM Trans. Model. Comput. Simul. Timo P. Gros, Joschka Groß, Daniel Höller, Jörg Hoffmann, Michaela Klauck, Hendrik Meerkamp, Nicola J. Müller, Lukas Schaller, Verena Wolf
2023	J	`jnl`	Unsupervised relational inference using masked reconstruction. Appl. Netw. Sci. Gerrit Großmann, Julian Zimmerlin, Michael Backenköhler, Verena Wolf
2023	—	`conf`	XAI Requirements in Smart Production Processes: A Case Study. xAI (1) Deborah Baum, Kevin Baum, Timo P. Gros, Verena Wolf
2022	—	`conf`	MoGym: Using Formal Models for Training and Verifying Decision-making Agents. CAV (2) Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Maximilian A. Köhl, Verena Wolf
2022	—	`conf`	Variance Reduction in Stochastic Reaction Networks Using Control Variates. Principles of Systems Design Michael Backenköhler, Luca Bortolussi, Verena Wolf
2021	—	`conf`	Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models. QEST Michael Backenköhler, Luca Bortolussi, Gerrit Großmann, Verena Wolf
2021	J	`jnl`	Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models. CoRR Michael Backenköhler, Luca Bortolussi, Gerrit Großmann, Verena Wolf
2021	—	`conf`	Analysis of Markov Jump Processes under Terminal Constraints. TACAS (1) Michael Backenköhler, Luca Bortolussi, Gerrit Großmann, Verena Wolf
2021	—	`conf`	DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning. QEST Timo P. Gros, Daniel Höller, Jörg Hoffmann, Michaela Klauck, Hendrik Meerkamp, Verena Wolf
2021	—	`conf`	Epidemic overdispersion strengthens the effectiveness of mobility restrictions. HSCC Gerrit Großmann, Michael Backenköhler, Verena Wolf
2021	J	`jnl`	GINA: Neural Relational Inference From Independent Snapshots. CoRR Gerrit Großmann, Julian Zimmerlin, Michael Backenköhler, Verena Wolf
2021	—	`conf`	InfoLab Saar - Schülerlabor Informatik der Universität des Saarlandes. GI-Jahrestagung Nadine Kirsch, Kerstin Reese, Verena Wolf
2021	J	`jnl`	Introduction to the Special Issue on QEST 2019. ACM Trans. Model. Comput. Simul. David Parker, Verena Wolf
2021	J	`jnl`	Variance Reduction in Stochastic Reaction Networks using Control Variates. CoRR Michael Backenköhler, Luca Bortolussi, Verena Wolf
2020	—	`conf`	A Stochastic Automata Network Description for Spatial DNA-Methylation Models. MMB Alexander Lück, Verena Wolf
2020	J	`jnl`	Analysis of Markov Jump Processes under Terminal Constraints. CoRR Michael Backenköhler, Luca Bortolussi, Gerrit Großmann, Verena Wolf
2020	—	`conf`	Bounding Mean First Passage Times in Population Continuous-Time Markov Chains. QEST Michael Backenköhler, Luca Bortolussi, Verena Wolf
2020	—	`conf`	Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case Study. QEST Gerrit Großmann, Michael Backenköhler, Verena Wolf
2020	—	`conf`	Learning Vaccine Allocation from Simulations. COMPLEX NETWORKS (1) Gerrit Großmann, Michael Backenköhler, Jonas Klesen, Verena Wolf
2020	Misc	`conf`	Real-Time Decision Making for a Car Manufacturing Process Using Deep Reinforcement Learning. WSC Timo P. Gros, Joschka Groß, Verena Wolf
2020	J	`jnl`	Tracking the Race Between Deep Reinforcement Learning and Imitation Learning - Extended Version. CoRR Timo P. Gros, Daniel Höller, Jörg Hoffmann, Verena Wolf
2020	—	`conf`	Tracking the Race Between Deep Reinforcement Learning and Imitation Learning. QEST Timo P. Gros, Daniel Höller, Jörg Hoffmann, Verena Wolf
2019	—	`conf`	A Hybrid HMM Approach for the Dynamics of DNA Methylation. HSB Charalampos Kyriakopoulos, Pascal Giehr, Alexander Lück, Jörn Walter, Verena Wolf
2019	—	`conf`	Bounding First Passage Times in Chemical Reaction Networks - Poster Abstract. CMSB Michael Backenköhler, Luca Bortolussi, Verena Wolf
2019	J	`jnl`	Bounding Mean First Passage Times in Population Continuous-Time Markov Chains. CoRR Michael Backenköhler, Luca Bortolussi, Verena Wolf
2019	—	`conf`	Control Variates for Stochastic Simulation of Chemical Reaction Networks. CMSB Michael Backenköhler, Luca Bortolussi, Verena Wolf
2019	J	`jnl`	Hidden Markov Modelling Reveals Neighborhood Dependence of Dnmt3a and 3b Activity. IEEE ACM Trans. Comput. Biol. Bioinform. Alexander Lück, Pascal Giehr, Karl Nordström, Jörn Walter, Verena Wolf
2019	—	`conf`	Informatikunterricht in der Grundschule? - Erprobung und Auswertung eines Unterrichtsmoduls mit Calliope mini. INFOS Kevin Baum, Nadine Kirsch, Kerstin Reese, Pascal Schmidt, Lukas Wachter, Verena Wolf
2019	—	`ed.`	Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings. QEST David Parker, Verena Wolf
2019	—	`conf`	Rejection-Based Simulation of Non-Markovian Agents on Complex Networks. COMPLEX NETWORKS (1) Gerrit Großmann, Luca Bortolussi, Verena Wolf
2019	J	`jnl`	Rejection-Based Simulation of Non-Markovian Agents on Complex Networks. CoRR Gerrit Großmann, Luca Bortolussi, Verena Wolf
2019	—	`conf`	Rejection-Based Simulation of Stochastic Spreading Processes on Complex Networks. HSB Gerrit Großmann, Verena Wolf
2018	J	`jnl`	Calliope mini. LOG IN Kerstin Reese, Verena Wolf
2018	J	`jnl`	Calliope mini. LOG IN Pascal Schmidt, Anselm Lambert, Kerstin Reese, Verena Wolf
2018	B	`conf`	Data-Driven Approach Towards a Personalized Curriculum. EDM Michael Backenköhler, Felix Scherzinger, Adish Singla, Verena Wolf
2018	—	`conf`	Lumping the Approximate Master Equation for Multistate Processes on Complex Networks. QEST Gerrit Großmann, Charalampos Kyriakopoulos, Luca Bortolussi, Verena Wolf
2018	J	`jnl`	Lumping the Approximate Master Equation for Multistate Processes on Complex Networks. CoRR Gerrit Großmann, Charalampos Kyriakopoulos, Luca Bortolussi, Verena Wolf
2018	J	`jnl`	Moment-Based Parameter Estimation for Stochastic Reaction Networks in Equilibrium. IEEE ACM Trans. Comput. Biol. Bioinform. Michael Backenköhler, Luca Bortolussi, Verena Wolf
2018	J	`jnl`	Rejection-Based Simulation of Stochastic Spreading Processes on Complex Networks. CoRR Gerrit Großmann, Verena Wolf
2018	J	`jnl`	Simulating the Large-Scale Erosion of Genomic Privacy Over Time. IEEE ACM Trans. Comput. Biol. Bioinform. Michael Backes, Pascal Berrang, Mathias Humbert, Xiaoyu Shen, Verena Wolf
2017	—	`conf`	A Stochastic Model for the Formation of Spatial Methylation Patterns. CMSB Alexander Lück, Pascal Giehr, Jörn Walter, Verena Wolf
2017	J	`jnl`	H(O)TA: estimation of DNA methylation and hydroxylation levels and efficiencies from time course data. Bioinform. Charalampos Kyriakopoulos, Pascal Giehr, Verena Wolf
2017	J	`jnl`	Lumping of Degree-Based Mean Field and Pair Approximation Equations for Multi-State Contact Processes. CoRR Charalampos Kyriakopoulos, Gerrit Grossmann, Verena Wolf, Luca Bortolussi
2017	—	`conf`	Student Performance Prediction and Optimal Course Selection: An MDP Approach. SEFM Workshops Michael Backenköhler, Verena Wolf
2016	—	`conf`	Generalized Method of Moments for Stochastic Reaction Networks in Equilibrium. CMSB Michael Backenköhler, Luca Bortolussi, Verena Wolf
2016	J	`jnl`	Generalized method of moments for estimating parameters of stochastic reaction networks. BMC Syst. Biol. Alexander Lück, Verena Wolf
2016	—	`conf`	Hybrid Stochastic Simulation of Rule-Based Polymerization Models. HSB Thilo Krüger, Verena Wolf
2016	J	`jnl`	The Influence of Hydroxylation on Maintaining CpG Methylation Patterns: A Hidden Markov Model Approach. PLoS Comput. Biol. Pascal Giehr, Charalampos Kyriakopoulos, Gabriella Ficz, Verena Wolf, Jörn Walter
2015	J	`jnl`	Model Reconstruction for Moment-Based Stochastic Chemical Kinetics. ACM Trans. Model. Comput. Simul. Alexandr Andreychenko, Linar Mikeev, Verena Wolf
2015	—	`conf`	Model-Based Whole-Genome Analysis of DNA Methylation Fidelity. HSB Christoph Bock, Luca Bortolussi, Thilo Krüger, Linar Mikeev, Verena Wolf
2015	—	`conf`	Rule-based modelling and simulation of drug-administration policies. SpringSim (MSM) Luca Bortolussi, Thilo Krüger, Thorsten Lehr, Verena Wolf
2014	—	`conf`	Optimal Observation Time Points in Stochastic Chemical Kinetics. HSB Charalampos Kyriakopoulos, Verena Wolf
2013	—	`conf`	Approximate Transient Analysis of Queuing Networks by Quasi Product Forms. ASMTA Alessio Angius, András Horváth, Verena Wolf
2013	—	`conf`	Efficient Steady State Analysis of Multimodal Markov Chains. ASMTA David Spieler, Verena Wolf
2013	—	`conf`	Numerical Approximation of Rare Event Probabilities in Biochemically Reacting Systems. CMSB Linar Mikeev, Werner Sandmann, Verena Wolf
2013	J	`jnl`	On-the-fly verification and optimization of DTA-properties for large Markov chains. Formal Methods Syst. Des. Linar Mikeev, Martin R. Neuhäußer, David Spieler, Verena Wolf
2012	J	`jnl`	Approximate maximum likelihood estimation for stochastic chemical kinetics. EURASIP J. Bioinform. Syst. Biol. Aleksandr Andreychenko, Linar Mikeev, David Spieler, Verena Wolf
2012	—	`conf`	Parameter estimation for stochastic hybrid models of biochemical reaction networks. HSCC Linar Mikeev, Verena Wolf
2012	J	`jnl`	Quasi Product Form Approximation for Markov Models of Reaction Networks. Trans. Comp. Sys. Biology Alessio Angius, András Horváth, Verena Wolf
2012	J	`jnl`	Three-valued abstraction for probabilistic systems. J. Log. Algebraic Methods Program. Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf
2011	J	`jnl`	Approximation of event probabilities in noisy cellular processes. Theor. Comput. Sci. Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf
2011	J	`jnl`	Bounding the equilibrium distribution of Markov population models. Numer. Linear Algebra Appl. Tugrul Dayar, Holger Hermanns, David Spieler, Verena Wolf
2011	—	`conf`	Efficient calculation of rare event probabilities in Markovian queueing networks. VALUETOOLS Linar Mikeev, Werner Sandmann, Verena Wolf
2011	J	`jnl`	Formalisms for Specifying Markovian Population Models. Int. J. Found. Comput. Sci. Thomas A. Henzinger, Barbara Jobstmann, Verena Wolf
2011	—	`conf`	On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models QAPL Aleksandr Andreychenko, Pepijn Crouzen, Verena Wolf
2011	J	`jnl`	Parameter Identification for Markov Models of Biochemical Reactions CoRR Aleksandr Andreychenko, Linar Mikeev, David Spieler, Verena Wolf
2011	A*	`conf`	Parameter Identification for Markov Models of Biochemical Reactions. CAV Aleksandr Andreychenko, Linar Mikeev, David Spieler, Verena Wolf
2011	—	`conf`	SHAVE: stochastic hybrid analysis of markov population models. HSCC Maksim Lapin, Linar Mikeev, Verena Wolf
2010	J	`jnl`	Hybrid Numerical Solution of the Chemical Master Equation CoRR Thomas A. Henzinger, Maria Mateescu, Linar Mikeev, Verena Wolf
2010	—	`conf`	Hybrid numerical solution of the chemical master equation. CMSB Thomas A. Henzinger, Linar Mikeev, Maria Mateescu, Verena Wolf
2010	—	`conf`	On the Numerical Analysis of Stochastic Lotka-Volterra Models. IMCSIT Tugrul Dayar, Linar Mikeev, Verena Wolf
2010	J	`jnl`	SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks CoRR Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf
2010	—	`conf`	SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks. QEST Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf
2010	J	`jnl`	Solving the chemical master equation using sliding windows. BMC Syst. Biol. Verena Wolf, Rushil Goel, Maria Mateescu, Thomas A. Henzinger
2009	—	`conf`	Approximation of Event Probabilities in Noisy Cellular Processes. CMSB Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf
2009	—	`conf`	Formalisms for Specifying Markovian Population Models. RP Thomas A. Henzinger, Barbara Jobstmann, Verena Wolf
2009	A*	`conf`	Sliding Window Abstraction for Infinite Markov Chains. CAV Thomas A. Henzinger, Maria Mateescu, Verena Wolf
2008	B	`conf`	Abstraction for Stochastic Systems by Erlang's Method of Stages. CONCUR Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf
2008	—	`conf`	Computational Probability for Systems Biology. FMSB Werner Sandmann, Verena Wolf
2008	—	`—`	Equivalences on Phase Type Processes Verena Wolf
2007	—	`conf`	Interaction Models for Biochemical Reactions. BIOCOMP Mila E. Majster-Cederbaum, Nils Semmelrock, Verena Wolf
2007	A*	`conf`	Three-Valued Abstraction for Continuous-Time Markov Chains. CAV Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf
2006	—	`conf`	A Numerical Aggregation Algorithm for the Enzyme-Catalyzed Substrate Conversion. CMSB Hauke Busch, Werner Sandmann, Verena Wolf
2006	—	`conf`	Modelling of Biochemical Reactions by Stochastic Automata Networks. MeCBIC@ICALP Verena Wolf
2006	C	`conf`	Stochastic Reasoning About Channel-Based Component Connectors. COORDINATION Christel Baier, Verena Wolf
2006	—	`conf`	Trace Semantics for Stochastic Systems with Nondeterminism. QAPL Verena Wolf, Christel Baier, Mila E. Majster-Cederbaum
2005	—	`conf`	Bisimulation and Simulation Relations for Markov Chains. APC 25 Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf
2005	J	`jnl`	Comparative branching-time semantics for Markov chains. Inf. Comput. Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Verena Wolf
2005	—	`conf`	Trace Machines for Observing Continuous-Time Markov Chains. QAPL Verena Wolf, Christel Baier, Mila E. Majster-Cederbaum
2004	—	`conf`	Testing Theory for Probabilistic Systems. Model-Based Testing of Reactive Systems Verena Wolf
2003	B	`conf`	Comparative Branching-Time Semantics. CONCUR Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf