Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Thomas Schwentick
@article{DBLP:journals/lmcs/GeckKSS23,
author = {Gaetano Geck and
Jens Keppeler and
Thomas Schwentick and
Christopher Spinrath},
title = {Rewriting with Acyclic Queries: Mind Your Head},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:17)2023},
doi = {10.46298/LMCS-19(4:17)2023},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/GeckKSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/KeppelerSS23,
author = {Jens Keppeler and
Thomas Schwentick and
Christopher Spinrath},
editor = {Floris Geerts and
Brecht Vandevoort},
title = {Work-Efficient Query Evaluation with PRAMs},
booktitle = {26th International Conference on Database Theory, {ICDT} 2023, March
28-31, 2023, Ioannina, Greece},
series = {LIPIcs},
volume = {255},
pages = {16:1--16:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ICDT.2023.16},
doi = {10.4230/LIPICS.ICDT.2023.16},
timestamp = {Fri, 17 Mar 2023 15:19:25 +0100},
biburl = {https://dblp.org/rec/conf/icdt/KeppelerSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/0001S23,
author = {Jonas Schmidt and
Thomas Schwentick},
editor = {J{\'{e}}r{\^{o}}me Leroux and
Sylvain Lombardy and
David Peleg},
title = {Dynamic Constant Time Parallel Graph Algorithms with Sub-Linear Work},
booktitle = {48th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2023, August 28 to September 1, 2023, Bordeaux, France},
series = {LIPIcs},
volume = {272},
pages = {80:1--80:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2023.80},
doi = {10.4230/LIPICS.MFCS.2023.80},
timestamp = {Mon, 28 Aug 2023 15:00:20 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/0001S23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/0001ST23,
author = {Jonas Schmidt and
Thomas Schwentick and
Jennifer Todtenhoefer},
editor = {J{\'{e}}r{\^{o}}me Leroux and
Sylvain Lombardy and
David Peleg},
title = {On the Work of Dynamic Constant-Time Parallel Algorithms for Regular
Tree Languages and Context-Free Languages},
booktitle = {48th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2023, August 28 to September 1, 2023, Bordeaux, France},
series = {LIPIcs},
volume = {272},
pages = {81:1--81:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2023.81},
doi = {10.4230/LIPICS.MFCS.2023.81},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/0001ST23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-08178,
author = {Jens Keppeler and
Thomas Schwentick and
Christopher Spinrath},
title = {Work-Efficient Query Evaluation with PRAMs},
journal = {CoRR},
volume = {abs/2301.08178},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.08178},
doi = {10.48550/ARXIV.2301.08178},
eprinttype = {arXiv},
eprint = {2301.08178},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-08178.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-10107,
author = {Jonas Schmidt and
Thomas Schwentick},
title = {Dynamic constant time parallel graph algorithms with sub-linear work},
journal = {CoRR},
volume = {abs/2307.10107},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.10107},
doi = {10.48550/ARXIV.2307.10107},
eprinttype = {arXiv},
eprint = {2307.10107},
timestamp = {Wed, 26 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-10107.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-10131,
author = {Jonas Schmidt and
Thomas Schwentick and
Jennifer Todtenhoefer},
title = {On the work of dynamic constant-time parallel algorithms for regular
tree languages and context-free languages},
journal = {CoRR},
volume = {abs/2307.10131},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.10131},
doi = {10.48550/ARXIV.2307.10131},
eprinttype = {arXiv},
eprint = {2307.10131},
timestamp = {Wed, 26 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-10131.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/GanardiJLS22,
author = {Moses Ganardi and
Louis Jachiet and
Markus Lohrey and
Thomas Schwentick},
editor = {Anuj Dawar and
Venkatesan Guruswami},
title = {Low-Latency Sliding Window Algorithms for Formal Languages},
booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022,
{IIT} Madras, Chennai, India},
series = {LIPIcs},
volume = {250},
pages = {38:1--38:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.38},
doi = {10.4230/LIPICS.FSTTCS.2022.38},
timestamp = {Wed, 14 Dec 2022 11:57:55 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/GanardiJLS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/GeckKSS22,
author = {Gaetano Geck and
Jens Keppeler and
Thomas Schwentick and
Christopher Spinrath},
editor = {Dan Olteanu and
Nils Vortmeier},
title = {Rewriting with Acyclic Queries: Mind Your Head},
booktitle = {25th International Conference on Database Theory, {ICDT} 2022, March
29 to April 1, 2022, Edinburgh, {UK} (Virtual Conference)},
series = {LIPIcs},
volume = {220},
pages = {8:1--8:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ICDT.2022.8},
doi = {10.4230/LIPICS.ICDT.2022.8},
timestamp = {Mon, 21 Mar 2022 15:41:30 +0100},
biburl = {https://dblp.org/rec/conf/icdt/GeckKSS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-05129,
author = {Gaetano Geck and
Jens Keppeler and
Thomas Schwentick and
Christopher Spinrath},
title = {Rewriting with Acyclic Queries: Mind your Head},
journal = {CoRR},
volume = {abs/2201.05129},
year = {2022},
url = {https://arxiv.org/abs/2201.05129},
eprinttype = {arXiv},
eprint = {2201.05129},
timestamp = {Thu, 20 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-05129.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-14835,
author = {Moses Ganardi and
Louis Jachiet and
Markus Lohrey and
Thomas Schwentick},
title = {Low-Latency Sliding Window Algorithms for Formal Languages},
journal = {CoRR},
volume = {abs/2209.14835},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.14835},
doi = {10.48550/ARXIV.2209.14835},
eprinttype = {arXiv},
eprint = {2209.14835},
timestamp = {Thu, 06 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-14835.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Schwentick21,
author = {Thomas Schwentick},
title = {Ackermann Award 2021},
journal = {Bull. {EATCS}},
volume = {134},
year = {2021},
url = {http://bulletin.eatcs.org/index.php/beatcs/article/view/654},
timestamp = {Mon, 24 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/Schwentick21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/SchmidtSTVZ21,
author = {Jonas Schmidt and
Thomas Schwentick and
Till Tantau and
Nils Vortmeier and
Thomas Zeume},
editor = {Stefan Kiefer and
Christine Tasson},
title = {Work-sensitive Dynamic Complexity of Formal Languages},
booktitle = {Foundations of Software Science and Computation Structures - 24th
International Conference, {FOSSACS} 2021, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2021,
Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12650},
pages = {490--509},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-71995-1\_25},
doi = {10.1007/978-3-030-71995-1\_25},
timestamp = {Thu, 03 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/SchmidtSTVZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/BonifatiPS21,
author = {Angela Bonifati and
Rasmus Pagh and
Thomas Schwentick},
editor = {Leonid Libkin and
Reinhard Pichler and
Paolo Guagliardo},
title = {2021 {ACM} {PODS} Alberto O. Mendelzon Test-of-Time Award},
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 = {82},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3452021.3452909},
doi = {10.1145/3452021.3452909},
timestamp = {Mon, 21 Jun 2021 12:19:15 +0200},
biburl = {https://dblp.org/rec/conf/pods/BonifatiPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ems/21/GeladeS21,
author = {Wouter Gelade and
Thomas Schwentick},
editor = {Jean{-}{\'{E}}ric Pin},
title = {Automata and finite model theory},
booktitle = {Handbook of Automata Theory},
pages = {1071--1103},
publisher = {European Mathematical Society Publishing House, Z{\"{u}}rich,
Switzerland},
year = {2021},
url = {https://doi.org/10.4171/Automata-2/7},
doi = {10.4171/AUTOMATA-2/7},
timestamp = {Mon, 11 Apr 2022 14:12:30 +0200},
biburl = {https://dblp.org/rec/books/ems/21/GeladeS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-08735,
author = {Jonas Schmidt and
Thomas Schwentick and
Till Tantau and
Nils Vortmeier and
Thomas Zeume},
title = {Work-sensitive Dynamic Complexity of Formal Languages},
journal = {CoRR},
volume = {abs/2101.08735},
year = {2021},
url = {https://arxiv.org/abs/2101.08735},
eprinttype = {arXiv},
eprint = {2101.08735},
timestamp = {Thu, 03 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-08735.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/SchwentickVZ20,
author = {Thomas Schwentick and
Nils Vortmeier and
Thomas Zeume},
title = {Sketches of Dynamic Complexity},
journal = {{SIGMOD} Rec.},
volume = {49},
number = {2},
pages = {18--29},
year = {2020},
url = {https://doi.org/10.1145/3442322.3442325},
doi = {10.1145/3442322.3442325},
timestamp = {Thu, 17 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigmod/SchwentickVZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/SchmidtSVZK20,
author = {Jonas Schmidt and
Thomas Schwentick and
Nils Vortmeier and
Thomas Zeume and
Ioannis Kokkinis},
editor = {Maribel Fern{\'{a}}ndez and
Anca Muscholl},
title = {Dynamic Complexity Meets Parameterised Algorithms},
booktitle = {28th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2020,
January 13-16, 2020, Barcelona, Spain},
series = {LIPIcs},
volume = {152},
pages = {36:1--36:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.CSL.2020.36},
doi = {10.4230/LIPICS.CSL.2020.36},
timestamp = {Thu, 03 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/SchmidtSVZK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/GeckNS20,
author = {Gaetano Geck and
Frank Neven and
Thomas Schwentick},
editor = {Carsten Lutz and
Jean Christoph Jung},
title = {Distribution Constraints: The Chase for Distributed Data},
booktitle = {23rd International Conference on Database Theory, {ICDT} 2020, March
30-April 2, 2020, Copenhagen, Denmark},
series = {LIPIcs},
volume = {155},
pages = {13:1--13:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.ICDT.2020.13},
doi = {10.4230/LIPICS.ICDT.2020.13},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdt/GeckNS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-00965,
author = {Gaetano Geck and
Frank Neven and
Thomas Schwentick},
title = {Distribution Constraints: The Chase for Distributed Data},
journal = {CoRR},
volume = {abs/2003.00965},
year = {2020},
url = {https://arxiv.org/abs/2003.00965},
eprinttype = {arXiv},
eprint = {2003.00965},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-00965.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/DattaMSVZ19,
author = {Samir Datta and
Anish Mukherjee and
Thomas Schwentick and
Nils Vortmeier and
Thomas Zeume},
title = {A Strategy for Dynamic Programs: Start over and Muddle through},
journal = {Log. Methods Comput. Sci.},
volume = {15},
number = {2},
year = {2019},
url = {https://doi.org/10.23638/LMCS-15(2:12)2019},
doi = {10.23638/LMCS-15(2:12)2019},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/DattaMSVZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/GeckKNS19,
author = {Gaetano Geck and
Bas Ketsman and
Frank Neven and
Thomas Schwentick},
title = {Parallel-Correctness and Containment for Conjunctive Queries with
Union and Negation},
journal = {{ACM} Trans. Comput. Log.},
volume = {20},
number = {3},
pages = {18:1--18:24},
year = {2019},
url = {https://doi.org/10.1145/3329120},
doi = {10.1145/3329120},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/GeckKNS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/CoesterSS19,
author = {Christian Coester and
Thomas Schwentick and
Martin Schuster},
editor = {Leszek Antoni Gasieniec and
Jesper Jansson and
Christos Levcopoulos},
title = {Winning Strategies for Streaming Rewriting Games},
booktitle = {Fundamentals of Computation Theory - 22nd International Symposium,
{FCT} 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11651},
pages = {49--63},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25027-0\_4},
doi = {10.1007/978-3-030-25027-0\_4},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/CoesterSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/NevenSSV19,
author = {Frank Neven and
Thomas Schwentick and
Christopher Spinrath and
Brecht Vandevoort},
editor = {Pablo Barcel{\'{o}} and
Marco Calautti},
title = {Parallel-Correctness and Parallel-Boundedness for Datalog Programs},
booktitle = {22nd International Conference on Database Theory, {ICDT} 2019, March
26-28, 2019, Lisbon, Portugal},
series = {LIPIcs},
volume = {127},
pages = {14:1--14:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.ICDT.2019.14},
doi = {10.4230/LIPICS.ICDT.2019.14},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdt/NevenSSV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-06281,
author = {Jonas Schmidt and
Thomas Schwentick and
Nils Vortmeier and
Thomas Zeume and
Ioannis Kokkinis},
title = {Dynamic Complexity Meets Parameterised Algorithms},
journal = {CoRR},
volume = {abs/1910.06281},
year = {2019},
url = {http://arxiv.org/abs/1910.06281},
eprinttype = {arXiv},
eprint = {1910.06281},
timestamp = {Thu, 03 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-06281.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BjorklundMS18,
author = {Henrik Bj{\"{o}}rklund and
Wim Martens and
Thomas Schwentick},
title = {Conjunctive query containment over trees using schema information},
journal = {Acta Informatica},
volume = {55},
number = {1},
pages = {17--56},
year = {2018},
url = {https://doi.org/10.1007/s00236-016-0282-1},
doi = {10.1007/S00236-016-0282-1},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BjorklundMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-manifestos/AbiteboulABBCD018,
author = {Serge Abiteboul and
Marcelo Arenas and
Pablo Barcel{\'{o}} and
Meghyn Bienvenu and
Diego Calvanese and
Claire David and
Richard Hull and
Eyke H{\"{u}}llermeier and
Benny Kimelfeld and
Leonid Libkin and
Wim Martens and
Tova Milo and
Filip Murlak and
Frank Neven and
Magdalena Ortiz and
Thomas Schwentick and
Julia Stoyanovich and
Jianwen Su and
Dan Suciu and
Victor Vianu and
Ke Yi},
title = {Research Directions for Principles of Data Management (Dagstuhl Perspectives
Workshop 16151)},
journal = {Dagstuhl Manifestos},
volume = {7},
number = {1},
pages = {1--29},
year = {2018},
url = {https://doi.org/10.4230/DagMan.7.1.1},
doi = {10.4230/DAGMAN.7.1.1},
timestamp = {Mon, 29 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-manifestos/AbiteboulABBCD018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/DattaKMSZ18,
author = {Samir Datta and
Raghav Kulkarni and
Anish Mukherjee and
Thomas Schwentick and
Thomas Zeume},
title = {Reachability Is in DynFO},
journal = {J. {ACM}},
volume = {65},
number = {5},
pages = {33:1--33:24},
year = {2018},
url = {https://doi.org/10.1145/3212685},
doi = {10.1145/3212685},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/DattaKMSZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/NiewerthS18,
author = {Matthias Niewerth and
Thomas Schwentick},
title = {Reasoning About {XML} Constraints Based on XML-to-Relational Mappings},
journal = {Theory Comput. Syst.},
volume = {62},
number = {8},
pages = {1826--1879},
year = {2018},
url = {https://doi.org/10.1007/s00224-018-9846-5},
doi = {10.1007/S00224-018-9846-5},
timestamp = {Tue, 11 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/NiewerthS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/SchwentickVZ18,
author = {Thomas Schwentick and
Nils Vortmeier and
Thomas Zeume},
title = {Dynamic Complexity under Definable Changes},
journal = {{ACM} Trans. Database Syst.},
volume = {43},
number = {3},
pages = {12:1--12:38},
year = {2018},
url = {https://doi.org/10.1145/3241040},
doi = {10.1145/3241040},
timestamp = {Thu, 09 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tods/SchwentickVZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/KozenS18,
author = {Dexter Kozen and
Thomas Schwentick},
editor = {Dan R. Ghica and
Achim Jung},
title = {The Ackermann Award 2018},
booktitle = {27th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2018,
September 4-7, 2018, Birmingham, {UK}},
series = {LIPIcs},
volume = {119},
pages = {1:1--1:5},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.CSL.2018.1},
doi = {10.4230/LIPICS.CSL.2018.1},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/csl/KozenS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-10292,
author = {Christian Coester and
Thomas Schwentick and
Martin Schuster},
title = {Streaming Rewriting Games: Winning Strategies and Complexity},
journal = {CoRR},
volume = {abs/1804.10292},
year = {2018},
url = {http://arxiv.org/abs/1804.10292},
eprinttype = {arXiv},
eprint = {1804.10292},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-10292.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/AmelootGKNS17,
author = {Tom J. Ameloot and
Gaetano Geck and
Bas Ketsman and
Frank Neven and
Thomas Schwentick},
title = {Reasoning on data partitioning for single-round multi-join evaluation
in massively parallel systems},
journal = {Commun. {ACM}},
volume = {60},
number = {3},
pages = {93--100},
year = {2017},
url = {https://doi.org/10.1145/3041063},
doi = {10.1145/3041063},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/AmelootGKNS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/AmelootGKNS17,
author = {Tom J. Ameloot and
Gaetano Geck and
Bas Ketsman and
Frank Neven and
Thomas Schwentick},
title = {Parallel-Correctness and Transferability for Conjunctive Queries},
journal = {J. {ACM}},
volume = {64},
number = {5},
pages = {36:1--36:38},
year = {2017},
url = {https://doi.org/10.1145/3106412},
doi = {10.1145/3106412},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/AmelootGKNS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/ZeumeS17,
author = {Thomas Zeume and
Thomas Schwentick},
title = {Dynamic conjunctive queries},
journal = {J. Comput. Syst. Sci.},
volume = {88},
pages = {3--26},
year = {2017},
url = {https://doi.org/10.1016/j.jcss.2017.03.014},
doi = {10.1016/J.JCSS.2017.03.014},
timestamp = {Fri, 14 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/ZeumeS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/SchusterS17,
author = {Martin Schuster and
Thomas Schwentick},
title = {Games for Active {XML} Revisited},
journal = {Theory Comput. Syst.},
volume = {61},
number = {1},
pages = {84--155},
year = {2017},
url = {https://doi.org/10.1007/s00224-016-9682-4},
doi = {10.1007/S00224-016-9682-4},
timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/SchusterS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/MartensNNS17,
author = {Wim Martens and
Frank Neven and
Matthias Niewerth and
Thomas Schwentick},
title = {BonXai: Combining the Simplicity of {DTD} with the Expressiveness
of {XML} Schema},
journal = {{ACM} Trans. Database Syst.},
volume = {42},
number = {3},
pages = {15:1--15:42},
year = {2017},
url = {https://doi.org/10.1145/3105960},
doi = {10.1145/3105960},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tods/MartensNNS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Datta0SVZ17,
author = {Samir Datta and
Anish Mukherjee and
Thomas Schwentick and
Nils Vortmeier and
Thomas Zeume},
editor = {Ioannis Chatzigiannakis and
Piotr Indyk and
Fabian Kuhn and
Anca Muscholl},
title = {A Strategy for Dynamic Programs: Start over and Muddle Through},
booktitle = {44th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2017, July 10-14, 2017, Warsaw, Poland},
series = {LIPIcs},
volume = {80},
pages = {98:1--98:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2017.98},
doi = {10.4230/LIPICS.ICALP.2017.98},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Datta0SVZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/SchwentickVZ17,
author = {Thomas Schwentick and
Nils Vortmeier and
Thomas Zeume},
editor = {Michael Benedikt and
Giorgio Orsi},
title = {Dynamic Complexity under Definable Changes},
booktitle = {20th International Conference on Database Theory, {ICDT} 2017, March
21-24, 2017, Venice, Italy},
series = {LIPIcs},
volume = {68},
pages = {19:1--19:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.ICDT.2017.19},
doi = {10.4230/LIPICS.ICDT.2017.19},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/icdt/SchwentickVZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SchwentickVZ17,
author = {Thomas Schwentick and
Nils Vortmeier and
Thomas Zeume},
title = {Dynamic Complexity under Definable Changes},
journal = {CoRR},
volume = {abs/1701.02494},
year = {2017},
url = {http://arxiv.org/abs/1701.02494},
eprinttype = {arXiv},
eprint = {1701.02494},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SchwentickVZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbiteboulABBCDH17,
author = {Serge Abiteboul and
Marcelo Arenas and
Pablo Barcel{\'{o}} and
Meghyn Bienvenu and
Diego Calvanese and
Claire David and
Richard Hull and
Eyke H{\"{u}}llermeier and
Benny Kimelfeld and
Leonid Libkin and
Wim Martens and
Tova Milo and
Filip Murlak and
Frank Neven and
Magdalena Ortiz and
Thomas Schwentick and
Julia Stoyanovich and
Jianwen Su and
Dan Suciu and
Victor Vianu and
Ke Yi},
title = {Research Directions for Principles of Data Management (Dagstuhl Perspectives
Workshop 16151)},
journal = {CoRR},
volume = {abs/1701.09007},
year = {2017},
url = {http://arxiv.org/abs/1701.09007},
eprinttype = {arXiv},
eprint = {1701.09007},
timestamp = {Mon, 29 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AbiteboulABBCDH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ZeumeS17,
author = {Thomas Zeume and
Thomas Schwentick},
title = {Dynamic Conjunctive Queries},
journal = {CoRR},
volume = {abs/1704.01286},
year = {2017},
url = {http://arxiv.org/abs/1704.01286},
eprinttype = {arXiv},
eprint = {1704.01286},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ZeumeS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Datta0SVZ17,
author = {Samir Datta and
Anish Mukherjee and
Thomas Schwentick and
Nils Vortmeier and
Thomas Zeume},
title = {A Strategy for Dynamic Programs: Start over and Muddle through},
journal = {CoRR},
volume = {abs/1704.07998},
year = {2017},
url = {http://arxiv.org/abs/1704.07998},
eprinttype = {arXiv},
eprint = {1704.07998},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Datta0SVZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/DawarGKS17,
author = {Anuj Dawar and
Erich Gr{\"{a}}del and
Phokion G. Kolaitis and
Thomas Schwentick},
title = {Finite and Algorithmic Model Theory (Dagstuhl Seminar 17361)},
journal = {Dagstuhl Reports},
volume = {7},
number = {9},
pages = {1--25},
year = {2017},
url = {https://doi.org/10.4230/DagRep.7.9.1},
doi = {10.4230/DAGREP.7.9.1},
timestamp = {Mon, 12 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/DawarGKS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/SchwentickZ16,
author = {Thomas Schwentick and
Thomas Zeume},
title = {Dynamic complexity: recent updates},
journal = {{ACM} {SIGLOG} News},
volume = {3},
number = {2},
pages = {30--52},
year = {2016},
url = {https://doi.org/10.1145/2948896.2948899},
doi = {10.1145/2948896.2948899},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/SchwentickZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/AmelootGKNS16,
author = {Tom J. Ameloot and
Gaetano Geck and
Bas Ketsman and
Frank Neven and
Thomas Schwentick},
title = {Data partitioning for single-round multi-join evaluation in massively
parallel systems},
journal = {{SIGMOD} Rec.},
volume = {45},
number = {1},
pages = {33--40},
year = {2016},
url = {https://doi.org/10.1145/2949741.2949750},
doi = {10.1145/2949741.2949750},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigmod/AmelootGKNS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/AbiteboulABBCDH16,
author = {Serge Abiteboul and
Marcelo Arenas and
Pablo Barcel{\'{o}} and
Meghyn Bienvenu and
Diego Calvanese and
Claire David and
Richard Hull and
Eyke H{\"{u}}llermeier and
Benny Kimelfeld and
Leonid Libkin and
Wim Martens and
Tova Milo and
Filip Murlak and
Frank Neven and
Magdalena Ortiz and
Thomas Schwentick and
Julia Stoyanovich and
Jianwen Su and
Dan Suciu and
Victor Vianu and
Ke Yi},
title = {Research Directions for Principles of Data Management (Abridged)},
journal = {{SIGMOD} Rec.},
volume = {45},
number = {4},
pages = {5--17},
year = {2016},
url = {https://doi.org/10.1145/3092931.3092933},
doi = {10.1145/3092931.3092933},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigmod/AbiteboulABBCDH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/GeckKNS16,
author = {Gaetano Geck and
Bas Ketsman and
Frank Neven and
Thomas Schwentick},
editor = {Wim Martens and
Thomas Zeume},
title = {Parallel-Correctness and Containment for Conjunctive Queries with
Union and Negation},
booktitle = {19th International Conference on Database Theory, {ICDT} 2016, Bordeaux,
France, March 15-18, 2016},
series = {LIPIcs},
volume = {48},
pages = {9:1--9:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.ICDT.2016.9},
doi = {10.4230/LIPICS.ICDT.2016.9},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdt/GeckKNS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/ArenasHMMS16,
author = {Marcelo Arenas and
Richard Hull and
Wim Martens and
Tova Milo and
Thomas Schwentick},
title = {Foundations of Data Management (Dagstuhl Perspectives Workshop 16151)},
journal = {Dagstuhl Reports},
volume = {6},
number = {4},
pages = {39--56},
year = {2016},
url = {https://doi.org/10.4230/DagRep.6.4.39},
doi = {10.4230/DAGREP.6.4.39},
timestamp = {Sat, 11 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/ArenasHMMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/ZeumeS15,
author = {Thomas Zeume and
Thomas Schwentick},
title = {On the quantifier-free dynamic complexity of Reachability},
journal = {Inf. Comput.},
volume = {240},
pages = {108--129},
year = {2015},
url = {https://doi.org/10.1016/j.ic.2014.09.011},
doi = {10.1016/J.IC.2014.09.011},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/ZeumeS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/SchwentickVZ15,
author = {Thomas Schwentick and
Nils Vortmeier and
Thomas Zeume},
editor = {Stephan Kreutzer},
title = {Static Analysis for Logic-based Dynamic Programs},
booktitle = {24th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2015,
September 7-10, 2015, Berlin, Germany},
series = {LIPIcs},
volume = {41},
pages = {308--324},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CSL.2015.308},
doi = {10.4230/LIPICS.CSL.2015.308},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/csl/SchwentickVZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/DattaKMSZ15,
author = {Samir Datta and
Raghav Kulkarni and
Anish Mukherjee and
Thomas Schwentick and
Thomas Zeume},
editor = {Magn{\'{u}}s M. Halld{\'{o}}rsson and
Kazuo Iwama and
Naoki Kobayashi and
Bettina Speckmann},
title = {Reachability is in DynFO},
booktitle = {Automata, Languages, and Programming - 42nd International Colloquium,
{ICALP} 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9135},
pages = {159--170},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-47666-6\_13},
doi = {10.1007/978-3-662-47666-6\_13},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/DattaKMSZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/SchusterS15,
author = {Martin Schuster and
Thomas Schwentick},
editor = {Marcelo Arenas and
Mart{\'{\i}}n Ugarte},
title = {Games for Active {XML} Revisited},
booktitle = {18th International Conference on Database Theory, {ICDT} 2015, March
23-27, 2015, Brussels, Belgium},
series = {LIPIcs},
volume = {31},
pages = {60--75},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.ICDT.2015.60},
doi = {10.4230/LIPICS.ICDT.2015.60},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/icdt/SchusterS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/AmelootGKNS15,
author = {Tom J. Ameloot and
Gaetano Geck and
Bas Ketsman and
Frank Neven and
Thomas Schwentick},
editor = {Tova Milo and
Diego Calvanese},
title = {Parallel-Correctness and Transferability for Conjunctive Queries},
booktitle = {Proceedings of the 34th {ACM} Symposium on Principles of Database
Systems, {PODS} 2015, Melbourne, Victoria, Australia, May 31 - June
4, 2015},
pages = {47--58},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2745754.2745759},
doi = {10.1145/2745754.2745759},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/AmelootGKNS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/MartensNNS15,
author = {Wim Martens and
Frank Neven and
Matthias Niewerth and
Thomas Schwentick},
editor = {Tova Milo and
Diego Calvanese},
title = {BonXai: Combining the simplicity of {DTD} with the expressiveness
of {XML} Schema},
booktitle = {Proceedings of the 34th {ACM} Symposium on Principles of Database
Systems, {PODS} 2015, Melbourne, Victoria, Australia, May 31 - June
4, 2015},
pages = {145--156},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2745754.2745774},
doi = {10.1145/2745754.2745774},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/MartensNNS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DattaKMSZ15,
author = {Samir Datta and
Raghav Kulkarni and
Anish Mukherjee and
Thomas Schwentick and
Thomas Zeume},
title = {Reachability is in DynFO},
journal = {CoRR},
volume = {abs/1502.07467},
year = {2015},
url = {http://arxiv.org/abs/1502.07467},
eprinttype = {arXiv},
eprint = {1502.07467},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DattaKMSZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SchwentickVZ15,
author = {Thomas Schwentick and
Nils Vortmeier and
Thomas Zeume},
title = {Static Analysis for Logic-Based Dynamic Programs},
journal = {CoRR},
volume = {abs/1507.04537},
year = {2015},
url = {http://arxiv.org/abs/1507.04537},
eprinttype = {arXiv},
eprint = {1507.04537},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SchwentickVZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GeckKNS15,
author = {Gaetano Geck and
Bas Ketsman and
Frank Neven and
Thomas Schwentick},
title = {Parallel-Correctness and Containment for Conjunctive Queries with
Union and Negation},
journal = {CoRR},
volume = {abs/1512.06246},
year = {2015},
url = {http://arxiv.org/abs/1512.06246},
eprinttype = {arXiv},
eprint = {1512.06246},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GeckKNS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BojanczykMSV15,
author = {Mikolaj Bojanczyk and
Meena Mahajan and
Thomas Schwentick and
Heribert Vollmer},
title = {Circuits, Logic and Games (Dagstuhl Seminar 15401)},
journal = {Dagstuhl Reports},
volume = {5},
number = {9},
pages = {105--124},
year = {2015},
url = {https://doi.org/10.4230/DagRep.5.9.105},
doi = {10.4230/DAGREP.5.9.105},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BojanczykMSV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/GottlobKKPSZ14,
author = {Georg Gottlob and
Stanislav Kikot and
Roman Kontchakov and
Vladimir V. Podolskii and
Thomas Schwentick and
Michael Zakharyaschev},
title = {The price of query rewriting in ontology-based data access},
journal = {Artif. Intell.},
volume = {213},
pages = {42--59},
year = {2014},
url = {https://doi.org/10.1016/j.artint.2014.04.004},
doi = {10.1016/J.ARTINT.2014.04.004},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/GottlobKKPSZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/ZeumeS14,
author = {Thomas Zeume and
Thomas Schwentick},
editor = {Nicole Schweikardt and
Vassilis Christophides and
Vincent Leroy},
title = {Dynamic Conjunctive Queries},
booktitle = {Proc. 17th International Conference on Database Theory (ICDT), Athens,
Greece, March 24-28, 2014},
pages = {38--49},
publisher = {OpenProceedings.org},
year = {2014},
url = {https://doi.org/10.5441/002/icdt.2014.08},
doi = {10.5441/002/ICDT.2014.08},
timestamp = {Tue, 16 Jan 2018 17:46:10 +0100},
biburl = {https://dblp.org/rec/conf/icdt/ZeumeS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/NiewerthS14,
author = {Matthias Niewerth and
Thomas Schwentick},
editor = {Nicole Schweikardt and
Vassilis Christophides and
Vincent Leroy},
title = {Reasoning about {XML} Constraints based on XML-to-relational mappings},
booktitle = {Proc. 17th International Conference on Database Theory (ICDT), Athens,
Greece, March 24-28, 2014},
pages = {72--83},
publisher = {OpenProceedings.org},
year = {2014},
url = {https://doi.org/10.5441/002/icdt.2014.11},
doi = {10.5441/002/ICDT.2014.11},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdt/NiewerthS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AmelootGKNS14,
author = {Tom J. Ameloot and
Gaetano Geck and
Bas Ketsman and
Frank Neven and
Thomas Schwentick},
title = {Parallel-Correctness and Transferability for Conjunctive Queries},
journal = {CoRR},
volume = {abs/1412.4030},
year = {2014},
url = {http://arxiv.org/abs/1412.4030},
eprinttype = {arXiv},
eprint = {1412.4030},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AmelootGKNS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SchusterS14a,
author = {Martin Schuster and
Thomas Schwentick},
title = {Games for Active {XML} Revisited},
journal = {CoRR},
volume = {abs/1412.5910},
year = {2014},
url = {http://arxiv.org/abs/1412.5910},
eprinttype = {arXiv},
eprint = {1412.5910},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SchusterS14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/DurrS13,
author = {Christoph D{\"{u}}rr and
Thomas Schwentick},
title = {Preface of Special Issue on Theoretical Aspects of Computer Science},
journal = {Theory Comput. Syst.},
volume = {53},
number = {2},
pages = {123--125},
year = {2013},
url = {https://doi.org/10.1007/s00224-013-9467-y},
doi = {10.1007/S00224-013-9467-Y},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/DurrS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/BjorklundSSK13,
author = {Henrik Bj{\"{o}}rklund and
Martin Schuster and
Thomas Schwentick and
Joscha Kulbatzki},
editor = {Wang{-}Chiew Tan and
Giovanna Guerrini and
Barbara Catania and
Anastasios Gounaris},
title = {On optimum left-to-right strategies for active context-free games},
booktitle = {Joint 2013 {EDBT/ICDT} Conferences, {ICDT} '13 Proceedings, Genoa,
Italy, March 18-22, 2013},
pages = {105--116},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2448496.2448510},
doi = {10.1145/2448496.2448510},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdt/BjorklundSSK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/Schwentick13,
author = {Thomas Schwentick},
editor = {Adrian{-}Horia Dediu and
Carlos Mart{\'{\i}}n{-}Vide and
Bianca Truthe},
title = {{XML} Schema Management: {A} Challenge for Automata Theory},
booktitle = {Language and Automata Theory and Applications - 7th International
Conference, {LATA} 2013, Bilbao, Spain, April 2-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7810},
pages = {43},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37064-9\_5},
doi = {10.1007/978-3-642-37064-9\_5},
timestamp = {Mon, 16 Sep 2019 15:27:03 +0200},
biburl = {https://dblp.org/rec/conf/lata/Schwentick13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/BolligCHKS13,
author = {Benedikt Bollig and
Aiswarya Cyriac and
Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and
Ahmet Kara and
Thomas Schwentick},
editor = {Adrian{-}Horia Dediu and
Carlos Mart{\'{\i}}n{-}Vide and
Bianca Truthe},
title = {Dynamic Communicating Automata and Branching High-Level MSCs},
booktitle = {Language and Automata Theory and Applications - 7th International
Conference, {LATA} 2013, Bilbao, Spain, April 2-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7810},
pages = {177--189},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37064-9\_17},
doi = {10.1007/978-3-642-37064-9\_17},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lata/BolligCHKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BjorklundMS13,
author = {Henrik Bj{\"{o}}rklund and
Wim Martens and
Thomas Schwentick},
editor = {Krishnendu Chatterjee and
Jir{\'{\i}} Sgall},
title = {Validity of Tree Pattern Queries with Respect to Schema Information},
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 = {171--182},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40313-2\_17},
doi = {10.1007/978-3-642-40313-2\_17},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BjorklundMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/ZeumeS13,
author = {Thomas Zeume and
Thomas Schwentick},
editor = {Krishnendu Chatterjee and
Jir{\'{\i}} Sgall},
title = {On the Quantifier-Free Dynamic Complexity of Reachability},
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 = {837--848},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40313-2\_73},
doi = {10.1007/978-3-642-40313-2\_73},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/ZeumeS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Schwentick13,
author = {Thomas Schwentick},
editor = {Parosh Aziz Abdulla and
Igor Potapov},
title = {The Dynamic Complexity of the Reachability Problem on Graphs},
booktitle = {Reachability Problems - 7th International Workshop, {RP} 2013, Uppsala,
Sweden, September 24-26, 2013 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8169},
pages = {45},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41036-9\_5},
doi = {10.1007/978-3-642-41036-9\_5},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rp/Schwentick13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Schwentick13,
author = {Thomas Schwentick},
editor = {Leonid Libkin and
Ulrich Kohlenbach and
Ruy J. G. B. de Queiroz},
title = {Perspectives of Dynamic Complexity},
booktitle = {Logic, Language, Information, and Computation - 20th International
Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8071},
pages = {33},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39992-3\_6},
doi = {10.1007/978-3-642-39992-3\_6},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Schwentick13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ZeumeS13,
author = {Thomas Zeume and
Thomas Schwentick},
title = {On the quantifier-free dynamic complexity of Reachability},
journal = {CoRR},
volume = {abs/1306.3056},
year = {2013},
url = {http://arxiv.org/abs/1306.3056},
eprinttype = {arXiv},
eprint = {1306.3056},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ZeumeS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ManuelSZ13,
author = {Amaldev Manuel and
Thomas Schwentick and
Thomas Zeume},
title = {A Short Note on Two-Variable Logic with a Linear Order Successor and
a Preorder Successor},
journal = {CoRR},
volume = {abs/1306.3418},
year = {2013},
url = {http://arxiv.org/abs/1306.3418},
eprinttype = {arXiv},
eprint = {1306.3418},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ManuelSZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1110-1439,
author = {Thomas Schwentick and
Thomas Zeume},
title = {Two-Variable Logic with Two Order Relations},
journal = {Log. Methods Comput. Sci.},
volume = {8},
number = {1},
year = {2012},
url = {https://doi.org/10.2168/LMCS-8(1:15)2012},
doi = {10.2168/LMCS-8(1:15)2012},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1110-1439.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/MarionS12,
author = {Jean{-}Yves Marion and
Thomas Schwentick},
title = {Theoretical Aspects of Computer Science},
journal = {Theory Comput. Syst.},
volume = {51},
number = {2},
pages = {123--124},
year = {2012},
url = {https://doi.org/10.1007/s00224-012-9401-8},
doi = {10.1007/S00224-012-9401-8},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/MarionS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/MartensNNS12,
author = {Wim Martens and
Frank Neven and
Matthias Niewerth and
Thomas Schwentick},
title = {Developing and Analyzing XSDs through BonXai},
journal = {Proc. {VLDB} Endow.},
volume = {5},
number = {12},
pages = {1994--1997},
year = {2012},
url = {http://vldb.org/pvldb/vol5/p1994\_wimmartens\_vldb2012.pdf},
doi = {10.14778/2367502.2367556},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pvldb/MartensNNS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/GeladeMS12,
author = {Wouter Gelade and
Marcel Marquardt and
Thomas Schwentick},
title = {The dynamic complexity of formal languages},
journal = {{ACM} Trans. Comput. Log.},
volume = {13},
number = {3},
pages = {19:1--19:36},
year = {2012},
url = {https://doi.org/10.1145/2287718.2287719},
doi = {10.1145/2287718.2287719},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/GeladeMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/Schwentick12,
author = {Thomas Schwentick},
editor = {Thomas Lukasiewicz and
Attila Sali},
title = {Foundations of {XML} Based on Logic and Automata: {A} Snapshot},
booktitle = {Foundations of Information and Knowledge Systems - 7th International
Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7153},
pages = {23--33},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28472-4\_2},
doi = {10.1007/978-3-642-28472-4\_2},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/foiks/Schwentick12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GottlobS12,
author = {Georg Gottlob and
Thomas Schwentick},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Rewriting Ontological Queries into Small Nonrecursive Datalog Programs},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4510},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/GottlobS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/KaraST12,
author = {Ahmet Kara and
Thomas Schwentick and
Tony Tan},
editor = {Adrian{-}Horia Dediu and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Feasible Automata for Two-Variable Logic with Successor on Data Words},
booktitle = {Language and Automata Theory and Applications - 6th International
Conference, {LATA} 2012, {A} Coru{\~{n}}a, Spain, March 5-9, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7183},
pages = {351--362},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28332-1\_30},
doi = {10.1007/978-3-642-28332-1\_30},
timestamp = {Sun, 02 Oct 2022 16:11:11 +0200},
biburl = {https://dblp.org/rec/conf/lata/KaraST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1212-3501,
author = {Henrik Bj{\"{o}}rklund and
Martin Schuster and
Thomas Schwentick and
Joscha Kulbatzki},
title = {On optimum left-to-right strategies for active context-free games},
journal = {CoRR},
volume = {abs/1212.3501},
year = {2012},
url = {http://arxiv.org/abs/1212.3501},
eprinttype = {arXiv},
eprint = {1212.3501},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1212-3501.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1111-5901,
author = {Nicole Schweikardt and
Thomas Schwentick},
title = {A note on the expressive power of linear orders},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {4},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(4:7)2011},
doi = {10.2168/LMCS-7(4:7)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1111-5901.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BjorklundMS11,
author = {Henrik Bj{\"{o}}rklund and
Wim Martens and
Thomas Schwentick},
title = {Conjunctive query containment over trees},
journal = {J. Comput. Syst. Sci.},
volume = {77},
number = {3},
pages = {450--472},
year = {2011},
url = {https://doi.org/10.1016/j.jcss.2010.04.005},
doi = {10.1016/J.JCSS.2010.04.005},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BjorklundMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BojanczykDMSS11,
author = {Mikolaj Bojanczyk and
Claire David and
Anca Muscholl and
Thomas Schwentick and
Luc Segoufin},
title = {Two-variable logic on data words},
journal = {{ACM} Trans. Comput. Log.},
volume = {12},
number = {4},
pages = {27:1--27:26},
year = {2011},
url = {https://doi.org/10.1145/1970398.1970403},
doi = {10.1145/1970398.1970403},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/BojanczykDMSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GottlobS11,
author = {Georg Gottlob and
Thomas Schwentick},
editor = {Riccardo Rosati and
Sebastian Rudolph and
Michael Zakharyaschev},
title = {Rewriting Ontological Queries into Small Nonrecursive Datalog Programs},
booktitle = {Proceedings of the 24th International Workshop on Description Logics
{(DL} 2011), Barcelona, Spain, July 13-16, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {745},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-745/paper\_21.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/GottlobS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/NiewerthS11,
author = {Matthias Niewerth and
Thomas Schwentick},
editor = {Tova Milo},
title = {Two-variable logic and key constraints on data words},
booktitle = {Database Theory - {ICDT} 2011, 14th International Conference, Uppsala,
Sweden, March 21-24, 2011, Proceedings},
pages = {138--149},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1938551.1938571},
doi = {10.1145/1938551.1938571},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdt/NiewerthS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/SchwentickD11,
author = {Thomas Schwentick and
Christoph D{\"{u}}rr},
editor = {Thomas Schwentick and
Christoph D{\"{u}}rr},
title = {Frontmatter, Table of Contents, Preface, Conference Organization},
booktitle = {28th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2011, March 10-12, 2011, Dortmund, Germany},
series = {LIPIcs},
volume = {9},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.STACS.2011.i},
doi = {10.4230/LIPICS.STACS.2011.I},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/stacs/SchwentickD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KaraS11,
author = {Ahmet Kara and
Thomas Schwentick},
editor = {Hans van Ditmarsch and
David Fern{\'{a}}ndez{-}Duque and
Valentin Goranko and
Wojciech Jamroga and
Manuel Ojeda{-}Aciego},
title = {Expressiveness of Hybrid Temporal Logic on Data Words},
booktitle = {Proceedings of the 7th Workshop on Methods for Modalities, {M4M} 2011,
and the 4th Workshop on Logical Aspects of Multi-Agent Systems, {LAMAS}
2011, Osuna, Spain, November 10-12, 2011},
series = {Electronic Notes in Theoretical Computer Science},
volume = {278},
pages = {115--128},
publisher = {Elsevier},
year = {2011},
url = {https://doi.org/10.1016/j.entcs.2011.10.010},
doi = {10.1016/J.ENTCS.2011.10.010},
timestamp = {Fri, 10 Mar 2023 15:30:37 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KaraS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pods/2011,
editor = {Maurizio Lenzerini and
Thomas Schwentick},
title = {Proceedings of the 30th {ACM} {SIGMOD-SIGACT-SIGART} Symposium on
Principles of Database Systems, {PODS} 2011, June 12-16, 2011, Athens,
Greece},
publisher = {{ACM}},
year = {2011},
url = {http://dl.acm.org/citation.cfm?id=1989284},
isbn = {978-1-4503-0660-7},
timestamp = {Wed, 23 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stacs/2011,
editor = {Thomas Schwentick and
Christoph D{\"{u}}rr},
title = {28th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2011, March 10-12, 2011, Dortmund, Germany},
series = {LIPIcs},
volume = {9},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
isbn = {978-3-939897-25-5},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stacs/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-3767,
author = {Georg Gottlob and
Thomas Schwentick},
title = {Rewriting Ontological Queries into Small Nonrecursive Datalog Programs},
journal = {CoRR},
volume = {abs/1106.3767},
year = {2011},
url = {http://arxiv.org/abs/1106.3767},
eprinttype = {arXiv},
eprint = {1106.3767},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-3767.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1110-1221,
author = {Ahmet Kara and
Thomas Schwentick and
Tony Tan},
title = {Feasible Automata for Two-Variable Logic with Successor on Data Words},
journal = {CoRR},
volume = {abs/1110.1221},
year = {2011},
url = {http://arxiv.org/abs/1110.1221},
eprinttype = {arXiv},
eprint = {1110.1221},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1110-1221.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/AbiteboulDSS11,
author = {Serge Abiteboul and
Alin Deutsch and
Thomas Schwentick and
Luc Segoufin},
title = {Foundations of distributed data management (Dagstuhl Seminar 11421)},
journal = {Dagstuhl Reports},
volume = {1},
number = {10},
pages = {37--57},
year = {2011},
url = {https://doi.org/10.4230/DagRep.1.10.37},
doi = {10.4230/DAGREP.1.10.37},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/AbiteboulDSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/BjorklundMSS10,
author = {Henrik Bj{\"{o}}rklund and
Wim Martens and
Nicole Schweikardt and
Thomas Schwentick},
title = {Logik und Automaten: ein echtes Dreamteam},
journal = {Inform. Spektrum},
volume = {33},
number = {5},
pages = {452--461},
year = {2010},
url = {https://doi.org/10.1007/s00287-010-0465-z},
doi = {10.1007/S00287-010-0465-Z},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/BjorklundMSS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/MundhenkSSW10,
author = {Martin Mundhenk and
Thomas Schneider and
Thomas Schwentick and
Volker Weber},
title = {Complexity of hybrid logics over transitive frames},
journal = {J. Appl. Log.},
volume = {8},
number = {4},
pages = {422--440},
year = {2010},
url = {https://doi.org/10.1016/j.jal.2010.08.004},
doi = {10.1016/J.JAL.2010.08.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/MundhenkSSW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BjorklundS10,
author = {Henrik Bj{\"{o}}rklund and
Thomas Schwentick},
title = {On notions of regularity for data languages},
journal = {Theor. Comput. Sci.},
volume = {411},
number = {4-5},
pages = {702--715},
year = {2010},
url = {https://doi.org/10.1016/j.tcs.2009.10.009},
doi = {10.1016/J.TCS.2009.10.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BjorklundS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/BexNSV10,
author = {Geert Jan Bex and
Frank Neven and
Thomas Schwentick and
Stijn Vansummeren},
title = {Inference of concise regular expressions and DTDs},
journal = {{ACM} Trans. Database Syst.},
volume = {35},
number = {2},
pages = {11:1--11:47},
year = {2010},
url = {https://doi.org/10.1145/1735886.1735890},
doi = {10.1145/1735886.1735890},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tods/BexNSV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/EiterGS10,
author = {Thomas Eiter and
Georg Gottlob and
Thomas Schwentick},
editor = {Andreas Blass and
Nachum Dershowitz and
Wolfgang Reisig},
title = {The Model Checking Problem for Prefix Classes of Second-Order Logic:
{A} Survey},
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 = {227--250},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15025-8\_13},
doi = {10.1007/978-3-642-15025-8\_13},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/EiterGS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/SchwentickZ10,
author = {Thomas Schwentick and
Thomas Zeume},
editor = {Anuj Dawar and
Helmut Veith},
title = {Two-Variable Logic with Two Order Relations - (Extended Abstract)},
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 = {499--513},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15205-4\_38},
doi = {10.1007/978-3-642-15205-4\_38},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/SchwentickZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KaraSZ10,
author = {Ahmet Kara and
Thomas Schwentick and
Thomas Zeume},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Temporal Logics on Words with Multiple Data Values},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2010, December 15-18, 2010,
Chennai, India},
series = {LIPIcs},
volume = {8},
pages = {481--492},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2010},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2010.481},
doi = {10.4230/LIPICS.FSTTCS.2010.481},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/KaraSZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/MartensNS10,
author = {Wim Martens and
Matthias Niewerth and
Thomas Schwentick},
editor = {Jan Paredaens and
Dirk Van Gucht},
title = {Schema design for {XML} repositories: complexity and tractability},
booktitle = {Proceedings of the Twenty-Ninth {ACM} {SIGMOD-SIGACT-SIGART} Symposium
on Principles of Database Systems, {PODS} 2010, June 6-11, 2010, Indianapolis,
Indiana, {USA}},
pages = {239--250},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1807085.1807117},
doi = {10.1145/1807085.1807117},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/MartensNS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/MarionS10,
author = {Jean{-}Yves Marion and
Thomas Schwentick},
editor = {Jean{-}Yves Marion and
Thomas Schwentick},
title = {Foreword -- 27th International Symposium on Theoretical Aspects of
Computer Science},
booktitle = {27th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2010, March 4-6, 2010, Nancy, France},
series = {LIPIcs},
volume = {5},
pages = {1--6},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2010},
url = {https://doi.org/10.4230/LIPIcs.STACS.2010.2439},
doi = {10.4230/LIPICS.STACS.2010.2439},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/stacs/MarionS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/MarionS10a,
author = {Jean{-}Yves Marion and
Thomas Schwentick},
editor = {Jean{-}Yves Marion and
Thomas Schwentick},
title = {Table of Contents - 27th International Symposium on Theoretical Aspects
of Computer Science},
booktitle = {27th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2010, March 4-6, 2010, Nancy, France},
series = {LIPIcs},
volume = {5},
pages = {7--10},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2010},
url = {https://doi.org/10.4230/LIPIcs.STACS.2010.2505},
doi = {10.4230/LIPICS.STACS.2010.2505},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/MarionS10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2010P10061,
editor = {Benjamin Rossman and
Thomas Schwentick and
Denis Th{\'{e}}rien and
Heribert Vollmer},
title = {Circuits, Logic, and Games, 07.02. - 12.02.2010},
series = {Dagstuhl Seminar Proceedings},
volume = {10061},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2010},
url = {http://drops.dagstuhl.de/portals/10061/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2010P10061.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stacs/2010,
editor = {Jean{-}Yves Marion and
Thomas Schwentick},
title = {27th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2010, March 4-6, 2010, Nancy, France},
series = {LIPIcs},
volume = {5},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2010},
isbn = {978-3-939897-16-3},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stacs/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/RossmanSTV10,
author = {Benjamin Rossman and
Thomas Schwentick and
Denis Th{\'{e}}rien and
Heribert Vollmer},
editor = {Benjamin Rossman and
Thomas Schwentick and
Denis Th{\'{e}}rien and
Heribert Vollmer},
title = {10061 Abstracts Collection - Circuits, Logic, and Games},
booktitle = {Circuits, Logic, and Games, 07.02. - 12.02.2010},
series = {Dagstuhl Seminar Proceedings},
volume = {10061},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2010},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2528/},
timestamp = {Thu, 10 Jun 2021 13:02:04 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/RossmanSTV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/RossmanSTV10a,
author = {Benjamin Rossman and
Thomas Schwentick and
Denis Th{\'{e}}rien and
Heribert Vollmer},
editor = {Benjamin Rossman and
Thomas Schwentick and
Denis Th{\'{e}}rien and
Heribert Vollmer},
title = {10061 Executive Summary - Circuits, Logic, and Games},
booktitle = {Circuits, Logic, and Games, 07.02. - 12.02.2010},
series = {Dagstuhl Seminar Proceedings},
volume = {10061},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2010},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2527/},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/RossmanSTV10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1010-1139,
author = {Ahmet Kara and
Thomas Schwentick and
Thomas Zeume},
title = {Temporal Logics on Words with Multiple Data Values},
journal = {CoRR},
volume = {abs/1010.1139},
year = {2010},
url = {http://arxiv.org/abs/1010.1139},
eprinttype = {arXiv},
eprint = {1010.1139},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1010-1139.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BojanczykMSS09,
author = {Mikolaj Bojanczyk and
Anca Muscholl and
Thomas Schwentick and
Luc Segoufin},
title = {Two-variable logic on data trees and {XML} reasoning},
journal = {J. {ACM}},
volume = {56},
number = {3},
pages = {13:1--13:48},
year = {2009},
url = {https://doi.org/10.1145/1516512.1516515},
doi = {10.1145/1516512.1516515},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/BojanczykMSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/GottlobMS09,
author = {Georg Gottlob and
Zolt{\'{a}}n Mikl{\'{o}}s and
Thomas Schwentick},
title = {Generalized hypertree decompositions: NP-hardness and tractable variants},
journal = {J. {ACM}},
volume = {56},
number = {6},
pages = {30:1--30:32},
year = {2009},
url = {https://doi.org/10.1145/1568318.1568320},
doi = {10.1145/1568318.1568320},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/GottlobMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/SchwentickB09,
author = {Thomas Schwentick and
Henrik Bj{\"{o}}rklund},
title = {Volker Weber},
journal = {J. Log. Lang. Inf.},
volume = {18},
number = {4},
pages = {433},
year = {2009},
url = {https://doi.org/10.1007/s10849-009-9097-6},
doi = {10.1007/S10849-009-9097-6},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/SchwentickB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/SchwentickS09,
author = {Thomas Schwentick and
Dan Suciu},
title = {Foreword},
journal = {Theory Comput. Syst.},
volume = {44},
number = {4},
pages = {501--502},
year = {2009},
url = {https://doi.org/10.1007/s00224-008-9156-4},
doi = {10.1007/S00224-008-9156-4},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mst/SchwentickS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/MartensNS09,
author = {Wim Martens and
Frank Neven and
Thomas Schwentick},
title = {Complexity of Decision Problems for {XML} Schemas and Chain Regular
Expressions},
journal = {{SIAM} J. Comput.},
volume = {39},
number = {4},
pages = {1486--1530},
year = {2009},
url = {https://doi.org/10.1137/080743457},
doi = {10.1137/080743457},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/MartensNS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GottlobGMSS09,
author = {Georg Gottlob and
Gianluigi Greco and
Zolt{\'{a}}n Mikl{\'{o}}s and
Francesco Scarcello and
Thomas Schwentick},
editor = {Marina Lipshteyn and
Vadim E. Levit and
Ross M. McConnell},
title = {Tree Projections: Game Characterization and Computational Aspects},
booktitle = {Graph Theory, Computational Intelligence and Thought, Essays Dedicated
to Martin Charles Golumbic on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5420},
pages = {217--226},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02029-2\_21},
doi = {10.1007/978-3-642-02029-2\_21},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GottlobGMSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KaraWLS09,
author = {Ahmet Kara and
Volker Weber and
Martin Lange and
Thomas Schwentick},
editor = {Rastislav Kr{\'{a}}lovic and
Damian Niwinski},
title = {On the Hybrid Extension of {CTL} and CTL\({}^{\mbox{+}}\)},
booktitle = {Mathematical Foundations of Computer Science 2009, 34th International
Symposium, {MFCS} 2009, Novy Smokovec, High Tatras, Slovakia, August
24-28, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5734},
pages = {427--438},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03816-7\_37},
doi = {10.1007/978-3-642-03816-7\_37},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/KaraWLS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/GeladeMS09,
author = {Wouter Gelade and
Marcel Marquardt and
Thomas Schwentick},
editor = {Susanne Albers and
Jean{-}Yves Marion},
title = {The Dynamic Complexity of Formal Languages},
booktitle = {26th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2009, February 26-28, 2009, Freiburg, Germany, Proceedings},
series = {LIPIcs},
volume = {3},
pages = {481--492},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.STACS.2009.1829},
doi = {10.4230/LIPICS.STACS.2009.1829},
timestamp = {Tue, 22 Jun 2021 15:43:57 +0200},
biburl = {https://dblp.org/rec/conf/stacs/GeladeMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0906-2541,
author = {Ahmet Kara and
Martin Lange and
Thomas Schwentick and
Volker Weber},
title = {On the Hybrid Extension of {CTL} and {CTL+}},
journal = {CoRR},
volume = {abs/0906.2541},
year = {2009},
url = {http://arxiv.org/abs/0906.2541},
eprinttype = {arXiv},
eprint = {0906.2541},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0906-2541.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/SchwentickS08,
author = {Thomas Schwentick and
Dan Suciu},
title = {Introduction to {ICDT} 2007 special section},
journal = {{ACM} Trans. Database Syst.},
volume = {33},
number = {4},
pages = {27:1},
year = {2008},
url = {https://doi.org/10.1145/1412331.1412339},
doi = {10.1145/1412331.1412339},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tods/SchwentickS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MartensNS08,
author = {Wim Martens and
Frank Neven and
Thomas Schwentick},
editor = {J{\"{o}}rg Flum and
Erich Gr{\"{a}}del and
Thomas Wilke},
title = {Deterministic top-down tree automata: past, present, and future},
booktitle = {Logic and Automata: History and Perspectives [in Honor of Wolfgang
Thomas]},
series = {Texts in Logic and Games},
volume = {2},
pages = {505--530},
publisher = {Amsterdam University Press},
year = {2008},
timestamp = {Wed, 15 Dec 2010 22:14:40 +0100},
biburl = {https://dblp.org/rec/conf/birthday/MartensNS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SeidlSM08,
author = {Helmut Seidl and
Thomas Schwentick and
Anca Muscholl},
editor = {J{\"{o}}rg Flum and
Erich Gr{\"{a}}del and
Thomas Wilke},
title = {Counting in trees},
booktitle = {Logic and Automata: History and Perspectives [in Honor of Wolfgang
Thomas]},
series = {Texts in Logic and Games},
volume = {2},
pages = {575--612},
publisher = {Amsterdam University Press},
year = {2008},
timestamp = {Wed, 15 Dec 2010 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/SeidlSM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BjorklundMS08,
author = {Henrik Bj{\"{o}}rklund and
Wim Martens and
Thomas Schwentick},
editor = {Edward Ochmanski and
Jerzy Tyszkiewicz},
title = {Optimizing Conjunctive Queries over Trees Using Schema Information},
booktitle = {Mathematical Foundations of Computer Science 2008, 33rd International
Symposium, {MFCS} 2008, Torun, Poland, August 25-29, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5162},
pages = {132--143},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85238-4\_10},
doi = {10.1007/978-3-540-85238-4\_10},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BjorklundMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Schwentick08,
author = {Thomas Schwentick},
editor = {Susanne Albers and
Pascal Weil},
title = {A Little Bit Infinite? On Adding Data to Finitely Labelled Structures
(Abstract)},
booktitle = {{STACS} 2008, 25th Annual Symposium on Theoretical Aspects of Computer
Science, Bordeaux, France, February 21-23, 2008, Proceedings},
series = {LIPIcs},
volume = {1},
pages = {17--18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.STACS.2008.1325},
doi = {10.4230/LIPICS.STACS.2008.1325},
timestamp = {Tue, 22 Jun 2021 15:44:08 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Schwentick08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2008P8171,
editor = {Anca Muscholl and
Ramaswamy Ramanujam and
Micha{\"{e}}l Rusinowitch and
Thomas Schwentick and
Victor Vianu},
title = {Beyond the Finite: New Challenges in Verification and Semistructured
Data, 20.04. - 25.04.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08171},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/portals/08171/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2008P8171.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/MuschollRRSV08,
author = {Anca Muscholl and
Ramaswamy Ramanujam and
Micha{\"{e}}l Rusinowitch and
Thomas Schwentick and
Victor Vianu},
editor = {Anca Muscholl and
Ramaswamy Ramanujam and
Micha{\"{e}}l Rusinowitch and
Thomas Schwentick and
Victor Vianu},
title = {08171 Abstracts Collection - Beyond the Finite: New Challenges in
Verification and Semistructured Data},
booktitle = {Beyond the Finite: New Challenges in Verification and Semistructured
Data, 20.04. - 25.04.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08171},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1560/},
timestamp = {Thu, 10 Jun 2021 13:02:04 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/MuschollRRSV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/MuschollRRSV08a,
author = {Anca Muscholl and
Ramaswamy Ramanujam and
Micha{\"{e}}l Rusinowitch and
Thomas Schwentick and
Victor Vianu},
editor = {Anca Muscholl and
Ramaswamy Ramanujam and
Micha{\"{e}}l Rusinowitch and
Thomas Schwentick and
Victor Vianu},
title = {08171 Summary - Beyond the Finite: New Challenges in Verification
and Semistructured Data},
booktitle = {Beyond the Finite: New Challenges in Verification and Semistructured
Data, 20.04. - 25.04.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08171},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1558/},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/MuschollRRSV08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0806-4130,
author = {Martin Mundhenk and
Thomas Schneider and
Thomas Schwentick and
Volker Weber},
title = {Complexity of Hybrid Logics over Transitive Frames},
journal = {CoRR},
volume = {abs/0806.4130},
year = {2008},
url = {http://arxiv.org/abs/0806.4130},
eprinttype = {arXiv},
eprint = {0806.4130},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0806-4130.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0812-1915,
author = {Wouter Gelade and
Marcel Marquardt and
Thomas Schwentick},
title = {Dynamic Complexity of Formal Languages},
journal = {CoRR},
volume = {abs/0812.1915},
year = {2008},
url = {http://arxiv.org/abs/0812.1915},
eprinttype = {arXiv},
eprint = {0812.1915},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0812-1915.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Schwentick07,
author = {Thomas Schwentick},
title = {Automata for {XML} - {A} survey},
journal = {J. Comput. Syst. Sci.},
volume = {73},
number = {3},
pages = {289--315},
year = {2007},
url = {https://doi.org/10.1016/j.jcss.2006.10.003},
doi = {10.1016/J.JCSS.2006.10.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Schwentick07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/WeberS07,
author = {Volker Weber and
Thomas Schwentick},
title = {Dynamic Complexity Theory Revisited},
journal = {Theory Comput. Syst.},
volume = {40},
number = {4},
pages = {355--377},
year = {2007},
url = {https://doi.org/10.1007/s00224-006-1312-0},
doi = {10.1007/S00224-006-1312-0},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/WeberS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/MartensNS07,
author = {Wim Martens and
Frank Neven and
Thomas Schwentick},
title = {Simple off the shelf abstractions for {XML} schema},
journal = {{SIGMOD} Rec.},
volume = {36},
number = {3},
pages = {15--22},
year = {2007},
url = {https://doi.org/10.1145/1324185.1324188},
doi = {10.1145/1324185.1324188},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigmod/MartensNS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/BjorklundMS07,
author = {Henrik Bj{\"{o}}rklund and
Wim Martens and
Thomas Schwentick},
editor = {Marcelo Arenas and
Michael I. Schwartzbach},
title = {Conjunctive Query Containment over Trees},
booktitle = {Database Programming Languages, 11th International Symposium, {DBPL}
2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4797},
pages = {66--80},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75987-4\_5},
doi = {10.1007/978-3-540-75987-4\_5},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/dbpl/BjorklundMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/BjorklundS07,
author = {Henrik Bj{\"{o}}rklund and
Thomas Schwentick},
editor = {Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
Zolt{\'{a}}n {\'{E}}sik},
title = {On Notions of Regularity for Data Languages},
booktitle = {Fundamentals of Computation Theory, 16th International Symposium,
{FCT} 2007, Budapest, Hungary, August 27-30, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4639},
pages = {88--99},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74240-1\_9},
doi = {10.1007/978-3-540-74240-1\_9},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/BjorklundS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/GottlobMS07,
author = {Georg Gottlob and
Zolt{\'{a}}n Mikl{\'{o}}s and
Thomas Schwentick},
editor = {Leonid Libkin},
title = {Generalized hypertree decompositions: np-hardness and tractable variants},
booktitle = {Proceedings of the Twenty-Sixth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 11-13, 2007, Beijing, China},
pages = {13--22},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1265530.1265533},
doi = {10.1145/1265530.1265533},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/GottlobMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/KasneciS07,
author = {Gjergji Kasneci and
Thomas Schwentick},
editor = {Leonid Libkin},
title = {The complexity of reasoning about pattern-based {XML} schemas},
booktitle = {Proceedings of the Twenty-Sixth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 11-13, 2007, Beijing, China},
pages = {155--164},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1265530.1265552},
doi = {10.1145/1265530.1265552},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/KasneciS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/SchwentickW07,
author = {Thomas Schwentick and
Volker Weber},
editor = {Wolfgang Thomas and
Pascal Weil},
title = {Bounded-Variable Fragments of Hybrid Logics},
booktitle = {{STACS} 2007, 24th Annual Symposium on Theoretical Aspects of Computer
Science, Aachen, Germany, February 22-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4393},
pages = {561--572},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-70918-3\_48},
doi = {10.1007/978-3-540-70918-3\_48},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/SchwentickW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2006P6451,
editor = {Thomas Schwentick and
Denis Th{\'{e}}rien and
Heribert Vollmer},
title = {Circuits, Logic, and Games, 08.11. - 10.11.2006},
series = {Dagstuhl Seminar Proceedings},
volume = {06451},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/portals/06451/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2006P6451.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icdt/2007,
editor = {Thomas Schwentick and
Dan Suciu},
title = {Database Theory - {ICDT} 2007, 11th International Conference, Barcelona,
Spain, January 10-12, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4353},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/11965893},
doi = {10.1007/11965893},
isbn = {3-540-69269-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdt/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/McKenzieSTV06,
author = {Pierre McKenzie and
Thomas Schwentick and
Denis Th{\'{e}}rien and
Heribert Vollmer},
title = {The many faces of a translation},
journal = {J. Comput. Syst. Sci.},
volume = {72},
number = {1},
pages = {163--179},
year = {2006},
url = {https://doi.org/10.1016/j.jcss.2005.08.003},
doi = {10.1016/J.JCSS.2005.08.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/McKenzieSTV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/NevenS06,
author = {Frank Neven and
Thomas Schwentick},
title = {On the complexity of XPath containment in the presence of disjunction,
DTDs, and variables},
journal = {Log. Methods Comput. Sci.},
volume = {2},
number = {3},
year = {2006},
url = {https://doi.org/10.2168/LMCS-2(3:1)2006},
doi = {10.2168/LMCS-2(3:1)2006},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/NevenS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/MuschollSS06,
author = {Anca Muscholl and
Thomas Schwentick and
Luc Segoufin},
title = {Active Context-Free Games},
journal = {Theory Comput. Syst.},
volume = {39},
number = {1},
pages = {237--276},
year = {2006},
url = {https://doi.org/10.1007/s00224-005-1278-3},
doi = {10.1007/S00224-005-1278-3},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/MuschollSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/MartensNSB06,
author = {Wim Martens and
Frank Neven and
Thomas Schwentick and
Geert Jan Bex},
title = {Expressiveness and complexity of {XML} Schema},
journal = {{ACM} Trans. Database Syst.},
volume = {31},
number = {3},
pages = {770--813},
year = {2006},
url = {https://doi.org/10.1145/1166074.1166076},
doi = {10.1145/1166074.1166076},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tods/MartensNSB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BojanczykSSS06,
author = {Mikolaj Bojanczyk and
Mathias Samuelides and
Thomas Schwentick and
Luc Segoufin},
editor = {Michele Bugliesi and
Bart Preneel and
Vladimiro Sassone and
Ingo Wegener},
title = {Expressive Power of Pebble Automata},
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 = {157--168},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11786986\_15},
doi = {10.1007/11786986\_15},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BojanczykSSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BojanczykMSSD06,
author = {Mikolaj Bojanczyk and
Anca Muscholl and
Thomas Schwentick and
Luc Segoufin and
Claire David},
title = {Two-Variable Logic on Words with Data},
booktitle = {21th {IEEE} Symposium on Logic in Computer Science {(LICS} 2006),
12-15 August 2006, Seattle, WA, USA, Proceedings},
pages = {7--16},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/LICS.2006.51},
doi = {10.1109/LICS.2006.51},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BojanczykMSSD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/BojanczykDMSS06,
author = {Mikolaj Bojanczyk and
Claire David and
Anca Muscholl and
Thomas Schwentick and
Luc Segoufin},
editor = {Stijn Vansummeren},
title = {Two-variable logic on data trees and {XML} reasoning},
booktitle = {Proceedings of the Twenty-Fifth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 26-28, 2006, Chicago, Illinois,
{USA}},
pages = {10--19},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1142351.1142354},
doi = {10.1145/1142351.1142354},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/BojanczykDMSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/BexNST06,
author = {Geert Jan Bex and
Frank Neven and
Thomas Schwentick and
Karl Tuyls},
editor = {Umeshwar Dayal and
Kyu{-}Young Whang and
David B. Lomet and
Gustavo Alonso and
Guy M. Lohman and
Martin L. Kersten and
Sang Kyun Cha and
Young{-}Kuk Kim},
title = {Inference of Concise DTDs from {XML} Data},
booktitle = {Proceedings of the 32nd International Conference on Very Large Data
Bases, Seoul, Korea, September 12-15, 2006},
pages = {115--126},
publisher = {{ACM}},
year = {2006},
url = {http://dl.acm.org/citation.cfm?id=1164139},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vldb/BexNST06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/SchwentickTV06,
author = {Thomas Schwentick and
Denis Th{\'{e}}rien and
Heribert Vollmer},
editor = {Thomas Schwentick and
Denis Th{\'{e}}rien and
Heribert Vollmer},
title = {06451 Executive Summary -- Circuits, Logic, and Games},
booktitle = {Circuits, Logic, and Games, 08.11. - 10.11.2006},
series = {Dagstuhl Seminar Proceedings},
volume = {06451},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/977},
timestamp = {Thu, 10 Jun 2021 13:02:03 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/SchwentickTV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/SchwentickTV06a,
author = {Thomas Schwentick and
Denis Th{\'{e}}rien and
Heribert Vollmer},
editor = {Thomas Schwentick and
Denis Th{\'{e}}rien and
Heribert Vollmer},
title = {06451 Abstracts Collection -- Circuits, Logic, and Games},
booktitle = {Circuits, Logic, and Games, 08.11. - 10.11.2006},
series = {Dagstuhl Seminar Proceedings},
volume = {06451},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/978},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/SchwentickTV06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0606065,
author = {Frank Neven and
Thomas Schwentick},
title = {On the complexity of XPath containment in the presence of disjunction,
DTDs, and variables},
journal = {CoRR},
volume = {abs/cs/0606065},
year = {2006},
url = {http://arxiv.org/abs/cs/0606065},
eprinttype = {arXiv},
eprint = {cs/0606065},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0606065.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/VermaSS05,
author = {Kumar Neeraj Verma and
Helmut Seidl and
Thomas Schwentick},
editor = {Robert Nieuwenhuis},
title = {On the Complexity of Equational Horn Clauses},
booktitle = {Automated Deduction - CADE-20, 20th International Conference on Automated
Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3632},
pages = {337--352},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11532231\_25},
doi = {10.1007/11532231\_25},
timestamp = {Sun, 02 Oct 2022 15:55:55 +0200},
biburl = {https://dblp.org/rec/conf/cade/VermaSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/MartensNS05,
author = {Wim Martens and
Frank Neven and
Thomas Schwentick},
editor = {Thomas Eiter and
Leonid Libkin},
title = {Which {XML} Schemas Admit 1-Pass Preorder Typing?},
booktitle = {Database Theory - {ICDT} 2005, 10th International Conference, Edinburgh,
UK, January 5-7, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3363},
pages = {68--82},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30570-5\_5},
doi = {10.1007/978-3-540-30570-5\_5},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdt/MartensNS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/WeberS05,
author = {Volker Weber and
Thomas Schwentick},
editor = {Volker Diekert and
Bruno Durand},
title = {Dynamic Complexity Theory Revisited},
booktitle = {{STACS} 2005, 22nd Annual Symposium on Theoretical Aspects of Computer
Science, Stuttgart, Germany, February 24-26, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3404},
pages = {256--268},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31856-9\_21},
doi = {10.1007/978-3-540-31856-9\_21},
timestamp = {Wed, 19 May 2021 12:05:43 +0200},
biburl = {https://dblp.org/rec/conf/stacs/WeberS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/BexMNS05,
author = {Geert Jan Bex and
Wim Martens and
Frank Neven and
Thomas Schwentick},
editor = {Allan Ellis and
Tatsuya Hagino},
title = {Expressiveness of XSDs: from practice to theory, there and back again},
booktitle = {Proceedings of the 14th international conference on World Wide Web,
{WWW} 2005, Chiba, Japan, May 10-14, 2005},
pages = {712--721},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1060745.1060848},
doi = {10.1145/1060745.1060848},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/BexMNS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2005P5061,
editor = {Frank Neven and
Thomas Schwentick and
Dan Suciu},
title = {Foundations of Semistructured Data, 6.-11. February 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05061},
publisher = {IBFI, Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/portals/05061/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2005P5061.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/NevenSS05,
author = {Frank Neven and
Thomas Schwentick and
Dan Suciu},
editor = {Frank Neven and
Thomas Schwentick and
Dan Suciu},
title = {05061 Abstracts Collection - Foundations of Semistructured Data},
booktitle = {Foundations of Semistructured Data, 6.-11. February 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05061},
publisher = {IBFI, Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2005/233},
timestamp = {Thu, 10 Jun 2021 13:02:07 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/NevenSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/NevenSS05a,
author = {Frank Neven and
Thomas Schwentick and
Dan Suciu},
editor = {Frank Neven and
Thomas Schwentick and
Dan Suciu},
title = {05061 Summary - Foundations of Semi-structured Data},
booktitle = {Foundations of Semistructured Data, 6.-11. February 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05061},
publisher = {IBFI, Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2005/227},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/NevenSS05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/GottlobKS04,
author = {Georg Gottlob and
Phokion G. Kolaitis and
Thomas Schwentick},
title = {Existential second-order logic over graphs: Charting the tractability
frontier},
journal = {J. {ACM}},
volume = {51},
number = {2},
pages = {312--362},
year = {2004},
url = {https://doi.org/10.1145/972639.972646},
doi = {10.1145/972639.972646},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/GottlobKS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/BiskupPSB04,
author = {Joachim Biskup and
Jan Paredaens and
Thomas Schwentick and
Jan Van den Bussche},
title = {Solving Equations in the Relational Algebra},
journal = {{SIAM} J. Comput.},
volume = {33},
number = {5},
pages = {1052--1066},
year = {2004},
url = {https://doi.org/10.1137/S0097539701390859},
doi = {10.1137/S0097539701390859},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/BiskupPSB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/Schwentick04,
author = {Thomas Schwentick},
title = {XPath query containment},
journal = {{SIGMOD} Rec.},
volume = {33},
number = {1},
pages = {101--109},
year = {2004},
url = {https://doi.org/10.1145/974121.974140},
doi = {10.1145/974121.974140},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigmod/Schwentick04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/NevenSV04,
author = {Frank Neven and
Thomas Schwentick and
Victor Vianu},
title = {Finite state machines for strings over infinite alphabets},
journal = {{ACM} Trans. Comput. Log.},
volume = {5},
number = {3},
pages = {403--435},
year = {2004},
url = {https://doi.org/10.1145/1013560.1013562},
doi = {10.1145/1013560.1013562},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/NevenSV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/SeidlSMH04,
author = {Helmut Seidl and
Thomas Schwentick and
Anca Muscholl and
Peter Habermehl},
editor = {Josep D{\'{\i}}az and
Juhani Karhum{\"{a}}ki and
Arto Lepist{\"{o}} and
Donald Sannella},
title = {Counting in Trees for Free},
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 = {1136--1149},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27836-8\_94},
doi = {10.1007/978-3-540-27836-8\_94},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/SeidlSMH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/MartensNS04,
author = {Wim Martens and
Frank Neven and
Thomas Schwentick},
editor = {Jir{\'{\i}} Fiala and
V{\'{a}}clav Koubek and
Jan Kratochv{\'{\i}}l},
title = {Complexity of Decision Problems for Simple Regular Expressions},
booktitle = {Mathematical Foundations of Computer Science 2004, 29th International
Symposium, {MFCS} 2004, Prague, Czech Republic, August 22-27, 2004,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3153},
pages = {889--900},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-28629-5\_70},
doi = {10.1007/978-3-540-28629-5\_70},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/MartensNS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/Schwentick04,
author = {Thomas Schwentick},
editor = {Catriel Beeri and
Alin Deutsch},
title = {Trees, Automata and {XML}},
booktitle = {Proceedings of the Twenty-third {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 14-16, 2004, Paris, France},
pages = {222},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1055558.1055589},
doi = {10.1145/1055558.1055589},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/Schwentick04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/MuschollSS04,
author = {Anca Muscholl and
Thomas Schwentick and
Luc Segoufin},
editor = {Volker Diekert and
Michel Habib},
title = {Active Context-Free Games},
booktitle = {{STACS} 2004, 21st Annual Symposium on Theoretical Aspects of Computer
Science, Montpellier, France, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2996},
pages = {452--464},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24749-4\_40},
doi = {10.1007/978-3-540-24749-4\_40},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/MuschollSS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/NevenS03,
author = {Frank Neven and
Thomas Schwentick},
title = {On the power of tree-walking automata},
journal = {Inf. Comput.},
volume = {183},
number = {1},
pages = {86--103},
year = {2003},
url = {https://doi.org/10.1016/S0890-5401(03)00013-0},
doi = {10.1016/S0890-5401(03)00013-0},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/NevenS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BenediktLSS03,
author = {Michael Benedikt and
Leonid Libkin and
Thomas Schwentick and
Luc Segoufin},
title = {Definable relations and first-order query languages over strings},
journal = {J. {ACM}},
volume = {50},
number = {5},
pages = {694--751},
year = {2003},
url = {https://doi.org/10.1145/876638.876642},
doi = {10.1145/876638.876642},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/BenediktLSS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/KlarlundSS03,
author = {Nils Klarlund and
Thomas Schwentick and
Dan Suciu},
editor = {Jan Chomicki and
Ron van der Meyden and
Gunter Saake},
title = {{XML:} Model, Schemas, Types, Logics, and Queries},
booktitle = {Logics for Emerging Applications of Databases [outcome of a Dagstuhl
seminar]},
pages = {1--41},
publisher = {Springer},
year = {2003},
timestamp = {Thu, 04 Sep 2003 15:52:12 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/KlarlundSS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/NevenS03,
author = {Frank Neven and
Thomas Schwentick},
editor = {Diego Calvanese and
Maurizio Lenzerini and
Rajeev Motwani},
title = {XPath Containment in the Presence of Disjunction, DTDs, and Variables},
booktitle = {Database Theory - {ICDT} 2003, 9th International Conference, Siena,
Italy, January 8-10, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2572},
pages = {312--326},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36285-1\_21},
doi = {10.1007/3-540-36285-1\_21},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdt/NevenS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/SeidlSM03,
author = {Helmut Seidl and
Thomas Schwentick and
Anca Muscholl},
editor = {Frank Neven and
Catriel Beeri and
Tova Milo},
title = {Numerical document queries},
booktitle = {Proceedings of the Twenty-Second {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 9-12, 2003, San Diego, CA,
{USA}},
pages = {155--166},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/773153.773169},
doi = {10.1145/773153.773169},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/SeidlSM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/GrandjeanS02,
author = {Etienne Grandjean and
Thomas Schwentick},
title = {Machine-Independent Characterizations and Complete Problems for Deterministic
Linear Time},
journal = {{SIAM} J. Comput.},
volume = {32},
number = {1},
pages = {196--230},
year = {2002},
url = {https://doi.org/10.1137/S0097539799360240},
doi = {10.1137/S0097539799360240},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/GrandjeanS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NevenS02,
author = {Frank Neven and
Thomas Schwentick},
title = {Query automata over finite trees},
journal = {Theor. Comput. Sci.},
volume = {275},
number = {1-2},
pages = {633--674},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00301-2},
doi = {10.1016/S0304-3975(01)00301-2},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/NevenS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/LautemannMSV01,
author = {Clemens Lautemann and
Pierre McKenzie and
Thomas Schwentick and
Heribert Vollmer},
title = {The Descriptive Complexity Approach to {LOGCFL}},
journal = {J. Comput. Syst. Sci.},
volume = {62},
number = {4},
pages = {629--652},
year = {2001},
url = {https://doi.org/10.1006/jcss.2000.1742},
doi = {10.1006/JCSS.2000.1742},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/LautemannMSV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/EiterGS01,
author = {Thomas Eiter and
Georg Gottlob and
Thomas Schwentick},
editor = {Werner Kuich and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Second-Order Logic over Strings: Regular and Non-regular Fragments},
booktitle = {Developments in Language Theory, 5th International Conference, {DLT}
2001, Vienna, Austria, July 16-21, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2295},
pages = {37--56},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-46011-X\_4},
doi = {10.1007/3-540-46011-X\_4},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dlt/EiterGS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/SchwentickTV01,
author = {Thomas Schwentick and
Denis Th{\'{e}}rien and
Heribert Vollmer},
editor = {Werner Kuich and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Partially-Ordered Two-Way Automata: {A} New Characterization of {DA}},
booktitle = {Developments in Language Theory, 5th International Conference, {DLT}
2001, Vienna, Austria, July 16-21, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2295},
pages = {239--250},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-46011-X\_20},
doi = {10.1007/3-540-46011-X\_20},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/SchwentickTV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BenediktLSS01,
author = {Michael Benedikt and
Leonid Libkin and
Thomas Schwentick and
Luc Segoufin},
title = {A Model-Theoretic Approach to Regular String Relations},
booktitle = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
Massachusetts, USA, June 16-19, 2001, Proceedings},
pages = {431--440},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/LICS.2001.932518},
doi = {10.1109/LICS.2001.932518},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BenediktLSS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/NevenSV01,
author = {Frank Neven and
Thomas Schwentick and
Victor Vianu},
editor = {Jir{\'{\i}} Sgall and
Ales Pultr and
Petr Kolman},
title = {Towards Regular Languages over Infinite Alphabets},
booktitle = {Mathematical Foundations of Computer Science 2001, 26th International
Symposium, {MFCS} 2001 Marianske Lazne, Czech Republic, August 27-31,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2136},
pages = {560--572},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44683-4\_49},
doi = {10.1007/3-540-44683-4\_49},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/NevenSV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/BenediktLSS01,
author = {Michael Benedikt and
Leonid Libkin and
Thomas Schwentick and
Luc Segoufin},
editor = {Peter Buneman},
title = {String Operations in Query Languages},
booktitle = {Proceedings of the Twentieth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, May 21-23, 2001, Santa Barbara,
California, {USA}},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/375551.375578},
doi = {10.1145/375551.375578},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/BenediktLSS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdb/NevenS01,
author = {Frank Neven and
Thomas Schwentick},
editor = {Leopoldo E. Bertossi and
Gyula O. H. Katona and
Klaus{-}Dieter Schewe and
Bernhard Thalheim},
title = {Automata-and Logic-Based Pattern Languages for Tree-Structured Data},
booktitle = {Semantics in Databases, Second International Workshop, Dagstuhl Castle,
Germany, January 7-12, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2582},
pages = {160--178},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-36596-6\_9},
doi = {10.1007/3-540-36596-6\_9},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sdb/NevenS01.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/corr/cs-LO-0106034,
author = {Joachim Biskup and
Jan Paredaens and
Thomas Schwentick and
Jan Van den Bussche},
title = {Solving equations in the relational algebra},
journal = {CoRR},
volume = {cs.LO/0106034},
year = {2001},
url = {https://arxiv.org/abs/cs/0106034},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0106034.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/focs/GottlobKS00,
author = {Georg Gottlob and
Phokion G. Kolaitis and
Thomas Schwentick},
title = {Existential Second-Order Logic over Graphs: Charting the Tractability
Frontier},
booktitle = {41st Annual Symposium on Foundations of Computer Science, {FOCS} 2000,
12-14 November 2000, Redondo Beach, California, {USA}},
pages = {664--674},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/SFCS.2000.892334},
doi = {10.1109/SFCS.2000.892334},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/GottlobKS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gvd/Schwentick00,
author = {Thomas Schwentick},
editor = {Hans{-}Joachim Klein},
title = {Logically defined queries on trees},
booktitle = {12. GI-Workshop Grundlagen von Datenbanken, GvD 2000, Pl{\"{o}}n,
Schleswig-Holstein, Germany, 13.-16. Juni 2000},
series = {Berichte},
volume = {Nr. 2005},
pages = {96--100},
publisher = {Christian-Albrechts-Universit{\"{a}}t Kiel},
year = {2000},
url = {http://www.is.informatik.uni-kiel.de/\%7Ehjk/wsgdb00/Paper/Schwentick.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gvd/Schwentick00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/NevenS00,
author = {Frank Neven and
Thomas Schwentick},
editor = {Ugo Montanari and
Jos{\'{e}} D. P. Rolim and
Emo Welzl},
title = {On the Power of Tree-Walking Automata},
booktitle = {Automata, Languages and Programming, 27th International Colloquium,
{ICALP} 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1853},
pages = {547--560},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45022-X\_46},
doi = {10.1007/3-540-45022-X\_46},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/NevenS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/McKenzieSTV00,
author = {Pierre McKenzie and
Thomas Schwentick and
Denis Th{\'{e}}rien and
Heribert Vollmer},
editor = {Ugo Montanari and
Jos{\'{e}} D. P. Rolim and
Emo Welzl},
title = {The Many Faces of a Translation},
booktitle = {Automata, Languages and Programming, 27th International Colloquium,
{ICALP} 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1853},
pages = {890--901},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45022-X\_75},
doi = {10.1007/3-540-45022-X\_75},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/McKenzieSTV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Schwentick00,
author = {Thomas Schwentick},
editor = {Mogens Nielsen and
Branislav Rovan},
title = {On Diving in Trees},
booktitle = {Mathematical Foundations of Computer Science 2000, 25th International
Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September
1, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1893},
pages = {660--669},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44612-5\_61},
doi = {10.1007/3-540-44612-5\_61},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Schwentick00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/NevenS00,
author = {Frank Neven and
Thomas Schwentick},
editor = {Victor Vianu and
Georg Gottlob},
title = {Expressive and Efficient Pattern Languages for Tree-Structured Data},
booktitle = {Proceedings of the Nineteenth {ACM} {SIGMOD-SIGACT-SIGART} Symposium
on Principles of Database Systems, May 15-17, 2000, Dallas, Texas,
{USA}},
pages = {145--156},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/335168.335217},
doi = {10.1145/335168.335217},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/NevenS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dmtcs/SchwentickB99,
author = {Thomas Schwentick and
Klaus Barthelmann},
title = {Local Normal Forms for First-Order Logic with Applications to Games
and Automata},
journal = {Discret. Math. Theor. Comput. Sci.},
volume = {3},
number = {3},
pages = {109--124},
year = {1999},
url = {https://doi.org/10.46298/dmtcs.254},
doi = {10.46298/DMTCS.254},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dmtcs/SchwentickB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gvd/NevenS99,
author = {Frank Neven and
Thomas Schwentick},
editor = {Frank H{\"{u}}semann and
Klaus K{\"{u}}spert and
Frank M{\"{a}}urer},
title = {Automata for Unary Queries on Trees},
booktitle = {11. Workshop Grundlagen von Datenbanken, GvD 1999, Arbeitskreis "Grundlagen
von Informationssystemen" im GI-Fachausschu{\ss} 2.5, Luisenthal,
25.-28. Mai 1999},
series = {Jeaner Schriften zur Mathematik und Informatik},
volume = {Math/Inf/99/16},
pages = {102--106},
publisher = {Friedrich-Schiller-Universit{\"{a}}t Jena},
year = {1999},
timestamp = {Fri, 26 Jul 2019 14:48:53 +0200},
biburl = {https://dblp.org/rec/conf/gvd/NevenS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/NevenS99,
author = {Frank Neven and
Thomas Schwentick},
editor = {Victor Vianu and
Christos H. Papadimitriou},
title = {Query Automata},
booktitle = {Proceedings of the Eighteenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, May 31 - June 2, 1999, Philadelphia,
Pennsylvania, {USA}},
pages = {205--214},
publisher = {{ACM} Press},
year = {1999},
url = {https://doi.org/10.1145/303976.303997},
doi = {10.1145/303976.303997},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/NevenS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/LautemannSS99,
author = {Clemens Lautemann and
Nicole Schweikardt and
Thomas Schwentick},
editor = {Christoph Meinel and
Sophie Tison},
title = {A Logical Characterisation of Linear Time on Nondeterministic Turing
Machines},
booktitle = {{STACS} 99, 16th Annual Symposium on Theoretical Aspects of Computer
Science, Trier, Germany, March 4-6, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1563},
pages = {143--152},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49116-3\_13},
doi = {10.1007/3-540-49116-3\_13},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/LautemannSS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/LautemannMSV99,
author = {Clemens Lautemann and
Pierre McKenzie and
Thomas Schwentick and
Heribert Vollmer},
editor = {Christoph Meinel and
Sophie Tison},
title = {The Descriptive Complexity Approach to {LOGCFL}},
booktitle = {{STACS} 99, 16th Annual Symposium on Theoretical Aspects of Computer
Science, Trier, Germany, March 4-6, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1563},
pages = {444--454},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49116-3\_42},
doi = {10.1007/3-540-49116-3\_42},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/LautemannMSV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/LautemannSS98,
author = {Clemens Lautemann and
Thomas Schwentick and
Iain A. Stewart},
title = {Positive Versions of Polynomial Time},
journal = {Inf. Comput.},
volume = {147},
number = {2},
pages = {145--170},
year = {1998},
url = {https://doi.org/10.1006/inco.1998.2742},
doi = {10.1006/INCO.1998.2742},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/LautemannSS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/DurandLS98,
author = {Arnaud Durand and
Clemens Lautemann and
Thomas Schwentick},
title = {Subclasses of Binary {NP}},
journal = {J. Log. Comput.},
volume = {8},
number = {2},
pages = {189--207},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.2.189},
doi = {10.1093/LOGCOM/8.2.189},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/DurandLS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Schwentick98,
author = {Thomas Schwentick},
editor = {Georg Gottlob and
Etienne Grandjean and
Katrin Seyr},
title = {Descriptive Complexity, Lower Bounds and Linear Time},
booktitle = {Computer Science Logic, 12th International Workshop, {CSL} '98, Annual
Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1584},
pages = {9--28},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/10703163\_2},
doi = {10.1007/10703163\_2},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/Schwentick98.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}
}
@inproceedings{DBLP:conf/stacs/SchwentickB98,
author = {Thomas Schwentick and
Klaus Barthelmann},
editor = {Michel Morvan and
Christoph Meinel and
Daniel Krob},
title = {Local Normal Forms for First-Order Logic with Applications to Games
and Automata},
booktitle = {{STACS} 98, 15th Annual Symposium on Theoretical Aspects of Computer
Science, Paris, France, February 25-27, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1373},
pages = {444--454},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0028580},
doi = {10.1007/BFB0028580},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/SchwentickB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CC-9809114,
author = {Clemens Lautemann and
Pierre McKenzie and
Thomas Schwentick and
Heribert Vollmer},
title = {The descriptive complexity approach to {LOGCFL}},
journal = {CoRR},
volume = {cs.CC/9809114},
year = {1998},
url = {https://arxiv.org/abs/cs/9809114},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-CC-9809114.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ECCC-TR98-059,
author = {Clemens Lautemann and
Pierre McKenzie and
Thomas Schwentick and
Heribert Vollmer},
title = {The Descriptive Complexity Approach to {LOGCFL}},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR98-059}},
year = {1998},
url = {https://eccc.weizmann.ac.il/eccc-reports/1998/TR98-059/index.html},
eprinttype = {ECCC},
eprint = {TR98-059},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/ECCC-TR98-059.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Schwentick97,
author = {Thomas Schwentick},
editor = {Mogens Nielsen and
Wolfgang Thomas},
title = {Padding and the Expressive Power of Existential Second-Order Logics},
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 = {461--477},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028031},
doi = {10.1007/BFB0028031},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/Schwentick97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Schwentick97,
author = {Thomas Schwentick},
editor = {R{\"{u}}diger Reischuk and
Michel Morvan},
title = {Algebraic and Logical Characterizations of Deterministic Linear Time
Classes},
booktitle = {{STACS} 97, 14th Annual Symposium on Theoretical Aspects of Computer
Science, L{\"{u}}beck, Germany, February 27 - March 1, 1997,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1200},
pages = {463--474},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0023481},
doi = {10.1007/BFB0023481},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Schwentick97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Schwentick96,
author = {Thomas Schwentick},
title = {On Winning Ehrenfeucht Games and Monadic {NP}},
journal = {Ann. Pure Appl. Log.},
volume = {79},
number = {1},
pages = {61--92},
year = {1996},
url = {https://doi.org/10.1016/0168-0072(95)00030-5},
doi = {10.1016/0168-0072(95)00030-5},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Schwentick96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/LautemannSS96,
author = {Clemens Lautemann and
Thomas Schwentick and
Iain A. Stewart},
editor = {Steven Homer and
Jin{-}Yi Cai},
title = {On Positive {P}},
booktitle = {Proceedings of the Eleveth Annual {IEEE} Conference on Computational
Complexity, Philadelphia, Pennsylvania, USA, May 24-27, 1996},
pages = {162--170},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/CCC.1996.507678},
doi = {10.1109/CCC.1996.507678},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coco/LautemannSS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Schwentick96,
author = {Thomas Schwentick},
editor = {Claude Puech and
R{\"{u}}diger Reischuk},
title = {On Bijections vs. Unary Functions},
booktitle = {{STACS} 96, 13th Annual Symposium on Theoretical Aspects of Computer
Science, Grenoble, France, February 22-24, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1046},
pages = {415--426},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-60922-9\_34},
doi = {10.1007/3-540-60922-9\_34},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Schwentick96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Schwentick95,
author = {Thomas Schwentick},
title = {On winning Ehrenfeucht games and monadic {NP}},
school = {University of Mainz, Germany},
year = {1995},
url = {https://d-nb.info/945733623},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Schwentick95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/GreenKRT95,
author = {Frederic Green and
Johannes K{\"{o}}bler and
Kenneth W. Regan and
Thomas Schwentick and
Jacobo Tor{\'{a}}n},
title = {The Power of the Middle Bit of a {\#}P Function},
journal = {J. Comput. Syst. Sci.},
volume = {50},
number = {3},
pages = {456--467},
year = {1995},
url = {https://doi.org/10.1006/jcss.1995.1036},
doi = {10.1006/JCSS.1995.1036},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/GreenKRT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Schwentick95,
author = {Thomas Schwentick},
editor = {Zolt{\'{a}}n F{\"{u}}l{\"{o}}p and
Ferenc G{\'{e}}cseg},
title = {Graph Connectivity, Monadic {NP} and Built-in Relations of Moderate
Degree},
booktitle = {Automata, Languages and Programming, 22nd International Colloquium,
ICALP95, Szeged, Hungary, July 10-14, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {944},
pages = {405--416},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60084-1\_92},
doi = {10.1007/3-540-60084-1\_92},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Schwentick95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/LautemannST94,
author = {Clemens Lautemann and
Thomas Schwentick and
Denis Th{\'{e}}rien},
editor = {Leszek Pacholski and
Jerzy Tiuryn},
title = {Logics For Context-Free Languages},
booktitle = {Computer Science Logic, 8th International Workshop, {CSL} '94, Kazimierz,
Poland, September 25-30, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {933},
pages = {205--216},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0022257},
doi = {10.1007/BFB0022257},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/LautemannST94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Schwentick94,
author = {Thomas Schwentick},
title = {Graph Connectivity and Monadic {NP}},
booktitle = {35th Annual Symposium on Foundations of Computer Science, Santa Fe,
New Mexico, USA, 20-22 November 1994},
pages = {614--622},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/SFCS.1994.365730},
doi = {10.1109/SFCS.1994.365730},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Schwentick94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/HertrampfLSVW93,
author = {Ulrich Hertrampf and
Clemens Lautemann and
Thomas Schwentick and
Heribert Vollmer and
Klaus W. Wagner},
title = {On the Power of Polynomial Time Bit-Reductions (Extended Abstract)},
booktitle = {Proceedings of the Eigth Annual Structure in Complexity Theory Conference,
San Diego, CA, USA, May 18-21, 1993},
pages = {200--207},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/SCT.1993.336526},
doi = {10.1109/SCT.1993.336526},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coco/HertrampfLSVW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/trier/MI92-28,
author = {Ulrich Hertrampf and
Clemens Lautemann and
Thomas Schwentick and
Heribert Vollmer and
Klaus W. Wagner},
title = {On the Power of Polynomial Bit-Reductions},
journal = {Universit{\"{a}}t Trier, Mathematik/Informatik, Forschungsbericht},
volume = {92-28},
year = {1992},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/tr/trier/MI92-28.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-02-06 23:53 CET 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:
