Tatjana Petrov

Available identifiers

zbMath Open petrov.tatjanaDBLP74/255WikidataQ61010069 ScholiaQ61010069MaRDI QIDQ404797

List of research outcomes

Publication	Date of Publication	Type
Combining formal methods and Bayesian approach for inferring discrete-state stochastic models from steady-state data	2023-05-05	Dataset
Accelerating reactions at the DNA can slow down transient gene expression	2022-12-22	Paper
Lumping Reductions for Multispread in Multi-Layer Networks	2022-11-15	Paper
Exact and approximate role assignment for multi-layer networks	2022-01-19	Paper
Automated deep abstractions for stochastic chemical reaction networks	2021-11-25	Paper
Long lived transients in gene regulation	2021-11-01	Paper
Tropical abstraction of biochemical reaction networks with guarantees	2021-02-22	Paper
Transient memory in gene regulation	2019-10-10	Paper
Model Checking Gene Regulatory Networks	2019-09-17	Paper
Faster statistical model checking for unbounded temporal properties	2019-09-17	Paper
Efficient Reduction of Kappa Models by Static Inspection of the Rule-Set	2019-05-21	Paper
Linear Distances between Markov Chains	2018-03-21	Paper
Model checking the evolution of gene regulatory networks	2017-12-01	Paper
Faster statistical model checking for unbounded temporal properties	2017-07-13	Paper
Optimal Kullback–Leibler Aggregation via Information Bottleneck	2017-05-16	Paper
Combining Model Reductions	2016-07-08	Paper
Markov chain aggregation and its applications to combinatorial reaction networks	2014-09-04	Paper
Stochastic Semantics of Signaling as a Composition of Agent-view Automata	2014-06-27	Paper
Model Decomposition and Stochastic Fragments	2014-03-21	Paper
Lumpability abstractions of rule-based systems	2012-05-30	Paper

Research outcomes over time

This page was built for person: Tatjana Petrov