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.

Andreas Krebs
SearchCollections
Map detail
Andreas Krebs13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAndreas KrebsAAndreas KrebsResearcherRegular languages defined by first-order formulas without quantifier alternationWRegular languages defin...preprint / 2022Streaming algorithms for recognizing nearly well-parenthesized expressionsWStreaming algorithms fo...preprint / 2012An effective characterization of the alternation hierarchy in two-variable logicWAn effective characteri...preprint / 2012Non-definability of languages by generalized first-order formulas over (N,+)WNon-definability of lan...preprint / 2012Small Depth Proof SystemsWSmall Depth Proof Systemspreprint / 2013EF+EX Forest AlgebrasWEF+EX Forest Algebraspreprint / 2014Universal covers, color refinement, and two-variable counting logic: Lower bounds for the depthWUniversal covers, color...preprint / 2015A Team Based Variant of CTLWA Team Based Variant of...preprint / 2015The model checking fingerprints of CTL operatorsWThe model checking fing...preprint / 2015Two-variable Logic with a Between PredicateWTwo-variable Logic with...preprint / 2016Lexicographic ConfigurationsWLexicographic Configura...preprint / 2012Bounds for the quantifier depth in finite-variable logics: Alternation hierarchyWBounds for the quantifi...preprint / 2013
Person12 links

Andreas Krebs

Researcher

PaperRegular languages defined by first-order formulas without quantifier alternationAuthorship / preprint / 2022PaperStreaming algorithms for recognizing nearly well-parenthesized expressionsAuthorship / preprint / 2012PaperAn effective characterization of the alternation hierarchy in two-variable logicAuthorship / preprint / 2012PaperNon-definability of languages by generalized first-order formulas over (N,+)Authorship / preprint / 2012PaperSmall Depth Proof SystemsAuthorship / preprint / 2013PaperEF+EX Forest AlgebrasAuthorship / preprint / 2014PaperUniversal covers, color refinement, and two-variable counting logic: Lower bounds for the depthAuthorship / preprint / 2015PaperA Team Based Variant of CTLAuthorship / preprint / 2015

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)