( en | de | ru )

 

Disambiguierung von "Batz, Kevin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Weighted programming: a programming paradigm for specifying mathematical models.

, , , , und . Proc. ACM Program. Lang., 6 (OOPSLA1): 1-30 (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.

Alexander Ali Kevin

Fritz Batz

Marion Batz

Ulrich Bätz

Kurt Bätz

 

Weitere Publikationen von Autoren mit dem selben Namen

Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs., , , und . Proc. ACM Program. Lang., 8 (POPL): 2792-2820 (Januar 2024)Latticed k-Induction with an Application to Probabilistic Programs., , , , , und . CAV (2), Volume 12760 von Lecture Notes in Computer Science, Seite 524-549. Springer, (2021)Generating Functions for Probabilistic Programs., , , , , und . LOPSTR, Volume 12561 von Lecture Notes in Computer Science, Seite 231-248. Springer, (2020)PrIC3: Property Directed Reachability for MDPs., , , , , und . CAV (2), Volume 12225 von Lecture Notes in Computer Science, Seite 512-538. Springer, (2020)A Deductive Verification Infrastructure for Probabilistic Programs., , , , und . Proc. ACM Program. Lang., 7 (OOPSLA2): 2052-2082 (Oktober 2023)How long, O Bayesian network, will I sample thee? - A program analysis perspective on expected sampling times., , , und . ESOP, Volume 10801 von Lecture Notes in Computer Science, Seite 186-213. Springer, (2018)Foundations for Entailment Checking in Quantitative Separation Logic., , , , , , und . ESOP, Volume 13240 von Lecture Notes in Computer Science, Seite 57-84. Springer, (2022)Weighted programming: a programming paradigm for specifying mathematical models., , , , und . Proc. ACM Program. Lang., 6 (OOPSLA1): 1-30 (2022)Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs., , , und . CoRR, (2023)How long, O Bayesian network, will I sample thee?, , , und . European Symposium on Programming, Seite 186--213. Springer, (2018)