Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Martin Grohe
@inproceedings{DBLP:conf/icdt/GroheK0S24,
author = {Martin Grohe and
Benny Kimelfeld and
Peter Lindner and
Christoph Standke},
editor = {Graham Cormode and
Michael Shekelyan},
title = {The Importance of Parameters in Database Queries},
booktitle = {27th International Conference on Database Theory, {ICDT} 2024, March
25-28, 2024, Paestum, Italy},
series = {LIPIcs},
volume = {290},
pages = {14:1--14:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.ICDT.2024.14},
doi = {10.4230/LIPICS.ICDT.2024.14},
timestamp = {Fri, 15 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdt/GroheK0S24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-04606,
author = {Martin Grohe and
Benny Kimelfeld and
Peter Lindner and
Christoph Standke},
title = {The Importance of Parameters in Database Queries},
journal = {CoRR},
volume = {abs/2401.04606},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.04606},
doi = {10.48550/ARXIV.2401.04606},
eprinttype = {arXiv},
eprint = {2401.04606},
timestamp = {Wed, 24 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-04606.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-11215,
author = {Yuval Lev Lubarsky and
Jan T{\"{o}}nshoff and
Martin Grohe and
Benny Kimelfeld},
title = {Selecting Walk Schemes for Database Embedding},
journal = {CoRR},
volume = {abs/2401.11215},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.11215},
doi = {10.48550/ARXIV.2401.11215},
eprinttype = {arXiv},
eprint = {2401.11215},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-11215.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-02287,
author = {Christopher Morris and
Nadav Dym and
Haggai Maron and
{\.I}smail {\.I}lkan Ceylan and
Fabrizio Frasca and
Ron Levie and
Derek Lim and
Michael M. Bronstein and
Martin Grohe and
Stefanie Jegelka},
title = {Future Directions in Foundations of Graph Machine Learning},
journal = {CoRR},
volume = {abs/2402.02287},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.02287},
doi = {10.48550/ARXIV.2402.02287},
eprinttype = {arXiv},
eprint = {2402.02287},
timestamp = {Mon, 12 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-02287.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-06817,
author = {Martin Grohe and
Eran Rosenbluth},
title = {Are Targeted Messages More Effective?},
journal = {CoRR},
volume = {abs/2403.06817},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.06817},
doi = {10.48550/ARXIV.2403.06817},
eprinttype = {arXiv},
eprint = {2403.06817},
timestamp = {Thu, 04 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-06817.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cce/SchweidtmannRWGDLM23,
author = {Artur M. Schweidtmann and
Jan G. Rittig and
Jana M. Weber and
Martin Grohe and
Manuel Dahmen and
Kai Leonhard and
Alexander Mitsos},
title = {Physical pooling functions in graph neural networks for molecular
property prediction},
journal = {Comput. Chem. Eng.},
volume = {172},
pages = {108202},
year = {2023},
url = {https://doi.org/10.1016/j.compchemeng.2023.108202},
doi = {10.1016/J.COMPCHEMENG.2023.108202},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cce/SchweidtmannRWGDLM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/GroheNW23,
author = {Martin Grohe and
Daniel Neuen and
Daniel Wiebking},
title = {Isomorphism Testing for Graphs Excluding Small Minors},
journal = {{SIAM} J. Comput.},
volume = {52},
number = {1},
pages = {238--272},
year = {2023},
url = {https://doi.org/10.1137/21m1401930},
doi = {10.1137/21M1401930},
timestamp = {Sun, 16 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/GroheNW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/GroheNS23,
author = {Martin Grohe and
Daniel Neuen and
Pascal Schweitzer},
title = {A Faster Isomorphism Test for Graphs of Small Degree},
journal = {{SIAM} J. Comput.},
volume = {52},
number = {6},
pages = {S18--1},
year = {2023},
url = {https://doi.org/10.1137/19m1245293},
doi = {10.1137/19M1245293},
timestamp = {Mon, 15 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siamcomp/GroheNS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/GroheN23,
author = {Martin Grohe and
Daniel Neuen},
title = {Canonisation and Definability for Graphs of Bounded Rank Width},
journal = {{ACM} Trans. Comput. Log.},
volume = {24},
number = {1},
pages = {6:1--6:31},
year = {2023},
url = {https://doi.org/10.1145/3568025},
doi = {10.1145/3568025},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/GroheN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/LubarskyTGK23,
author = {Yuval Lev Lubarsky and
Jan T{\"{o}}nshoff and
Martin Grohe and
Benny Kimelfeld},
editor = {Ingo Frommholz and
Frank Hopfgartner and
Mark Lee and
Michael Oakes and
Mounia Lalmas and
Min Zhang and
Rodrygo L. T. Santos},
title = {Selecting Walk Schemes for Database Embedding},
booktitle = {Proceedings of the 32nd {ACM} International Conference on Information
and Knowledge Management, {CIKM} 2023, Birmingham, United Kingdom,
October 21-25, 2023},
pages = {1677--1686},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3583780.3615052},
doi = {10.1145/3583780.3615052},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cikm/LubarskyTGK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/GroheLNS23,
author = {Martin Grohe and
Moritz Lichter and
Daniel Neuen and
Pascal Schweitzer},
title = {Compressing {CFI} Graphs and Lower Bounds for the Weisfeiler-Leman
Refinements},
booktitle = {64th {IEEE} Annual Symposium on Foundations of Computer Science, {FOCS}
2023, Santa Cruz, CA, USA, November 6-9, 2023},
pages = {798--809},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/FOCS57990.2023.00052},
doi = {10.1109/FOCS57990.2023.00052},
timestamp = {Tue, 02 Jan 2024 14:56:14 +0100},
biburl = {https://dblp.org/rec/conf/focs/GroheLNS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/TonshoffFGK23,
author = {Jan T{\"{o}}nshoff and
Neta Friedman and
Martin Grohe and
Benny Kimelfeld},
title = {Stable Tuple Embeddings for Dynamic Databases},
booktitle = {39th {IEEE} International Conference on Data Engineering, {ICDE} 2023,
Anaheim, CA, USA, April 3-7, 2023},
pages = {1286--1299},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICDE55515.2023.00103},
doi = {10.1109/ICDE55515.2023.00103},
timestamp = {Thu, 27 Jul 2023 14:59:05 +0200},
biburl = {https://dblp.org/rec/conf/icde/TonshoffFGK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/Grohe0S23,
author = {Martin Grohe and
Peter Lindner and
Christoph Standke},
editor = {Floris Geerts and
Brecht Vandevoort},
title = {Probabilistic Query Evaluation with Bag Semantics},
booktitle = {26th International Conference on Database Theory, {ICDT} 2023, March
28-31, 2023, Ioannina, Greece},
series = {LIPIcs},
volume = {255},
pages = {20:1--20:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ICDT.2023.20},
doi = {10.4230/LIPICS.ICDT.2023.20},
timestamp = {Fri, 17 Mar 2023 15:19:25 +0100},
biburl = {https://dblp.org/rec/conf/icdt/Grohe0S23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/0001GTG23,
author = {Christopher Morris and
Floris Geerts and
Jan T{\"{o}}nshoff and
Martin Grohe},
editor = {Andreas Krause and
Emma Brunskill and
Kyunghyun Cho and
Barbara Engelhardt and
Sivan Sabato and
Jonathan Scarlett},
title = {{WL} meet {VC}},
booktitle = {International Conference on Machine Learning, {ICML} 2023, 23-29 July
2023, Honolulu, Hawaii, {USA}},
series = {Proceedings of Machine Learning Research},
volume = {202},
pages = {25275--25302},
publisher = {{PMLR}},
year = {2023},
url = {https://proceedings.mlr.press/v202/morris23a.html},
timestamp = {Mon, 28 Aug 2023 17:23:08 +0200},
biburl = {https://dblp.org/rec/conf/icml/0001GTG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/RosenbluthTG23,
author = {Eran Rosenbluth and
Jan T{\"{o}}nshoff and
Martin Grohe},
title = {Some Might Say All You Need Is Sum},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
SAR, China},
pages = {4172--4179},
publisher = {ijcai.org},
year = {2023},
url = {https://doi.org/10.24963/ijcai.2023/464},
doi = {10.24963/IJCAI.2023/464},
timestamp = {Mon, 28 Aug 2023 17:23:07 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/RosenbluthTG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/TonshoffKLG23,
author = {Jan T{\"{o}}nshoff and
Berke Kisin and
Jakob Lindner and
Martin Grohe},
title = {One Model, Any {CSP:} Graph Neural Networks as Fast Global Search
Heuristics for Constraint Satisfaction},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
SAR, China},
pages = {4280--4288},
publisher = {ijcai.org},
year = {2023},
url = {https://doi.org/10.24963/ijcai.2023/476},
doi = {10.24963/IJCAI.2023/476},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/TonshoffKLG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BergeremGKO23,
author = {Steffen van Bergerem and
Martin Grohe and
Sandra Kiefer and
Luca Oeljeklaus},
title = {Simulating Logspace-Recursion with Logarithmic Quantifier Depth},
booktitle = {{LICS}},
pages = {1--13},
year = {2023},
url = {https://doi.org/10.1109/LICS56636.2023.10175818},
doi = {10.1109/LICS56636.2023.10175818},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BergeremGKO23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Grohe23,
author = {Martin Grohe},
title = {The Descriptive Complexity of Graph Neural Networks},
booktitle = {{LICS}},
pages = {1--14},
year = {2023},
url = {https://doi.org/10.1109/LICS56636.2023.10175735},
doi = {10.1109/LICS56636.2023.10175735},
timestamp = {Thu, 20 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Grohe23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GroheLN23,
author = {Martin Grohe and
Moritz Lichter and
Daniel Neuen},
title = {The Iteration Number of the Weisfeiler-Leman Algorithm},
booktitle = {{LICS}},
pages = {1--13},
year = {2023},
url = {https://doi.org/10.1109/LICS56636.2023.10175741},
doi = {10.1109/LICS56636.2023.10175741},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/GroheLN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-11039,
author = {Christopher Morris and
Floris Geerts and
Jan T{\"{o}}nshoff and
Martin Grohe},
title = {{WL} meet {VC}},
journal = {CoRR},
volume = {abs/2301.11039},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.11039},
doi = {10.48550/ARXIV.2301.11039},
eprinttype = {arXiv},
eprint = {2301.11039},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-11039.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-13317,
author = {Martin Grohe and
Moritz Lichter and
Daniel Neuen},
title = {The Iteration Number of the Weisfeiler-Leman Algorithm},
journal = {CoRR},
volume = {abs/2301.13317},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.13317},
doi = {10.48550/ARXIV.2301.13317},
eprinttype = {arXiv},
eprint = {2301.13317},
timestamp = {Thu, 02 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-13317.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-11603,
author = {Eran Rosenbluth and
Jan T{\"{o}}nshoff and
Martin Grohe},
title = {Some Might Say All You Need Is Sum},
journal = {CoRR},
volume = {abs/2302.11603},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.11603},
doi = {10.48550/ARXIV.2302.11603},
eprinttype = {arXiv},
eprint = {2302.11603},
timestamp = {Tue, 28 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-11603.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-04613,
author = {Martin Grohe},
title = {The Descriptive Complexity of Graph Neural Networks},
journal = {CoRR},
volume = {abs/2303.04613},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.04613},
doi = {10.48550/ARXIV.2303.04613},
eprinttype = {arXiv},
eprint = {2303.04613},
timestamp = {Wed, 15 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-04613.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-12948,
author = {Steffen van Bergerem and
Martin Grohe and
Sandra Kiefer and
Luca Oeljeklaus},
title = {Simulating Logspace-Recursion with Logarithmic Quantifier Depth},
journal = {CoRR},
volume = {abs/2304.12948},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.12948},
doi = {10.48550/ARXIV.2304.12948},
eprinttype = {arXiv},
eprint = {2304.12948},
timestamp = {Wed, 03 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-12948.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-11970,
author = {Martin Grohe and
Moritz Lichter and
Daniel Neuen and
Pascal Schweitzer},
title = {Compressing {CFI} Graphs and Lower Bounds for the Weisfeiler-Leman
Refinements},
journal = {CoRR},
volume = {abs/2308.11970},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.11970},
doi = {10.48550/ARXIV.2308.11970},
eprinttype = {arXiv},
eprint = {2308.11970},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-11970.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-15283,
author = {Hinrikus Wolf and
Luca Oeljeklaus and
Pascal K{\"{u}}hner and
Martin Grohe},
title = {Structural Node Embeddings with Homomorphism Counts},
journal = {CoRR},
volume = {abs/2308.15283},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.15283},
doi = {10.48550/ARXIV.2308.15283},
eprinttype = {arXiv},
eprint = {2308.15283},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-15283.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-00367,
author = {Jan T{\"{o}}nshoff and
Martin Ritzert and
Eran Rosenbluth and
Martin Grohe},
title = {Where Did the Gap Go? Reassessing the Long-Range Graph Benchmark},
journal = {CoRR},
volume = {abs/2309.00367},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.00367},
doi = {10.48550/ARXIV.2309.00367},
eprinttype = {arXiv},
eprint = {2309.00367},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-00367.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-10489,
author = {Steffen van Bergerem and
Martin Grohe and
Nina Runde},
title = {On the Parameterized Complexity of Learning Monadic Second-Order Formulas},
journal = {CoRR},
volume = {abs/2309.10489},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.10489},
doi = {10.48550/ARXIV.2309.10489},
eprinttype = {arXiv},
eprint = {2309.10489},
timestamp = {Mon, 25 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-10489.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-02048,
author = {Martin Grohe and
Daniel Neuen},
title = {Isomorphism for Tournaments of Small Twin Width},
journal = {CoRR},
volume = {abs/2312.02048},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.02048},
doi = {10.48550/ARXIV.2312.02048},
eprinttype = {arXiv},
eprint = {2312.02048},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-02048.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/GroheL22,
author = {Martin Grohe and
Peter Lindner},
title = {Independence in Infinite Probabilistic Databases},
journal = {J. {ACM}},
volume = {69},
number = {5},
pages = {37:1--37:42},
year = {2022},
url = {https://doi.org/10.1145/3549525},
doi = {10.1145/3549525},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/GroheL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/GroheKKL22,
author = {Martin Grohe and
Benjamin Lucien Kaminski and
Joost{-}Pieter Katoen and
Peter Lindner},
title = {Generative Datalog with Continuous Distributions},
journal = {J. {ACM}},
volume = {69},
number = {6},
pages = {46:1--46:52},
year = {2022},
url = {https://doi.org/10.1145/3559102},
doi = {10.1145/3559102},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/GroheKKL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/GroheL22,
author = {Martin Grohe and
Peter Lindner},
title = {Infinite Probabilistic Databases},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {1},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(1:34)2022},
doi = {10.46298/LMCS-18(1:34)2022},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/GroheL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GroheRS22,
author = {Martin Grohe and
Gaurav Rattan and
Tim Seppelt},
editor = {Mikolaj Bojanczyk and
Emanuela Merelli and
David P. Woodruff},
title = {Homomorphism Tensors and Linear Equations},
booktitle = {49th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2022, July 4-8, 2022, Paris, France},
series = {LIPIcs},
volume = {229},
pages = {70:1--70:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2022.70},
doi = {10.4230/LIPICS.ICALP.2022.70},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/GroheRS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GervensG22,
author = {Timo Gervens and
Martin Grohe},
editor = {Stefan Szeider and
Robert Ganian and
Alexandra Silva},
title = {Graph Similarity Based on Matrix Norms},
booktitle = {47th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2022, August 22-26, 2022, Vienna, Austria},
series = {LIPIcs},
volume = {241},
pages = {52:1--52:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2022.52},
doi = {10.4230/LIPICS.MFCS.2022.52},
timestamp = {Mon, 26 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/GervensG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/BergeremGR22,
author = {Steffen van Bergerem and
Martin Grohe and
Martin Ritzert},
editor = {Leonid Libkin and
Pablo Barcel{\'{o}}},
title = {On the Parameterized Complexity of Learning First-Order Logic},
booktitle = {{PODS} '22: International Conference on Management of Data, Philadelphia,
PA, USA, June 12 - 17, 2022},
pages = {337--346},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3517804.3524151},
doi = {10.1145/3517804.3524151},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/BergeremGR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-11524,
author = {Martin Grohe and
Peter Lindner and
Christoph Standke},
title = {Probabilistic Query Evaluation with Bag Semantics},
journal = {CoRR},
volume = {abs/2201.11524},
year = {2022},
url = {https://arxiv.org/abs/2201.11524},
eprinttype = {arXiv},
eprint = {2201.11524},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-11524.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-07000,
author = {Luis B{\"{o}}ttcher and
Hinrikus Wolf and
Bastian Jung and
Philipp Lutat and
Marc Trageser and
Oliver Pohl and
Andreas Ulbig and
Martin Grohe},
title = {Solving {AC} Power Flow with Graph Neural Networks under Realistic
Constraints},
journal = {CoRR},
volume = {abs/2204.07000},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.07000},
doi = {10.48550/ARXIV.2204.07000},
eprinttype = {arXiv},
eprint = {2204.07000},
timestamp = {Tue, 19 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-07000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-00619,
author = {Jan G. Rittig and
Martin Ritzert and
Artur M. Schweidtmann and
Stefanie Winkler and
Jana M. Weber and
Philipp Morsch and
K. Alexander Heufer and
Martin Grohe and
Alexander Mitsos and
Manuel Dahmen},
title = {Graph Machine Learning for Design of High-Octane Fuels},
journal = {CoRR},
volume = {abs/2206.00619},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.00619},
doi = {10.48550/ARXIV.2206.00619},
eprinttype = {arXiv},
eprint = {2206.00619},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-00619.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-00090,
author = {Timo Gervens and
Martin Grohe},
title = {Graph Similarity Based on Matrix Norms},
journal = {CoRR},
volume = {abs/2207.00090},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.00090},
doi = {10.48550/ARXIV.2207.00090},
eprinttype = {arXiv},
eprint = {2207.00090},
timestamp = {Wed, 06 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-00090.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-13779,
author = {Artur M. Schweidtmann and
Jan G. Rittig and
Jana M. Weber and
Martin Grohe and
Manuel Dahmen and
Kai Leonhard and
Alexander Mitsos},
title = {Physical Pooling Functions in Graph Neural Networks for Molecular
Property Prediction},
journal = {CoRR},
volume = {abs/2207.13779},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.13779},
doi = {10.48550/ARXIV.2207.13779},
eprinttype = {arXiv},
eprint = {2207.13779},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-13779.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-10227,
author = {Jan T{\"{o}}nshoff and
Berke Kisin and
Jakob Lindner and
Martin Grohe},
title = {One Model, Any {CSP:} Graph Neural Networks as Fast Global Search
Heuristics for Constraint Satisfaction},
journal = {CoRR},
volume = {abs/2208.10227},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.10227},
doi = {10.48550/ARXIV.2208.10227},
eprinttype = {arXiv},
eprint = {2208.10227},
timestamp = {Mon, 29 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-10227.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/GroheGJ022,
author = {Martin Grohe and
Stephan G{\"{u}}nnemann and
Stefanie Jegelka and
Christopher Morris},
title = {Graph Embeddings: Theory meets Practice (Dagstuhl Seminar 22132)},
journal = {Dagstuhl Reports},
volume = {12},
number = {3},
pages = {141--155},
year = {2022},
url = {https://doi.org/10.4230/DagRep.12.3.141},
doi = {10.4230/DAGREP.12.3.141},
timestamp = {Tue, 15 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/GroheGJ022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/GroheGMZ22,
author = {Martin Grohe and
Venkatesan Guruswami and
D{\'{a}}niel Marx and
Stanislav Zivn{\'{y}}},
title = {The Constraint Satisfaction Problem: Complexity and Approximability
(Dagstuhl Seminar 22201)},
journal = {Dagstuhl Reports},
volume = {12},
number = {5},
pages = {112--130},
year = {2022},
url = {https://doi.org/10.4230/DagRep.12.5.112},
doi = {10.4230/DAGREP.12.5.112},
timestamp = {Fri, 16 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/GroheGMZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/GroheN21,
author = {Martin Grohe and
Daniel Neuen},
title = {Isomorphism, canonization, and definability for graphs of bounded
rank width},
journal = {Commun. {ACM}},
volume = {64},
number = {5},
pages = {98--105},
year = {2021},
url = {https://doi.org/10.1145/3453943},
doi = {10.1145/3453943},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/GroheN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BojanczykGP21,
author = {Mikolaj Bojanczyk and
Martin Grohe and
Michal Pilipczuk},
title = {Definable decompositions for graphs of bounded linear cliquewidth},
journal = {Log. Methods Comput. Sci.},
volume = {17},
number = {1},
year = {2021},
url = {https://lmcs.episciences.org/7125},
timestamp = {Tue, 26 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/BojanczykGP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/GroheKKL21,
author = {Martin Grohe and
Benjamin Lucien Kaminski and
Joost{-}Pieter Katoen and
Peter Lindner},
title = {Probabilistic Data with Continuous Distributions},
journal = {{SIGMOD} Rec.},
volume = {50},
number = {1},
pages = {69--76},
year = {2021},
url = {https://doi.org/10.1145/3471485.3471502},
doi = {10.1145/3471485.3471502},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigmod/GroheKKL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bcc/GroheN21,
author = {Martin Grohe and
Daniel Neuen},
editor = {Konrad K. Dabrowski and
Maximilien Gadouleau and
Nicholas Georgiou and
Matthew Johnson and
George B. Mertzios and
Dani{\"{e}}l Paulusma},
title = {Recent advances on the graph isomorphism problem},
booktitle = {Surveys in Combinatorics, 2021: Invited lectures from the 28th British
Combinatorial Conference, Durham, UK, July 5-9, 2021},
pages = {187--234},
publisher = {Cambridge University Press},
year = {2021},
url = {https://doi.org/10.1017/9781009036214.006},
doi = {10.1017/9781009036214.006},
timestamp = {Mon, 10 Jan 2022 15:48:53 +0100},
biburl = {https://dblp.org/rec/conf/bcc/GroheN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GroheK21,
author = {Martin Grohe and
Sandra Kiefer},
editor = {Nikhil Bansal and
Emanuela Merelli and
James Worrell},
title = {Logarithmic Weisfeiler-Leman Identifies All Planar Graphs},
booktitle = {48th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2021, July 12-16, 2021, Glasgow, Scotland (Virtual Conference)},
series = {LIPIcs},
volume = {198},
pages = {134:1--134:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2021.134},
doi = {10.4230/LIPICS.ICALP.2021.134},
timestamp = {Tue, 15 Feb 2022 07:54:27 +0100},
biburl = {https://dblp.org/rec/conf/icalp/GroheK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/CarmeliGKLT21,
author = {Nofar Carmeli and
Martin Grohe and
Benny Kimelfeld and
Ester Livshits and
Muhammad Tibi},
editor = {Ke Yi and
Zhewei Wei},
title = {Database Repairing with Soft Functional Dependencies},
booktitle = {24th International Conference on Database Theory, {ICDT} 2021, March
23-26, 2021, Nicosia, Cyprus},
series = {LIPIcs},
volume = {186},
pages = {16:1--16:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.ICDT.2021.16},
doi = {10.4230/LIPICS.ICDT.2021.16},
timestamp = {Thu, 11 Mar 2021 13:53:23 +0100},
biburl = {https://dblp.org/rec/conf/icdt/CarmeliGKLT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AbboudCGL21,
author = {Ralph Abboud and
{\.I}smail {\.I}lkan Ceylan and
Martin Grohe and
Thomas Lukasiewicz},
editor = {Zhi{-}Hua Zhou},
title = {The Surprising Power of Graph Neural Networks with Random Node Initialization},
booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial
Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27
August 2021},
pages = {2112--2118},
publisher = {ijcai.org},
year = {2021},
url = {https://doi.org/10.24963/ijcai.2021/291},
doi = {10.24963/IJCAI.2021/291},
timestamp = {Wed, 25 Aug 2021 17:11:16 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AbboudCGL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Grohe21,
author = {Martin Grohe},
title = {The Logic of Graph Neural Networks},
booktitle = {36th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2021, Rome, Italy, June 29 - July 2, 2021},
pages = {1--17},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LICS52264.2021.9470677},
doi = {10.1109/LICS52264.2021.9470677},
timestamp = {Fri, 09 Jul 2021 14:04:16 +0200},
biburl = {https://dblp.org/rec/conf/lics/Grohe21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Grohe21,
author = {Martin Grohe},
editor = {Filippo Bonchi and
Simon J. Puglisi},
title = {A Deep Dive into the Weisfeiler-Leman Algorithm (Invited Talk)},
booktitle = {46th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2021, August 23-27, 2021, Tallinn, Estonia},
series = {LIPIcs},
volume = {202},
pages = {2:1--2:1},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2021.2},
doi = {10.4230/LIPICS.MFCS.2021.2},
timestamp = {Wed, 25 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Grohe21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pkdd/0002WRLGS21,
author = {Tobias Schumacher and
Hinrikus Wolf and
Martin Ritzert and
Florian Lemmerich and
Martin Grohe and
Markus Strohmaier},
editor = {Michael Kamp and
Irena Koprinska and
Adrien Bibal and
Tassadit Bouadi and
Beno{\^{\i}}t Fr{\'{e}}nay and
Luis Gal{\'{a}}rraga and
Jos{\'{e}} Oramas and
Linara Adilova and
Yamuna Krishnamurthy and
Bo Kang and
Christine Largeron and
Jefrey Lijffijt and
Tiphaine Viard and
Pascal Welke and
Massimiliano Ruocco and
Erlend Aune and
Claudio Gallicchio and
Gregor Schiele and
Franz Pernkopf and
Michaela Blott and
Holger Fr{\"{o}}ning and
G{\"{u}}nther Schindler and
Riccardo Guidotti and
Anna Monreale and
Salvatore Rinzivillo and
Przemyslaw Biecek and
Eirini Ntoutsi and
Mykola Pechenizkiy and
Bodo Rosenhahn and
Christopher L. Buckley and
Daniela Cialfi and
Pablo Lanillos and
Maxwell Ramstead and
Tim Verbelen and
Pedro M. Ferreira and
Giuseppina Andresini and
Donato Malerba and
Ib{\'{e}}ria Medeiros and
Philippe Fournier{-}Viger and
M. Saqib Nawaz and
Sebasti{\'{a}}n Ventura and
Meng Sun and
Min Zhou and
Valerio Bitetta and
Ilaria Bordino and
Andrea Ferretti and
Francesco Gullo and
Giovanni Ponti and
Lorenzo Severini and
Rita P. Ribeiro and
Jo{\~{a}}o Gama and
Ricard Gavald{\`{a}} and
Lee A. D. Cooper and
Naghmeh Ghazaleh and
Jonas Richiardi and
Damian Roqueiro and
Diego Saldana Miranda and
Konstantinos Sechidis and
Guilherme Gra{\c{c}}a},
title = {The Effects of Randomness on the Stability of Node Embeddings},
booktitle = {Machine Learning and Principles and Practice of Knowledge Discovery
in Databases - International Workshops of {ECML} {PKDD} 2021, Virtual
Event, September 13-17, 2021, Proceedings, Part {I}},
series = {Communications in Computer and Information Science},
volume = {1524},
pages = {197--215},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-93736-2\_16},
doi = {10.1007/978-3-030-93736-2\_16},
timestamp = {Tue, 15 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pkdd/0002WRLGS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/CarmeliG0S21,
author = {Nofar Carmeli and
Martin Grohe and
Peter Lindner and
Christoph Standke},
editor = {Leonid Libkin and
Reinhard Pichler and
Paolo Guagliardo},
title = {Tuple-Independent Representations of Infinite Probabilistic Databases},
booktitle = {PODS'21: Proceedings of the 40th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium
on Principles of Database Systems, Virtual Event, China, June 20-25,
2021},
pages = {388--401},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3452021.3458315},
doi = {10.1145/3452021.3458315},
timestamp = {Mon, 21 Jun 2021 12:19:15 +0200},
biburl = {https://dblp.org/rec/conf/pods/CarmeliG0S21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/GroheSW21,
author = {Martin Grohe and
Pascal Schweitzer and
Daniel Wiebking},
editor = {D{\'{a}}niel Marx},
title = {Deep Weisfeiler Leman},
booktitle = {Proceedings of the 2021 {ACM-SIAM} Symposium on Discrete Algorithms,
{SODA} 2021, Virtual Conference, January 10 - 13, 2021},
pages = {2600--2614},
publisher = {{SIAM}},
year = {2021},
url = {https://doi.org/10.1137/1.9781611976465.154},
doi = {10.1137/1.9781611976465.154},
timestamp = {Thu, 15 Jul 2021 13:48:55 +0200},
biburl = {https://dblp.org/rec/conf/soda/GroheSW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-12289,
author = {Martin Grohe and
Benjamin Lucien Kaminski and
Joost{-}Pieter Katoen and
Peter Lindner},
title = {Probabilistic Data with Continuous Distributions},
journal = {CoRR},
volume = {abs/2101.12289},
year = {2021},
url = {https://arxiv.org/abs/2101.12289},
eprinttype = {arXiv},
eprint = {2101.12289},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-12289.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-08786,
author = {Jan T{\"{o}}nshoff and
Martin Ritzert and
Hinrikus Wolf and
Martin Grohe},
title = {Graph Learning with 1D Convolutions on Random Walks},
journal = {CoRR},
volume = {abs/2102.08786},
year = {2021},
url = {https://arxiv.org/abs/2102.08786},
eprinttype = {arXiv},
eprint = {2102.08786},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-08786.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-12201,
author = {Steffen van Bergerem and
Martin Grohe and
Martin Ritzert},
title = {On the Parameterized Complexity of Learning Logic},
journal = {CoRR},
volume = {abs/2102.12201},
year = {2021},
url = {https://arxiv.org/abs/2102.12201},
eprinttype = {arXiv},
eprint = {2102.12201},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-12201.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-06766,
author = {Jan T{\"{o}}nshoff and
Neta Friedman and
Martin Grohe and
Benny Kimelfeld},
title = {Dynamic Database Embeddings with FoRWaRD},
journal = {CoRR},
volume = {abs/2103.06766},
year = {2021},
url = {https://arxiv.org/abs/2103.06766},
eprinttype = {arXiv},
eprint = {2103.06766},
timestamp = {Tue, 16 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-06766.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-14624,
author = {Martin Grohe},
title = {The Logic of Graph Neural Networks},
journal = {CoRR},
volume = {abs/2104.14624},
year = {2021},
url = {https://arxiv.org/abs/2104.14624},
eprinttype = {arXiv},
eprint = {2104.14624},
timestamp = {Tue, 04 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-14624.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-16218,
author = {Martin Grohe and
Sandra Kiefer},
title = {Logarithmic Weisfeiler-Leman Identifies All Planar Graphs},
journal = {CoRR},
volume = {abs/2106.16218},
year = {2021},
url = {https://arxiv.org/abs/2106.16218},
eprinttype = {arXiv},
eprint = {2106.16218},
timestamp = {Mon, 05 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-16218.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-11313,
author = {Martin Grohe and
Gaurav Rattan and
Tim Seppelt},
title = {Homomorphism Tensors and Linear Equations},
journal = {CoRR},
volume = {abs/2111.11313},
year = {2021},
url = {https://arxiv.org/abs/2111.11313},
eprinttype = {arXiv},
eprint = {2111.11313},
timestamp = {Fri, 26 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-11313.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-09992,
author = {Christopher Morris and
Yaron Lipman and
Haggai Maron and
Bastian Rieck and
Nils M. Kriege and
Martin Grohe and
Matthias Fey and
Karsten M. Borgwardt},
title = {Weisfeiler and Leman go Machine Learning: The Story so far},
journal = {CoRR},
volume = {abs/2112.09992},
year = {2021},
url = {https://arxiv.org/abs/2112.09992},
eprinttype = {arXiv},
eprint = {2112.09992},
timestamp = {Tue, 04 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-09992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/GroheS20,
author = {Martin Grohe and
Pascal Schweitzer},
title = {The graph isomorphism problem},
journal = {Commun. {ACM}},
volume = {63},
number = {11},
pages = {128--134},
year = {2020},
url = {https://doi.org/10.1145/3372123},
doi = {10.1145/3372123},
timestamp = {Wed, 11 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/GroheS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/frai/TonshoffRWG20,
author = {Jan T{\"{o}}nshoff and
Martin Ritzert and
Hinrikus Wolf and
Martin Grohe},
title = {Graph Neural Networks for Maximum Constraint Satisfaction},
journal = {Frontiers Artif. Intell.},
volume = {3},
pages = {580607},
year = {2020},
url = {https://doi.org/10.3389/frai.2020.580607},
doi = {10.3389/FRAI.2020.580607},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/frai/TonshoffRWG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/talg/GroheNSW20,
author = {Martin Grohe and
Daniel Neuen and
Pascal Schweitzer and
Daniel Wiebking},
title = {An Improved Isomorphism Test for Bounded-tree-width Graphs},
journal = {{ACM} Trans. Algorithms},
volume = {16},
number = {3},
pages = {34:1--34:31},
year = {2020},
url = {https://doi.org/10.1145/3382082},
doi = {10.1145/3382082},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/talg/GroheNSW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/GroheWN20,
author = {Martin Grohe and
Daniel Wiebking and
Daniel Neuen},
editor = {Sandy Irani},
title = {Isomorphism Testing for Graphs Excluding Small Minors},
booktitle = {61st {IEEE} Annual Symposium on Foundations of Computer Science, {FOCS}
2020, Durham, NC, USA, November 16-19, 2020},
pages = {625--636},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/FOCS46700.2020.00064},
doi = {10.1109/FOCS46700.2020.00064},
timestamp = {Wed, 15 Dec 2021 10:49:16 +0100},
biburl = {https://dblp.org/rec/conf/focs/GroheWN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/GroheL20,
author = {Martin Grohe and
Peter Lindner},
editor = {Carsten Lutz and
Jean Christoph Jung},
title = {Infinite Probabilistic Databases},
booktitle = {23rd International Conference on Database Theory, {ICDT} 2020, March
30-April 2, 2020, Copenhagen, Denmark},
series = {LIPIcs},
volume = {155},
pages = {16:1--16:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.ICDT.2020.16},
doi = {10.4230/LIPICS.ICDT.2020.16},
timestamp = {Mon, 29 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdt/GroheL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Grohe20,
author = {Martin Grohe},
editor = {Holger Hermanns and
Lijun Zhang and
Naoki Kobayashi and
Dale Miller},
title = {Counting Bounded Tree Depth Homomorphisms},
booktitle = {{LICS} '20: 35th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, Saarbr{\"{u}}cken, Germany, July 8-11, 2020},
pages = {507--520},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373718.3394739},
doi = {10.1145/3373718.3394739},
timestamp = {Sat, 30 Sep 2023 09:52:07 +0200},
biburl = {https://dblp.org/rec/conf/lics/Grohe20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/Grohe20,
author = {Martin Grohe},
editor = {Dan Suciu and
Yufei Tao and
Zhewei Wei},
title = {word2vec, node2vec, graph2vec, X2vec: Towards a Theory of Vector Embeddings
of Structured Data},
booktitle = {Proceedings of the 39th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles
of Database Systems, {PODS} 2020, Portland, OR, USA, June 14-19, 2020},
pages = {1--16},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3375395.3387641},
doi = {10.1145/3375395.3387641},
timestamp = {Thu, 29 Sep 2022 08:01:46 +0200},
biburl = {https://dblp.org/rec/conf/pods/Grohe20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/GroheKKL20,
author = {Martin Grohe and
Benjamin Lucien Kaminski and
Joost{-}Pieter Katoen and
Peter Lindner},
editor = {Dan Suciu and
Yufei Tao and
Zhewei Wei},
title = {Generative Datalog with Continuous Distributions},
booktitle = {Proceedings of the 39th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles
of Database Systems, {PODS} 2020, Portland, OR, USA, June 14-19, 2020},
pages = {347--360},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3375395.3387659},
doi = {10.1145/3375395.3387659},
timestamp = {Mon, 29 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/GroheKKL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Grohe20,
author = {Martin Grohe},
editor = {Christophe Paul and
Markus Bl{\"{a}}ser},
title = {Weisfeiler and Leman's Unlikely Journey from Graph Isomorphism to
Neural Networks (Invited Talk)},
booktitle = {37th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2020, March 10-13, 2020, Montpellier, France},
series = {LIPIcs},
volume = {154},
pages = {2:1--2:1},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.STACS.2020.2},
doi = {10.4230/LIPICS.STACS.2020.2},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stacs/Grohe20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-06358,
author = {Martin Grohe and
Benjamin Lucien Kaminski and
Joost{-}Pieter Katoen and
Peter Lindner},
title = {Generative Datalog with Continuous Distributions},
journal = {CoRR},
volume = {abs/2001.06358},
year = {2020},
url = {https://arxiv.org/abs/2001.06358},
eprinttype = {arXiv},
eprint = {2001.06358},
timestamp = {Mon, 29 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-06358.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-08164,
author = {Martin Grohe},
title = {Counting Bounded Tree Depth Homomorphisms},
journal = {CoRR},
volume = {abs/2003.08164},
year = {2020},
url = {https://arxiv.org/abs/2003.08164},
eprinttype = {arXiv},
eprint = {2003.08164},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-08164.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-10935,
author = {Martin Grohe and
Pascal Schweitzer and
Daniel Wiebking},
title = {Deep Weisfeiler Leman},
journal = {CoRR},
volume = {abs/2003.10935},
year = {2020},
url = {https://arxiv.org/abs/2003.10935},
eprinttype = {arXiv},
eprint = {2003.10935},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-10935.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-12590,
author = {Martin Grohe},
title = {word2vec, node2vec, graph2vec, X2vec: Towards a Theory of Vector Embeddings
of Structured Data},
journal = {CoRR},
volume = {abs/2003.12590},
year = {2020},
url = {https://arxiv.org/abs/2003.12590},
eprinttype = {arXiv},
eprint = {2003.12590},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-12590.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-07671,
author = {Martin Grohe and
Daniel Neuen and
Daniel Wiebking},
title = {Isomorphism Testing for Graphs Excluding Small Minors},
journal = {CoRR},
volume = {abs/2004.07671},
year = {2020},
url = {https://arxiv.org/abs/2004.07671},
eprinttype = {arXiv},
eprint = {2004.07671},
timestamp = {Tue, 21 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-07671.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-10039,
author = {Tobias Schumacher and
Hinrikus Wolf and
Martin Ritzert and
Florian Lemmerich and
Jan Bachmann and
Florian Frantzen and
Max Klabunde and
Martin Grohe and
Markus Strohmaier},
title = {The Effects of Randomness on the Stability of Node Embeddings},
journal = {CoRR},
volume = {abs/2005.10039},
year = {2020},
url = {https://arxiv.org/abs/2005.10039},
eprinttype = {arXiv},
eprint = {2005.10039},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-10039.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-09511,
author = {Nofar Carmeli and
Martin Grohe and
Peter Lindner and
Christoph Standke},
title = {Tuple-Independent Representations of Infinite Probabilistic Databases},
journal = {CoRR},
volume = {abs/2008.09511},
year = {2020},
url = {https://arxiv.org/abs/2008.09511},
eprinttype = {arXiv},
eprint = {2008.09511},
timestamp = {Fri, 28 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-09511.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-13821,
author = {Nofar Carmeli and
Martin Grohe and
Benny Kimelfeld and
Ester Livshits and
Muhammad Tibi},
title = {Database Repairing with Soft Functional Dependencies},
journal = {CoRR},
volume = {abs/2009.13821},
year = {2020},
url = {https://arxiv.org/abs/2009.13821},
eprinttype = {arXiv},
eprint = {2009.13821},
timestamp = {Wed, 30 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-13821.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-01179,
author = {Ralph Abboud and
{\.I}smail {\.I}lkan Ceylan and
Martin Grohe and
Thomas Lukasiewicz},
title = {The Surprising Power of Graph Neural Networks with Random Node Initialization},
journal = {CoRR},
volume = {abs/2010.01179},
year = {2020},
url = {https://arxiv.org/abs/2010.01179},
eprinttype = {arXiv},
eprint = {2010.01179},
timestamp = {Mon, 12 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-01179.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-00096,
author = {Martin Grohe and
Peter Lindner},
title = {Independence in Infinite Probabilistic Databases},
journal = {CoRR},
volume = {abs/2011.00096},
year = {2020},
url = {https://arxiv.org/abs/2011.00096},
eprinttype = {arXiv},
eprint = {2011.00096},
timestamp = {Fri, 06 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-00096.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-01366,
author = {Martin Grohe and
Daniel Neuen},
title = {Recent Advances on the Graph Isomorphism Problem},
journal = {CoRR},
volume = {abs/2011.01366},
year = {2020},
url = {https://arxiv.org/abs/2011.01366},
eprinttype = {arXiv},
eprint = {2011.01366},
timestamp = {Fri, 06 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-01366.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-14860,
author = {Martin Grohe and
Peter Lindner},
title = {Standard Probabilistic Databases},
journal = {CoRR},
volume = {abs/2011.14860},
year = {2020},
url = {https://arxiv.org/abs/2011.14860},
eprinttype = {arXiv},
eprint = {2011.14860},
timestamp = {Tue, 01 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-14860.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-14300,
author = {Martin Grohe and
Pascal Schweitzer and
Daniel Wiebking},
title = {Automorphism groups of graphs of bounded Hadwiger number},
journal = {CoRR},
volume = {abs/2012.14300},
year = {2020},
url = {https://arxiv.org/abs/2012.14300},
eprinttype = {arXiv},
eprint = {2012.14300},
timestamp = {Tue, 05 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-14300.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/GradelGPP19,
author = {Erich Gr{\"{a}}del and
Martin Grohe and
Benedikt Pago and
Wied Pakusa},
title = {A Finite-Model-Theoretic View on Propositional Proof Complexity},
journal = {Log. Methods Comput. Sci.},
volume = {15},
number = {1},
year = {2019},
url = {https://doi.org/10.23638/LMCS-15(1:4)2019},
doi = {10.23638/LMCS-15(1:4)2019},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/GradelGPP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/0001RFHLRG19,
author = {Christopher Morris and
Martin Ritzert and
Matthias Fey and
William L. Hamilton and
Jan Eric Lenssen and
Gaurav Rattan and
Martin Grohe},
title = {Weisfeiler and Leman Go Neural: Higher-Order Graph Neural Networks},
booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
2019, The Thirty-First Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
USA, January 27 - February 1, 2019},
pages = {4602--4609},
publisher = {{AAAI} Press},
year = {2019},
url = {https://doi.org/10.1609/aaai.v33i01.33014602},
doi = {10.1609/AAAI.V33I01.33014602},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/0001RFHLRG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Grohe19,
author = {Martin Grohe},
editor = {Christel Baier and
Ioannis Chatzigiannakis and
Paola Flocchini and
Stefano Leonardi},
title = {Symmetry and Similarity (Invited Talk)},
booktitle = {46th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2019, July 9-12, 2019, Patras, Greece},
series = {LIPIcs},
volume = {132},
pages = {2:1--2:1},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2019.2},
doi = {10.4230/LIPICS.ICALP.2019.2},
timestamp = {Tue, 27 Dec 2022 09:06:31 +0100},
biburl = {https://dblp.org/rec/conf/icalp/Grohe19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GroheK19,
author = {Martin Grohe and
Sandra Kiefer},
editor = {Christel Baier and
Ioannis Chatzigiannakis and
Paola Flocchini and
Stefano Leonardi},
title = {A Linear Upper Bound on the Weisfeiler-Leman Dimension of Graphs of
Bounded Genus},
booktitle = {46th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2019, July 9-12, 2019, Patras, Greece},
series = {LIPIcs},
volume = {132},
pages = {117:1--117:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2019.117},
doi = {10.4230/LIPICS.ICALP.2019.117},
timestamp = {Mon, 08 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GroheK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GroheN19,
author = {Martin Grohe and
Daniel Neuen},
title = {Canonisation and Definability for Graphs of Bounded Rank Width},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785682},
doi = {10.1109/LICS.2019.8785682},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/lics/GroheN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BokerCGR19,
author = {Jan B{\"{o}}ker and
Yijia Chen and
Martin Grohe and
Gaurav Rattan},
editor = {Peter Rossmanith and
Pinar Heggernes and
Joost{-}Pieter Katoen},
title = {The Complexity of Homomorphism Indistinguishability},
booktitle = {44th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2019, August 26-30, 2019, Aachen, Germany},
series = {LIPIcs},
volume = {138},
pages = {54:1--54:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2019.54},
doi = {10.4230/LIPICS.MFCS.2019.54},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BokerCGR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/GroheL19,
author = {Martin Grohe and
Peter Lindner},
editor = {Dan Suciu and
Sebastian Skritek and
Christoph Koch},
title = {Probabilistic Databases with an Infinite Open-World Assumption},
booktitle = {Proceedings of the 38th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles
of Database Systems, {PODS} 2019, Amsterdam, The Netherlands, June
30 - July 5, 2019},
pages = {17--31},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3294052.3319681},
doi = {10.1145/3294052.3319681},
timestamp = {Mon, 29 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/GroheL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-10330,
author = {Martin Grohe and
Daniel Neuen},
title = {Canonisation and Definability for Graphs of Bounded Rank Width},
journal = {CoRR},
volume = {abs/1901.10330},
year = {2019},
url = {http://arxiv.org/abs/1901.10330},
eprinttype = {arXiv},
eprint = {1901.10330},
timestamp = {Sat, 02 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-10330.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-06766,
author = {Martin Grohe and
Peter Lindner},
title = {Infinite Probabilistic Databases},
journal = {CoRR},
volume = {abs/1904.06766},
year = {2019},
url = {http://arxiv.org/abs/1904.06766},
eprinttype = {arXiv},
eprint = {1904.06766},
timestamp = {Mon, 29 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-06766.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-07216,
author = {Martin Grohe and
Sandra Kiefer},
title = {A Linear Upper Bound on the Weisfeiler-Leman Dimension of Graphs of
Bounded Genus},
journal = {CoRR},
volume = {abs/1904.07216},
year = {2019},
url = {http://arxiv.org/abs/1904.07216},
eprinttype = {arXiv},
eprint = {1904.07216},
timestamp = {Thu, 25 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-07216.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-08387,
author = {Jan T{\"{o}}nshoff and
Martin Ritzert and
Hinrikus Wolf and
Martin Grohe},
title = {{RUN-CSP:} Unsupervised Learning of Message Passing Networks for Binary
Constraint Satisfaction Problems},
journal = {CoRR},
volume = {abs/1909.08387},
year = {2019},
url = {http://arxiv.org/abs/1909.08387},
eprinttype = {arXiv},
eprint = {1909.08387},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08387.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/GroheKRSS18,
author = {Martin Grohe and
Stephan Kreutzer and
Roman Rabinovich and
Sebastian Siebertz and
Konstantinos S. Stavropoulos},
title = {Coloring and Covering Nowhere Dense Graphs},
journal = {{SIAM} J. Discret. Math.},
volume = {32},
number = {4},
pages = {2467--2481},
year = {2018},
url = {https://doi.org/10.1137/18M1168753},
doi = {10.1137/18M1168753},
timestamp = {Fri, 07 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamdm/GroheKRSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/GroheNS18,
author = {Martin Grohe and
Daniel Neuen and
Pascal Schweitzer},
editor = {Mikkel Thorup},
title = {A Faster Isomorphism Test for Graphs of Small Degree},
booktitle = {59th {IEEE} Annual Symposium on Foundations of Computer Science, {FOCS}
2018, Paris, France, October 7-9, 2018},
pages = {89--100},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/FOCS.2018.00018},
doi = {10.1109/FOCS.2018.00018},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/GroheNS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/DellGR18,
author = {Holger Dell and
Martin Grohe and
Gaurav Rattan},
editor = {Ioannis Chatzigiannakis and
Christos Kaklamanis and
D{\'{a}}niel Marx and
Donald Sannella},
title = {Lov{\'{a}}sz Meets Weisfeiler and Leman},
booktitle = {45th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2018, July 9-13, 2018, Prague, Czech Republic},
series = {LIPIcs},
volume = {107},
pages = {40:1--40:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2018.40},
doi = {10.4230/LIPICS.ICALP.2018.40},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/DellGR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GroheNSW18,
author = {Martin Grohe and
Daniel Neuen and
Pascal Schweitzer and
Daniel Wiebking},
editor = {Ioannis Chatzigiannakis and
Christos Kaklamanis and
D{\'{a}}niel Marx and
Donald Sannella},
title = {An Improved Isomorphism Test for Bounded-Tree-Width Graphs},
booktitle = {45th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2018, July 9-13, 2018, Prague, Czech Republic},
series = {LIPIcs},
volume = {107},
pages = {67:1--67:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2018.67},
doi = {10.4230/LIPICS.ICALP.2018.67},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GroheNSW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BojanczykGP18,
author = {Mikolaj Bojanczyk and
Martin Grohe and
Michal Pilipczuk},
editor = {Anuj Dawar and
Erich Gr{\"{a}}del},
title = {Definable decompositions for graphs of bounded linear cliquewidth},
booktitle = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
pages = {135--144},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3209108.3209135},
doi = {10.1145/3209108.3209135},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BojanczykGP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GroheRW18,
author = {Martin Grohe and
Gaurav Rattan and
Gerhard J. Woeginger},
editor = {Igor Potapov and
Paul G. Spirakis and
James Worrell},
title = {Graph Similarity and Approximate Isomorphism},
booktitle = {43rd International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2018, August 27-31, 2018, Liverpool, {UK}},
series = {LIPIcs},
volume = {117},
pages = {20:1--20:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2018.20},
doi = {10.4230/LIPICS.MFCS.2018.20},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/GroheRW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/GroheS18,
author = {Martin Grohe and
Nicole Schweikardt},
editor = {Jan Van den Bussche and
Marcelo Arenas},
title = {First-Order Query Evaluation with Cardinality Conditions},
booktitle = {Proceedings of the 37th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles
of Database Systems, Houston, TX, USA, June 10-15, 2018},
pages = {253--266},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3196959.3196970},
doi = {10.1145/3196959.3196970},
timestamp = {Wed, 21 Nov 2018 12:44:18 +0100},
biburl = {https://dblp.org/rec/conf/pods/GroheS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-04659,
author = {Martin Grohe and
Daniel Neuen and
Pascal Schweitzer},
title = {Towards faster isomorphism tests for bounded-degree graphs},
journal = {CoRR},
volume = {abs/1802.04659},
year = {2018},
url = {http://arxiv.org/abs/1802.04659},
eprinttype = {arXiv},
eprint = {1802.04659},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-04659.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-08509,
author = {Martin Grohe and
Gaurav Rattan and
Gerhard J. Woeginger},
title = {Graph Similarity and Approximate Isomorphism},
journal = {CoRR},
volume = {abs/1802.08509},
year = {2018},
url = {http://arxiv.org/abs/1802.08509},
eprinttype = {arXiv},
eprint = {1802.08509},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-08509.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-08876,
author = {Holger Dell and
Martin Grohe and
Gaurav Rattan},
title = {Weisfeiler-Leman meets Homomorphisms},
journal = {CoRR},
volume = {abs/1802.08876},
year = {2018},
url = {http://arxiv.org/abs/1802.08876},
eprinttype = {arXiv},
eprint = {1802.08876},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-08876.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-09377,
author = {Erich Gr{\"{a}}del and
Martin Grohe and
Benedikt Pago and
Wied Pakusa},
title = {A Finite-Model-Theoretic View on Propositional Proof Complexity},
journal = {CoRR},
volume = {abs/1802.09377},
year = {2018},
url = {http://arxiv.org/abs/1802.09377},
eprinttype = {arXiv},
eprint = {1802.09377},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-09377.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-05937,
author = {Mikolaj Bojanczyk and
Martin Grohe and
Michal Pilipczuk},
title = {Definable decompositions for graphs of bounded linear cliquewidth},
journal = {CoRR},
volume = {abs/1803.05937},
year = {2018},
url = {http://arxiv.org/abs/1803.05937},
eprinttype = {arXiv},
eprint = {1803.05937},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-05937.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-06858,
author = {Martin Grohe and
Daniel Neuen and
Pascal Schweitzer and
Daniel Wiebking},
title = {An improved isomorphism test for bounded-tree-width graphs},
journal = {CoRR},
volume = {abs/1803.06858},
year = {2018},
url = {http://arxiv.org/abs/1803.06858},
eprinttype = {arXiv},
eprint = {1803.06858},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-06858.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-00607,
author = {Martin Grohe and
Peter Lindner},
title = {Probabilistic Databases with an Infinite Open-World Assumption},
journal = {CoRR},
volume = {abs/1807.00607},
year = {2018},
url = {http://arxiv.org/abs/1807.00607},
eprinttype = {arXiv},
eprint = {1807.00607},
timestamp = {Mon, 29 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-00607.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-02244,
author = {Christopher Morris and
Martin Ritzert and
Matthias Fey and
William L. Hamilton and
Jan Eric Lenssen and
Gaurav Rattan and
Martin Grohe},
title = {Weisfeiler and Leman Go Neural: Higher-order Graph Neural Networks},
journal = {CoRR},
volume = {abs/1810.02244},
year = {2018},
url = {http://arxiv.org/abs/1810.02244},
eprinttype = {arXiv},
eprint = {1810.02244},
timestamp = {Wed, 31 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-02244.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/GroheGZ18,
author = {Martin Grohe and
Venkatesan Guruswami and
Stanislav Zivn{\'{y}}},
title = {The Constraint Satisfaction Problem: Complexity and Approximability
(Dagstuhl Seminar 18231)},
journal = {Dagstuhl Reports},
volume = {8},
number = {6},
pages = {1--18},
year = {2018},
url = {https://doi.org/10.4230/DagRep.8.6.1},
doi = {10.4230/DAGREP.8.6.1},
timestamp = {Mon, 03 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/GroheGZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/cu/G2017,
author = {Martin Grohe},
title = {Descriptive Complexity, Canonisation, and Definable Graph Structure
Theory},
series = {Lecture Notes in Logic},
volume = {47},
publisher = {Cambridge University Press},
year = {2017},
url = {https://doi.org/10.1017/9781139028868},
doi = {10.1017/9781139028868},
isbn = {9781139028868},
timestamp = {Thu, 30 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/cu/G2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/GroheKS17,
author = {Martin Grohe and
Stephan Kreutzer and
Sebastian Siebertz},
title = {Deciding First-Order Properties of Nowhere Dense Graphs},
journal = {J. {ACM}},
volume = {64},
number = {3},
pages = {17:1--17:32},
year = {2017},
url = {https://doi.org/10.1145/3051095},
doi = {10.1145/3051095},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/GroheKS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/BerkholzBG17,
author = {Christoph Berkholz and
Paul S. Bonsma and
Martin Grohe},
title = {Tight Lower and Upper Bounds for the Complexity of Canonical Colour
Refinement},
journal = {Theory Comput. Syst.},
volume = {60},
number = {4},
pages = {581--614},
year = {2017},
url = {https://doi.org/10.1007/s00224-016-9686-0},
doi = {10.1007/S00224-016-9686-0},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/BerkholzBG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/GroheLR17,
author = {Martin Grohe and
Christof L{\"{o}}ding and
Martin Ritzert},
editor = {Steve Hanneke and
Lev Reyzin},
title = {Learning MSO-definable hypotheses on strings},
booktitle = {International Conference on Algorithmic Learning Theory, {ALT} 2017,
15-17 October 2017, Kyoto University, Kyoto, Japan},
series = {Proceedings of Machine Learning Research},
volume = {76},
pages = {434--451},
publisher = {{PMLR}},
year = {2017},
url = {http://proceedings.mlr.press/v76/grohe17a.html},
timestamp = {Wed, 03 Apr 2019 18:17:23 +0200},
biburl = {https://dblp.org/rec/conf/alt/GroheLR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GroheP17,
author = {Martin Grohe and
Wied Pakusa},
title = {Descriptive complexity of linear equation systems and applications
to propositional proof complexity},
booktitle = {32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2017, Reykjavik, Iceland, June 20-23, 2017},
pages = {1--12},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/LICS.2017.8005081},
doi = {10.1109/LICS.2017.8005081},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/GroheP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GroheR17,
author = {Martin Grohe and
Martin Ritzert},
title = {Learning first-order definable concepts over structures of small degree},
booktitle = {32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2017, Reykjavik, Iceland, June 20-23, 2017},
pages = {1--12},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/LICS.2017.8005080},
doi = {10.1109/LICS.2017.8005080},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/GroheR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/BerkholzG17,
author = {Christoph Berkholz and
Martin Grohe},
editor = {Philip N. Klein},
title = {Linear Diophantine Equations, Group CSPs, and Graph Isomorphism},
booktitle = {Proceedings of the Twenty-Eighth Annual {ACM-SIAM} Symposium on Discrete
Algorithms, {SODA} 2017, Barcelona, Spain, Hotel Porta Fira, January
16-19},
pages = {327--339},
publisher = {{SIAM}},
year = {2017},
url = {https://doi.org/10.1137/1.9781611974782.21},
doi = {10.1137/1.9781611974782.21},
timestamp = {Tue, 02 Feb 2021 17:07:33 +0100},
biburl = {https://dblp.org/rec/conf/soda/BerkholzG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wg/ChenGL17,
author = {Yijia Chen and
Martin Grohe and
Bingkai Lin},
editor = {Hans L. Bodlaender and
Gerhard J. Woeginger},
title = {The Hardness of Embedding Grids and Walls},
booktitle = {Graph-Theoretic Concepts in Computer Science - 43rd International
Workshop, {WG} 2017, Eindhoven, The Netherlands, June 21-23, 2017,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10520},
pages = {180--192},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68705-6\_14},
doi = {10.1007/978-3-319-68705-6\_14},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/wg/ChenGL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GroheR17,
author = {Martin Grohe and
Martin Ritzert},
title = {Learning first-order definable concepts over structures of small degree},
journal = {CoRR},
volume = {abs/1701.05487},
year = {2017},
url = {http://arxiv.org/abs/1701.05487},
eprinttype = {arXiv},
eprint = {1701.05487},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GroheR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChenGL17,
author = {Yijia Chen and
Martin Grohe and
Bingkai Lin},
title = {The Hardness of Embedding Grids and Walls},
journal = {CoRR},
volume = {abs/1703.06423},
year = {2017},
url = {http://arxiv.org/abs/1703.06423},
eprinttype = {arXiv},
eprint = {1703.06423},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChenGL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GroheS17,
author = {Martin Grohe and
Nicole Schweikardt},
title = {First-Order Query Evaluation with Cardinality Conditions},
journal = {CoRR},
volume = {abs/1707.05945},
year = {2017},
url = {http://arxiv.org/abs/1707.05945},
eprinttype = {arXiv},
eprint = {1707.05945},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GroheS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1708-08081,
author = {Martin Grohe and
Christof L{\"{o}}ding and
Martin Ritzert},
title = {Learning MSO-definable hypotheses on string},
journal = {CoRR},
volume = {abs/1708.08081},
year = {2017},
url = {http://arxiv.org/abs/1708.08081},
eprinttype = {arXiv},
eprint = {1708.08081},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-08081.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-03860,
author = {Albert Atserias and
Martin Grohe and
D{\'{a}}niel Marx},
title = {Size bounds and query plans for relational joins},
journal = {CoRR},
volume = {abs/1711.03860},
year = {2017},
url = {http://arxiv.org/abs/1711.03860},
eprinttype = {arXiv},
eprint = {1711.03860},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-03860.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-04506,
author = {Martin Grohe and
D{\'{a}}niel Marx},
title = {Constraint Solving via Fractional Edge Covers},
journal = {CoRR},
volume = {abs/1711.04506},
year = {2017},
url = {http://arxiv.org/abs/1711.04506},
eprinttype = {arXiv},
eprint = {1711.04506},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-04506.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/GroheS16,
author = {Martin Grohe and
Pascal Schweitzer},
title = {Computing with Tangles},
journal = {{SIAM} J. Discret. Math.},
volume = {30},
number = {2},
pages = {1213--1247},
year = {2016},
url = {https://doi.org/10.1137/15M1027565},
doi = {10.1137/15M1027565},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamdm/GroheS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/ElberfeldGT16,
author = {Michael Elberfeld and
Martin Grohe and
Till Tantau},
title = {Where First-Order and Monadic Second-Order Logic Coincide},
journal = {{ACM} Trans. Comput. Log.},
volume = {17},
number = {4},
pages = {25},
year = {2016},
url = {https://doi.org/10.1145/2946799},
doi = {10.1145/2946799},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/ElberfeldGT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Grohe16,
author = {Martin Grohe},
editor = {Ioannis Chatzigiannakis and
Michael Mitzenmacher and
Yuval Rabani and
Davide Sangiorgi},
title = {Quasi-4-Connected Components},
booktitle = {43rd International Colloquium on Automata, Languages, and Programming,
{ICALP} 2016, July 11-15, 2016, Rome, Italy},
series = {LIPIcs},
volume = {55},
pages = {8:1--8:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2016.8},
doi = {10.4230/LIPICS.ICALP.2016.8},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/icalp/Grohe16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/Grohe16,
author = {Martin Grohe},
editor = {Adrian{-}Horia Dediu and
Jan Janousek and
Carlos Mart{\'{\i}}n{-}Vide and
Bianca Truthe},
title = {Tangles and Connectivity in Graphs},
booktitle = {Language and Automata Theory and Applications - 10th International
Conference, {LATA} 2016, Prague, Czech Republic, March 14-18, 2016,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9618},
pages = {24--41},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30000-9\_2},
doi = {10.1007/978-3-319-30000-9\_2},
timestamp = {Mon, 16 Sep 2019 15:27:03 +0200},
biburl = {https://dblp.org/rec/conf/lata/Grohe16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ElberfeldFG16,
author = {Michael Elberfeld and
Marlin Frickenschmidt and
Martin Grohe},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Order Invariance on Decomposable Structures},
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 = {397--406},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934517},
doi = {10.1145/2933575.2934517},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/ElberfeldFG16.bib},
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 = {https://doi.org/10.1145/2933575},
doi = {10.1145/2933575},
isbn = {978-1-4503-4391-6},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Grohe16,
author = {Martin Grohe},
title = {Quasi-4-Connected Components},
journal = {CoRR},
volume = {abs/1602.04505},
year = {2016},
url = {http://arxiv.org/abs/1602.04505},
eprinttype = {arXiv},
eprint = {1602.04505},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Grohe16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Grohe16a,
author = {Martin Grohe},
title = {Tangles and Connectivity in Graphs},
journal = {CoRR},
volume = {abs/1602.04727},
year = {2016},
url = {http://arxiv.org/abs/1602.04727},
eprinttype = {arXiv},
eprint = {1602.04727},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Grohe16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Grohe16b,
author = {Martin Grohe},
title = {Tangled up in Blue {(A} Survey on Connectivity, Decompositions, and
Tangles)},
journal = {CoRR},
volume = {abs/1605.06704},
year = {2016},
url = {http://arxiv.org/abs/1605.06704},
eprinttype = {arXiv},
eprint = {1605.06704},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Grohe16b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ElberfeldFG16,
author = {Michael Elberfeld and
Marlin Frickenschmidt and
Martin Grohe},
title = {Order Invariance on Decomposable Structures},
journal = {CoRR},
volume = {abs/1606.06557},
year = {2016},
url = {http://arxiv.org/abs/1606.06557},
eprinttype = {arXiv},
eprint = {1606.06557},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ElberfeldFG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BerkholzG16,
author = {Christoph Berkholz and
Martin Grohe},
title = {Linear Diophantine Equations, Group CSPs, and Graph Isomorphism},
journal = {CoRR},
volume = {abs/1607.04287},
year = {2016},
url = {http://arxiv.org/abs/1607.04287},
eprinttype = {arXiv},
eprint = {1607.04287},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BerkholzG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GroheO15,
author = {Martin Grohe and
Martin Otto},
title = {Pebble Games and linear equations},
journal = {J. Symb. Log.},
volume = {80},
number = {3},
pages = {797--844},
year = {2015},
url = {https://doi.org/10.1017/jsl.2015.28},
doi = {10.1017/JSL.2015.28},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/GroheO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/GroheM15,
author = {Martin Grohe and
D{\'{a}}niel Marx},
title = {Structure Theorem and Isomorphism Test for Graphs with Excluded Topological
Subgraphs},
journal = {{SIAM} J. Comput.},
volume = {44},
number = {1},
pages = {114--159},
year = {2015},
url = {https://doi.org/10.1137/120892234},
doi = {10.1137/120892234},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/GroheM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GradelG15,
author = {Erich Gr{\"{a}}del and
Martin Grohe},
editor = {Lev D. Beklemishev and
Andreas Blass and
Nachum Dershowitz and
Bernd Finkbeiner and
Wolfram Schulte},
title = {Is Polynomial Time Choiceless?},
booktitle = {Fields of Logic and Computation {II} - Essays Dedicated to Yuri Gurevich
on the Occasion of His 75th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9300},
pages = {193--209},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23534-9\_11},
doi = {10.1007/978-3-319-23534-9\_11},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GradelG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/GroheS15,
author = {Martin Grohe and
Pascal Schweitzer},
editor = {Venkatesan Guruswami},
title = {Isomorphism Testing for Graphs of Bounded Rank Width},
booktitle = {{IEEE} 56th Annual Symposium on Foundations of Computer Science, {FOCS}
2015, Berkeley, CA, USA, 17-20 October, 2015},
pages = {1010--1029},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/FOCS.2015.66},
doi = {10.1109/FOCS.2015.66},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/GroheS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BerkholzG15,
author = {Christoph Berkholz and
Martin Grohe},
editor = {Magn{\'{u}}s M. Halld{\'{o}}rsson and
Kazuo Iwama and
Naoki Kobayashi and
Bettina Speckmann},
title = {Limitations of Algebraic Approaches to Graph Isomorphism Testing},
booktitle = {Automata, Languages, and Programming - 42nd International Colloquium,
{ICALP} 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9134},
pages = {155--166},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-47672-7\_13},
doi = {10.1007/978-3-662-47672-7\_13},
timestamp = {Fri, 27 Mar 2020 09:02:59 +0100},
biburl = {https://dblp.org/rec/conf/icalp/BerkholzG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/GroheS15,
author = {Martin Grohe and
Pascal Schweitzer},
editor = {Rocco A. Servedio and
Ronitt Rubinfeld},
title = {Computing with Tangles},
booktitle = {Proceedings of the Forty-Seventh Annual {ACM} on Symposium on Theory
of Computing, {STOC} 2015, Portland, OR, USA, June 14-17, 2015},
pages = {683--692},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2746539.2746587},
doi = {10.1145/2746539.2746587},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/GroheS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wg/GroheKRSS15,
author = {Martin Grohe and
Stephan Kreutzer and
Roman Rabinovich and
Sebastian Siebertz and
Konstantinos S. Stavropoulos},
editor = {Ernst W. Mayr},
title = {Colouring and Covering Nowhere Dense Graphs},
booktitle = {Graph-Theoretic Concepts in Computer Science - 41st International
Workshop, {WG} 2015, Garching, Germany, June 17-19, 2015, Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {9224},
pages = {325--338},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-53174-7\_23},
doi = {10.1007/978-3-662-53174-7\_23},
timestamp = {Fri, 07 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wg/GroheKRSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BerkholzG15,
author = {Christoph Berkholz and
Martin Grohe},
title = {Limitations of Algebraic Approaches to Graph Isomorphism Testing},
journal = {CoRR},
volume = {abs/1502.05912},
year = {2015},
url = {http://arxiv.org/abs/1502.05912},
eprinttype = {arXiv},
eprint = {1502.05912},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BerkholzG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GroheS15,
author = {Martin Grohe and
Pascal Schweitzer},
title = {Computing with Tangles},
journal = {CoRR},
volume = {abs/1503.00190},
year = {2015},
url = {http://arxiv.org/abs/1503.00190},
eprinttype = {arXiv},
eprint = {1503.00190},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GroheS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GroheS15a,
author = {Martin Grohe and
Pascal Schweitzer},
title = {Isomorphism Testing for Graphs of Bounded Rank Width},
journal = {CoRR},
volume = {abs/1505.03737},
year = {2015},
url = {http://arxiv.org/abs/1505.03737},
eprinttype = {arXiv},
eprint = {1505.03737},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GroheS15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BerkholzBG15,
author = {Christoph Berkholz and
Paul S. Bonsma and
Martin Grohe},
title = {Tight Lower and Upper Bounds for the Complexity of Canonical Colour
Refinement},
journal = {CoRR},
volume = {abs/1509.08251},
year = {2015},
url = {http://arxiv.org/abs/1509.08251},
eprinttype = {arXiv},
eprint = {1509.08251},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BerkholzBG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BiereGGNW15,
author = {Armin Biere and
Vijay Ganesh and
Martin Grohe and
Jakob Nordstr{\"{o}}m and
Ryan Williams},
title = {Theory and Practice of {SAT} Solving (Dagstuhl Seminar 15171)},
journal = {Dagstuhl Reports},
volume = {5},
number = {4},
pages = {98--122},
year = {2015},
url = {https://doi.org/10.4230/DagRep.5.4.98},
doi = {10.4230/DAGREP.5.4.98},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BiereGGNW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Grohe14,
author = {Martin Grohe},
title = {Database Theory Column Report on {PODS} 2014},
journal = {{SIGACT} News},
volume = {45},
number = {4},
pages = {83--85},
year = {2014},
url = {https://doi.org/10.1145/2696081.2696097},
doi = {10.1145/2696081.2696097},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/Grohe14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/talg/GroheM14,
author = {Martin Grohe and
D{\'{a}}niel Marx},
title = {Constraint Solving via Fractional Edge Covers},
journal = {{ACM} Trans. Algorithms},
volume = {11},
number = {1},
pages = {4:1--4:20},
year = {2014},
url = {https://doi.org/10.1145/2636918},
doi = {10.1145/2636918},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/talg/GroheM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KerstingMGG14,
author = {Kristian Kersting and
Martin Mladenov and
Roman Garnett and
Martin Grohe},
editor = {Carla E. Brodley and
Peter Stone},
title = {Power Iterated Color Refinement},
booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
pages = {1904--1910},
publisher = {{AAAI} Press},
year = {2014},
url = {https://doi.org/10.1609/aaai.v28i1.8992},
doi = {10.1609/AAAI.V28I1.8992},
timestamp = {Mon, 04 Sep 2023 15:06:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KerstingMGG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/FrochauxGS14,
author = {Andr{\'{e}} Frochaux and
Martin Grohe and
Nicole Schweikardt},
editor = {Georg Gottlob and
Jorge P{\'{e}}rez},
title = {Monadic Datalog Containment on Trees},
booktitle = {Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of
Data Management, Cartagena de Indias, Colombia, June 4-6, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1189},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1189/paper\_11.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:19 +0100},
biburl = {https://dblp.org/rec/conf/amw/FrochauxGS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/Grohe14,
author = {Martin Grohe},
editor = {Edward A. Hirsch and
Sergei O. Kuznetsov and
Jean{-}{\'{E}}ric Pin and
Nikolay K. Vereshchagin},
title = {Algorithmic Meta Theorems for Sparse Graph Classes},
booktitle = {Computer Science - Theory and Applications - 9th International Computer
Science Symposium in Russia, {CSR} 2014, Moscow, Russia, June 7-11,
2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8476},
pages = {16--22},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06686-8\_2},
doi = {10.1007/978-3-319-06686-8\_2},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/csr/Grohe14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esa/GroheKMS14,
author = {Martin Grohe and
Kristian Kersting and
Martin Mladenov and
Erkal Selman},
editor = {Andreas S. Schulz and
Dorothea Wagner},
title = {Dimension Reduction via Colour Refinement},
booktitle = {Algorithms - {ESA} 2014 - 22th Annual European Symposium, Wroclaw,
Poland, September 8-10, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8737},
pages = {505--516},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44777-2\_42},
doi = {10.1007/978-3-662-44777-2\_42},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/esa/GroheKMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Grohe14,
author = {Martin Grohe},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Colour Refinement: {A} Simple Partitioning Algorithm with Applications
From Graph Isomorphism Testing to Machine Learning (Invited Talk)},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {31--31},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.31},
doi = {10.4230/LIPICS.FSTTCS.2014.31},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/Grohe14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/ZaidGGP14,
author = {Faried Abu Zaid and
Erich Gr{\"{a}}del and
Martin Grohe and
Wied Pakusa},
editor = {Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
Martin Dietzfelbinger and
Zolt{\'{a}}n {\'{E}}sik},
title = {Choiceless Polynomial Time on Structures with Small Abelian Colour
Classes},
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 = {50--62},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44522-8\_5},
doi = {10.1007/978-3-662-44522-8\_5},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/ZaidGGP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/GroheKS14,
author = {Martin Grohe and
Stephan Kreutzer and
Sebastian Siebertz},
editor = {David B. Shmoys},
title = {Deciding first-order properties of nowhere dense graphs},
booktitle = {Symposium on Theory of Computing, {STOC} 2014, New York, NY, USA,
May 31 - June 03, 2014},
pages = {89--98},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2591796.2591851},
doi = {10.1145/2591796.2591851},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stoc/GroheKS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pods/2014,
editor = {Richard Hull and
Martin Grohe},
title = {Proceedings of the 33rd {ACM} {SIGMOD-SIGACT-SIGART} Symposium on
Principles of Database Systems, PODS'14, Snowbird, UT, USA, June 22-27,
2014},
publisher = {{ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2594538},
isbn = {978-1-4503-2375-8},
timestamp = {Mon, 13 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FrochauxGS14,
author = {Andr{\'{e}} Frochaux and
Martin Grohe and
Nicole Schweikardt},
title = {Monadic Datalog Containment on Trees},
journal = {CoRR},
volume = {abs/1404.0606},
year = {2014},
url = {http://arxiv.org/abs/1404.0606},
eprinttype = {arXiv},
eprint = {1404.0606},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FrochauxGS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/AtseriasGM13,
author = {Albert Atserias and
Martin Grohe and
D{\'{a}}niel Marx},
title = {Size Bounds and Query Plans for Relational Joins},
journal = {{SIAM} J. Comput.},
volume = {42},
number = {4},
pages = {1737--1767},
year = {2013},
url = {https://doi.org/10.1137/110859440},
doi = {10.1137/110859440},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/AtseriasGM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Grohe13,
author = {Martin Grohe},
editor = {Val Tannen and
Limsoon Wong and
Leonid Libkin and
Wenfei Fan and
Wang{-}Chiew Tan and
Michael P. Fourman},
title = {Bounds and Algorithms for Joins via Fractional Edge Covers},
booktitle = {In Search of Elegance in the Theory and Practice of Computation -
Essays Dedicated to Peter Buneman},
series = {Lecture Notes in Computer Science},
volume = {8000},
pages = {321--338},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41660-6\_17},
doi = {10.1007/978-3-642-41660-6\_17},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Grohe13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esa/BerkholzBG13,
author = {Christoph Berkholz and
Paul S. Bonsma and
Martin Grohe},
editor = {Hans L. Bodlaender and
Giuseppe F. Italiano},
title = {Tight Lower and Upper Bounds for the Complexity of Canonical Colour
Refinement},
booktitle = {Algorithms - {ESA} 2013 - 21st Annual European Symposium, Sophia Antipolis,
France, September 2-4, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8125},
pages = {145--156},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40450-4\_13},
doi = {10.1007/978-3-642-40450-4\_13},
timestamp = {Mon, 03 Jan 2022 22:19:39 +0100},
biburl = {https://dblp.org/rec/conf/esa/BerkholzBG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/GroheKS13,
author = {Martin Grohe and
Stephan Kreutzer and
Sebastian Siebertz},
editor = {Anil Seth and
Nisheeth K. Vishnoi},
title = {Characterisations of Nowhere Dense Graphs (Invited Talk)},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2013, December 12-14, 2013,
Guwahati, India},
series = {LIPIcs},
volume = {24},
pages = {21--40},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2013},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2013.21},
doi = {10.4230/LIPICS.FSTTCS.2013.21},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/GroheKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Grohe13,
author = {Martin Grohe},
editor = {Krishnendu Chatterjee and
Jir{\'{\i}} Sgall},
title = {Logical and Structural Approaches to the Graph Isomorphism Problem},
booktitle = {Mathematical Foundations of Computer Science 2013 - 38th International
Symposium, {MFCS} 2013, Klosterneuburg, Austria, August 26-30, 2013.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8087},
pages = {42},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40313-2\_4},
doi = {10.1007/978-3-642-40313-2\_4},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Grohe13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/GroheKR13,
author = {Martin Grohe and
Ken{-}ichi Kawarabayashi and
Bruce A. Reed},
editor = {Sanjeev Khanna},
title = {A Simple Algorithm for the Graph Minor Decomposition - Logic meets
Structural Graph Theory},
booktitle = {Proceedings of the Twenty-Fourth Annual {ACM-SIAM} Symposium on Discrete
Algorithms, {SODA} 2013, New Orleans, Louisiana, USA, January 6-8,
2013},
pages = {414--431},
publisher = {{SIAM}},
year = {2013},
url = {https://doi.org/10.1137/1.9781611973105.30},
doi = {10.1137/1.9781611973105.30},
timestamp = {Tue, 02 Feb 2021 17:07:29 +0100},
biburl = {https://dblp.org/rec/conf/soda/GroheKR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GroheKMS13,
author = {Martin Grohe and
Kristian Kersting and
Martin Mladenov and
Erkal Selman},
title = {Dimension Reduction via Colour Refinement},
journal = {CoRR},
volume = {abs/1307.5697},
year = {2013},
url = {http://arxiv.org/abs/1307.5697},
eprinttype = {arXiv},
eprint = {1307.5697},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GroheKMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GroheKS13,
author = {Martin Grohe and
Stephan Kreutzer and
Sebastian Siebertz},
title = {Deciding first-order properties of nowhere dense graphs},
journal = {CoRR},
volume = {abs/1311.3899},
year = {2013},
url = {http://arxiv.org/abs/1311.3899},
eprinttype = {arXiv},
eprint = {1311.3899},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GroheKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1212-6567,
author = {Martin Grohe and
Berit Gru{\ss}ien and
Andr{\'{e}} Hernich and
Bastian Laubner},
title = {L-Recursion and a new Logic for Logarithmic Space},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {1},
year = {2012},
url = {https://doi.org/10.2168/LMCS-9(1:11)2013},
doi = {10.2168/LMCS-9(1:11)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1212-6567.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Grohe12,
author = {Martin Grohe},
title = {Fixed-point definability and polynomial time on graphs with excluded
minors},
journal = {J. {ACM}},
volume = {59},
number = {5},
pages = {27:1--27:64},
year = {2012},
url = {https://doi.org/10.1145/2371656.2371662},
doi = {10.1145/2371656.2371662},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Grohe12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BulatovDGM12,
author = {Andrei A. Bulatov and
V{\'{\i}}ctor Dalmau and
Martin Grohe and
D{\'{a}}niel Marx},
title = {Enumerating homomorphisms},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {2},
pages = {638--650},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.09.006},
doi = {10.1016/J.JCSS.2011.09.006},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BulatovDGM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/GroheO12,
author = {Martin Grohe and
Martin Otto},
editor = {Patrick C{\'{e}}gielski and
Arnaud Durand},
title = {Pebble Games and Linear Equations},
booktitle = {Computer Science Logic (CSL'12) - 26th International Workshop/21st
Annual Conference of the EACSL, {CSL} 2012, September 3-6, 2012, Fontainebleau,
France},
series = {LIPIcs},
volume = {16},
pages = {289--304},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.CSL.2012.289},
doi = {10.4230/LIPICS.CSL.2012.289},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/csl/GroheO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ElberfeldGT12,
author = {Michael Elberfeld and
Martin Grohe and
Till Tantau},
title = {Where First-Order and Monadic Second-Order Logic Coincide},
booktitle = {Proceedings of the 27th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2012, Dubrovnik, Croatia, June 25-28, 2012},
pages = {265--274},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/LICS.2012.37},
doi = {10.1109/LICS.2012.37},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/ElberfeldGT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/Grohe12,
author = {Martin Grohe},
editor = {Yuval Rabani},
title = {Structural and logical approaches to the graph isomorphism problem},
booktitle = {Proceedings of the Twenty-Third Annual {ACM-SIAM} Symposium on Discrete
Algorithms, {SODA} 2012, Kyoto, Japan, January 17-19, 2012},
pages = {188},
publisher = {{SIAM}},
year = {2012},
url = {https://doi.org/10.1137/1.9781611973099.16},
doi = {10.1137/1.9781611973099.16},
timestamp = {Tue, 02 Feb 2021 17:07:31 +0100},
biburl = {https://dblp.org/rec/conf/soda/Grohe12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/GroheM12,
author = {Martin Grohe and
D{\'{a}}niel Marx},
editor = {Howard J. Karloff and
Toniann Pitassi},
title = {Structure theorem and isomorphism test for graphs with excluded topological
subgraphs},
booktitle = {Proceedings of the 44th Symposium on Theory of Computing Conference,
{STOC} 2012, New York, NY, USA, May 19 - 22, 2012},
pages = {173--192},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2213977.2213996},
doi = {10.1145/2213977.2213996},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/GroheM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1204-1990,
author = {Martin Grohe and
Martin Otto},
title = {Pebble Games and Linear Equations},
journal = {CoRR},
volume = {abs/1204.1990},
year = {2012},
url = {http://arxiv.org/abs/1204.1990},
eprinttype = {arXiv},
eprint = {1204.1990},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1204-1990.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1204-6291,
author = {Michael Elberfeld and
Martin Grohe and
Till Tantau},
title = {Where First-Order and Monadic Second-Order Logic Coincide},
journal = {CoRR},
volume = {abs/1204.6291},
year = {2012},
url = {http://arxiv.org/abs/1204.6291},
eprinttype = {arXiv},
eprint = {1204.6291},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1204-6291.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Grohe11,
author = {Martin Grohe},
title = {From polynomial time queries to graph structure theory},
journal = {Commun. {ACM}},
volume = {54},
number = {6},
pages = {104--112},
year = {2011},
url = {https://doi.org/10.1145/1953122.1953150},
doi = {10.1145/1953122.1953150},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Grohe11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-3430,
author = {Kord Eickmeyer and
Martin Grohe},
title = {Randomisation and Derandomisation in Descriptive Complexity Theory},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {3},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(3:14)2011},
doi = {10.2168/LMCS-7(3:14)2011},
timestamp = {Sun, 16 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-3430.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/GroheGHL11,
author = {Martin Grohe and
Berit Gru{\ss}ien and
Andr{\'{e}} Hernich and
Bastian Laubner},
editor = {Marc Bezem},
title = {L-Recursion and a new Logic for Logarithmic Space},
booktitle = {Computer Science Logic, 25th International Workshop / 20th Annual
Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
Norway, Proceedings},
series = {LIPIcs},
volume = {12},
pages = {277--291},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.CSL.2011.277},
doi = {10.4230/LIPICS.CSL.2011.277},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/csl/GroheGHL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/GroheKMW11,
author = {Martin Grohe and
Ken{-}ichi Kawarabayashi and
D{\'{a}}niel Marx and
Paul Wollan},
editor = {Lance Fortnow and
Salil P. Vadhan},
title = {Finding topological subgraphs is fixed-parameter tractable},
booktitle = {Proceedings of the 43rd {ACM} Symposium on Theory of Computing, {STOC}
2011, San Jose, CA, USA, 6-8 June 2011},
pages = {479--488},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993636.1993700},
doi = {10.1145/1993636.1993700},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/GroheKMW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asl/2009s,
editor = {Martin Grohe and
Johann A. Makowsky},
title = {Model Theoretic Methods in Finite Combinatorics - {AMS-ASL} Joint
Special Session, Washington, DC, USA, January 5-8, 2009},
series = {Contemporary Mathematics},
volume = {558},
publisher = {American Mathematical Society},
year = {2011},
url = {https://bookstore.ams.org/conm-558/},
isbn = {978-0-8218-4943-9},
timestamp = {Tue, 03 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asl/2009s.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1104-0185,
author = {Martin Grohe and
Marc Thurley},
title = {Counting Homomorphisms and Partition Functions},
journal = {CoRR},
volume = {abs/1104.0185},
year = {2011},
url = {http://arxiv.org/abs/1104.0185},
eprinttype = {arXiv},
eprint = {1104.0185},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1104-0185.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1111-1109,
author = {Martin Grohe and
D{\'{a}}niel Marx},
title = {Structure Theorem and Isomorphism Test for Graphs with Excluded Topological
Subgraphs},
journal = {CoRR},
volume = {abs/1111.1109},
year = {2011},
url = {http://arxiv.org/abs/1111.1109},
eprinttype = {arXiv},
eprint = {1111.1109},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1111-1109.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/GroheKRM11,
author = {Martin Grohe and
Michal Kouck{\'{y}} and
R{\"{u}}diger Reischuk and
Dieter van Melkebeek},
title = {Computational Complexity of Discrete Problems (Dagstuhl Seminar 11121)},
journal = {Dagstuhl Reports},
volume = {1},
number = {3},
pages = {42--66},
year = {2011},
url = {https://doi.org/10.4230/DagRep.1.3.42},
doi = {10.4230/DAGREP.1.3.42},
timestamp = {Thu, 02 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/GroheKRM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/ChenG10a,
author = {Hubie Chen and
Martin Grohe},
title = {Constraint satisfaction with succinctly specified relations},
journal = {J. Comput. Syst. Sci.},
volume = {76},
number = {8},
pages = {847--860},
year = {2010},
url = {https://doi.org/10.1016/j.jcss.2010.04.003},
doi = {10.1016/J.JCSS.2010.04.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/ChenG10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/GoldbergGJT10,
author = {Leslie Ann Goldberg and
Martin Grohe and
Mark Jerrum and
Marc Thurley},
title = {A Complexity Dichotomy for Partition Functions with Mixed Signs},
journal = {{SIAM} J. Comput.},
volume = {39},
number = {7},
pages = {3336--3402},
year = {2010},
url = {https://doi.org/10.1137/090757496},
doi = {10.1137/090757496},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/GoldbergGJT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Grohe10,
author = {Martin Grohe},
editor = {Andreas Blass and
Nachum Dershowitz and
Wolfgang Reisig},
title = {Fixed-Point Definability and Polynomial Time on Chordal Graphs and
Line Graphs},
booktitle = {Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich
on the Occasion of His 70th Birthday},
series = {Lecture Notes in Computer Science},
volume = {6300},
pages = {328--353},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15025-8\_17},
doi = {10.1007/978-3-642-15025-8\_17},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Grohe10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/EickmeyerG10,
author = {Kord Eickmeyer and
Martin Grohe},
editor = {Anuj Dawar and
Helmut Veith},
title = {Randomisation and Derandomisation in Descriptive Complexity Theory},
booktitle = {Computer Science Logic, 24th International Workshop, {CSL} 2010, 19th
Annual Conference of the EACSL, Brno, Czech Republic, August 23-27,
2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6247},
pages = {275--289},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15205-4\_23},
doi = {10.1007/978-3-642-15205-4\_23},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/EickmeyerG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/Grohe10,
author = {Martin Grohe},
editor = {Luc Segoufin},
title = {From polynomial time queries to graph structure theory},
booktitle = {Database Theory - {ICDT} 2010, 13th International Conference, Lausanne,
Switzerland, March 23-25, 2010, Proceedings},
series = {{ACM} International Conference Proceeding Series},
pages = {2},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1804669.1804672},
doi = {10.1145/1804669.1804672},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdt/Grohe10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Grohe10,
author = {Martin Grohe},
title = {Fixed-Point Definability and Polynomial Time on Graphs with Excluded
Minors},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {179--188},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.22},
doi = {10.1109/LICS.2010.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Grohe10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1001-2572,
author = {Martin Grohe},
title = {Fixed-Point Definability and Polynomial Time on Chordal Graphs and
Line Graphs},
journal = {CoRR},
volume = {abs/1001.2572},
year = {2010},
url = {http://arxiv.org/abs/1001.2572},
eprinttype = {arXiv},
eprint = {1001.2572},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1001-2572.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1011-1827,
author = {Martin Grohe and
Ken{-}ichi Kawarabayashi and
D{\'{a}}niel Marx and
Paul Wollan},
title = {Finding topological subgraphs is fixed-parameter tractable},
journal = {CoRR},
volume = {abs/1011.1827},
year = {2010},
url = {http://arxiv.org/abs/1011.1827},
eprinttype = {arXiv},
eprint = {1011.1827},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-1827.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/EickmeyerG10,
author = {Kord Eickmeyer and
Martin Grohe},
title = {Randomisation and Derandomisation in Descriptive Complexity Theory},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR10-056}},
year = {2010},
url = {https://eccc.weizmann.ac.il/report/2010/056},
eprinttype = {ECCC},
eprint = {TR10-056},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/EickmeyerG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0902-1179,
author = {Martin Grohe and
G{\"{o}}tz Schwandtner},
title = {The Complexity of Datalog on Linear Orders},
journal = {Log. Methods Comput. Sci.},
volume = {5},
number = {1},
year = {2009},
url = {http://arxiv.org/abs/0902.1179},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0902-1179.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/GroheHS09,
author = {Martin Grohe and
Andr{\'{e}} Hernich and
Nicole Schweikardt},
title = {Lower bounds for processing data with few random accesses to external
memory},
journal = {J. {ACM}},
volume = {56},
number = {3},
pages = {12:1--12:58},
year = {2009},
url = {https://doi.org/10.1145/1516512.1516514},
doi = {10.1145/1516512.1516514},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/GroheHS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/GroheM09,
author = {Martin Grohe and
D{\'{a}}niel Marx},
title = {On tree width, bramble size, and expansion},
journal = {J. Comb. Theory, Ser. {B}},
volume = {99},
number = {1},
pages = {218--228},
year = {2009},
url = {https://doi.org/10.1016/j.jctb.2008.06.004},
doi = {10.1016/J.JCTB.2008.06.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jct/GroheM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/GroheGLSTB09,
author = {Martin Grohe and
Yuri Gurevich and
Dirk Leinders and
Nicole Schweikardt and
Jerzy Tyszkiewicz and
Jan Van den Bussche},
title = {Database Query Processing Using Finite Cursor Machines},
journal = {Theory Comput. Syst.},
volume = {44},
number = {4},
pages = {533--560},
year = {2009},
url = {https://doi.org/10.1007/s00224-008-9137-7},
doi = {10.1007/S00224-008-9137-7},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/GroheGLSTB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asl/GroheK09,
author = {Martin Grohe and
Stephan Kreutzer},
editor = {Martin Grohe and
Johann A. Makowsky},
title = {Methods for Algorithmic Meta Theorems},
booktitle = {Model Theoretic Methods in Finite Combinatorics - {AMS-ASL} Joint
Special Session, Washington, DC, USA, January 5-8, 2009},
series = {Contemporary Mathematics},
volume = {558},
pages = {181--206},
publisher = {American Mathematical Society},
year = {2009},
timestamp = {Tue, 03 Nov 2020 16:34:28 +0100},
biburl = {https://dblp.org/rec/conf/asl/GroheK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asl/GroheT09,
author = {Martin Grohe and
Marc Thurley},
editor = {Martin Grohe and
Johann A. Makowsky},
title = {Counting Homomorphisms and Partition Functions},
booktitle = {Model Theoretic Methods in Finite Combinatorics - {AMS-ASL} Joint
Special Session, Washington, DC, USA, January 5-8, 2009},
series = {Contemporary Mathematics},
volume = {558},
pages = {243--292},
publisher = {American Mathematical Society},
year = {2009},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asl/GroheT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Grohe09,
author = {Martin Grohe},
editor = {Erich Gr{\"{a}}del and
Reinhard Kahle},
title = {Fixed-Point Definability and Polynomial Time},
booktitle = {Computer Science Logic, 23rd international Workshop, {CSL} 2009, 18th
Annual Conference of the EACSL, Coimbra, Portugal, September 7-11,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5771},
pages = {20--23},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04027-6\_4},
doi = {10.1007/978-3-642-04027-6\_4},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/Grohe09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DawarGHL09,
author = {Anuj Dawar and
Martin Grohe and
Bjarki Holm and
Bastian Laubner},
title = {Logics with Rank Operators},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {113--122},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.24},
doi = {10.1109/LICS.2009.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/DawarGHL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BulatovDGM09,
author = {Andrei A. Bulatov and
V{\'{\i}}ctor Dalmau and
Martin Grohe and
D{\'{a}}niel Marx},
editor = {Susanne Albers and
Jean{-}Yves Marion},
title = {Enumerating Homomorphisms},
booktitle = {26th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2009, February 26-28, 2009, Freiburg, Germany, Proceedings},
series = {LIPIcs},
volume = {3},
pages = {231--242},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.STACS.2009.1838},
doi = {10.4230/LIPICS.STACS.2009.1838},
timestamp = {Tue, 22 Jun 2021 15:43:57 +0200},
biburl = {https://dblp.org/rec/conf/stacs/BulatovDGM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/GoldbergGJT09,
author = {Leslie Ann Goldberg and
Martin Grohe and
Mark Jerrum and
Marc Thurley},
editor = {Susanne Albers and
Jean{-}Yves Marion},
title = {A Complexity Dichotomy for Partition Functions with Mixed Signs},
booktitle = {26th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2009, February 26-28, 2009, Freiburg, Germany, Proceedings},
series = {LIPIcs},
volume = {3},
pages = {493--504},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.STACS.2009.1821},
doi = {10.4230/LIPICS.STACS.2009.1821},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/GoldbergGJT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2009P9441,
editor = {Andrei A. Bulatov and
Martin Grohe and
Phokion G. Kolaitis and
Andrei A. Krokhin},
title = {The Constraint Satisfaction Problem: Complexity and Approximability,
25.10. - 30.10.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09441},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/portals/09441/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2009P9441.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BulatovGKK09,
author = {Andrei A. Bulatov and
Martin Grohe and
Phokion G. Kolaitis and
Andrei A. Krokhin},
editor = {Andrei A. Bulatov and
Martin Grohe and
Phokion G. Kolaitis and
Andrei A. Krokhin},
title = {09441 Abstracts Collection - The Constraint Satisfaction Problem:
Complexity and Approximability},
booktitle = {The Constraint Satisfaction Problem: Complexity and Approximability,
25.10. - 30.10.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09441},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2371/},
timestamp = {Thu, 10 Jun 2021 13:02:04 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BulatovGKK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BulatovGKK09a,
author = {Andrei A. Bulatov and
Martin Grohe and
Phokion G. Kolaitis and
Andrei A. Krokhin},
editor = {Andrei A. Bulatov and
Martin Grohe and
Phokion G. Kolaitis and
Andrei A. Krokhin},
title = {09441 Executive Summary - The Constraint Satisfaction Problem: Complexity
and Approximability},
booktitle = {The Constraint Satisfaction Problem: Complexity and Approximability,
25.10. - 30.10.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09441},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2370/},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BulatovGKK09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0902-1256,
author = {Andrei A. Bulatov and
V{\'{\i}}ctor Dalmau and
Martin Grohe and
D{\'{a}}niel Marx},
title = {Enumerating Homomorphisms},
journal = {CoRR},
volume = {abs/0902.1256},
year = {2009},
url = {http://arxiv.org/abs/0902.1256},
eprinttype = {arXiv},
eprint = {0902.1256},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0902-1256.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/AtseriasDG08,
author = {Albert Atserias and
Anuj Dawar and
Martin Grohe},
title = {Preservation under Extensions on Well-Behaved Finite Structures},
journal = {{SIAM} J. Comput.},
volume = {38},
number = {4},
pages = {1364--1381},
year = {2008},
url = {https://doi.org/10.1137/060658709},
doi = {10.1137/060658709},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siamcomp/AtseriasDG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Grohe08,
author = {Martin Grohe},
editor = {J{\"{o}}rg Flum and
Erich Gr{\"{a}}del and
Thomas Wilke},
title = {Logic, graphs, and algorithms},
booktitle = {Logic and Automata: History and Perspectives [in Honor of Wolfgang
Thomas]},
series = {Texts in Logic and Games},
volume = {2},
pages = {357--422},
publisher = {Amsterdam University Press},
year = {2008},
timestamp = {Wed, 15 Dec 2010 22:14:40 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Grohe08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/EickmeyerGG08,
author = {Kord Eickmeyer and
Martin Grohe and
Magdalena Gr{\"{u}}ber},
title = {Approximation of Natural W[P]-Complete Minimisation Problems Is Hard},
booktitle = {Proceedings of the 23rd Annual {IEEE} Conference on Computational
Complexity, {CCC} 2008, 23-26 June 2008, College Park, Maryland, {USA}},
pages = {8--18},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/CCC.2008.24},
doi = {10.1109/CCC.2008.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coco/EickmeyerGG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/AtseriasGM08,
author = {Albert Atserias and
Martin Grohe and
D{\'{a}}niel Marx},
title = {Size Bounds and Query Plans for Relational Joins},
booktitle = {49th Annual {IEEE} Symposium on Foundations of Computer Science, {FOCS}
2008, October 25-28, 2008, Philadelphia, PA, {USA}},
pages = {739--748},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/FOCS.2008.43},
doi = {10.1109/FOCS.2008.43},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/AtseriasGM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BodirskyG08,
author = {Manuel Bodirsky and
Martin Grohe},
editor = {Luca Aceto and
Ivan Damg{\aa}rd and
Leslie Ann Goldberg and
Magn{\'{u}}s M. Halld{\'{o}}rsson and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Igor Walukiewicz},
title = {Non-dichotomies in Constraint Satisfaction Complexity},
booktitle = {Automata, Languages and Programming, 35th International Colloquium,
{ICALP} 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part
{II} - Track {B:} Logic, Semantics, and Theory of Programming {\&}
Track {C:} Security and Cryptography Foundations},
series = {Lecture Notes in Computer Science},
volume = {5126},
pages = {184--196},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70583-3\_16},
doi = {10.1007/978-3-540-70583-3\_16},
timestamp = {Fri, 27 Mar 2020 09:02:59 +0100},
biburl = {https://dblp.org/rec/conf/icalp/BodirskyG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Grohe08,
author = {Martin Grohe},
title = {The Quest for a Logic Capturing {PTIME}},
booktitle = {Proceedings of the Twenty-Third Annual {IEEE} Symposium on Logic in
Computer Science, {LICS} 2008, 24-27 June 2008, Pittsburgh, PA, {USA}},
pages = {267--271},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/LICS.2008.11},
doi = {10.1109/LICS.2008.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Grohe08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Grohe08a,
author = {Martin Grohe},
title = {Definable Tree Decompositions},
booktitle = {Proceedings of the Twenty-Third Annual {IEEE} Symposium on Logic in
Computer Science, {LICS} 2008, 24-27 June 2008, Pittsburgh, PA, {USA}},
pages = {406--417},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/LICS.2008.10},
doi = {10.1109/LICS.2008.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Grohe08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/AdlerGK08,
author = {Isolde Adler and
Martin Grohe and
Stephan Kreutzer},
editor = {Shang{-}Hua Teng},
title = {Computing excluded minors},
booktitle = {Proceedings of the Nineteenth Annual {ACM-SIAM} Symposium on Discrete
Algorithms, {SODA} 2008, San Francisco, California, USA, January 20-22,
2008},
pages = {641--650},
publisher = {{SIAM}},
year = {2008},
url = {http://dl.acm.org/citation.cfm?id=1347082.1347153},
timestamp = {Fri, 07 Dec 2012 17:02:08 +0100},
biburl = {https://dblp.org/rec/conf/soda/AdlerGK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wg/Grohe08,
author = {Martin Grohe},
editor = {Hajo Broersma and
Thomas Erlebach and
Tom Friedetzky and
Dani{\"{e}}l Paulusma},
title = {Algorithmic Meta Theorems},
booktitle = {Graph-Theoretic Concepts in Computer Science, 34th International Workshop,
{WG} 2008, Durham, UK, June 30 - July 2, 2008. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {5344},
pages = {30},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-92248-3\_3},
doi = {10.1007/978-3-540-92248-3\_3},
timestamp = {Sun, 25 Oct 2020 23:07:56 +0100},
biburl = {https://dblp.org/rec/conf/wg/Grohe08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwpec/2008,
editor = {Martin Grohe and
Rolf Niedermeier},
title = {Parameterized and Exact Computation, Third International Workshop,
{IWPEC} 2008, Victoria, Canada, May 14-16, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5018},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79723-4},
doi = {10.1007/978-3-540-79723-4},
isbn = {978-3-540-79722-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwpec/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0804-1932,
author = {Leslie Ann Goldberg and
Martin Grohe and
Mark Jerrum and
Marc Thurley},
title = {A complexity dichotomy for partition functions with mixed signs},
journal = {CoRR},
volume = {abs/0804.1932},
year = {2008},
url = {http://arxiv.org/abs/0804.1932},
eprinttype = {arXiv},
eprint = {0804.1932},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0804-1932.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DowneyFGW07,
author = {Rod Downey and
J{\"{o}}rg Flum and
Martin Grohe and
Mark Weyer},
title = {Bounded fixed-parameter tractability and reducibility},
journal = {Ann. Pure Appl. Log.},
volume = {148},
number = {1-3},
pages = {1--19},
year = {2007},
url = {https://doi.org/10.1016/j.apal.2007.06.001},
doi = {10.1016/J.APAL.2007.06.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/DowneyFGW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/AdlerGG07,
author = {Isolde Adler and
Georg Gottlob and
Martin Grohe},
title = {Hypertree width and related hypergraph invariants},
journal = {Eur. J. Comb.},
volume = {28},
number = {8},
pages = {2167--2181},
year = {2007},
url = {https://doi.org/10.1016/j.ejc.2007.04.013},
doi = {10.1016/J.EJC.2007.04.013},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejc/AdlerGG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Grohe07,
author = {Martin Grohe},
title = {The complexity of homomorphism and constraint satisfaction problems
seen from the other side},
journal = {J. {ACM}},
volume = {54},
number = {1},
pages = {1:1--1:24},
year = {2007},
url = {https://doi.org/10.1145/1206035.1206036},
doi = {10.1145/1206035.1206036},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Grohe07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ChenFG07,
author = {Yijia Chen and
J{\"{o}}rg Flum and
Martin Grohe},
title = {An analysis of the W\({}^{\mbox{*}}\)-hierarchy},
journal = {J. Symb. Log.},
volume = {72},
number = {2},
pages = {513--534},
year = {2007},
url = {https://doi.org/10.2178/jsl/1185803622},
doi = {10.2178/JSL/1185803622},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ChenFG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/ChenG07,
author = {Yijia Chen and
Martin Grohe},
title = {An Isomorphism Between Subexponential and Parameterized Complexity
Theory},
journal = {{SIAM} J. Comput.},
volume = {37},
number = {4},
pages = {1228--1258},
year = {2007},
url = {https://doi.org/10.1137/070687153},
doi = {10.1137/070687153},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/ChenG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GroheKS07,
author = {Martin Grohe and
Christoph Koch and
Nicole Schweikardt},
title = {Tight lower bounds for query processing on streaming and external
memory data},
journal = {Theor. Comput. Sci.},
volume = {380},
number = {1-2},
pages = {199--217},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.02.062},
doi = {10.1016/J.TCS.2007.02.062},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GroheKS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/GroheHMN07,
author = {Martin Grohe and
Martin Hyland and
Johann A. Makowsky and
Damian Niwinski},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {The Ackermann Award 2007},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {589--597},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_43},
doi = {10.1007/978-3-540-74915-8\_43},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/GroheHMN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GroheG07,
author = {Martin Grohe and
Magdalena Gr{\"{u}}ber},
editor = {Lars Arge and
Christian Cachin and
Tomasz Jurdzinski and
Andrzej Tarlecki},
title = {Parameterized Approximability of the Disjoint Cycle Problem},
booktitle = {Automata, Languages and Programming, 34th International Colloquium,
{ICALP} 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4596},
pages = {363--374},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73420-8\_33},
doi = {10.1007/978-3-540-73420-8\_33},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GroheG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/DawarGKS07,
author = {Anuj Dawar and
Martin Grohe and
Stephan Kreutzer and
Nicole Schweikardt},
editor = {Lars Arge and
Christian Cachin and
Tomasz Jurdzinski and
Andrzej Tarlecki},
title = {Model Theory Makes Formulas Large},
booktitle = {Automata, Languages and Programming, 34th International Colloquium,
{ICALP} 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4596},
pages = {913--924},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73420-8\_78},
doi = {10.1007/978-3-540-73420-8\_78},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/DawarGKS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/GroheGLSTB07,
author = {Martin Grohe and
Yuri Gurevich and
Dirk Leinders and
Nicole Schweikardt and
Jerzy Tyszkiewicz and
Jan Van den Bussche},
editor = {Thomas Schwentick and
Dan Suciu},
title = {Database Query Processing Using Finite Cursor Machines},
booktitle = {Database Theory - {ICDT} 2007, 11th International Conference, Barcelona,
Spain, January 10-12, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4353},
pages = {284--298},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/11965893\_20},
doi = {10.1007/11965893\_20},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdt/GroheGLSTB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DawarGK07,
author = {Anuj Dawar and
Martin Grohe and
Stephan Kreutzer},
title = {Locally Excluding a Minor},
booktitle = {22nd {IEEE} Symposium on Logic in Computer Science {(LICS} 2007),
10-12 July 2007, Wroclaw, Poland, Proceedings},
pages = {270--279},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/LICS.2007.31},
doi = {10.1109/LICS.2007.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/DawarGK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0703081,
author = {Martin Grohe and
Andr{\'{e}} Hernich and
Nicole Schweikardt},
title = {Randomized Computations on Large Data Sets: Tight Lower Bounds},
journal = {CoRR},
volume = {abs/cs/0703081},
year = {2007},
url = {http://arxiv.org/abs/cs/0703081},
eprinttype = {arXiv},
eprint = {cs/0703081},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0703081.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ChenGG07,
author = {Yijia Chen and
Martin Grohe and
Magdalena Gr{\"{u}}ber},
title = {On Parameterized Approximability},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR07-106}},
year = {2007},
url = {https://eccc.weizmann.ac.il/eccc-reports/2007/TR07-106/index.html},
eprinttype = {ECCC},
eprint = {TR07-106},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/ChenGG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/Grohe07,
author = {Martin Grohe},
title = {Logic, Graphs, and Algorithms},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR07-091}},
year = {2007},
url = {https://eccc.weizmann.ac.il/eccc-reports/2007/TR07-091/index.html},
eprinttype = {ECCC},
eprint = {TR07-091},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/Grohe07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/txtcs/FlumG06,
author = {J{\"{o}}rg Flum and
Martin Grohe},
title = {Parameterized Complexity Theory},
series = {Texts in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/3-540-29953-X},
doi = {10.1007/3-540-29953-X},
isbn = {978-3-540-29952-3},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/txtcs/FlumG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/FlumGW06,
author = {J{\"{o}}rg Flum and
Martin Grohe and
Mark Weyer},
title = {Bounded fixed-parameter tractability and log\({}^{\mbox{2}}\)\emph{n}
nondeterministic bits},
journal = {J. Comput. Syst. Sci.},
volume = {72},
number = {1},
pages = {34--71},
year = {2006},
url = {https://doi.org/10.1016/j.jcss.2005.06.003},
doi = {10.1016/J.JCSS.2005.06.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/FlumGW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/ChenG06,
author = {Yijia Chen and
Martin Grohe},
title = {An Isomorphism between Subexponential and Parameterized Complexity
Theory},
booktitle = {21st Annual {IEEE} Conference on Computational Complexity {(CCC} 2006),
16-20 July 2006, Prague, Czech Republic},
pages = {314--330},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/CCC.2006.8},
doi = {10.1109/CCC.2006.8},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coco/ChenG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GroheV06,
author = {Martin Grohe and
Oleg Verbitsky},
editor = {Michele Bugliesi and
Bart Preneel and
Vladimiro Sassone and
Ingo Wegener},
title = {Testing Graph Isomorphism in Parallel by Playing a Game},
booktitle = {Automata, Languages and Programming, 33rd International Colloquium,
{ICALP} 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {4051},
pages = {3--14},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11786986\_2},
doi = {10.1007/11786986\_2},
timestamp = {Thu, 13 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GroheV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpec/ChenGG06,
author = {Yijia Chen and
Martin Grohe and
Magdalena Gr{\"{u}}ber},
editor = {Hans L. Bodlaender and
Michael A. Langston},
title = {On Parameterized Approximability},
booktitle = {Parameterized and Exact Computation, Second International Workshop,
{IWPEC} 2006, Z{\"{u}}rich, Switzerland, September 13-15, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4169},
pages = {109--120},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11847250\_10},
doi = {10.1007/11847250\_10},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/iwpec/ChenGG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DawarGKS06,
author = {Anuj Dawar and
Martin Grohe and
Stephan Kreutzer and
Nicole Schweikardt},
title = {Approximation Schemes for First-Order Definable Optimisation Problems},
booktitle = {21th {IEEE} Symposium on Logic in Computer Science {(LICS} 2006),
12-15 August 2006, Seattle, WA, USA, Proceedings},
pages = {411--420},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/LICS.2006.13},
doi = {10.1109/LICS.2006.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/DawarGKS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Grohe06,
author = {Martin Grohe},
editor = {Rastislav Kralovic and
Pawel Urzyczyn},
title = {The Structure of Tractable Constraint Satisfaction Problems},
booktitle = {Mathematical Foundations of Computer Science 2006, 31st International
Symposium, {MFCS} 2006, Star{\'{a}} Lesn{\'{a}}, Slovakia,
August 28-September 1, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4162},
pages = {58--72},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11821069\_5},
doi = {10.1007/11821069\_5},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Grohe06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/GroheHS06,
author = {Martin Grohe and
Andr{\'{e}} Hernich and
Nicole Schweikardt},
editor = {Stijn Vansummeren},
title = {Randomized computations on large data sets: tight lower bounds},
booktitle = {Proceedings of the Twenty-Fifth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 26-28, 2006, Chicago, Illinois,
{USA}},
pages = {243--252},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1142351.1142387},
doi = {10.1145/1142351.1142387},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/GroheHS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/GroheM06,
author = {Martin Grohe and
D{\'{a}}niel Marx},
title = {Constraint solving via fractional edge covers},
booktitle = {Proceedings of the Seventeenth Annual {ACM-SIAM} Symposium on Discrete
Algorithms, {SODA} 2006, Miami, Florida, USA, January 22-26, 2006},
pages = {289--298},
publisher = {{ACM} Press},
year = {2006},
url = {http://dl.acm.org/citation.cfm?id=1109557.1109590},
timestamp = {Fri, 07 Dec 2012 17:02:08 +0100},
biburl = {https://dblp.org/rec/conf/soda/GroheM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2005P5301,
editor = {Rodney G. Downey and
Martin Grohe and
Gerhard J. Woeginger},
title = {Exact Algorithms and Fixed-Parameter Tractability, 24.-27. July 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05301},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/portals/05301/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2005P5301.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/ChenG06,
author = {Hubie Chen and
Martin Grohe},
editor = {Nadia Creignou and
Phokion G. Kolaitis and
Heribert Vollmer},
title = {Constraint Satisfaction with Succinctly Specified Relations},
booktitle = {Complexity of Constraints, 01.10. - 06.10.2006},
series = {Dagstuhl Seminar Proceedings},
volume = {06401},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/802},
timestamp = {Thu, 10 Jun 2021 13:02:06 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/ChenG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0603054,
author = {Martin Grohe and
Oleg Verbitsky},
title = {Testing Graph Isomorphism in Parallel by Playing a Game},
journal = {CoRR},
volume = {abs/cs/0603054},
year = {2006},
url = {http://arxiv.org/abs/cs/0603054},
eprinttype = {arXiv},
eprint = {cs/0603054},
timestamp = {Thu, 13 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0603054.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ECCC-TR06-011,
author = {Yijia Chen and
Martin Grohe},
title = {An Isomorphism between Subexponential and Parameterized Complexity
Theory},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR06-011}},
year = {2006},
url = {https://eccc.weizmann.ac.il/eccc-reports/2006/TR06-011/index.html},
eprinttype = {ECCC},
eprint = {TR06-011},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/ECCC-TR06-011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/FlumG05,
author = {J{\"{o}}rg Flum and
Martin Grohe},
title = {Model-checking problems as a basis for parameterized intractability},
journal = {Log. Methods Comput. Sci.},
volume = {1},
number = {1},
year = {2005},
url = {https://doi.org/10.2168/LMCS-1(1:2)2005},
doi = {10.2168/LMCS-1(1:2)2005},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/FlumG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/GroheS05,
author = {Martin Grohe and
Nicole Schweikardt},
title = {The succinctness of first-order logic on linear orders},
journal = {Log. Methods Comput. Sci.},
volume = {1},
number = {1},
year = {2005},
url = {https://doi.org/10.2168/LMCS-1(1:6)2005},
doi = {10.2168/LMCS-1(1:6)2005},
timestamp = {Sun, 16 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/GroheS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ChenFG05,
author = {Yijia Chen and
J{\"{o}}rg Flum and
Martin Grohe},
title = {Machine-based methods in parameterized complexity theory},
journal = {Theor. Comput. Sci.},
volume = {339},
number = {2-3},
pages = {167--199},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2005.02.003},
doi = {10.1016/J.TCS.2005.02.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ChenFG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BulatovG05,
author = {Andrei A. Bulatov and
Martin Grohe},
title = {The complexity of partition functions},
journal = {Theor. Comput. Sci.},
volume = {348},
number = {2-3},
pages = {148--186},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2005.09.011},
doi = {10.1016/J.TCS.2005.09.011},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BulatovG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/GroheKS05,
author = {Martin Grohe and
Christoph Koch and
Nicole Schweikardt},
editor = {Maciej Liskiewicz and
R{\"{u}}diger Reischuk},
title = {The Complexity of Querying External Memory and Streaming Data},
booktitle = {Fundamentals of Computation Theory, 15th International Symposium,
{FCT} 2005, L{\"{u}}beck, Germany, August 17-20, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3623},
pages = {1--16},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11537311\_1},
doi = {10.1007/11537311\_1},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/GroheKS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GroheKS05,
author = {Martin Grohe and
Christoph Koch and
Nicole Schweikardt},
editor = {Lu{\'{\i}}s Caires and
Giuseppe F. Italiano and
Lu{\'{\i}}s Monteiro and
Catuscia Palamidessi and
Moti Yung},
title = {Tight Lower Bounds for Query Processing on Streaming and External
Memory Data},
booktitle = {Automata, Languages and Programming, 32nd International Colloquium,
{ICALP} 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3580},
pages = {1076--1088},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11523468\_87},
doi = {10.1007/11523468\_87},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GroheKS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AtseriasDG05,
author = {Albert Atserias and
Anuj Dawar and
Martin Grohe},
editor = {Lu{\'{\i}}s Caires and
Giuseppe F. Italiano and
Lu{\'{\i}}s Monteiro and
Catuscia Palamidessi and
Moti Yung},
title = {Preservation Under Extensions on Well-Behaved Finite Structures},
booktitle = {Automata, Languages and Programming, 32nd International Colloquium,
{ICALP} 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3580},
pages = {1437--1449},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11523468\_116},
doi = {10.1007/11523468\_116},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/AtseriasDG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GroheKS05,
author = {Martin Grohe and
Stephan Kreutzer and
Nicole Schweikardt},
editor = {Joanna Jedrzejowicz and
Andrzej Szepietowski},
title = {The Expressive Power of Two-Variable Least Fixed-Point Logics},
booktitle = {Mathematical Foundations of Computer Science 2005, 30th International
Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3618},
pages = {422--434},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11549345\_37},
doi = {10.1007/11549345\_37},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/GroheKS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/GroheS05,
author = {Martin Grohe and
Nicole Schweikardt},
editor = {Chen Li},
title = {Lower bounds for sorting with few random accesses to external memory},
booktitle = {Proceedings of the Twenty-fourth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 13-15, 2005, Baltimore, Maryland,
{USA}},
pages = {238--249},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1065167.1065197},
doi = {10.1145/1065167.1065197},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/GroheS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wg/GottlobGMSS05,
author = {Georg Gottlob and
Martin Grohe and
Nysret Musliu and
Marko Samer and
Francesco Scarcello},
editor = {Dieter Kratsch},
title = {Hypertree Decompositions: Structure, Algorithms, and Applications},
booktitle = {Graph-Theoretic Concepts in Computer Science, 31st International Workshop,
{WG} 2005, Metz, France, June 23-25, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3787},
pages = {1--15},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11604686\_1},
doi = {10.1007/11604686\_1},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wg/GottlobGMSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/DowneyGW05,
author = {Rodney G. Downey and
Martin Grohe and
Gerhard J. Woeginger},
editor = {Rodney G. Downey and
Martin Grohe and
Gerhard J. Woeginger},
title = {05301 Summary - Exact Algorithms and Fixed-Parameter Tractability},
booktitle = {Exact Algorithms and Fixed-Parameter Tractability, 24.-27. July 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05301},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/439},
timestamp = {Thu, 10 Jun 2021 13:02:04 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/DowneyGW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/DowneyGW05a,
author = {Rodney G. Downey and
Martin Grohe and
Gerhard J. Woeginger},
editor = {Rodney G. Downey and
Martin Grohe and
Gerhard J. Woeginger},
title = {05301 Abstracts Collection - Exact Algorithms and Fixed-Parameter
Tractability},
booktitle = {Exact Algorithms and Fixed-Parameter Tractability, 24.-27. July 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05301},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/440},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/DowneyGW05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0502005,
author = {J{\"{o}}rg Flum and
Martin Grohe},
title = {Model-Checking Problems as a Basis for Parameterized Intractability},
journal = {CoRR},
volume = {abs/cs/0502005},
year = {2005},
url = {http://arxiv.org/abs/cs/0502005},
eprinttype = {arXiv},
eprint = {cs/0502005},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0502005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0502047,
author = {Martin Grohe and
Nicole Schweikardt},
title = {The succinctness of first-order logic on linear orders},
journal = {CoRR},
volume = {abs/cs/0502047},
year = {2005},
url = {http://arxiv.org/abs/cs/0502047},
eprinttype = {arXiv},
eprint = {cs/0502047},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0502047.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0505002,
author = {Martin Grohe and
Christoph Koch and
Nicole Schweikardt},
title = {Tight Lower Bounds for Query Processing on Streaming and External
Memory Data},
journal = {CoRR},
volume = {abs/cs/0505002},
year = {2005},
url = {http://arxiv.org/abs/cs/0505002},
eprinttype = {arXiv},
eprint = {cs/0505002},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0505002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/GroheW04,
author = {Martin Grohe and
Stefan W{\"{o}}hrle},
title = {An existential locality theorem},
journal = {Ann. Pure Appl. Log.},
volume = {129},
number = {1-3},
pages = {131--148},
year = {2004},
url = {https://doi.org/10.1016/j.apal.2004.01.005},
doi = {10.1016/J.APAL.2004.01.005},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/GroheW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/FrickG04,
author = {Markus Frick and
Martin Grohe},
title = {The complexity of first-order and monadic second-order logic revisited},
journal = {Ann. Pure Appl. Log.},
volume = {130},
number = {1-3},
pages = {3--31},
year = {2004},
url = {https://doi.org/10.1016/j.apal.2004.01.007},
doi = {10.1016/J.APAL.2004.01.007},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/FrickG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/FlumG04,
author = {J{\"{o}}rg Flum and
Martin Grohe},
title = {Parametrized Complexity and Subexponential Time (Column: Computational
Complexity)},
journal = {Bull. {EATCS}},
volume = {84},
pages = {71--100},
year = {2004},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/FlumG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/GroheS04,
author = {Martin Grohe and
Nicole Schweikardt},
title = {Comparing the succinctness of monadic query languages over finite
trees},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {38},
number = {4},
pages = {343--373},
year = {2004},
url = {https://doi.org/10.1051/ita:2004017},
doi = {10.1051/ITA:2004017},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/GroheS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Grohe04,
author = {Martin Grohe},
title = {Computing crossing numbers in quadratic time},
journal = {J. Comput. Syst. Sci.},
volume = {68},
number = {2},
pages = {285--302},
year = {2004},
url = {https://doi.org/10.1016/j.jcss.2003.07.008},
doi = {10.1016/J.JCSS.2003.07.008},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Grohe04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/GroheT04,
author = {Martin Grohe and
Gy{\"{o}}rgy Tur{\'{a}}n},
title = {Learnability and Definability in Trees and Similar Structures},
journal = {Theory Comput. Syst.},
volume = {37},
number = {1},
pages = {193--220},
year = {2004},
url = {https://doi.org/10.1007/s00224-003-1112-8},
doi = {10.1007/S00224-003-1112-8},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/GroheT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/FlumG04,
author = {J{\"{o}}rg Flum and
Martin Grohe},
title = {The Parameterized Complexity of Counting Problems},
journal = {{SIAM} J. Comput.},
volume = {33},
number = {4},
pages = {892--922},
year = {2004},
url = {https://doi.org/10.1137/S0097539703427203},
doi = {10.1137/S0097539703427203},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/FlumG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BulatovG04,
author = {Andrei A. Bulatov and
Martin Grohe},
editor = {Josep D{\'{\i}}az and
Juhani Karhum{\"{a}}ki and
Arto Lepist{\"{o}} and
Donald Sannella},
title = {The Complexity of Partition Functions},
booktitle = {Automata, Languages and Programming: 31st International Colloquium,
{ICALP} 2004, Turku, Finland, July 12-16, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3142},
pages = {294--306},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27836-8\_27},
doi = {10.1007/978-3-540-27836-8\_27},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BulatovG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/FlumGW04,
author = {J{\"{o}}rg Flum and
Martin Grohe and
Mark Weyer},
editor = {Josep D{\'{\i}}az and
Juhani Karhum{\"{a}}ki and
Arto Lepist{\"{o}} and
Donald Sannella},
title = {Bounded Fixed-Parameter Tractability and log\({}^{\mbox{2}}\)n Nondeterministic
Bits},
booktitle = {Automata, Languages and Programming: 31st International Colloquium,
{ICALP} 2004, Turku, Finland, July 12-16, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3142},
pages = {555--567},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27836-8\_48},
doi = {10.1007/978-3-540-27836-8\_48},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/FlumGW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FlumG04,
author = {J{\"{o}}rg Flum and
Martin Grohe},
title = {Model-Checking Problems as a Basis for Parameterized Intractability},
booktitle = {19th {IEEE} Symposium on Logic in Computer Science {(LICS} 2004),
14-17 July 2004, Turku, Finland, Proceedings},
pages = {388--397},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/LICS.2004.1319633},
doi = {10.1109/LICS.2004.1319633},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/FlumG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GroheS04,
author = {Martin Grohe and
Nicole Schweikardt},
title = {The Succinctness of First-Order Logic on Linear Orders},
booktitle = {19th {IEEE} Symposium on Logic in Computer Science {(LICS} 2004),
14-17 July 2004, Turku, Finland, Proceedings},
pages = {438--447},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/LICS.2004.1319638},
doi = {10.1109/LICS.2004.1319638},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/GroheS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorica/Grohe03,
author = {Martin Grohe},
title = {Local Tree-Width, Excluded Minors, and Approximation Algorithms},
journal = {Comb.},
volume = {23},
number = {4},
pages = {613--632},
year = {2003},
url = {https://doi.org/10.1007/s00493-003-0037-9},
doi = {10.1007/S00493-003-0037-9},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/combinatorica/Grohe03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FlumG03,
author = {J{\"{o}}rg Flum and
Martin Grohe},
title = {Describing parameterized complexity classes},
journal = {Inf. Comput.},
volume = {187},
number = {2},
pages = {291--319},
year = {2003},
url = {https://doi.org/10.1016/S0890-5401(03)00161-5},
doi = {10.1016/S0890-5401(03)00161-5},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/FlumG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BenediktGLS03,
author = {Michael Benedikt and
Martin Grohe and
Leonid Libkin and
Luc Segoufin},
title = {Reachability and connectivity queries in constraint databases},
journal = {J. Comput. Syst. Sci.},
volume = {66},
number = {1},
pages = {169--206},
year = {2003},
url = {https://doi.org/10.1016/S0022-0000(02)00034-X},
doi = {10.1016/S0022-0000(02)00034-X},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BenediktGLS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/ChenF03,
author = {Yijia Chen and
J{\"{o}}rg Flum and
Martin Grohe},
title = {Bounded Nondeterminism and Alternation in Parameterized Complexity
Theory},
booktitle = {18th Annual {IEEE} Conference on Computational Complexity (Complexity
2003), 7-10 July 2003, Aarhus, Denmark},
pages = {13--29},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/CCC.2003.1214407},
doi = {10.1109/CCC.2003.1214407},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coco/ChenF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/GroheS03,
author = {Martin Grohe and
Nicole Schweikardt},
editor = {Matthias Baaz and
Johann A. Makowsky},
title = {Comparing the Succinctness of Monadic Query Languages over Finite
Trees},
booktitle = {Computer Science Logic, 17th International Workshop, {CSL} 2003, 12th
Annual Conference of the EACSL, and 8th Kurt G{\"{o}}del Colloquium,
{KGC} 2003, Vienna, Austria, August 25-30, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2803},
pages = {226--240},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45220-1\_20},
doi = {10.1007/978-3-540-45220-1\_20},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/GroheS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/Grohe03,
author = {Martin Grohe},
editor = {Zolt{\'{a}}n {\'{E}}sik and
Igor Walukiewicz},
title = {Monadic Datalog on Trees (Invited Talk)},
booktitle = {{FICS} '03 - Fixed Points in Computer Science, Proceedings of an International
Workshop, Warsaw, Poland, April 12-13, 2003},
pages = {42--43},
publisher = {University of Warsaw},
year = {2003},
url = {http://cs.ioc.ee/fics-archive/fics03-proceedings.pdf\#page=47},
timestamp = {Tue, 04 Aug 2020 15:14:17 +0200},
biburl = {https://dblp.org/rec/conf/fics/Grohe03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Grohe03,
author = {Martin Grohe},
title = {The Complexity of Homomorphism and Constraint Satisfaction Problems
Seen from the Other Side},
booktitle = {44th Symposium on Foundations of Computer Science {(FOCS} 2003), 11-14
October 2003, Cambridge, MA, USA, Proceedings},
pages = {552--561},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/SFCS.2003.1238228},
doi = {10.1109/SFCS.2003.1238228},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Grohe03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FrickGK03,
author = {Markus Frick and
Martin Grohe and
Christoph Koch},
title = {Query Evaluation on Compressed Trees (Extended Abstract)},
booktitle = {18th {IEEE} Symposium on Logic in Computer Science {(LICS} 2003),
22-25 June 2003, Ottawa, Canada, Proceedings},
pages = {188},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/LICS.2003.1210058},
doi = {10.1109/LICS.2003.1210058},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/FrickGK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/KochBG03,
author = {Peter Buneman and
Martin Grohe and
Christoph Koch},
editor = {Johann Christoph Freytag and
Peter C. Lockemann and
Serge Abiteboul and
Michael J. Carey and
Patricia G. Selinger and
Andreas Heuer},
title = {Path Queries on Compressed {XML}},
booktitle = {Proceedings of 29th International Conference on Very Large Data Bases,
{VLDB} 2003, Berlin, Germany, September 9-12, 2003},
pages = {141--152},
publisher = {Morgan Kaufmann},
year = {2003},
url = {http://www.vldb.org/conf/2003/papers/S06P01.pdf},
doi = {10.1016/B978-012722442-8/50021-5},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vldb/KochBG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Grohe02,
author = {Martin Grohe},
title = {Large Finite Structures with Few Lk-Types},
journal = {Inf. Comput.},
volume = {179},
number = {2},
pages = {250--278},
year = {2002},
url = {https://doi.org/10.1006/inco.2002.2954},
doi = {10.1006/INCO.2002.2954},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Grohe02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/FlumFG02,
author = {J{\"{o}}rg Flum and
Markus Frick and
Martin Grohe},
title = {Query evaluation via tree-decompositions},
journal = {J. {ACM}},
volume = {49},
number = {6},
pages = {716--752},
year = {2002},
url = {https://doi.org/10.1145/602220.602222},
doi = {10.1145/602220.602222},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/FlumFG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/Grohe02,
author = {Martin Grohe},
title = {Parameterized Complexity for the Database Theorist},
journal = {{SIGMOD} Rec.},
volume = {31},
number = {4},
pages = {86--96},
year = {2002},
url = {https://doi.org/10.1145/637411.637428},
doi = {10.1145/637411.637428},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigmod/Grohe02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/GroheS02,
author = {Martin Grohe and
Luc Segoufin},
title = {On first-order topological queries},
journal = {{ACM} Trans. Comput. Log.},
volume = {3},
number = {3},
pages = {336--358},
year = {2002},
url = {https://doi.org/10.1145/507382.507384},
doi = {10.1145/507382.507384},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/GroheS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/FlumG02,
author = {J{\"{o}}rg Flum and
Martin Grohe},
title = {The Parameterized Complexity of Counting Problems},
booktitle = {43rd Symposium on Foundations of Computer Science {(FOCS} 2002), 16-19
November 2002, Vancouver, BC, Canada, Proceedings},
pages = {538},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/SFCS.2002.1181978},
doi = {10.1109/SFCS.2002.1181978},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/FlumG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FrickG02,
author = {Markus Frick and
Martin Grohe},
title = {The Complexity of First-Order and Monadic Second-Order Logic Revisited},
booktitle = {17th {IEEE} Symposium on Logic in Computer Science {(LICS} 2002),
22-25 July 2002, Copenhagen, Denmark, Proceedings},
pages = {215--224},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/LICS.2002.1029830},
doi = {10.1109/LICS.2002.1029830},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/FrickG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/FlumG02,
author = {J{\"{o}}rg Flum and
Martin Grohe},
editor = {Helmut Alt and
Afonso Ferreira},
title = {Describing Parameterized Complexity Classes},
booktitle = {{STACS} 2002, 19th Annual Symposium on Theoretical Aspects of Computer
Science, Antibes - Juan les Pins, France, March 14-16, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2285},
pages = {359--371},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45841-7\_29},
doi = {10.1007/3-540-45841-7\_29},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/FlumG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/GroheT02,
author = {Martin Grohe and
Gy{\"{o}}rgy Tur{\'{a}}n},
editor = {Helmut Alt and
Afonso Ferreira},
title = {Learnability and Definability in Trees and Similar Structures},
booktitle = {{STACS} 2002, 19th Annual Symposium on Theoretical Aspects of Computer
Science, Antibes - Juan les Pins, France, March 14-16, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2285},
pages = {645--658},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45841-7\_53},
doi = {10.1007/3-540-45841-7\_53},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/GroheT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/FrickG01,
author = {Markus Frick and
Martin Grohe},
title = {Deciding first-order properties of locally tree-decomposable structures},
journal = {J. {ACM}},
volume = {48},
number = {6},
pages = {1184--1206},
year = {2001},
url = {https://doi.org/10.1145/504794.504798},
doi = {10.1145/504794.504798},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/FrickG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/FlumG01,
author = {J{\"{o}}rg Flum and
Martin Grohe},
title = {Fixed-Parameter Tractability, Definability, and Model-Checking},
journal = {{SIAM} J. Comput.},
volume = {31},
number = {1},
pages = {113--145},
year = {2001},
url = {https://doi.org/10.1137/S0097539799360768},
doi = {10.1137/S0097539799360768},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/FlumG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/GroheW01,
author = {Martin Grohe and
Stefan W{\"{o}}hrle},
editor = {Laurent Fribourg},
title = {An Existential Locality Theorem},
booktitle = {Computer Science Logic, 15th International Workshop, {CSL} 2001. 10th
Annual Conference of the EACSL, Paris, France, September 10-13, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2142},
pages = {99--114},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44802-0\_8},
doi = {10.1007/3-540-44802-0\_8},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/GroheW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/FlumFG01,
author = {J{\"{o}}rg Flum and
Markus Frick and
Martin Grohe},
editor = {Jan Van den Bussche and
Victor Vianu},
title = {Query Evaluation via Tree-Decompositions},
booktitle = {Database Theory - {ICDT} 2001, 8th International Conference, London,
UK, January 4-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1973},
pages = {22--38},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44503-X\_2},
doi = {10.1007/3-540-44503-X\_2},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/icdt/FlumFG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/Grohe01,
author = {Martin Grohe},
editor = {Peter Buneman},
title = {The Parameterized Complexity of Database Queries},
booktitle = {Proceedings of the Twentieth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, May 21-23, 2001, Santa Barbara,
California, {USA}},
pages = {82--92},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/375551.375564},
doi = {10.1145/375551.375564},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/Grohe01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Grohe01,
author = {Martin Grohe},
editor = {Afonso Ferreira and
Horst Reichel},
title = {Generalized Model-Checking Problems for First-Order Logic},
booktitle = {{STACS} 2001, 18th Annual Symposium on Theoretical Aspects of Computer
Science, Dresden, Germany, February 15-17, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2010},
pages = {12--26},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44693-1\_2},
doi = {10.1007/3-540-44693-1\_2},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Grohe01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Grohe01,
author = {Martin Grohe},
editor = {Jeffrey Scott Vitter and
Paul G. Spirakis and
Mihalis Yannakakis},
title = {Computing crossing numbers in quadratic time},
booktitle = {Proceedings on 33rd Annual {ACM} Symposium on Theory of Computing,
July 6-8, 2001, Heraklion, Crete, Greece},
pages = {231--236},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/380752.380805},
doi = {10.1145/380752.380805},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Grohe01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/GroheSS01,
author = {Martin Grohe and
Thomas Schwentick and
Luc Segoufin},
editor = {Jeffrey Scott Vitter and
Paul G. Spirakis and
Mihalis Yannakakis},
title = {When is the evaluation of conjunctive queries tractable?},
booktitle = {Proceedings on 33rd Annual {ACM} Symposium on Theory of Computing,
July 6-8, 2001, Heraklion, Crete, Greece},
pages = {657--666},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/380752.380867},
doi = {10.1145/380752.380867},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/GroheSS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FlumG00,
author = {J{\"{o}}rg Flum and
Martin Grohe},
title = {On Fixed-Point Logic With Counting},
journal = {J. Symb. Log.},
volume = {65},
number = {2},
pages = {777--787},
year = {2000},
url = {https://doi.org/10.2307/2586569},
doi = {10.2307/2586569},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/FlumG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/GroheS00,
author = {Martin Grohe and
Thomas Schwentick},
title = {Locality of order-invariant first-order formulas},
journal = {{ACM} Trans. Comput. Log.},
volume = {1},
number = {1},
pages = {112--130},
year = {2000},
url = {https://doi.org/10.1145/343369.343386},
doi = {10.1145/343369.343386},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/GroheS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GroheS00,
author = {Martin Grohe and
Luc Segoufin},
title = {On First-Order Topological Queries},
booktitle = {15th Annual {IEEE} Symposium on Logic in Computer Science, Santa Barbara,
California, USA, June 26-29, 2000},
pages = {349--360},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/LICS.2000.855783},
doi = {10.1109/LICS.2000.855783},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/GroheS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/BenediktGLS00,
author = {Michael Benedikt and
Martin Grohe and
Leonid Libkin and
Luc Segoufin},
editor = {Victor Vianu and
Georg Gottlob},
title = {Reachability and Connectivity Queries in Constraint Databases},
booktitle = {Proceedings of the Nineteenth {ACM} {SIGMOD-SIGACT-SIGART} Symposium
on Principles of Database Systems, May 15-17, 2000, Dallas, Texas,
{USA}},
pages = {104--115},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/335168.335213},
doi = {10.1145/335168.335213},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/BenediktGLS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Grohe00,
author = {Martin Grohe},
editor = {F. Frances Yao and
Eugene M. Luks},
title = {Isomorphism testing for embeddable graphs through definability},
booktitle = {Proceedings of the Thirty-Second Annual {ACM} Symposium on Theory
of Computing, May 21-23, 2000, Portland, OR, {USA}},
pages = {63--72},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/335305.335313},
doi = {10.1145/335305.335313},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Grohe00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DS-0004007,
author = {Markus Frick and
Martin Grohe},
title = {Deciding first-order properties of locally tree-decomposable structures},
journal = {CoRR},
volume = {cs.DS/0004007},
year = {2000},
url = {https://arxiv.org/abs/cs/0004007},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-DS-0004007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DS-0009010,
author = {Martin Grohe},
title = {Computing Crossing Numbers in Quadratic Time},
journal = {CoRR},
volume = {cs.DS/0009010},
year = {2000},
url = {https://arxiv.org/abs/cs/0009010},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-DS-0009010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorica/Grohe99,
author = {Martin Grohe},
title = {Equivalence in Finite-Variable Logics is Complete for Polynomial Time},
journal = {Comb.},
volume = {19},
number = {4},
pages = {507--532},
year = {1999},
url = {https://doi.org/10.1007/s004939970004},
doi = {10.1007/S004939970004},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/combinatorica/Grohe99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Grohe99,
author = {Martin Grohe},
editor = {J{\"{o}}rg Flum and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Descriptive and Parameterized Complexity},
booktitle = {Computer Science Logic, 13th International Workshop, {CSL} '99, 8th
Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1683},
pages = {14--31},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48168-0\_3},
doi = {10.1007/3-540-48168-0\_3},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/Grohe99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/FrickG99,
author = {Markus Frick and
Martin Grohe},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Deciding First-Order Properties of Locally Tree-Decomposalbe Graphs},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {331--340},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_30},
doi = {10.1007/3-540-48523-6\_30},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/FrickG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/GroheM99,
author = {Martin Grohe and
Julian Mari{\~{n}}o},
editor = {Catriel Beeri and
Peter Buneman},
title = {Definability and Descriptive Complexity on Databases of Bounded Tree-Width},
booktitle = {Database Theory - {ICDT} '99, 7th International Conference, Jerusalem,
Israel, January 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1540},
pages = {70--82},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49257-7\_6},
doi = {10.1007/3-540-49257-7\_6},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/icdt/GroheM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CC-9910001,
author = {J{\"{o}}rg Flum and
Martin Grohe},
title = {Fixed-parameter tractability, definability, and model checking},
journal = {CoRR},
volume = {cs.CC/9910001},
year = {1999},
url = {https://arxiv.org/abs/cs/9910001},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-CC-9910001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Grohe98,
author = {Martin Grohe},
title = {Finite variable logics in descriptive complexity theory},
journal = {Bull. Symb. Log.},
volume = {4},
number = {4},
pages = {345--398},
year = {1998},
url = {https://doi.org/10.2307/420954},
doi = {10.2307/420954},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Grohe98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Grohe98,
author = {Martin Grohe},
title = {Fixed-Point Logics on Planar Graphs},
booktitle = {Thirteenth Annual {IEEE} Symposium on Logic in Computer Science, Indianapolis,
Indiana, USA, June 21-24, 1998},
pages = {6--15},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/LICS.1998.705639},
doi = {10.1109/LICS.1998.705639},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Grohe98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GroheS98,
author = {Martin Grohe and
Thomas Schwentick},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Locality of Order-Invariant First-Order Formulas},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {437--445},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055793},
doi = {10.1007/BFB0055793},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/GroheS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Grohe97,
author = {Martin Grohe},
title = {Existential Least Fixed-Point Logic and its Relatives},
journal = {J. Log. Comput.},
volume = {7},
number = {2},
pages = {205--228},
year = {1997},
url = {https://doi.org/10.1093/logcom/7.2.205},
doi = {10.1093/LOGCOM/7.2.205},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Grohe97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Grohe97,
author = {Martin Grohe},
editor = {Mogens Nielsen and
Wolfgang Thomas},
title = {Canonization for L\({}^{\mbox{k}}\)-equivalence is Hard},
booktitle = {Computer Science Logic, 11th International Workshop, {CSL} '97, Annual
Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1414},
pages = {220--238},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028017},
doi = {10.1007/BFB0028017},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/Grohe97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Grohe97,
author = {Martin Grohe},
title = {Large Finite Structures with Few L\({}^{\mbox{k}}\)-Types},
booktitle = {Proceedings, 12th Annual {IEEE} Symposium on Logic in Computer Science,
Warsaw, Poland, June 29 - July 2, 1997},
pages = {216--227},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/LICS.1997.614949},
doi = {10.1109/LICS.1997.614949},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Grohe97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/GroheH96,
author = {Martin Grohe and
Lauri Hella},
title = {A double arity hierarchy theorem for transitive closure logic},
journal = {Arch. Math. Log.},
volume = {35},
number = {3},
pages = {157--171},
year = {1996},
url = {https://doi.org/10.1007/BF01268616},
doi = {10.1007/BF01268616},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/GroheH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Grohe96,
author = {Martin Grohe},
title = {Arity Hierarchies},
journal = {Ann. Pure Appl. Log.},
volume = {82},
number = {2},
pages = {103--163},
year = {1996},
url = {https://doi.org/10.1016/0168-0072(95)00072-0},
doi = {10.1016/0168-0072(95)00072-0},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Grohe96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Grohe96,
author = {Martin Grohe},
title = {Some Remarks on Finite L{\"{o}}wenheim-Skolem Theorems},
journal = {Math. Log. Q.},
volume = {42},
pages = {569--571},
year = {1996},
url = {https://doi.org/10.1002/malq.19960420145},
doi = {10.1002/MALQ.19960420145},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Grohe96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Grohe96,
author = {Martin Grohe},
title = {Equivalence in Finite-Variable Logics is Complete for Polynomial Time},
booktitle = {37th Annual Symposium on Foundations of Computer Science, {FOCS} '96,
Burlington, Vermont, USA, 14-16 October, 1996},
pages = {264--273},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/SFCS.1996.548485},
doi = {10.1109/SFCS.1996.548485},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Grohe96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Grohe95,
author = {Martin Grohe},
title = {Complete Problems for Fixed-Point Logics},
journal = {J. Symb. Log.},
volume = {60},
number = {2},
pages = {517--527},
year = {1995},
url = {https://doi.org/10.2307/2275847},
doi = {10.2307/2275847},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Grohe95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Grohe93,
author = {Martin Grohe},
editor = {Egon B{\"{o}}rger and
Yuri Gurevich and
Karl Meinke},
title = {Bounded-Arity Hierarchies in Fixed-Point Logics},
booktitle = {Computer Science Logic, 7th Workshop, {CSL} '93, Swansea, United Kingdom,
September 13-17, 1993, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {832},
pages = {150--164},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0049330},
doi = {10.1007/BFB0049330},
timestamp = {Fri, 17 Jul 2020 16:12:45 +0200},
biburl = {https://dblp.org/rec/conf/csl/Grohe93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-07 22:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
