( en | de | ru )

 

Disambiguierung von "Petrov, Tatjana"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automated Deep Abstractions for Stochastic Chemical Reaction Networks.

, und . CoRR, (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Valentin Petrov Petrov

Orlin Petrov

Ilia Petrov

Viktor Petrov

Orlin Petrov

 

Weitere Publikationen von Autoren mit dem selben Namen

Automated deep abstractions for stochastic chemical reaction networks., und . Inf. Comput., (2021)Lumping Reductions for Multispread in Multi-Layer Networks., und . COMPLEX NETWORKS, Volume 1016 von Studies in Computational Intelligence, Seite 289-300. Springer, (2021)DiPS: A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications., , und . EPEW, Volume 13104 von Lecture Notes in Computer Science, Seite 79-95. Springer, (2021)Model Checking Gene Regulatory Networks., , , , , und . TACAS, Volume 9035 von Lecture Notes in Computer Science, Seite 469-483. Springer, (2015)Linear Distances between Markov Chains., , , und . CONCUR, Volume 59 von LIPIcs, Seite 20:1-20:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Data-Informed Parameter Synthesis for Population Markov Chains., , , und . HSB, Volume 11705 von Lecture Notes in Computer Science, Seite 147-164. Springer, (2019)StochNetV2: A Tool for Automated Deep Abstractions for Stochastic Reaction Networks., , und . QEST, Volume 12289 von Lecture Notes in Computer Science, Seite 27-32. Springer, (2020)Efficient Reduction of Kappa Models by Static Inspection of the Rule-Set., , und . HSB, Volume 9271 von Lecture Notes in Computer Science, Seite 173-191. Springer, (2015)Faster Statistical Model Checking for Unbounded Temporal Properties., , , und . TACAS, Volume 9636 von Lecture Notes in Computer Science, Seite 112-129. Springer, (2016)Tropical Abstraction of Biochemical Reaction Networks with Guarantees., , und . SASB, Volume 350 von Electronic Notes in Theoretical Computer Science, Seite 3-32. Elsevier, (2020)