The following pages link to Verena Wolf (Q444483):
Displaying 38 items.
- Three-valued abstraction for probabilistic systems (Q444484) (← links)
- Approximation of event probabilities in noisy cellular processes (Q533357) (← links)
- Stochastic hybrid models of gene regulatory networks -- a PDE approach (Q669087) (← links)
- Abstraction-guided truncations for stationary distributions of Markov population models (Q832087) (← links)
- Generalized method of moments for stochastic reaction networks in equilibrium (Q1706577) (← links)
- Analysis of Markov jump processes under terminal constraints (Q2044200) (← links)
- Tracking the race between deep reinforcement learning and imitation learning (Q2056979) (← links)
- Bounding mean first passage times in population continuous-time Markov chains (Q2056989) (← links)
- Importance of interaction structure and stochasticity for epidemic spreading: a COVID-19 case study (Q2056993) (← links)
- Analytic solutions for stochastic hybrid models of gene regulatory networks (Q2223255) (← links)
- On-the-fly verification and optimization of DTA-properties for large Markov chains (Q2248080) (← links)
- Approximate adaptive uniformization of continuous-time Markov chains (Q2308229) (← links)
- Control variates for stochastic simulation of chemical reaction networks (Q2326581) (← links)
- Comparative branching-time semantics for Markov chains (Q2387196) (← links)
- Approximate Transient Analysis of Queuing Networks by Quasi Product Forms (Q2843052) (← links)
- Efficient Steady State Analysis of Multimodal Markov Chains (Q2843073) (← links)
- Modelling of Biochemical Reactions by Stochastic Automata Networks (Q2864207) (← links)
- Parameter estimation for stochastic hybrid models of biochemical reaction networks (Q2986763) (← links)
- FORMALISMS FOR SPECIFYING MARKOVIAN POPULATION MODELS (Q3016219) (← links)
- Infinite level-dependent QBD processes and matrix-analytic solutions for stochastic chemical kinetics (Q3111053) (← links)
- Computational Probability for Systems Biology (Q3506863) (← links)
- Abstraction for Stochastic Systems by Erlang’s Method of Stages (Q3541024) (← links)
- Sliding Window Abstraction for Infinite Markov Chains (Q3636872) (← links)
- Formalisms for Specifying Markovian Population Models (Q3646248) (← links)
- Model Reconstruction for Moment-Based Stochastic Chemical Kinetics (Q4635227) (← links)
- Bounding the equilibrium distribution of Markov population models (Q4897510) (← links)
- Quasi Product Form Approximation for Markov Models of Reaction Networks (Q4912377) (← links)
- (Q4965808) (← links)
- A Stochastic Automata Network Description for Spatial DNA-Methylation Models (Q5014503) (← links)
- Hybrid Stochastic Simulation of Rule-Based Polymerization Models (Q5204370) (← links)
- A Stochastic Model for the Formation of Spatial Methylation Patterns (Q5227327) (← links)
- Bisimulation and Simulation Relations for Markov Chains (Q5262953) (← links)
- Model-Based Whole-Genome Analysis of DNA Methylation Fidelity (Q5376907) (← links)
- Three-Valued Abstraction for Continuous-Time Markov Chains (Q5429326) (← links)
- Model Checking Software (Q5899037) (← links)
- CONCUR 2003 - Concurrency Theory (Q5900585) (← links)
- Reconstruction of Multimodal Distributions for Hybrid Moment-based Chemical Kinetics, Supporting Information (Q6255450) (← links)
- DSMC evaluation stages: fostering robust and safe behavior in deep reinforcement learning -- extended version (Q6599368) (← links)
