Concepedia

Christoph Matheja

CM

11

Publications

433

Citations

11

H-Index

2016

Active since

Affiliations

RWTH Aachen University(Current)

University College London

Saarland University

University of British Columbia

Christoph Matheja is an author at RWTH Aachen University specializing in computer science, formal methods, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisAutomated ReasoningFormal VerificationProbabilityVerificationSoftware AnalysisComputational Complexity

Publications per year

2016–2023

11

Publications

11

Reasoning about Recursive Probabilistic Programs

Federico Olmedo, Benjamin Lucien Kaminski, Joost-Pieter Katoen et al. · 2016 · 84 citations

Programming Language Theory, Engineering, Automated Reasoning +14

Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms

Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja et al. · Journal of the ACM · 2018 · 81 citations · Full text

Weakest Precondition, Engineering, Computational Complexity +16

How do programmers use unsafe rust?

Vytautas Astrauskas, Christoph Matheja, Federico Poli et al. · Proceedings of the ACM on Programming Languages · 2020 · 68 citations · Full text

Engineering, Information Security, Software Systems +20

Quantitative separation logic: a logic for reasoning about probabilistic pointer programs

Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen et al. · Proceedings of the ACM on Programming Languages · 2019 · 41 citations · Full text

On the hardness of analyzing probabilistic programs

Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja · Acta Informatica · 2018 · 40 citations

Mathematical Programming, Engineering, Probabilistic Programs +8

Rows per page

1–5 of 11