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
952008
Lumpability abstractions of rule-based systems
J Feret, T Henzinger, H Koeppl, T Petrov
Theoretical Computer Science 431, 137-164, 2012
552012
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
352013
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
262017
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
252014
Combining model reductions
F Camporesi, J Feret, H Koeppl, T Petrov
Electronic Notes in Theoretical Computer Science 265, 73-96, 2010
222010
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
212014
Linear distances between Markov chains
P Daca, TA Henzinger, J Křetínský, T Petrov
arXiv preprint arXiv:1605.00186, 2016
192016
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
152015
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
152014
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
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
102012
Model decomposition and stochastic fragments
T Petrov, A Ganguly, H Koeppl
Electronic Notes in Theoretical Computer Science 284, 105-124, 2012
82012
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
72015
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
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
62017
Formal reductions of stochastic rule-based models of biochemical systems
T Petrov
ETH Zurich, 2013
42013
Rational design of robust biomolecular circuits: from specification to parameters
M Hafner, T Petrov, J Lu, H Koeppl
Design and analysis of biomolecular circuits, 253-279, 2011
42011
Approximate reductions of rule-based models
T Petrov, J Feret
32013
Automatic Reduction of Stochastic Rules‐Based Models in a Nutshell
F Camporesi, J Feret, H Koeppl, T Petrov
AIP Conference Proceedings 1281 (1), 1330-1334, 2010
32010
The system can't perform the operation now. Try again later.
Articles 1–20