Concepedia

Christoph Berkholz

CB

11

Publications

293

Citations

10

H-Index

2012

Active since

Affiliations

Humboldt-Universität zu Berlin(Current)

RWTH Aachen University

Technion – Israel Institute of Technology

Christoph Berkholz is an author at Humboldt-Universität zu Berlin specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningDiscrete MathematicsComputational ComplexityQuery OptimizationFormal VerificationData ScienceProof Complexity

Publications per year

2012–2022

11

Publications

11

Answering Conjunctive Queries under Updates

Christoph Berkholz, Jens Keppeler, Nicole Schweikardt · 2017 · 96 citations

Relational Database, Engineering, Semantics +16

Tight Lower and Upper Bounds for the Complexity of Canonical Colour Refinement

Christoph Berkholz, Paul Bonsma, Martin Grohe · Theory of Computing Systems · 2016 · 47 citations · Full text

Colour Refinement Algorithms, Engineering, Color Correction +19

Constant delay enumeration for conjunctive queries

Christoph Berkholz, Fabian Gerhardt, Nicole Schweikardt · ACM SIGLOG News · 2020 · 30 citations

Database Theory, Engineering, Automated Reasoning +11

Answering UCQs under Updates and in the Presence of Integrity Constraints

Christoph Berkholz, Jens Keppeler, Nicole Schweikardt · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2018 · 20 citations · Full text

Answering (Unions of) Conjunctive Queries using Random Access and Random-Order Enumeration

Nofar Carmeli, Shai Zeevi, Christoph Berkholz et al. · 2020 · 19 citations

Computational Complexity Theory, Engineering, Answer Enumeration +17

Rows per page

1–5 of 11