The following pages link to Tatjana Petrov (Q404797):
Displaying 19 items.
- Markov chain aggregation and its applications to combinatorial reaction networks (Q404799) (← links)
- Lumpability abstractions of rule-based systems (Q418843) (← links)
- Model checking the evolution of gene regulatory networks (Q1683930) (← links)
- Automated deep abstractions for stochastic chemical reaction networks (Q2051806) (← links)
- Accelerating reactions at the DNA can slow down transient gene expression (Q2110652) (← links)
- Tropical abstraction of biochemical reaction networks with guarantees (Q2229132) (← links)
- Long lived transients in gene regulation (Q2238202) (← links)
- Faster statistical model checking for unbounded temporal properties (Q2272915) (← links)
- Transient memory in gene regulation (Q2326590) (← links)
- Optimal Kullback–Leibler Aggregation via Information Bottleneck (Q2982771) (← links)
- Combining Model Reductions (Q3178247) (← links)
- Linear Distances between Markov Chains (Q4608672) (← links)
- Exact and approximate role assignment for multi-layer networks (Q5022514) (← links)
- Lumping Reductions for Multispread in Multi-Layer Networks (Q5050323) (← links)
- Stochastic Semantics of Signaling as a Composition of Agent-view Automata (Q5166629) (← links)
- Model Checking Gene Regulatory Networks (Q5194958) (← links)
- Efficient Reduction of Kappa Models by Static Inspection of the Rule-Set (Q5376909) (← links)
- Model Decomposition and Stochastic Fragments (Q5404099) (← links)
- Combining formal methods and Bayesian approach for inferring discrete-state stochastic models from steady-state data (Q6705361) (← links)
