Follow
Tatjana Petrov
Tatjana Petrov
Verified email at uni-konstanz.de
Title
Cited by
Cited by
Year
Interface theories with component reuse
L Doyen, TA Henzinger, B Jobstmann, T Petrov
Proceedings of the 8th ACM international conference on Embedded software, 79-88, 2008
1032008
Lumpability abstractions of rule-based systems
J Feret, T Henzinger, H Koeppl, T Petrov
Theoretical Computer Science 431, 137-164, 2012
642012
Stochastic fragments: A framework for the exact reduction of the stochastic semantics of rule-based models
J Feret, H Koeppl, T Petrov
International Journal of Software and Informatics 7 (4), 527-604, 2013
462013
Faster statistical model checking for unbounded temporal properties
P Daca, TA Henzinger, J Křetínský, T Petrov
ACM Transactions on Computational Logic (TOCL) 18 (2), 1-25, 2017
442017
Patterns of hippocampal tau pathology differentiate neurodegenerative dementias
I Milenkovic, T Petrov, GG Kovacs
Dementia and Geriatric Cognitive Disorders 38 (5-6), 375-388, 2014
332014
Optimal kullback–leibler aggregation via information bottleneck
BC Geiger, T Petrov, G Kubin, H Koeppl
IEEE Transactions on Automatic Control 60 (4), 1010-1022, 2014
312014
Linear distances between Markov chains
P Daca, TA Henzinger, J Křetínský, T Petrov
arXiv preprint arXiv:1605.00186, 2016
242016
Combining model reductions
F Camporesi, J Feret, H Koeppl, T Petrov
Electronic Notes in Theoretical Computer Science 265, 73-96, 2010
242010
Markov chain aggregation and its applications to combinatorial reaction networks
A Ganguly, T Petrov, H Koeppl
Journal of mathematical biology 69, 767-797, 2014
222014
Model checking gene regulatory networks
M Giacobbe, CC Guet, A Gupta, TA Henzinger, T Paixão, T Petrov
International Conference on Tools and Algorithms for the Construction and …, 2015
172015
Reconstructing species-based dynamics from reduced stochastic rule-based models
T Petrov, J Feret, H Koeppl
Proceedings of the 2012 Winter Simulation Conference (WSC), 1-15, 2012
162012
Model checking the evolution of gene regulatory networks
M Giacobbe, CC Guet, A Gupta, TA Henzinger, T Paixão, T Petrov
Acta Informatica 54, 765-787, 2017
132017
Data-informed parameter synthesis for population Markov chains
M Hajnal, M Nouvian, D Šafránek, T Petrov
International Workshop on Hybrid Systems Biology, 147-164, 2019
112019
Coarse-grained brownian dynamics simulation of rule-based models
M Klann, L Paulevé, T Petrov, H Koeppl
Computational Methods in Systems Biology: 11th International Conference …, 2013
112013
Efficient reduction of kappa models by static inspection of the rule-set
A Beica, CC Guet, T Petrov
International Workshop on Hybrid Systems Biology, 173-191, 2015
102015
Extracting individual characteristics from population data reveals a negative social effect during honeybee defence
T Petrov, M Hajnal, J Klein, D Šafránek, M Nouvian
PLOS Computational Biology 18 (9), e1010305, 2022
72022
Tropical abstraction of biochemical reaction networks with guarantees
A Beica, J Feret, T Petrov
Electronic Notes in Theoretical Computer Science 350, 3-32, 2020
72020
Model decomposition and stochastic fragments
T Petrov, A Ganguly, H Koeppl
Electronic Notes in Theoretical Computer Science 284, 105-124, 2012
72012
Probability metrics to calibrate stochastic chemical kinetics
H Koeppl, G Setti, S Pelet, M Mangia, T Petrov, M Peter
Proceedings of 2010 IEEE International Symposium on Circuits and Systems …, 2010
72010
Transient memory in gene regulation
C Guet, TA Henzinger, C Igler, T Petrov, A Sezgin
International Conference on Computational Methods in Systems Biology, 155-187, 2019
52019
The system can't perform the operation now. Try again later.
Articles 1–20