Tatjana Petrov

Cited by

	All	Since 2017
Citations	479	261
h-index	11	10
i10-index	13	10

2009201020112012201320142015201620172018201920202021202215 17 23 42 27 29 29 27 45 33 59 55 49 20

Public access

View all

26 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 HenzingerISTAustriaVerified 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 MunichVerified 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
David Safranekassistant professor, Masaryk university, Faculty of informaticsVerified email at safranek.cz
Matej HajnalPhD candidate, Masaryk UniversityVerified email at mail.muni.cz
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
Morgane NouvianResearch fellow, University of KonstanzVerified email at uni-konstanz.de

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	103	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	39	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	35	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	30	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	25	2014
Linear distances between Markov chains P Daca, TA Henzinger, J Křetínský, T Petrov arXiv preprint arXiv:1605.00186, 2016	23	2016
Combining model reductions F Camporesi, J Feret, H Koeppl, T Petrov Electronic Notes in Theoretical Computer Science 265, 73-96, 2010	22	2010
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 Paixão, T Petrov International Conference on Tools and Algorithms for the Construction and …, 2015	15	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	13	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
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	11	2013
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	9	2015
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
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	6	2019
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	5	2019
Centrality-preserving exact reductions of multi-layer networks T Petrov, S Tognazzi International Symposium on Leveraging Applications of Formal Methods, 397-415, 2020	4	2020
Approximate reductions of rule-based models T Petrov, J Feret	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

Cited by

Co-authors