Seguir
Tatjana Petrov
Tatjana Petrov
Dirección de correo verificada de uni-konstanz.de
Título
Citado por
Citado por
Año
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
1042008
Lumpability abstractions of rule-based systems
J Feret, T Henzinger, H Koeppl, T Petrov
Theoretical Computer Science 431, 137-164, 2012
662012
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
512017
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
482013
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
382014
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
332014
Linear distances between Markov chains
P Daca, TA Henzinger, J Křetínský, T Petrov
arXiv preprint arXiv:1605.00186, 2016
282016
Combining model reductions
F Camporesi, J Feret, H Koeppl, T Petrov
Electronic Notes in Theoretical Computer Science 265, 73-96, 2010
252010
Markov chain aggregation and its applications to combinatorial reaction networks
A Ganguly, T Petrov, H Koeppl
Journal of mathematical biology 69, 767-797, 2014
232014
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
Tropical abstraction of biochemical reaction networks with guarantees
A Beica, J Feret, T Petrov
Electronic Notes in Theoretical Computer Science 350, 3-32, 2020
112020
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
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
112015
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
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
82022
Automated deep abstractions for stochastic chemical reaction networks
D Repin, T Petrov
Information and Computation 281, 104788, 2021
82021
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20