Подписаться
Tatjana Petrov
Tatjana Petrov
University of Konstanz
Подтвержден адрес электронной почты в домене uni-konstanz.de
Название
Процитировано
Процитировано
Год
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
652012
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
502017
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
362014
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
322014
Linear distances between Markov chains
P Daca, TA Henzinger, J Křetínský, T Petrov
arXiv preprint arXiv:1605.00186, 2016
272016
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
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
Tropical abstraction of biochemical reaction networks with guarantees
A Beica, J Feret, T Petrov
Electronic Notes in Theoretical Computer Science 350, 3-32, 2020
122020
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
Automated deep abstractions for stochastic chemical reaction networks
D Repin, T Petrov
Information and Computation 281, 104788, 2021
82021
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
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
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20