( en | de | ru )

 

Disambiguierung von "Katoen, Joost-Pieter"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Generative Datalog with Continuous Distributions.

, , , und . J. ACM, 69 (6): 46:1-46:52 (2022)

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.

Joost-Pieter Katoen

Pieter Wolter

Pieter Zwieten

Pieter Ploumen

Pieter Dingeldey

 

Weitere Publikationen von Autoren mit dem selben Namen

Advances in Probabilistic Model Checking.. VMCAI, Volume 5944 von Lecture Notes in Computer Science, Seite 25. Springer, (2010)Quantitative Verification in Practice., , und . ISoLA (2), Volume 6416 von Lecture Notes in Computer Science, Seite 127. Springer, (2010)Analyzing Expected Outcomes and Almost-Sure Termination of Probabilistic Programs is Hard., und . CoRR, (2014)Guest Editors' Introduction to the Special Section on the First International Conference on the Quantitative Evaluation of SysTems (QEST)., , und . IEEE Trans. Software Eng., 32 (8): 529-530 (2006)Code Generation = A* + BURS., , , und . CC, Volume 1060 von Lecture Notes in Computer Science, Seite 160-176. Springer, (1996)Parametric LTL on Markov Chains., und . IFIP TCS, Volume 8705 von Lecture Notes in Computer Science, Seite 207-221. Springer, (2014)Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks., , , und . Distributed Comput., 9 (4): 157-171 (1996)Automated Termination Analysis of Polynomial Probabilistic Programs., , , und . CoRR, (2020)Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning., , , und . Proc. ACM Program. Lang., 5 (POPL): 1-30 (2021)A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions., , , , und . Formal Methods Syst. Des., 12 (2): 189-216 (1998)