BibTeX records: Frederik Harwath

• > Home > Persons > Frederik Harwath

@phdthesis{DBLP:phd/basesearch/Harwath18,
  author       = {Frederik Harwath},
  title        = {On Invariant Formulae of First-Order Logic with Numerical Predicates},
  school       = {{HU} Berlin, Germany},
  year         = {2018}
}

@inproceedings{DBLP:conf/stacs/AdlerH18,
  author       = {Isolde Adler and
                  Frederik Harwath},
  title        = {Property Testing for Bounded Degree Databases},
  booktitle    = {{STACS}},
  series       = {LIPIcs},
  volume       = {96},
  pages        = {6:1--6:14},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2018}
}

@article{DBLP:journals/tocl/EickmeyerEH17,
  author       = {Kord Eickmeyer and
                  Michael Elberfeld and
                  Frederik Harwath},
  title        = {Succinctness of Order-Invariant Logics on Depth-Bounded Structures},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {18},
  number       = {4},
  pages        = {33:1--33:25},
  year         = {2017}
}

@article{DBLP:journals/corr/HarwathS16,
  author       = {Frederik Harwath and
                  Nicole Schweikardt},
  title        = {On the locality of arb-invariant first-order formulas with modulo
                  counting quantifiers},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {12},
  number       = {4},
  year         = {2016}
}

@article{DBLP:journals/ipl/Harwath16,
  author       = {Frederik Harwath},
  title        = {A note on the size of prenex normal forms},
  journal      = {Inf. Process. Lett.},
  volume       = {116},
  number       = {7},
  pages        = {443--446},
  year         = {2016}
}

@inproceedings{DBLP:conf/lics/ZeumeH16,
  author       = {Thomas Zeume and
                  Frederik Harwath},
  title        = {Order-Invariance of Two-Variable Logic is Decidable},
  booktitle    = {{LICS}},
  pages        = {807--816},
  publisher    = {{ACM}},
  year         = {2016}
}

@article{DBLP:journals/corr/EickmeyerEH16,
  author       = {Kord Eickmeyer and
                  Michael Elberfeld and
                  Frederik Harwath},
  title        = {Succinctness of Order-Invariant Logics on Depth-Bounded Structures},
  journal      = {CoRR},
  volume       = {abs/1603.09055},
  year         = {2016}
}

@article{DBLP:journals/corr/ZeumeH16,
  author       = {Thomas Zeume and
                  Frederik Harwath},
  title        = {Order-Invariance of Two-Variable Logic is Decidable},
  journal      = {CoRR},
  volume       = {abs/1604.05843},
  year         = {2016}
}

@article{DBLP:journals/corr/HarwathHS15,
  author       = {Frederik Harwath and
                  Lucas Heimberg and
                  Nicole Schweikardt},
  title        = {Preservation and decomposition theorems for bounded degree structures},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {11},
  number       = {4},
  year         = {2015}
}

@inproceedings{DBLP:conf/csl/HarwathHS14,
  author       = {Frederik Harwath and
                  Lucas Heimberg and
                  Nicole Schweikardt},
  title        = {Preservation and decomposition theorems for bounded degree structures},
  booktitle    = {{CSL-LICS}},
  pages        = {49:1--49:10},
  publisher    = {{ACM}},
  year         = {2014}
}

@inproceedings{DBLP:conf/mfcs/EickmeyerEH14,
  author       = {Kord Eickmeyer and
                  Michael Elberfeld and
                  Frederik Harwath},
  title        = {Expressivity and Succinctness of Order-Invariant Logics on Depth-Bounded
                  Structures},
  booktitle    = {{MFCS} {(1)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8634},
  pages        = {256--266},
  publisher    = {Springer},
  year         = {2014}
}

@inproceedings{DBLP:conf/csl/HarwathS13,
  author       = {Frederik Harwath and
                  Nicole Schweikardt},
  title        = {On the locality of arb-invariant first-order logic with modulo counting
                  quantifiers},
  booktitle    = {{CSL}},
  series       = {LIPIcs},
  volume       = {23},
  pages        = {363--379},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2013}
}

@inproceedings{DBLP:conf/stacs/HarwathS12,
  author       = {Frederik Harwath and
                  Nicole Schweikardt},
  title        = {Regular tree languages, cardinality predicates, and addition-invariant
                  {FO}},
  booktitle    = {{STACS}},
  series       = {LIPIcs},
  volume       = {14},
  pages        = {489--500},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2012}
}

@inproceedings{DBLP:conf/gi/SabelSH09,
  author       = {David Sabel and
                  Manfred Schmidt{-}Schau{\ss} and
                  Frederik Harwath},
  title        = {Reasoning about Contextual Equivalence: From Untyped to Polymorphically
                  Typed Calculi},
  booktitle    = {{GI} Jahrestagung},
  series       = {{LNI}},
  volume       = {{P-154}},
  pages        = {2931--2945},
  publisher    = {{GI}},
  year         = {2009}
}