conf.researchr.org / Christoph Matheja

Registered user since Tue 22 Jan 2019

Name: Christoph Matheja

Country: Germany

Affiliation: RWTH Aachen University

Contributions

QAPL 2019 Author of Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs within the QAPL-track
TACAS 2019 Author of Effective Entailment Checking for Separation Logic with Inductive Definitions within the TACAS 2019-track
POPL 2019 Author of Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs within the Research Papers-track