Concepedia

Christoph Haase

CH

10

Publications

286

Citations

10

H-Index

2010

Active since

Affiliations

University of Oxford(Current)

École Normale Supérieure Paris-Saclay

Centre National de la Recherche Scientifique

Université Paris-Saclay

Technical University of Munich

Christoph Haase is an author at University of Oxford specializing in engineering, computational complexity, and computer science.

Top concepts

EngineeringComputer ScienceComputational ComplexityAutomated ReasoningFormal MethodsFormal VerificationDiscrete MathematicsSystems EngineeringCombinatorial OptimizationVerification

Publications per year

2010–2021

10

Publications

10

A survival guide to presburger arithmetic

Christoph Haase · ACM SIGLOG News · 2018 · 73 citations

Decision Procedure, Engineering, Computational Number Theory +15

Register differentiation in East African English

Bertus van Rooy, Lize Terblanche, Christoph Haase et al. · English World-Wide A Journal of Varieties of English · 2010 · 67 citations

Applied Linguistics, Syntax, Language Documentation +15

The Power of Priority Channel Systems

Christoph Haase, Sylvain Schmitz, Philippe Schnoebelen · Logical Methods in Computer Science · 2014 · 28 citations · Full text

Engineering, Verification, Computational Complexity +16

The Taming of the Semi-Linear Set

Dmitry Chistikov, Christoph Haase · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2016 · 27 citations · Full text

Engineering, Computational Complexity, Transformation Semigroups +16

The Logical View on Continuous Petri Nets

Michael Blondin, Alain Finkel, Christoph Haase et al. · ACM Transactions on Computational Logic · 2017 · 25 citations

Petri Net, Engineering, Reachability Problem +17

Rows per page

1–5 of 10