Tatjana Petrov

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 23

Top Topics

Information Bottleneck

Regulatory Networks

Top Venues

Publications

Luca Bortolussi, Francesca Cairoli, Julia Klein, Tatjana Petrov
Data-Driven Inference of Chemical Reaction Networks via Graph-Based Variational Autoencoders. QEST (2023)
Tatjana Petrov, Matej Hajnal, Julia Klein, David Safránek, Morgane Nouvian
Extracting individual characteristics from population data reveals a negative social effect during honeybee defence. PLoS Comput. Biol. 18 (9) (2022)
Julia Klein, Tatjana Petrov
Understanding Social Feedback in Biological Collectives with Smoothed Model Checking. ISoLA (3) (2022)
Tatjana Petrov, Claudia Igler, Ali Sezgin, Thomas A. Henzinger, Calin C. Guet
Long lived transients in gene regulation. Theor. Comput. Sci. 893 (2021)
Tatjana Petrov, Stefano Tognazzi
Lumping Reductions for Multispread in Multi-Layer Networks. COMPLEX NETWORKS (2021)
Matej Hajnal, David Safránek, Tatjana Petrov
DiPS: A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications. EPEW (2021)
Tatjana Petrov, Stefano Tognazzi
Exact and approximate role assignment for multi-layer networks. J. Complex Networks 9 (5) (2021)
Denis Repin, Tatjana Petrov
Automated deep abstractions for stochastic chemical reaction networks. Inf. Comput. 281 (2021)
Pavol Bokes, Julia Klein, Tatjana Petrov
Accelerating Reactions at the DNA Can Slow Down Transient Gene Expression. CMSB (2020)
Tatjana Petrov, Stefano Tognazzi
Centrality-Preserving Exact Reductions of Multi-Layer Networks. ISoLA (2) (2020)
Andreea Beica, Jérôme Feret, Tatjana Petrov
Tropical Abstraction of Biochemical Reaction Networks with Guarantees. SASB (2020)
Denis Repin, Nhat-Huy Phung, Tatjana Petrov
StochNetV2: A Tool for Automated Deep Abstractions for Stochastic Reaction Networks. QEST (2020)
Tatjana Petrov, Denis Repin
Automated Deep Abstractions for Stochastic Chemical Reaction Networks. CoRR (2020)
Ankit Gupta, Tatjana Petrov
Preface. SASB (2020)
Matej Hajnal, Morgane Nouvian, Tatjana Petrov, David Safránek
Data-Informed Parameter Synthesis for Population Markov Chains. CMSB (2019)
Calin C. Guet, Thomas A. Henzinger, Claudia Igler, Tatjana Petrov, Ali Sezgin
Transient Memory in Gene Regulation. CMSB (2019)
Matej Hajnal, Morgane Nouvian, David Safránek, Tatjana Petrov
Data-Informed Parameter Synthesis for Population Markov Chains. HSB (2019)
Tatjana Petrov
Markov chain aggregation and its application to rule-based modelling. CoRR (2018)
Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov
Faster Statistical Model Checking for Unbounded Temporal Properties. ACM Trans. Comput. Log. 18 (2) (2017)
Mirco Giacobbe, Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Tiago Paixão, Tatjana Petrov
Model checking the evolution of gene regulatory networks. Acta Informatica 54 (8) (2017)
Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov
Faster Statistical Model Checking for Unbounded Temporal Properties. TACAS (2016)
Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov
Linear Distances between Markov Chains. CONCUR (2016)
Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov
Linear Distances between Markov Chains. CoRR (2016)
Bernhard C. Geiger, Tatjana Petrov, Gernot Kubin, Heinz Koeppl
Optimal Kullback-Leibler Aggregation via Information Bottleneck. IEEE Trans. Autom. Control. 60 (4) (2015)
Andreea Beica, Calin C. Guet, Tatjana Petrov
Efficient Reduction of Kappa Models by Static Inspection of the Rule-Set. HSB (2015)
Andreea Beica, Calin C. Guet, Tatjana Petrov
Efficient reduction of Kappa models by static inspection of the rule-set. CoRR (2015)
Mirco Giacobbe, Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Tiago Paixão, Tatjana Petrov
Model Checking Gene Regulatory Networks. TACAS (2015)
Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov
Faster Statistical Model Checking for Unbounded Temporal Properties. CoRR (2015)
Mirco Giacobbe, Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Tiago Paixão, Tatjana Petrov
Model Checking Gene Regulatory Networks. CoRR (2014)
Tatjana Petrov, Heinz Koeppl
Approximate model reductions for combinatorial reaction systems. ECC (2013)
Jérôme Feret, Heinz Koeppl, Tatjana Petrov
Stochastic Fragments: A Framework for the Exact Reduction of the Stochastic Semantics of Rule-Based Models. Int. J. Softw. Informatics 7 (4) (2013)
Michael Klann, Loïc Paulevé, Tatjana Petrov, Heinz Koeppl
Coarse-Grained Brownian Dynamics Simulation of Rule-Based Models. CMSB (2013)
Bernhard C. Geiger, Tatjana Petrov, Gernot Kubin, Heinz Koeppl
Optimal Kullback-Leibler Aggregation via Information Bottleneck CoRR (2013)
Arnab Ganguly, Tatjana Petrov, Heinz Koeppl
Markov chain aggregation and its applications to combinatorial reaction networks CoRR (2013)
Tatjana Petrov, Jérôme Feret, Heinz Koeppl
Reconstructing species-based dynamics from reduced stochastic rule-based models. WSC (2012)
Tatjana Petrov, Arnab Ganguly, Heinz Koeppl
Model Decomposition and Stochastic Fragments. Electron. Notes Theor. Comput. Sci. 284 (2012)
Jérôme Feret, Thomas A. Henzinger, Heinz Koeppl, Tatjana Petrov
Lumpability abstractions of rule-based systems. Theor. Comput. Sci. 431 (2012)
Heinz Koeppl, Tatjana Petrov
Stochastic Semantics of Signaling as a Composition of Agent-view Automata. Electron. Notes Theor. Comput. Sci. 272 (2011)
Heinz Koeppl, Gianluca Setti, Serge Pelet, Mauro Mangia, Tatjana Petrov, Matthias Peter
Probability metrics to calibrate stochastic chemical kinetics. ISCAS (2010)
Jérôme Feret, Thomas A. Henzinger, Heinz Koeppl, Tatjana Petrov
Lumpability Abstractions of Rule-based Systems MeCBIC (2010)
Ferdinanda Camporesi, Jérôme Feret, Heinz Koeppl, Tatjana Petrov
Combining Model Reductions. MFPS (2010)
Laurent Doyen, Thomas A. Henzinger, Barbara Jobstmann, Tatjana Petrov
Interface theories with component reuse. EMSOFT (2008)