( en | de | ru )

 

Disambiguierung von "Matheja, Christoph"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
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)

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.

Walter Matheja

Christel Matheja

Peter Matheja

Karsten Matheja

Roswitha Matheja

 

Weitere Publikationen von Autoren mit dem selben Namen

Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning., , , und . Proc. ACM Program. Lang., 5 (POPL): 1-30 (2021)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)SL-COMP: Competition of Solvers for Separation Logic., , , , , , , , , und 14 andere Autor(en). TACAS (3), Volume 11429 von Lecture Notes in Computer Science, Seite 116-132. Springer, (2019)PrIC3: Property Directed Reachability for MDPs., , , , , und . CAV (2), Volume 12225 von Lecture Notes in Computer Science, Seite 512-538. Springer, (2020)Rule-Based Conditioning of Probabilistic Data., , , und . SUM, Volume 11142 von Lecture Notes in Computer Science, Seite 290-305. Springer, (2018)Flexible Refinement Proofs in Separation Logic., , und . CoRR, (2021)A Deductive Verification Infrastructure for Probabilistic Programs., , , , und . CoRR, (2023)Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic., , , und . LPAR (Workshop and Short Papers), Volume 9 von Kalpa Publications in Computing, Seite 23-36. EasyChair, (2018)Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars., , , und . ICGT, Volume 12741 von Lecture Notes in Computer Science, Seite 283-293. Springer, (2021)Relatively Complete Verification of Probabilistic Programs., , , und . CoRR, (2020)