Tatjana Petrov
According to our database^{1},
Tatjana Petrov
authored at least 27 papers
between 2008 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on orcid.org
On csauthors.net:
Bibliography
2020
CoRR, 2020
Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany, 2020
Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany, 2020
StochNetV2: A Tool for Automated Deep Abstractions for Stochastic Reaction Networks.
Proceedings of the Quantitative Evaluation of Systems  17th International Conference, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020
Proceedings of the Computational Methods in Systems Biology, 2020
2019
Proceedings of the Hybrid Systems Biology  6th International Workshop, 2019
Proceedings of the Computational Methods in Systems Biology, 2019
2018
CoRR, 2018
2017
ACM Trans. Comput. Log., 2017
Acta Informatica, 2017
2016
Proceedings of the 27th International Conference on Concurrency Theory, 2016
2015
IEEE Trans. Autom. Control., 2015
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015
Proceedings of the Hybrid Systems Biology  Fourth International Workshop, 2015
2013
Formal reductions of stochastic rulebased models of biochemical systems.
PhD thesis, 2013
Stochastic Fragments: A Framework for the Exact Reduction of the Stochastic Semantics of RuleBased Models.
Int. J. Softw. Informatics, 2013
CoRR, 2013
Proceedings of the 12th European Control Conference, 2013
Proceedings of the Computational Methods in Systems Biology, 2013
2012
Theor. Comput. Sci., 2012
Electron. Notes Theor. Comput. Sci., 2012
Proceedings of the Winter Simulation Conference, 2012
2011
Electron. Notes Theor. Comput. Sci., 2011
2010
Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2010), May 30, 2010
2008
Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008