Tatjana Petrov

MaRDI QIDQ404797zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Complex Networks & Their Applications X	2022-11-15	Paper
Exact and approximate role assignment for multi-layer networks Journal of Complex Networks	2022-01-19	Paper
Automated deep abstractions for stochastic chemical reaction networks Information and Computation	2021-11-25	Paper
Long lived transients in gene regulation Theoretical Computer Science	2021-11-01	Paper
Tropical abstraction of biochemical reaction networks with guarantees (available as arXiv preprint)	2021-02-22	Paper
Transient memory in gene regulation	2019-10-10	Paper
Model Checking Gene Regulatory Networks Tools and Algorithms for the Construction and Analysis of Systems	2019-09-17	Paper
Faster statistical model checking for unbounded temporal properties Lecture Notes in Computer Science	2019-09-17	Paper
Efficient reduction of Kappa models by static inspection of the rule-set Hybrid Systems Biology	2019-05-21	Paper
Linear distances between Markov chains (available as arXiv preprint)	2018-03-21	Paper
Model checking the evolution of gene regulatory networks Acta Informatica	2017-12-01	Paper
Faster statistical model checking for unbounded temporal properties ACM Transactions on Computational Logic	2017-07-13	Paper
Optimal Kullback–Leibler Aggregation via Information Bottleneck IEEE Transactions on Automatic Control	2017-05-16	Paper
Combining model reductions Electronic Notes in Theoretical Computer Science	2016-07-08	Paper
Markov chain aggregation and its applications to combinatorial reaction networks Journal of Mathematical Biology	2014-09-04	Paper
Stochastic Semantics of Signaling as a Composition of Agent-view Automata Electronic Notes in Theoretical Computer Science	2014-06-27	Paper
Model decomposition and stochastic fragments Electronic Notes in Theoretical Computer Science	2014-03-21	Paper
Lumpability abstractions of rule-based systems Theoretical Computer Science	2012-05-30	Paper

Research outcomes over time

This page was built for person: Tatjana Petrov