BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Christoph Matheja
SearchCollections
Map detail
Christoph Matheja10 visible / 10 total nodes / 9 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipChristoph MathejaAChristoph MathejaResearcherWeakest Precondition Reasoning for Expected Run-Times of Probabilistic ProgramsWWeakest Precondition Re...preprint / 2017Inferring Covariances for Probabilistic ProgramsWInferring Covariances f...preprint / 2016Unified Reasoning about Robustness Properties of Symbolic-Heap Separation LogicWUnified Reasoning about...preprint / 2016Relatively Complete Verification of Probabilistic ProgramsWRelatively Complete Ver...preprint / 2022Quantitative Separation Logic - A Logic for Reasoning about Probabilistic ProgramsWQuantitative Separation...preprint / 2018Reasoning about Recursive Probabilistic ProgramsWReasoning about Recursi...preprint / 2016PrIC3: Property Directed Reachability for MDPsWPrIC3: Property Directe...preprint / 2020Foundations for Entailment Checking in Quantitative Separation Logic (extended version)WFoundations for Entailm...preprint / 2022A Pre-Expectation Calculus for Probabilistic SensitivityWA Pre-Expectation Calcu...preprint / 2020
Person9 links

Christoph Matheja

Researcher

PaperWeakest Precondition Reasoning for Expected Run-Times of Probabilistic ProgramsAuthorship / preprint / 2017PaperInferring Covariances for Probabilistic ProgramsAuthorship / preprint / 2016PaperUnified Reasoning about Robustness Properties of Symbolic-Heap Separation LogicAuthorship / preprint / 2016PaperRelatively Complete Verification of Probabilistic ProgramsAuthorship / preprint / 2022PaperQuantitative Separation Logic - A Logic for Reasoning about Probabilistic ProgramsAuthorship / preprint / 2018PaperReasoning about Recursive Probabilistic ProgramsAuthorship / preprint / 2016PaperPrIC3: Property Directed Reachability for MDPsAuthorship / preprint / 2020PaperFoundations for Entailment Checking in Quantitative Separation Logic (extended version)Authorship / preprint / 2022

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)