( en | de | ru )

 

Disambiguierung von "Petrov, Tatjana"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Faster Statistical Model Checking for Unbounded Temporal Properties.

, , , und . TACAS, Volume 9636 von Lecture Notes in Computer Science, Seite 112-129. Springer, (2016)

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

Viktor Petrov

Ilia Petrov

Orlin Petrov

 

Weitere Publikationen von Autoren mit dem selben Namen

Data-Informed Parameter Synthesis for Population Markov Chains., , , und . HSB, Volume 11705 von Lecture Notes in Computer Science, Seite 147-164. Springer, (2019)Linear Distances between Markov Chains., , , und . CONCUR, Volume 59 von LIPIcs, Seite 20:1-20:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Automated deep abstractions for stochastic chemical reaction networks., und . Inf. Comput., (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)Lumping Reductions for Multispread in Multi-Layer Networks., und . COMPLEX NETWORKS, Volume 1016 von Studies in Computational Intelligence, Seite 289-300. Springer, (2021)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)Tropical Abstraction of Biochemical Reaction Networks with Guarantees., , und . SASB, Volume 350 von Electronic Notes in Theoretical Computer Science, Seite 3-32. Elsevier, (2020)Preface., und . SASB, Volume 350 von Electronic Notes in Theoretical Computer Science, Seite 1-2. Elsevier, (2020)Faster Statistical Model Checking for Unbounded Temporal Properties., , , und . TACAS, Volume 9636 von Lecture Notes in Computer Science, Seite 112-129. Springer, (2016)