( en | de | ru )

 

Disambiguierung von "Kaminski, Benjamin Lucien"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Generating Functions for Probabilistic Programs.

, , , , , und . LOPSTR, Volume 12561 von Lecture Notes in Computer Science, Seite 231-248. Springer, (2020)

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.

Benjamin Kaminski

Lucien Bäck

Lucien Rosen

Lucien Schoppig

Lucien Olivier

 

Weitere Publikationen von Autoren mit dem selben Namen

Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms., , , und . J. ACM, 65 (5): 30:1-30:68 (2018)On the Hardness of Almost-Sure Termination., und . MFCS (1), Volume 9234 von Lecture Notes in Computer Science, Seite 307-318. Springer, (2015)How long, O Bayesian network, will I sample thee?, , , und . European Symposium on Programming, Seite 186--213. Springer, (2018)Quantitative separation logic: a logic for reasoning about probabilistic pointer programs., , , , und . Proc. ACM Program. Lang., 3 (POPL): 34:1-34:29 (2019)A Calculus for Amortized Expected Runtimes., , , , und . Proc. ACM Program. Lang., 7 (POPL): 1957-1986 (Januar 2023)Lower Bounds for Possibly Divergent Probabilistic Programs., , , , , und . CoRR, (2023)Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants., , , , , und . TACAS (2), Volume 13994 von Lecture Notes in Computer Science, Seite 410-429. Springer, (2023)Advanced weakest precondition calculi for probabilistic programs.. RWTH Aachen University, Germany, (2019)Reasoning about Recursive Probabilistic Programs., , , und . LICS, Seite 672-681. ACM, (2016)Inferring Covariances for Probabilistic Programs., , und . QEST, Volume 9826 von Lecture Notes in Computer Science, Seite 191-206. Springer, (2016)