pith. sign in

Christoph Haase

Identifiers

  • name variant Christoph Haase 0.60 · backfill

Papers (10)

  1. A Polynomial-Time Algorithm for Reachability in Branching VASS in Dimension One cs.FL · 2016 · author #2
  2. Efficient Quantile Computation in Markov Chains via Counting Problems for Parikh Images cs.FL · 2016 · author #1
  3. Context-Free Commutative Grammars with Integer Counters and Resets cs.FL · 2015 · author #2
  4. Approaching the Coverability Problem Continuously cs.LO · 2015 · author #3
  5. Tightening the Complexity of Equivalence Problems for Commutative Grammars cs.FL · 2015 · author #1
  6. The Complexity of the Kth Largest Subset Problem and Related Problems cs.CC · 2015 · author #1
  7. Reachability in Two-Dimensional Vector Addition Systems with States is PSPACE-complete cs.FL · 2014 · author #4
  8. The Odds of Staying on Budget cs.CC · 2014 · author #1
  9. Integer Vector Addition Systems with States cs.FL · 2014 · author #1
  10. Subclasses of Presburger Arithmetic and the Weak EXP Hierarchy cs.LO · 2014 · author #1

Mentions

  • 1511.04893 #2 · backfill · confidence 0.70 Christoph Haase
  • 1510.05724 #3 · backfill · confidence 0.70 Christoph Haase
  • 1506.07774 #1 · backfill · confidence 0.70 Christoph Haase
  • 1501.06729 #1 · backfill · confidence 0.70 Christoph Haase
  • 1412.4259 #4 · backfill · confidence 0.70 Christoph Haase
  • 1409.8228 #1 · backfill · confidence 0.70 Christoph Haase
  • 1406.2590 #1 · backfill · confidence 0.70 Christoph Haase
  • 1401.5266 #1 · backfill · confidence 0.70 Christoph Haase

Frequent Coauthors