Tatjana Petrov

48 papers A 2B 2C 1Misc 2Journal 17Unranked 22

Year	Rank	Type	Title / 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