Christoph Matheja
- Foundations of Probabilistic Programming
2020/11/18 by Fredrik Dahlqvist, Alexandra Silva, Dexter Kozen +45 · 1 voice · 5 citations
Computer Science · #Bayesian Modeling and Causal Inference #Logic, Reasoning, and Knowledge
- Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms
2018/08/29 by Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja +1 · 10 citations
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Complexity and Algorithms in Graphs
- Weakest Precondition Reasoning for Expected Run-Times of Probabilistic\n Programs
2016/01/05 by Benjamin Lucien Kaminski, Joost-Pieter Katoen, Kaminski, Benjamin Lucien +5 · 4 citations
Computer Science · #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Programming Languages (cs.PL) #Software Testing and Debugging Techniques
- Reasoning about Recursive Probabilistic Programs
2016/03/09 by Federico Olmedo, Olmedo, Federico, Benjamin Lucien Kaminski +5 · 4 citations
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Logic, Reasoning, and Knowledge