( en | de | ru )

 

Disambiguierung von "Turrini, Andrea"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes.

, , , , und . QEST, Volume 10503 von Lecture Notes in Computer Science, Seite 207-223. Springer, (2017)

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.

Andrea Witzenrath

Risikofaktoren für abdominelle Komplikationen nach kardiopulmonalem Bypass. Uni Erlangen-Nürnberg, (2009)

Andrea Rottach

Analysis of the cell cycle dependent dynamics of Dnmt1 and Np95 in living cells. Uni München, (2009)

Andrea Hruby

Die MAPKKK Bck1p des Zellwand-Integritätssignalwegs in der Bäckerhefe Saccharomyces cerevisiae. Uni Münster, (2009)

Michaela Andrea Fingas

Resultate nach radikaler Prostatektomie bei Patienten mit einem Prostatakarzinom Gleason 7-10. Uni Marburg, (2009)

Andrea Kunzmann

 

Weitere Publikationen von Autoren mit dem selben Namen

Scenario Approach for Parametric Markov Models., , , , und . ATVA (1), Volume 14215 von Lecture Notes in Computer Science, Seite 158-180. Springer, (2023)EPMC Gets Knowledge in Multi-agent Systems., , , , , , und . VMCAI, Volume 13182 von Lecture Notes in Computer Science, Seite 93-107. Springer, (2022)Modular Mix-and-Match Complementation of Büchi Automata., , , , und . TACAS (1), Volume 13993 von Lecture Notes in Computer Science, Seite 249-270. Springer, (2023)A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving., , , und . APLAS, Volume 12470 von Lecture Notes in Computer Science, Seite 343-363. Springer, (2020)SVMRanker: a general termination analysis framework of loop programs via SVM., , , , , und . ESEC/SIGSOFT FSE, Seite 1635-1639. ACM, (2020)Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs., , , , und . SETTA, Volume 10606 von Lecture Notes in Computer Science, Seite 25-41. Springer, (2017)Hierarchical and compositional verification of cryptographic protocols.. University of Verona, Italy, (2009)On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report., , , , , , , und . ISoLA (4), Volume 12479 von Lecture Notes in Computer Science, Seite 216-241. Springer, (2020)Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems., , , , , und . IJCAI, Seite 4757-4763. ijcai.org, (2018)Learning Büchi Automata and Its Applications., , , und . SETSS, Volume 11430 von Lecture Notes in Computer Science, Seite 38-98. Springer, (2018)