Tatjana Petrov

48 papers A 2B 2C 1Misc 2Journal 17Unranked 22
YearRankTypeTitle / Venue / Authors
2025 — conf
A Rule-Based Modeling Approach for Studying Animal Collectives: A Case Study of Juvenile Honeybee Thermotaxis.
CMSB
Matthieu Bouguéon, Tatjana Petrov, Albin Salazar
2025 — conf
Neuro-Symbolic Discovery of Markov Population Processes.
NeuS
Luca Bortolussi, Francesca Cairoli, Julia Klein, Tatjana Petrov
2025 — conf
Quantifying consensus in stochastic swarms with disruptive individuals.
ECC
Julia Klein, Tatjana Petrov
2024 — conf
Exploring Consensus Robustness in Swarms with Disruptive Individuals.
ISoLA (2)
Julia Klein, Alberto d'Onofrio, Tatjana Petrov
2023 — conf
Data-Driven Inference of Chemical Reaction Networks via Graph-Based Variational Autoencoders.
QEST
Luca Bortolussi, Francesca Cairoli, Julia Klein, Tatjana Petrov
2022 J jnl
Extracting individual characteristics from population data reveals a negative social effect during honeybee defence.
PLoS Comput. Biol.
Tatjana Petrov, Matej Hajnal, Julia Klein, David Safránek, Morgane Nouvian
2022 — conf
Understanding Social Feedback in Biological Collectives with Smoothed Model Checking.
ISoLA (3)
Julia Klein, Tatjana Petrov
2021 J jnl
Automated deep abstractions for stochastic chemical reaction networks.
Inf. Comput.
Denis Repin, Tatjana Petrov
2021 — conf
DiPS: A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications.
EPEW
Matej Hajnal, David Safránek, Tatjana Petrov
2021 J jnl
Exact and approximate role assignment for multi-layer networks.
J. Complex Networks
Tatjana Petrov, Stefano Tognazzi
2021 J jnl
Long lived transients in gene regulation.
Theor. Comput. Sci.
Tatjana Petrov, Claudia Igler, Ali Sezgin, Thomas A. Henzinger, Calin C. Guet
2021 — conf
Lumping Reductions for Multispread in Multi-Layer Networks.
COMPLEX NETWORKS
Tatjana Petrov, Stefano Tognazzi
2020 — conf
Accelerating Reactions at the DNA Can Slow Down Transient Gene Expression.
CMSB
Pavol Bokes, Julia Klein, Tatjana Petrov
2020 J jnl
Automated Deep Abstractions for Stochastic Chemical Reaction Networks.
CoRR
Tatjana Petrov, Denis Repin
2020 — conf
Centrality-Preserving Exact Reductions of Multi-Layer Networks.
ISoLA (2)
Tatjana Petrov, Stefano Tognazzi
2020 — ed.
Computational Methods in Systems Biology - 18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020, Proceedings
CMSB
Alessandro Abate, Tatjana Petrov, Verena Wolf
2020 — conf
Preface.
SASB
Ankit Gupta, Tatjana Petrov
2020 — ed.
Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany - August 28th, 2018
SASB
Ankit Gupta, Tatjana Petrov
2020 — conf
StochNetV2: A Tool for Automated Deep Abstractions for Stochastic Reaction Networks.
QEST
Denis Repin, Nhat-Huy Phung, Tatjana Petrov
2020 — conf
Tropical Abstraction of Biochemical Reaction Networks with Guarantees.
SASB
Andreea Beica, Jérôme Feret, Tatjana Petrov
2019 — conf
Data-Informed Parameter Synthesis for Population Markov Chains.
CMSB
Matej Hajnal, Morgane Nouvian, Tatjana Petrov, David Safránek
2019 — conf
Data-Informed Parameter Synthesis for Population Markov Chains.
HSB
Matej Hajnal, Morgane Nouvian, David Safránek, Tatjana Petrov
2019 — conf
Transient Memory in Gene Regulation.
CMSB
Calin C. Guet, Thomas A. Henzinger, Claudia Igler, Tatjana Petrov, Ali Sezgin
2018 J jnl
Markov chain aggregation and its application to rule-based modelling.
CoRR
Tatjana Petrov
2017 J jnl
Faster Statistical Model Checking for Unbounded Temporal Properties.
ACM Trans. Comput. Log.
Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov
2017 J jnl
Model checking the evolution of gene regulatory networks.
Acta Informatica
Mirco Giacobbe, Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Tiago Paixão, Tatjana Petrov
2016 A conf
Faster Statistical Model Checking for Unbounded Temporal Properties.
TACAS
Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov
2016 B conf
Linear Distances between Markov Chains.
CONCUR
Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov
2016 J jnl
Linear Distances between Markov Chains.
CoRR
Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov
2015 — conf
Efficient Reduction of Kappa Models by Static Inspection of the Rule-Set.
HSB
Andreea Beica, Calin C. Guet, Tatjana Petrov
2015 J jnl
Efficient reduction of Kappa models by static inspection of the rule-set.
CoRR
Andreea Beica, Calin C. Guet, Tatjana Petrov
2015 J jnl
Faster Statistical Model Checking for Unbounded Temporal Properties.
CoRR
Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov
2015 A conf
Model Checking Gene Regulatory Networks.
TACAS
Mirco Giacobbe, Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Tiago Paixão, Tatjana Petrov
2015 J jnl
Optimal Kullback-Leibler Aggregation via Information Bottleneck.
IEEE Trans. Autom. Control.
Bernhard C. Geiger, Tatjana Petrov, Gernot Kubin, Heinz Koeppl
2014 J jnl
Model Checking Gene Regulatory Networks.
CoRR
Mirco Giacobbe, Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Tiago Paixão, Tatjana Petrov
2013 — conf
Approximate model reductions for combinatorial reaction systems.
ECC
Tatjana Petrov, Heinz Koeppl
2013 — conf
Coarse-Grained Brownian Dynamics Simulation of Rule-Based Models.
CMSB
Michael Klann, Loïc Paulevé, Tatjana Petrov, Heinz Koeppl
2013 J jnl
Markov chain aggregation and its applications to combinatorial reaction networks
CoRR
Arnab Ganguly, Tatjana Petrov, Heinz Koeppl
2013 J jnl
Optimal Kullback-Leibler Aggregation via Information Bottleneck
CoRR
Bernhard C. Geiger, Tatjana Petrov, Gernot Kubin, Heinz Koeppl
2013 J jnl
Stochastic Fragments: A Framework for the Exact Reduction of the Stochastic Semantics of Rule-Based Models.
Int. J. Softw. Informatics
Jérôme Feret, Heinz Koeppl, Tatjana Petrov
2012 J jnl
Lumpability abstractions of rule-based systems.
Theor. Comput. Sci.
Jérôme Feret, Thomas A. Henzinger, Heinz Koeppl, Tatjana Petrov
2012 Misc conf
Reconstructing species-based dynamics from reduced stochastic rule-based models.
WSC
Tatjana Petrov, Jérôme Feret, Heinz Koeppl
2011 — conf
Model Decomposition and Stochastic Fragments.
SASB
Tatjana Petrov, Arnab Ganguly, Heinz Koeppl
2010 B conf
Combining Model Reductions.
MFPS
Ferdinanda Camporesi, Jérôme Feret, Heinz Koeppl, Tatjana Petrov
2010 — conf
Lumpability Abstractions of Rule-based Systems
MeCBIC
Jérôme Feret, Thomas A. Henzinger, Heinz Koeppl, Tatjana Petrov
2010 C conf
Probability metrics to calibrate stochastic chemical kinetics.
ISCAS
Heinz Koeppl, Gianluca Setti, Serge Pelet, Mauro Mangia, Tatjana Petrov, Matthias Peter
2010 — conf
Stochastic Semantics of Signaling as a Composition of Agent-view Automata.
SASB
Heinz Koeppl, Tatjana Petrov
2008 Misc conf
Interface theories with component reuse.
EMSOFT
Laurent Doyen, Thomas A. Henzinger, Barbara Jobstmann, Tatjana Petrov