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

on zbmath.org

on orcid.org

on dnb.info
On csauthors.net:
Bibliography
2023
DataDriven Inference of Chemical Reaction Networks via GraphBased Variational Autoencoders.
Proceedings of the Quantitative Evaluation of Systems  20th International Conference, 2023
2022
Extracting individual characteristics from population data reveals a negative social effect during honeybee defence.
PLoS Comput. Biol., September, 2022
Understanding Social Feedback in Biological Collectives with Smoothed Model Checking.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022
2021
Theor. Comput. Sci., 2021
Inf. Comput., 2021
J. Complex Networks, 2021
DiPS: A Tool for DataInformed Parameter Synthesis for Markov Chains from MultipleProperty Specifications.
Proceedings of the Performance Engineering and Stochastic Modeling, 2021
Proceedings of the Complex Networks & Their Applications X  Volume 2, Proceedings of the Tenth International Conference on Complex Networks and Their Applications COMPLEX NETWORKS 2021, Madrid, Spain, November 30, 2021
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
Proceedings of the Winter Simulation Conference, 2012
2011
Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, 2011
2010
Proceedings of the 1st International Workshop on Static Analysis and Systems Biology, 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