BibTeX records: Frederik Harwath

download as .bib file

@inproceedings{DBLP:conf/stacs/AdlerH18,
  author    = {Isolde Adler and
               Frederik Harwath},
  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},
  pages     = {6:1--6:14},
  year      = {2018},
  crossref  = {DBLP:conf/stacs/2018},
  url       = {https://doi.org/10.4230/LIPIcs.STACS.2018.6},
  doi       = {10.4230/LIPIcs.STACS.2018.6},
  timestamp = {Wed, 28 Feb 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/stacs/AdlerH18},
  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       = {http://doi.acm.org/10.1145/3152770},
  doi       = {10.1145/3152770},
  timestamp = {Mon, 08 Jan 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tocl/EickmeyerEH17},
  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   = {Logical Methods in Computer Science},
  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 = {Wed, 03 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/HarwathS16},
  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/bib/journals/ipl/Harwath16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ZeumeH16,
  author    = {Thomas Zeume and
               Frederik Harwath},
  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},
  year      = {2016},
  crossref  = {DBLP:conf/lics/2016},
  url       = {http://doi.acm.org/10.1145/2933575.2933594},
  doi       = {10.1145/2933575.2933594},
  timestamp = {Thu, 27 Oct 2016 11:23:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lics/ZeumeH16},
  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},
  archivePrefix = {arXiv},
  eprint    = {1603.09055},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/EickmeyerEH16},
  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},
  archivePrefix = {arXiv},
  eprint    = {1604.05843},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/ZeumeH16},
  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   = {Logical Methods in Computer Science},
  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 = {Wed, 03 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/HarwathHS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/HarwathHS14,
  author    = {Frederik Harwath and
               Lucas Heimberg and
               Nicole Schweikardt},
  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},
  year      = {2014},
  crossref  = {DBLP:conf/csl/2014},
  url       = {http://doi.acm.org/10.1145/2603088.2603130},
  doi       = {10.1145/2603088.2603130},
  timestamp = {Sun, 12 Nov 2017 16:01:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/csl/HarwathHS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Mathematical Foundations of Computer Science 2014 - 39th International
               Symposium, {MFCS} 2014, Budapest, Hungary, August 25-29, 2014. Proceedings,
               Part {I}},
  pages     = {256--266},
  year      = {2014},
  crossref  = {DBLP:conf/mfcs/2014-1},
  url       = {https://doi.org/10.1007/978-3-662-44522-8_22},
  doi       = {10.1007/978-3-662-44522-8_22},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mfcs/EickmeyerEH14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Computer Science Logic 2013 {(CSL} 2013), {CSL} 2013, September 2-5,
               2013, Torino, Italy},
  pages     = {363--379},
  year      = {2013},
  crossref  = {DBLP:conf/csl/2013},
  url       = {https://doi.org/10.4230/LIPIcs.CSL.2013.363},
  doi       = {10.4230/LIPIcs.CSL.2013.363},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csl/HarwathS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/HarwathS12,
  author    = {Frederik Harwath and
               Nicole Schweikardt},
  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},
  pages     = {489--500},
  year      = {2012},
  crossref  = {DBLP:conf/stacs/2012},
  url       = {https://doi.org/10.4230/LIPIcs.STACS.2012.489},
  doi       = {10.4230/LIPIcs.STACS.2012.489},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stacs/HarwathS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Informatik 2009: Im Focus das Leben, Beitr{\"{a}}ge der 39. Jahrestagung
               der Gesellschaft f{\"{u}}r Informatik e.V. (GI), 28.9.-2.10.2009,
               L{\"{u}}beck, Deutschland, Proceedings},
  pages     = {2931--2945},
  year      = {2009},
  crossref  = {DBLP:conf/gi/2009},
  url       = {http://subs.emis.de/LNI/Proceedings/Proceedings154/article2805.html},
  timestamp = {Tue, 15 Mar 2016 16:45:13 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/gi/SabelSH09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stacs/2018,
  editor    = {Rolf Niedermeier and
               Brigitte Vall{\'{e}}e},
  title     = {35th Symposium on Theoretical Aspects of Computer Science, {STACS}
               2018, February 28 to March 3, 2018, Caen, France},
  series    = {LIPIcs},
  volume    = {96},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2018},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-062-0},
  isbn      = {978-3-95977-062-0},
  timestamp = {Tue, 27 Feb 2018 12:01:19 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/stacs/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/2016,
  editor    = {Martin Grohe and
               Eric Koskinen and
               Natarajan Shankar},
  title     = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
               Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://doi.acm.org/10.1145/2933575},
  doi       = {10.1145/2933575},
  isbn      = {978-1-4503-4391-6},
  timestamp = {Thu, 27 Oct 2016 11:23:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lics/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/2014,
  editor    = {Thomas A. Henzinger and
               Dale Miller},
  title     = {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},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2603088},
  isbn      = {978-1-4503-2886-9},
  timestamp = {Sun, 12 Nov 2017 16:01:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/csl/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfcs/2014-1,
  editor    = {Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
               Martin Dietzfelbinger and
               Zolt{\'{a}}n {\'{E}}sik},
  title     = {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},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-44522-8},
  doi       = {10.1007/978-3-662-44522-8},
  isbn      = {978-3-662-44521-1},
  timestamp = {Thu, 25 May 2017 00:43:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mfcs/2014-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/2013,
  editor    = {Simona Ronchi Della Rocca},
  title     = {Computer Science Logic 2013 {(CSL} 2013), {CSL} 2013, September 2-5,
               2013, Torino, Italy},
  series    = {LIPIcs},
  volume    = {23},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2013},
  url       = {http://drops.dagstuhl.de/opus/portals/extern/index.php?semnr=13009},
  isbn      = {978-3-939897-60-6},
  timestamp = {Wed, 04 Sep 2013 20:26:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csl/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stacs/2012,
  editor    = {Christoph D{\"{u}}rr and
               Thomas Wilke},
  title     = {29th International Symposium on Theoretical Aspects of Computer Science,
               {STACS} 2012, February 29th - March 3rd, 2012, Paris, France},
  series    = {LIPIcs},
  volume    = {14},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2012},
  url       = {http://drops.dagstuhl.de/portals/extern/index.php?semnr=12001},
  isbn      = {978-3-939897-35-4},
  timestamp = {Tue, 26 Feb 2013 10:42:52 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/stacs/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gi/2009,
  editor    = {Stefan Fischer and
               Erik Maehle and
               R{\"{u}}diger Reischuk},
  title     = {Informatik 2009: Im Focus das Leben, Beitr{\"{a}}ge der 39. Jahrestagung
               der Gesellschaft f{\"{u}}r Informatik e.V. (GI), 28.9.-2.10.2009,
               L{\"{u}}beck, Deutschland, Proceedings},
  series    = {{LNI}},
  volume    = {154},
  publisher = {{GI}},
  year      = {2009},
  url       = {http://subs.emis.de/LNI/Proceedings/Proceedings154/P-154.pdf},
  isbn      = {978-3-88579-248-2},
  timestamp = {Tue, 15 Mar 2016 16:45:13 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/gi/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier