Graph explorer

Andreas Krebs

Andreas Krebs contributes to research discovery and scholarly infrastructure.

13 nodes12 linksoverview mapAndreas Krebs
13 nodes12 links
Andreas Krebs13 visible / 13 total nodes / 12 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAAndreas KrebsResearcherWRegular languages defin...preprint / 2022WStreaming algorithms fo...preprint / 2012WAn effective characteri...preprint / 2012WNon-definability of lan...preprint / 2012WSmall Depth Proof Systemspreprint / 2013WEF+EX Forest Algebraspreprint / 2014WUniversal covers, color...preprint / 2015WA Team Based Variant of...preprint / 2015WThe model checking fing...preprint / 2015WTwo-variable Logic with...preprint / 2016WLexicographic Configura...preprint / 2012WBounds for the quantifi...preprint / 2013
PersonSignal 1012 links

Andreas Krebs

Researcher

Open