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
1022008
Lumpability abstractions of rule-based systems
J Feret, T Henzinger, H Koeppl, T Petrov
Theoretical Computer Science 431, 137-164, 2012
602012
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 (ARTICLE), 527-604, 2013
402013
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
312017
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
292014
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
232014
Combining model reductions
F Camporesi, J Feret, H Koeppl, T Petrov
Electronic Notes in Theoretical Computer Science 265, 73-96, 2010
222010
Linear distances between Markov chains
P Daca, TA Henzinger, J Křetínský, T Petrov
arXiv preprint arXiv:1605.00186, 2016
212016
Markov chain aggregation and its applications to combinatorial reaction networks
A Ganguly, T Petrov, H Koeppl
Journal of mathematical biology 69 (3), 767-797, 2014
182014
Model checking gene regulatory networks
M Giacobbe, CC Guet, A Gupta, TA Henzinger, T Paixao, T Petrov
International Conference on Tools and Algorithms for the Construction and …, 2015
162015
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
122012
Model checking the evolution of gene regulatory networks
M Giacobbe, CC Guet, A Gupta, TA Henzinger, T Paixão, T Petrov
Acta Informatica 54 (8), 765-787, 2017
112017
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
Coarse-grained brownian dynamics simulation of rule-based models
M Klann, L Paulevé, T Petrov, H Koeppl
International Conference on Computational Methods in Systems Biology, 64-77, 2013
102013
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
42019
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
42019
Approximate reductions of rule-based models
T Petrov, J Feret
42013
Formal reductions of stochastic rule-based models of biochemical systems
T Petrov
ETH Zurich, 2013
42013
The system can't perform the operation now. Try again later.
Articles 1–20