( en | de | ru )

 

Disambiguierung von "Pedersen, Mathias Ruggaard"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On the Axiomatizability of Priority III: The Return of Sequential Composition.

, , , , und . ICTCS, Volume 2504 von CEUR Workshop Proceedings, Seite 145-157. CEUR-WS.org, (2019)

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.

Ulf Pedersen

Vera Pedersen

Ole Pedersen

Susanne Pedersen

Ena Pedersen

 

Weitere Publikationen von Autoren mit dem selben Namen

Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects.. CoRR, (2019)On the Axiomatizability of Priority III: The Return of Sequential Composition., , , , und . ICTCS, Volume 2504 von CEUR Workshop Proceedings, Seite 145-157. CEUR-WS.org, (2019)Reasoning About Bounds in Weighted Transition Systems., , , , und . CoRR, (2017)On the Axiomatisability of Parallel Composition: A Journey in the Spectrum., , , , und . CONCUR, Volume 171 von LIPIcs, Seite 18:1-18:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)A Faster-Than Relation for Semi-Markov Decision Processes., , und . QAPL@ETAPS, Volume 312 von EPTCS, Seite 29-42. (2019)Timed Comparisons of Semi-Markov Processes., , , , und . LATA, Volume 10792 von Lecture Notes in Computer Science, Seite 271-283. Springer, (2018)Axiomatizations and Computability of Weighted Monadic Second-Order Logic., und . LICS, Seite 1-13. IEEE, (2021)On Probabilistic Monitorability., , , , , , und . Principles of Systems Design, Volume 13660 von Lecture Notes in Computer Science, Seite 325-342. Springer, (2022)A Complete Approximation Theory for Weighted Transition Systems., , , , und . SETTA, Volume 9984 von Lecture Notes in Computer Science, Seite 213-228. (2016)A Hemimetric Extension of Simulation for Semi-Markov Decision Processes., , , und . QEST, Volume 11024 von Lecture Notes in Computer Science, Seite 339-355. Springer, (2018)