default search action
Tatjana Petrov
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c26]Julia Klein, Alberto d'Onofrio, Tatjana Petrov:
Exploring Consensus Robustness in Swarms with Disruptive Individuals. ISoLA (2) 2024: 33-48 - 2023
- [c25]Luca Bortolussi, Francesca Cairoli, Julia Klein, Tatjana Petrov:
Data-Driven Inference of Chemical Reaction Networks via Graph-Based Variational Autoencoders. QEST 2023: 143-147 - 2022
- [j9]Tatjana Petrov
, Matej Hajnal, Julia Klein
Extracting individual characteristics from population data reveals a negative social effect during honeybee defence. PLoS Comput. Biol. 18(9): 1010305 (2022) - [c24]Julia Klein
Understanding Social Feedback in Biological Collectives with Smoothed Model Checking. ISoLA (3) 2022: 181-198 - 2021
- [j8]Tatjana Petrov
Exact and approximate role assignment for multi-layer networks. J. Complex Networks 9(5) (2021) - [j7]Denis Repin, Tatjana Petrov:
Automated deep abstractions for stochastic chemical reaction networks. Inf. Comput. 281: 104788 (2021) - [j6]Tatjana Petrov, Claudia Igler
Long lived transients in gene regulation. Theor. Comput. Sci. 893: 1-16 (2021) - [c23]Tatjana Petrov, Stefano Tognazzi:
Lumping Reductions for Multispread in Multi-Layer Networks. COMPLEX NETWORKS 2021: 289-300 - [c22]Matej Hajnal, David Safránek
DiPS: A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications. EPEW 2021: 79-95 - 2020
- [c21]Pavol Bokes
Accelerating Reactions at the DNA Can Slow Down Transient Gene Expression. CMSB 2020: 44-60 - [c20]Tatjana Petrov
Centrality-Preserving Exact Reductions of Multi-Layer Networks. ISoLA (2) 2020: 397-415 - [c19]Denis Repin, Nhat-Huy Phung, Tatjana Petrov
StochNetV2: A Tool for Automated Deep Abstractions for Stochastic Reaction Networks. QEST 2020: 27-32 - [c18]Ankit Gupta, Tatjana Petrov:
Preface. SASB 2020: 1-2 - [c17]Andreea Beica, Jérôme Feret, Tatjana Petrov:
Tropical Abstraction of Biochemical Reaction Networks with Guarantees. SASB 2020: 3-32 - [e2]Alessandro Abate
Computational Methods in Systems Biology - 18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020, Proceedings. Lecture Notes in Computer Science 12314, Springer 2020, ISBN 978-3-030-60326-7 [contents] - [e1]Ankit Gupta, Tatjana Petrov:
Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany - August 28th, 2018. Electronic Notes in Theoretical Computer Science 350, Elsevier 2020 [contents] - [i8]Tatjana Petrov, Denis Repin:
Automated Deep Abstractions for Stochastic Chemical Reaction Networks. CoRR abs/2002.01889 (2020)
2010 – 2019
- 2019
- [c16]Calin C. Guet, Thomas A. Henzinger, Claudia Igler, Tatjana Petrov
Transient Memory in Gene Regulation. CMSB 2019: 155-187 - [c15]Matej Hajnal, Morgane Nouvian, Tatjana Petrov, David Safránek:
Data-Informed Parameter Synthesis for Population Markov Chains. CMSB 2019: 383-386 - [c14]Matej Hajnal, Morgane Nouvian
Data-Informed Parameter Synthesis for Population Markov Chains. HSB 2019: 147-164 - 2018
- [i7]Tatjana Petrov:
Markov chain aggregation and its application to rule-based modelling. CoRR abs/1812.09774 (2018) - 2017
- [j5]Mirco Giacobbe
Model checking the evolution of gene regulatory networks. Acta Informatica 54(8): 765-787 (2017) - [j4]Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov
Faster Statistical Model Checking for Unbounded Temporal Properties. ACM Trans. Comput. Log. 18(2): 12:1-12:25 (2017) - 2016
- [c13]Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov
Linear Distances between Markov Chains. CONCUR 2016: 20:1-20:15 - [c12]Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov
Faster Statistical Model Checking for Unbounded Temporal Properties. TACAS 2016: 112-129 - [i6]Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov:
Linear Distances between Markov Chains. CoRR abs/1605.00186 (2016) - 2015
- [j3]Bernhard C. Geiger
Optimal Kullback-Leibler Aggregation via Information Bottleneck. IEEE Trans. Autom. Control. 60(4): 1010-1022 (2015) - [c11]Andreea Beica, Calin C. Guet, Tatjana Petrov
Efficient Reduction of Kappa Models by Static Inspection of the Rule-Set. HSB 2015: 173-191 - [c10]Mirco Giacobbe
Model Checking Gene Regulatory Networks. TACAS 2015: 469-483 - [i5]Andreea Beica, Calin C. Guet, Tatjana Petrov:
Efficient reduction of Kappa models by static inspection of the rule-set. CoRR abs/1501.00440 (2015) - [i4]Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov:
Faster Statistical Model Checking for Unbounded Temporal Properties. CoRR abs/1504.05739 (2015) - 2014
- [i3]Mirco Giacobbe, Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Tiago Paixão, Tatjana Petrov:
Model Checking Gene Regulatory Networks. CoRR abs/1410.7704 (2014) - 2013
- [j2]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): 527-604 (2013) - [c9]Michael Klann, Loïc Paulevé, Tatjana Petrov
Coarse-Grained Brownian Dynamics Simulation of Rule-Based Models. CMSB 2013: 64-77 - [c8]Tatjana Petrov, Heinz Koeppl:
Approximate model reductions for combinatorial reaction systems. ECC 2013: 4172-4177 - [i2]Arnab Ganguly, Tatjana Petrov, Heinz Koeppl:
Markov chain aggregation and its applications to combinatorial reaction networks. CoRR abs/1303.4532 (2013) - [i1]Bernhard C. Geiger, Tatjana Petrov, Gernot Kubin, Heinz Koeppl:
Optimal Kullback-Leibler Aggregation via Information Bottleneck. CoRR abs/1304.6603 (2013) - 2012
- [j1]Jérôme Feret, Thomas A. Henzinger, Heinz Koeppl, Tatjana Petrov
Lumpability abstractions of rule-based systems. Theor. Comput. Sci. 431: 137-164 (2012) - [c7]Tatjana Petrov
Reconstructing species-based dynamics from reduced stochastic rule-based models. WSC 2012: 225:1-225:15 - 2011
- [c6]Tatjana Petrov
Model Decomposition and Stochastic Fragments. SASB 2011: 105-124 - 2010
- [c5]Heinz Koeppl, Gianluca Setti, Serge Pelet, Mauro Mangia
Probability metrics to calibrate stochastic chemical kinetics. ISCAS 2010: 541-544 - [c4]Jérôme Feret, Thomas A. Henzinger, Heinz Koeppl, Tatjana Petrov
Lumpability Abstractions of Rule-based Systems. MeCBIC 2010: 142-161 - [c3]Heinz Koeppl, Tatjana Petrov
Stochastic Semantics of Signaling as a Composition of Agent-view Automata. SASB 2010: 3-17 - [c2]Ferdinanda Camporesi, Jérôme Feret, Heinz Koeppl, Tatjana Petrov
Combining Model Reductions. MFPS 2010: 73-96
2000 – 2009
- 2008
- [c1]Laurent Doyen, Thomas A. Henzinger, Barbara Jobstmann, Tatjana Petrov:
Interface theories with component reuse. EMSOFT 2008: 79-88
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-11 21:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: