Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: 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}, 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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.