Tatjana Petrov

Cited by

	All	Since 2016
Citations	462	268
h-index	11	10
i10-index	14	11

200920102011201220132014201520162017201820192020202115 17 24 43 26 30 29 27 44 32 61 61 42

Public access

View all

23 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Heinz KoepplTechnische Universität Darmstadt, Department of Electrical Engineering and Information TechnologyVerified email at bcs.tu-darmstadt.de
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Jérôme FeretChargé de recherche, Inria ParisVerified email at inria.fr
Calin C. GuetIST AustriaVerified email at ist.ac.at
Jan KřetínskýTechnical University of Munich (tenure-track assistant professor)Verified email at fi.muni.cz
Tiago PaixaoInstituto Gulbenkian de CiênciaVerified email at igc.gulbenkian.pt
Mirco GiacobbeUniversity of BirminghamVerified email at bham.ac.uk
Barbara JobstmannScientist at EPFLVerified email at epfl.ch
Laurent DoyenCNRS - LSV, ENS CachanVerified email at lsv.fr
Arnab GangulyLSUVerified email at lsu.edu
Andreea BeicaPhD Student, ENS ParisVerified email at di.ens.fr
Bernhard C. GeigerSenior Researcher at Know-Center GmbHVerified email at ieee.org
Gernot KubinProfessor of Nonlinear Signal Processing, Graz University of TechnologyVerified email at ieee.org
ali sezginUniversity of CambridgeVerified email at cam.ac.uk
Loïc PaulevéCNRS/LaBRI, Bordeaux, FranceVerified email at ens-cachan.org
Mauro MangiaResearch fellow, University of BolognaVerified email at unibo.it
Gianluca SettiProfessor of Electronic Engineering, University of FerraraVerified email at unife.it
Marc HafnerGenentechVerified email at gene.com
David Safranekassistant professor, Masaryk university, Faculty of informaticsVerified email at safranek.cz
Matej HajnalPhD candidate, Masaryk UniversityVerified email at mail.muni.cz

Tatjana Petrov

University of Konstanz

Verified email at uni-konstanz.de

computer science systems biology


Title Sort by citations Sort by year Sort by 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	102	2008
Lumpability abstractions of rule-based systems J Feret, T Henzinger, H Koeppl, T Petrov Theoretical Computer Science 431, 137-164, 2012	60	2012
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	40	2013
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	32	2017
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	29	2014
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	23	2014
Combining model reductions F Camporesi, J Feret, H Koeppl, T Petrov Electronic Notes in Theoretical Computer Science 265, 73-96, 2010	22	2010
Linear distances between Markov chains P Daca, TA Henzinger, J Křetínský, T Petrov arXiv preprint arXiv:1605.00186, 2016	21	2016
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	19	2014
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	16	2015
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	12	2012
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	11	2017
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	10	2015
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	10	2013
Model decomposition and stochastic fragments T Petrov, A Ganguly, H Koeppl Electronic Notes in Theoretical Computer Science 284, 105-124, 2012	7	2012
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	7	2010
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	4	2019
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	4	2019
Approximate reductions of rule-based models T Petrov, J Feret	4	2013
Formal reductions of stochastic rule-based models of biochemical systems T Petrov ETH Zurich, 2013	4	2013

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors