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 Haase
SearchCollections
Map detail
Christoph Haase13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipChristoph HaaseAChristoph HaaseResearcherOn the Expressiveness of Büchi ArithmeticWOn the Expressiveness o...preprint / 2021Integer Vector Addition Systems with StatesWInteger Vector Addition...preprint / 2014Subclasses of Presburger Arithmetic and the Weak EXP HierarchyWSubclasses of Presburge...preprint / 2014The Odds of Staying on BudgetWThe Odds of Staying on ...preprint / 2015Tightening the Complexity of Equivalence Problems for Commutative GrammarsWTightening the Complexi...preprint / 2015The Complexity of the Kth Largest Subset Problem and Related ProblemsWThe Complexity of the K...preprint / 2015Efficient Quantile Computation in Markov Chains via Counting Problems for Parikh ImagesWEfficient Quantile Comp...preprint / 2016The Power of Priority Channel SystemsWThe Power of Priority C...preprint / 2014Presburger arithmetic with threshold counting quantifiers is easyWPresburger arithmetic w...preprint / 2021On the Size of Finite Rational Matrix SemigroupsWOn the Size of Finite R...preprint / 2020A Polynomial-Time Algorithm for Reachability in Branching VASS in Dimension OneWA Polynomial-Time Algor...preprint / 2016Context-Free Commutative Grammars with Integer Counters and ResetsWContext-Free Commutativ...preprint / 2016
Person12 links

Christoph Haase

Researcher

PaperOn the Expressiveness of Büchi ArithmeticAuthorship / preprint / 2021PaperInteger Vector Addition Systems with StatesAuthorship / preprint / 2014PaperSubclasses of Presburger Arithmetic and the Weak EXP HierarchyAuthorship / preprint / 2014PaperThe Odds of Staying on BudgetAuthorship / preprint / 2015PaperTightening the Complexity of Equivalence Problems for Commutative GrammarsAuthorship / preprint / 2015PaperThe Complexity of the Kth Largest Subset Problem and Related ProblemsAuthorship / preprint / 2015PaperEfficient Quantile Computation in Markov Chains via Counting Problems for Parikh ImagesAuthorship / preprint / 2016PaperThe Power of Priority Channel SystemsAuthorship / preprint / 2014

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)