Graph explorer

Markus Krötzsch

Markus Krötzsch contributes to research discovery and scholarly infrastructure.

7 nodes6 linksoverview previewMarkus Krötzsch
7 nodes6 links
Markus Krötzsch7 visible / 7 total nodes / 6 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAMarkus KrötzschResearcherWChasing Streams with Ex...preprint / 2022WRule Rewriting Revisite...preprint / 2026WEfficient Dependency An...preprint / 2022WExpressivity of Plannin...preprint / 2022WDeciding Hyperpropertie...preprint / 2022WA Sorted Datalog Hammer...preprint / 2022
PersonSignal 106 links

Markus Krötzsch

Researcher

Open