BibTeX records: Frederik Harwath

download as .bib file

@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},
  url          = {http://edoc.hu-berlin.de/18452/20379},
  urn          = {urn:nbn:de:kobv:11-110-18452/20379-2},
  doi          = {10.18452/19609},
  timestamp    = {Wed, 28 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/phd/basesearch/Harwath18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/AdlerH18,
  author       = {Isolde Adler and
                  Frederik Harwath},
  editor       = {Rolf Niedermeier and
                  Brigitte Vall{\'{e}}e},
  title        = {Property Testing for Bounded Degree Databases},
  booktitle    = {35th Symposium on Theoretical Aspects of Computer Science, {STACS}
                  2018, February 28 to March 3, 2018, Caen, France},
  series       = {LIPIcs},
  volume       = {96},
  pages        = {6:1--6:14},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2018},
  url          = {https://doi.org/10.4230/LIPIcs.STACS.2018.6},
  doi          = {10.4230/LIPICS.STACS.2018.6},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/stacs/AdlerH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url          = {https://doi.org/10.1145/3152770},
  doi          = {10.1145/3152770},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/EickmeyerEH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url          = {https://doi.org/10.2168/LMCS-12(4:8)2016},
  doi          = {10.2168/LMCS-12(4:8)2016},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/HarwathS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url          = {https://doi.org/10.1016/j.ipl.2016.03.005},
  doi          = {10.1016/J.IPL.2016.03.005},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/Harwath16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ZeumeH16,
  author       = {Thomas Zeume and
                  Frederik Harwath},
  editor       = {Martin Grohe and
                  Eric Koskinen and
                  Natarajan Shankar},
  title        = {Order-Invariance of Two-Variable Logic is Decidable},
  booktitle    = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
                  Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
  pages        = {807--816},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2933575.2933594},
  doi          = {10.1145/2933575.2933594},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/ZeumeH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url          = {http://arxiv.org/abs/1603.09055},
  eprinttype    = {arXiv},
  eprint       = {1603.09055},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/EickmeyerEH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url          = {http://arxiv.org/abs/1604.05843},
  eprinttype    = {arXiv},
  eprint       = {1604.05843},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/ZeumeH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url          = {https://doi.org/10.2168/LMCS-11(4:17)2015},
  doi          = {10.2168/LMCS-11(4:17)2015},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/HarwathHS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/HarwathHS14,
  author       = {Frederik Harwath and
                  Lucas Heimberg and
                  Nicole Schweikardt},
  editor       = {Thomas A. Henzinger and
                  Dale Miller},
  title        = {Preservation and decomposition theorems for bounded degree structures},
  booktitle    = {Joint Meeting of the Twenty-Third {EACSL} Annual Conference on Computer
                  Science Logic {(CSL)} and the Twenty-Ninth Annual {ACM/IEEE} Symposium
                  on Logic in Computer Science (LICS), {CSL-LICS} '14, Vienna, Austria,
                  July 14 - 18, 2014},
  pages        = {49:1--49:10},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2603088.2603130},
  doi          = {10.1145/2603088.2603130},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csl/HarwathHS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/EickmeyerEH14,
  author       = {Kord Eickmeyer and
                  Michael Elberfeld and
                  Frederik Harwath},
  editor       = {Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
                  Martin Dietzfelbinger and
                  Zolt{\'{a}}n {\'{E}}sik},
  title        = {Expressivity and Succinctness of Order-Invariant Logics on Depth-Bounded
                  Structures},
  booktitle    = {Mathematical Foundations of Computer Science 2014 - 39th International
                  Symposium, {MFCS} 2014, Budapest, Hungary, August 25-29, 2014. Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8634},
  pages        = {256--266},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-44522-8\_22},
  doi          = {10.1007/978-3-662-44522-8\_22},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/EickmeyerEH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/HarwathS13,
  author       = {Frederik Harwath and
                  Nicole Schweikardt},
  editor       = {Simona Ronchi Della Rocca},
  title        = {On the locality of arb-invariant first-order logic with modulo counting
                  quantifiers},
  booktitle    = {Computer Science Logic 2013 {(CSL} 2013), {CSL} 2013, September 2-5,
                  2013, Torino, Italy},
  series       = {LIPIcs},
  volume       = {23},
  pages        = {363--379},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2013},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2013.363},
  doi          = {10.4230/LIPICS.CSL.2013.363},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/csl/HarwathS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/HarwathS12,
  author       = {Frederik Harwath and
                  Nicole Schweikardt},
  editor       = {Christoph D{\"{u}}rr and
                  Thomas Wilke},
  title        = {Regular tree languages, cardinality predicates, and addition-invariant
                  {FO}},
  booktitle    = {29th International Symposium on Theoretical Aspects of Computer Science,
                  {STACS} 2012, February 29th - March 3rd, 2012, Paris, France},
  series       = {LIPIcs},
  volume       = {14},
  pages        = {489--500},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2012},
  url          = {https://doi.org/10.4230/LIPIcs.STACS.2012.489},
  doi          = {10.4230/LIPICS.STACS.2012.489},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/stacs/HarwathS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/SabelSH09,
  author       = {David Sabel and
                  Manfred Schmidt{-}Schau{\ss} and
                  Frederik Harwath},
  editor       = {Stefan Fischer and
                  Erik Maehle and
                  R{\"{u}}diger Reischuk},
  title        = {Reasoning about Contextual Equivalence: From Untyped to Polymorphically
                  Typed Calculi},
  booktitle    = {39. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Im Focus
                  das Leben, {INFORMATIK} 2009, L{\"{u}}beck, Germany, September
                  28 - October 2, 2009, Proceedings},
  series       = {{LNI}},
  volume       = {{P-154}},
  pages        = {2931--2945},
  publisher    = {{GI}},
  year         = {2009},
  url          = {https://dl.gi.de/handle/20.500.12116/31296},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/SabelSH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics