( en | de | ru )

 

Disambiguierung von "Meyer, Philipp J."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Constraint-based Analysis of Distributed Systems.

. Technical University of Munich, Germany, (2021)

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.

Philipp Meyer

Philipp Meyer

Philipp J Roth

Philipp J Torka

Philipp Meyer

 

Weitere Publikationen von Autoren mit dem selben Namen

An SMT-based Approach to Fair Termination Analysis., und . FMCAD, Seite 49-56. IEEE, (2015)An SMT-Based Approach to Coverability Analysis., , , , und . CAV, Volume 8559 von Lecture Notes in Computer Science, Seite 603-619. Springer, (2014)Computing the Expected Execution Time of Probabilistic Workflow Nets., , und . TACAS (2), Volume 11428 von Lecture Notes in Computer Science, Seite 154-171. Springer, (2019)#conference.Strix: Explicit Reactive Synthesis Strikes Back!, , und . CAV (1), Volume 10981 von Lecture Notes in Computer Science, Seite 578-586. Springer, (2018)Solving Mean-Payoff Games on the GPU., und . ATVA, Volume 9938 von Lecture Notes in Computer Science, Seite 262-267. (2016)Infinite probability computation by cyclic explanation graphs., und . CoRR, (2013)Constraint-based Analysis of Distributed Systems.. Technical University of Munich, Germany, (2021)Tabling for infinite probability computation., und . ICLP (Technical Communications), Volume 17 von LIPIcs, Seite 348-358. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Computing the Expected Execution Time of Probabilistic Workflow Nets., , und . CoRR, (2018)Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs, , , und . Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, Volume 12302 von Lecture Notes in Computer Science, Seite 550--556. Springer, (2020)Preprint: <a href="https://arxiv.org/abs/2007.07638">Link</a><br>#conference.