Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Tatjana Petrov
Map detail
Tatjana Petrov8 visible / 8 total nodes / 7 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTatjana PetrovATatjana PetrovResearcherAutomated Deep Abstractions for Stochastic Chemical Reaction NetworksWAutomated Deep Abstract...preprint / 2020Markov chain aggregation and its applications to combinatorial reaction networksWMarkov chain aggregatio...preprint / 2013Efficient reduction of Kappa models by static inspection of the rule-setWEfficient reduction of ...preprint / 2015Lumpability Abstractions of Rule-based SystemsWLumpability Abstraction...preprint / 2010Faster Statistical Model Checking for Unbounded Temporal PropertiesWFaster Statistical Mode...preprint / 2016Linear Distances between Markov ChainsWLinear Distances betwee...preprint / 2016Model Checking Gene Regulatory NetworksWModel Checking Gene Reg...preprint / 2015
Person7 links

Tatjana Petrov

Researcher