Tatjana Petrov

发表

Centrality-Preserving Exact Reductions of Multi-Layer Networks

Tatjana Petrov, Stefano Tognazzi, 2020, ISoLA.

Transient Memory in Gene Regulation

Thomas A. Henzinger, Tatjana Petrov, Calin C. Guet, 2019, CMSB.

Maximal Reduction of Deterministic Semantics of Rule-Based Models : Syntax- Independent Setup

Heinz Koeppl, Tatjana Petrov, 2010 .

Lumpability abstractions of rule-based systems

Heinz Koeppl, Thomas A. Henzinger, Jérôme Feret, 2012, Theor. Comput. Sci..

Stochastic Fragments: A Framework for the Exact Reduction of the Stochastic Semantics of Rule-Based Models

Heinz Koeppl, Jérôme Feret, Tatjana Petrov, 2013, Int. J. Softw. Informatics.

Reconstructing species-based dynamics from reduced stochastic rule-based models

Heinz Koeppl, Jérôme Feret, Tatjana Petrov, 2012, Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC).

Model Checking Gene Regulatory Networks pdf

Thomas A. Henzinger, Ashutosh Gupta, Tatjana Petrov, 2015, TACAS.

StochNetV2: A Tool for Automated Deep Abstractions for Stochastic Reaction Networks

Tatjana Petrov, Denis Repin, Nhat-Huy Phung, 2020, QEST.

Efficient Reduction of Kappa Models by Static Inspection of the Rule-Set pdf

Andreea Beica, Tatjana Petrov, Calin C. Guet, 2015, HSB.

Accelerating Reactions at the DNA Can Slow Down Transient Gene Expression

Tatjana Petrov, Pavol Bokes, Julia Klein, 2020, CMSB.

Probability metrics to calibrate stochastic chemical kinetics

Heinz Koeppl, Mauro Mangia, Gianluca Setti, 2010, Proceedings of 2010 IEEE International Symposium on Circuits and Systems.

Lumpability abstractions of rule-based systems

Heinz Koeppl, Thomas A. Henzinger, Jérôme Feret, 2010, Theor. Comput. Sci..

Markov chain aggregation and its application to rule-based modelling

Tatjana Petrov, Tatjana Petrov, 2018, Methods in molecular biology.

Stochastic Semantics of Signaling as a Composition of Agent-view Automata

Heinz Koeppl, Tatjana Petrov, H. Koeppl, 2011, SASB.

Data-Informed Parameter Synthesis for Population Markov Chains

David Safránek, Tatjana Petrov, Matej Hajnal, 2019, HSB.

Data-Informed Parameter Synthesis for Population Markov Chains

David Safránek, Tatjana Petrov, Matej Hajnal, 2019, CMSB.

Linear Distances between Markov Chains pdf

Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov, 2016, CONCUR.

Formal reductions of stochastic rule-based models of biochemical systems

Tatjana Petrov, Tatjana Petrov, 2013 .

Coarse-Grained Brownian Dynamics Simulation of Rule-Based Models

Heinz Koeppl, Loïc Paulevé, Tatjana Petrov, 2013, CMSB.

Faster Statistical Model Checking for Unbounded Temporal Properties

Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov, 2016, TACAS.

Automated Deep Abstractions for Stochastic Chemical Reaction Networks pdf

Tatjana Petrov, Denis Repin, 2020, ArXiv.

Combining Model Reductions

Heinz Koeppl, Jérôme Feret, Tatjana Petrov, 2010, MFPS.

Optimal Kullback–Leibler Aggregation via Information Bottleneck

Heinz Koeppl, Gernot Kubin, Bernhard C. Geiger, 2013, IEEE Transactions on Automatic Control.

Preface

Tatjana Petrov, Ankit Gupta, 2020, SASB.

Tropical Abstraction of Biochemical Reaction Networks with Guarantees

Andreea Beica, Tatjana Petrov, J'erome Feret, 2018, SASB.

Interface theories with component reuse

Thomas A. Henzinger, Laurent Doyen, Tatjana Petrov, 2008, EMSOFT '08.

Model Decomposition and Stochastic Fragments

Heinz Koeppl, Tatjana Petrov, Arnab Ganguly, 2012, Electron. Notes Theor. Comput. Sci..

Approximate model reductions for combinatorial reaction systems

Heinz Koeppl, Tatjana Petrov, 2013, 2013 European Control Conference (ECC).

Model checking the evolution of gene regulatory networks

Thomas A. Henzinger, Ashutosh Gupta, Tatjana Petrov, 2016, Acta Informatica.

Markov chain aggregation and its applications to combinatorial reaction networks

Heinz Koeppl, Tatjana Petrov, Arnab Ganguly, 2014, Journal of mathematical biology.

Faster Statistical Model Checking for Unbounded Temporal Properties

Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov, 2015, TACAS.

Computational Methods in Systems Biology: 18th International Conference, CMSB 2020, Konstanz, Germany, September 23–25, 2020, Proceedings

Alessandro Abate, Tatjana Petrov, Verena Wolf, 2020, CMSB.

Long lived transients in gene regulation

Thomas A. Henzinger, Ali Sezgin, Tatjana Petrov, 2021, Theor. Comput. Sci..

Exact and approximate role assignment for multi-layer networks

Tatjana Petrov, Stefano Tognazzi, Tatjana Petrov, 2021, J. Complex Networks.

Rational design of robust biomolecular circuits: from specification to parameters

Heinz Koeppl, Marc Hafner, James Lu, 2011 .

Automatic Reduction of Stochastic Rules‐Based Models in a Nutshell

Heinz Koeppl, Jérôme Feret, Tatjana Petrov, 2010 .