Frederik Harwath
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2009–2018
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | STACS | Property Testing for Bounded Degree Databases. | Isolde Adler, Frederik Harwath |
| 2016 | LICS | Order-Invariance of Two-Variable Logic is Decidable. | Thomas Zeume, Frederik Harwath |
| 2014 | CSL | Preservation and decomposition theorems for bounded degree structures. | Frederik Harwath, Lucas Heimberg, Nicole Schweikardt |
| 2014 | MFCS | Expressivity and Succinctness of Order-Invariant Logics on Depth-Bounded Structures. | Kord Eickmeyer, Michael Elberfeld, Frederik Harwath |
| 2013 | CSL | On the locality of arb-invariant first-order logic with modulo counting quantifiers. | Frederik Harwath, Nicole Schweikardt |
| 2012 | STACS | Regular tree languages, cardinality predicates, and addition-invariant FO. | Frederik Harwath, Nicole Schweikardt |
| 2009 | GI | Reasoning about Contextual Equivalence: From Untyped to Polymorphically Typed Calculi. | David Sabel, Manfred Schmidt-Schau, Frederik Harwath |