Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Sebastian Maneth
@article{DBLP:journals/iandc/ManethSV24,
author = {Sebastian Maneth and
Helmut Seidl and
Martin Vu},
title = {Functionality of compositions of top-down tree transducers is decidable},
journal = {Inf. Comput.},
volume = {296},
pages = {105131},
year = {2024},
url = {https://doi.org/10.1016/j.ic.2023.105131},
doi = {10.1016/J.IC.2023.105131},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/ManethSV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/ManethS24,
author = {Sebastian Maneth and
Helmut Seidl},
title = {Checking in polynomial time whether or not a regular tree language
is deterministic top-down},
journal = {Inf. Process. Lett.},
volume = {184},
pages = {106449},
year = {2024},
url = {https://doi.org/10.1016/j.ipl.2023.106449},
doi = {10.1016/J.IPL.2023.106449},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/ManethS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-09415,
author = {Rishabh Vallabh Varsha Haria and
Amin El Abed and
Sebastian Maneth},
title = {User Identification via Free Roaming Eye Tracking Data},
journal = {CoRR},
volume = {abs/2403.09415},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.09415},
doi = {10.48550/ARXIV.2403.09415},
eprinttype = {arXiv},
eprint = {2403.09415},
timestamp = {Fri, 05 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-09415.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/ManethSV23,
author = {Sebastian Maneth and
Helmut Seidl and
Martin Vu},
title = {Definability Results for Top-Down Tree Transducers},
journal = {Int. J. Found. Comput. Sci.},
volume = {34},
number = {2{\&}3},
pages = {253--287},
year = {2023},
url = {https://doi.org/10.1142/S0129054122440051},
doi = {10.1142/S0129054122440051},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/ManethSV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Maneth23,
author = {Sebastian Maneth},
title = {Preface},
journal = {Int. J. Found. Comput. Sci.},
volume = {34},
number = {8},
pages = {902},
year = {2023},
url = {https://doi.org/10.1142/S0129054123020021},
doi = {10.1142/S0129054123020021},
timestamp = {Tue, 19 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/Maneth23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/ManethS23,
author = {Sebastian Maneth and
Helmut Seidl},
title = {Deciding origin equivalence of weakly self-nesting macro tree transducers},
journal = {Inf. Process. Lett.},
volume = {180},
pages = {106332},
year = {2023},
url = {https://doi.org/10.1016/j.ipl.2022.106332},
doi = {10.1016/J.IPL.2022.106332},
timestamp = {Fri, 06 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/ManethS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HashimotoM23,
author = {Kenji Hashimoto and
Sebastian Maneth},
title = {Characterizing attributed tree translations in terms of macro tree
transducers},
journal = {Theor. Comput. Sci.},
volume = {963},
pages = {113943},
year = {2023},
url = {https://doi.org/10.1016/j.tcs.2023.113943},
doi = {10.1016/J.TCS.2023.113943},
timestamp = {Mon, 19 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/HashimotoM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/ManethV23,
author = {Sebastian Maneth and
Martin Vu},
editor = {Benedek Nagy},
title = {Deciding Whether an Attributed Translation Can Be Realized by a Top-Down
Transducer},
booktitle = {Implementation and Application of Automata - 27th International Conference,
{CIAA} 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14151},
pages = {230--241},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-40247-0\_17},
doi = {10.1007/978-3-031-40247-0\_17},
timestamp = {Mon, 14 Aug 2023 16:42:49 +0200},
biburl = {https://dblp.org/rec/conf/wia/ManethV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-00573,
author = {Sebastian Maneth and
Helmut Seidl},
title = {Checking in Polynomial Time whether or not a Regular Tree Language
is Deterministic Top-Down},
journal = {CoRR},
volume = {abs/2306.00573},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.00573},
doi = {10.48550/ARXIV.2306.00573},
eprinttype = {arXiv},
eprint = {2306.00573},
timestamp = {Mon, 12 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-00573.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-04326,
author = {Sebastian Maneth and
Martin Vu},
title = {Deciding whether an Attributed Translation can be realized by a Top-Down
Transducer},
journal = {CoRR},
volume = {abs/2306.04326},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.04326},
doi = {10.48550/ARXIV.2306.04326},
eprinttype = {arXiv},
eprint = {2306.04326},
timestamp = {Tue, 27 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-04326.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-16500,
author = {Charles Peyrat and
Paul Gallot and
Sebastian Maneth and
Keisuke Nakano},
title = {Deciding Linear Height and Linear Size-to-Height Increase for Macro
Tree Transducers},
journal = {CoRR},
volume = {abs/2307.16500},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.16500},
doi = {10.48550/ARXIV.2307.16500},
eprinttype = {arXiv},
eprint = {2307.16500},
timestamp = {Wed, 02 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-16500.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spic/ZaidawiPLM22,
author = {Sahar Mahdie Klim Al Zaidawi and
Martin H. U. Prinzler and
Jonas L{\"{u}}hrs and
Sebastian Maneth},
title = {An extensive study of user identification via eye movements across
multiple datasets},
journal = {Signal Process. Image Commun.},
volume = {108},
pages = {116804},
year = {2022},
url = {https://doi.org/10.1016/j.image.2022.116804},
doi = {10.1016/J.IMAGE.2022.116804},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spic/ZaidawiPLM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cai/ManethSV22,
author = {Sebastian Maneth and
Helmut Seidl and
Martin Vu},
editor = {Dimitrios Poulakis and
George Rahonis},
title = {How to Decide Functionality of Compositions of Top-Down Tree Transducers},
booktitle = {Algebraic Informatics - 9th International Conference, {CAI} 2022,
Virtual Event, October 27-29, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13706},
pages = {175--191},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19685-0\_13},
doi = {10.1007/978-3-031-19685-0\_13},
timestamp = {Fri, 21 Oct 2022 19:54:56 +0200},
biburl = {https://dblp.org/rec/conf/cai/ManethSV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/HariaZM22,
author = {Rishabh Vallabh Varsha Haria and
Sahar Mahdie Klim Al Zaidawi and
Sebastian Maneth},
editor = {Constantine Stephanidis and
Margherita Antona and
Stavroula Ntoa and
Gavriel Salvendy},
title = {Predicting Gender via Eye Movements},
booktitle = {{HCI} International 2022 - Late Breaking Posters - 24th International
Conference on Human-Computer Interaction, {HCII} 2022, Virtual Event,
June 26 - July 1, 2022, Proceedings, Part {I}},
series = {Communications in Computer and Information Science},
volume = {1654},
pages = {91--100},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19679-9\_13},
doi = {10.1007/978-3-031-19679-9\_13},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hci/HariaZM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-07442,
author = {Rishabh Vallabh Varsha Haria and
Sahar Mahdie Klim Al Zaidawi and
Sebastian Maneth},
title = {Predicting Gender via Eye Movements},
journal = {CoRR},
volume = {abs/2206.07442},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.07442},
doi = {10.48550/ARXIV.2206.07442},
eprinttype = {arXiv},
eprint = {2206.07442},
timestamp = {Tue, 21 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-07442.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-01044,
author = {Sebastian Maneth and
Helmut Seidl and
Martin Vu},
title = {How to decide Functionality of Compositions of Top-Down Tree Transducers},
journal = {CoRR},
volume = {abs/2209.01044},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.01044},
doi = {10.48550/ARXIV.2209.01044},
eprinttype = {arXiv},
eprint = {2209.01044},
timestamp = {Mon, 26 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-01044.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-07090,
author = {Kenji Hashimoto and
Sebastian Maneth},
title = {Characterizing Attributed Tree Translations in Terms of Macro Tree
Transducers},
journal = {CoRR},
volume = {abs/2209.07090},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.07090},
doi = {10.48550/ARXIV.2209.07090},
eprinttype = {arXiv},
eprint = {2209.07090},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-07090.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/EngelfrietIM21,
author = {Joost Engelfriet and
Kazuhiro Inaba and
Sebastian Maneth},
title = {Linear-bounded composition of tree-walking tree transducers: linear
size increase and complexity},
journal = {Acta Informatica},
volume = {58},
number = {1-2},
pages = {95--152},
year = {2021},
url = {https://doi.org/10.1007/s00236-019-00360-8},
doi = {10.1007/S00236-019-00360-8},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/EngelfrietIM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/LohreyM21,
author = {Markus Lohrey and
Sebastian Maneth},
title = {Largest common prefix of a regular tree language},
journal = {J. Comput. Syst. Sci.},
volume = {115},
pages = {235--245},
year = {2021},
url = {https://doi.org/10.1016/j.jcss.2020.09.001},
doi = {10.1016/J.JCSS.2020.09.001},
timestamp = {Tue, 03 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/LohreyM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/ManethSV21,
author = {Sebastian Maneth and
Helmut Seidl and
Martin Vu},
editor = {Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Definability Results for Top-Down Tree Transducers},
booktitle = {Developments in Language Theory - 25th International Conference, {DLT}
2021, Porto, Portugal, August 16-20, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12811},
pages = {291--303},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81508-0\_24},
doi = {10.1007/978-3-030-81508-0\_24},
timestamp = {Tue, 10 Aug 2021 15:35:08 +0200},
biburl = {https://dblp.org/rec/conf/dlt/ManethSV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etra/PrinzlerSZZM21,
author = {Martin H. U. Prinzler and
Christoph Schr{\"{o}}der and
Sahar Mahdie Klim Al Zaidawi and
Gabriel Zachmann and
Sebastian Maneth},
editor = {Andreas Bulling and
Anke Huckauf and
Hans Gellersen and
Daniel Weiskopf and
Mihai Bace and
Teresa Hirzle and
Florian Alt and
Thies Pfeiffer and
Roman Bednarik and
Krzysztof Krejtz and
Tanja Blascheck and
Michael Burch and
Peter Kiefer and
Michael D. Dodd and
Bonita Sharif},
title = {Visualizing Prediction Correctness of Eye Tracking Classifiers},
booktitle = {2021 Symposium on Eye Tracking Research and Applications, {ETRA} 2020,
Virtual Event, Germany, May 25-27, 2021, Short Papers},
pages = {10:1--10:7},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3448018.3457997},
doi = {10.1145/3448018.3457997},
timestamp = {Mon, 26 Jun 2023 20:42:39 +0200},
biburl = {https://dblp.org/rec/conf/etra/PrinzlerSZZM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/LeupoldM21,
author = {Peter Leupold and
Sebastian Maneth},
editor = {Evripidis Bampis and
Aris Pagourtzis},
title = {Deciding Top-Down Determinism of Regular Tree Languages},
booktitle = {Fundamentals of Computation Theory - 23rd International Symposium,
{FCT} 2021, Athens, Greece, September 12-15, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12867},
pages = {341--353},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86593-1\_24},
doi = {10.1007/978-3-030-86593-1\_24},
timestamp = {Tue, 14 Sep 2021 19:09:35 +0200},
biburl = {https://dblp.org/rec/conf/fct/LeupoldM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wia/2021,
editor = {Sebastian Maneth},
title = {Implementation and Application of Automata - 25th International Conference,
{CIAA} 2021, Virtual Event, July 19-22, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12803},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-79121-6},
doi = {10.1007/978-3-030-79121-6},
isbn = {978-3-030-79120-9},
timestamp = {Thu, 01 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-14860,
author = {Sebastian Maneth and
Helmut Seidl and
Martin Vu},
title = {Definability Results for Top-Down Tree Transducers},
journal = {CoRR},
volume = {abs/2105.14860},
year = {2021},
url = {https://arxiv.org/abs/2105.14860},
eprinttype = {arXiv},
eprint = {2105.14860},
timestamp = {Wed, 02 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-14860.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-03174,
author = {Peter Leupold and
Sebastian Maneth},
title = {Deciding Top-Down Determinism of Regular Tree Languages},
journal = {CoRR},
volume = {abs/2107.03174},
year = {2021},
url = {https://arxiv.org/abs/2107.03174},
eprinttype = {arXiv},
eprint = {2107.03174},
timestamp = {Tue, 20 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-03174.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-05901,
author = {Sahar Mahdie Klim Al Zaidawi and
Martin H. U. Prinzler and
Jonas L{\"{u}}hrs and
Sebastian Maneth},
title = {An Extensive Study of User Identification via Eye Movements across
Multiple Datasets},
journal = {CoRR},
volume = {abs/2111.05901},
year = {2021},
url = {https://arxiv.org/abs/2111.05901},
eprinttype = {arXiv},
eprint = {2111.05901},
timestamp = {Tue, 16 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-05901.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/ManethP20,
author = {Sebastian Maneth and
Fabian Peternek},
title = {Constant delay traversal of grammar-compressed graphs with bounded
rank},
journal = {Inf. Comput.},
volume = {273},
pages = {104520},
year = {2020},
url = {https://doi.org/10.1016/j.ic.2020.104520},
doi = {10.1016/J.IC.2020.104520},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/ManethP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/GasconLMRS20,
author = {Adri{\`{a}} Gasc{\'{o}}n and
Markus Lohrey and
Sebastian Maneth and
Carl Philipp Reh and
Kurt Sieber},
title = {Grammar-Based Compression of Unranked Trees},
journal = {Theory Comput. Syst.},
volume = {64},
number = {1},
pages = {141--176},
year = {2020},
url = {https://doi.org/10.1007/s00224-019-09942-y},
doi = {10.1007/S00224-019-09942-Y},
timestamp = {Tue, 07 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mst/GasconLMRS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/SchroderZPMZ20,
author = {Christoph Schr{\"{o}}der and
Sahar Mahdie Klim Al Zaidawi and
Martin H. U. Prinzler and
Sebastian Maneth and
Gabriel Zachmann},
editor = {Regina Bernhaupt and
Florian 'Floyd' Mueller and
David Verweij and
Josh Andres and
Joanna McGrenere and
Andy Cockburn and
Ignacio Avellino and
Alix Goguey and
Pernille Bj{\o}n and
Shengdong Zhao and
Briane Paul Samson and
Rafal Kocielnik},
title = {Robustness of Eye Movement Biometrics Against Varying Stimuli and
Varying Trajectory Length},
booktitle = {{CHI} '20: {CHI} Conference on Human Factors in Computing Systems,
Honolulu, HI, USA, April 25-30, 2020},
pages = {1--7},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3313831.3376534},
doi = {10.1145/3313831.3376534},
timestamp = {Tue, 21 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/chi/SchroderZPMZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ManethS20,
author = {Sebastian Maneth and
Helmut Seidl},
editor = {Artur Czumaj and
Anuj Dawar and
Emanuela Merelli},
title = {When Is a Bottom-Up Deterministic Tree Translation Top-Down Deterministic?},
booktitle = {47th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2020, July 8-11, 2020, Saarbr{\"{u}}cken, Germany (Virtual
Conference)},
series = {LIPIcs},
volume = {168},
pages = {134:1--134:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2020.134},
doi = {10.4230/LIPICS.ICALP.2020.134},
timestamp = {Mon, 21 Dec 2020 13:23:22 +0100},
biburl = {https://dblp.org/rec/conf/icalp/ManethS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmi/ZaidawiPSZM20,
author = {Sahar Mahdie Klim Al Zaidawi and
Martin H. U. Prinzler and
Christoph Schr{\"{o}}der and
Gabriel Zachmann and
Sebastian Maneth},
editor = {Khiet P. Truong and
Dirk Heylen and
Mary Czerwinski and
Nadia Berthouze and
Mohamed Chetouani and
Mikio Nakano},
title = {Gender Classification of Prepubescent Children via Eye Movements with
Reading Stimuli},
booktitle = {Companion Publication of the 2020 International Conference on Multimodal
Interaction, {ICMI} Companion 2020, Virtual Event, The Netherlands,
October, 2020},
pages = {1--6},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3395035.3425261},
doi = {10.1145/3395035.3425261},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icmi/ZaidawiPSZM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/LohreyM19,
author = {Markus Lohrey and
Sebastian Maneth},
editor = {Leszek Antoni Gasieniec and
Jesper Jansson and
Christos Levcopoulos},
title = {Largest Common Prefix of a Regular Tree Language},
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 = {95--108},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25027-0\_7},
doi = {10.1007/978-3-030-25027-0\_7},
timestamp = {Tue, 17 May 2022 11:54:28 +0200},
biburl = {https://dblp.org/rec/conf/fct/LohreyM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/SeidlPM19,
author = {Helmut Seidl and
Raphaela Palenta and
Sebastian Maneth},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {Deciding Equivalence of Separated Non-nested Attribute Systems in
Polynomial Time},
booktitle = {Foundations of Software Science and Computation Structures - 22nd
International Conference, {FOSSACS} 2019, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2019,
Prague, Czech Republic, April 6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11425},
pages = {488--504},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_28},
doi = {10.1007/978-3-030-17127-8\_28},
timestamp = {Fri, 31 Jan 2020 21:32:20 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/SeidlPM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Maneth19,
author = {Sebastian Maneth},
editor = {Michal Hospod{\'{a}}r and
Galina Jir{\'{a}}skov{\'{a}}},
title = {Static Garbage Collection},
booktitle = {Implementation and Application of Automata - 24th International Conference,
{CIAA} 2019, Ko{\v{s}}ice, Slovakia, July 22-25, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11601},
pages = {3--9},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-23679-3\_1},
doi = {10.1007/978-3-030-23679-3\_1},
timestamp = {Mon, 08 Jul 2019 14:39:10 +0200},
biburl = {https://dblp.org/rec/conf/wia/Maneth19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/bdt/Maneth19,
author = {Sebastian Maneth},
editor = {Sherif Sakr and
Albert Y. Zomaya},
title = {Grammar-Based Compression},
booktitle = {Encyclopedia of Big Data Technologies},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-319-63962-8\_56-1},
doi = {10.1007/978-3-319-63962-8\_56-1},
timestamp = {Thu, 14 Feb 2019 16:03:55 +0100},
biburl = {https://dblp.org/rec/reference/bdt/Maneth19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-03858,
author = {Helmut Seidl and
Raphaela Palenta and
Sebastian Maneth},
title = {Deciding Equivalence of Separated Non-Nested Attribute Systems in
Polynomial Time},
journal = {CoRR},
volume = {abs/1902.03858},
year = {2019},
url = {http://arxiv.org/abs/1902.03858},
eprinttype = {arXiv},
eprint = {1902.03858},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-03858.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-09203,
author = {Joost Engelfriet and
Kazuhiro Inaba and
Sebastian Maneth},
title = {Linear Bounded Composition of Tree-Walking Tree Transducers: Linear
Size Increase and Complexity},
journal = {CoRR},
volume = {abs/1904.09203},
year = {2019},
url = {http://arxiv.org/abs/1904.09203},
eprinttype = {arXiv},
eprint = {1904.09203},
timestamp = {Fri, 26 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-09203.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-10444,
author = {Sebastian Maneth and
Fabian Peternek},
title = {Constant Delay Traversal of Grammar-Compressed Graphs with Bounded
Rank},
journal = {CoRR},
volume = {abs/1907.10444},
year = {2019},
url = {http://arxiv.org/abs/1907.10444},
eprinttype = {arXiv},
eprint = {1907.10444},
timestamp = {Thu, 01 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-10444.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/LohreyMR18,
author = {Markus Lohrey and
Sebastian Maneth and
Carl Philipp Reh},
title = {Constant-Time Tree Traversal and Subtree Equality Check for Grammar-Compressed
Trees},
journal = {Algorithmica},
volume = {80},
number = {7},
pages = {2082--2105},
year = {2018},
url = {https://doi.org/10.1007/s00453-017-0331-3},
doi = {10.1007/S00453-017-0331-3},
timestamp = {Thu, 26 Apr 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithmica/LohreyMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FiliotMRT18,
author = {Emmanuel Filiot and
Sebastian Maneth and
Pierre{-}Alain Reynier and
Jean{-}Marc Talbot},
title = {Decision problems of tree transducers with origin},
journal = {Inf. Comput.},
volume = {261},
pages = {311--335},
year = {2018},
url = {https://doi.org/10.1016/j.ic.2018.02.011},
doi = {10.1016/J.IC.2018.02.011},
timestamp = {Tue, 03 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/FiliotMRT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/ManethS18,
author = {Sebastian Maneth and
Helmut Seidl},
title = {Balancedness of {MSO} transductions in polynomial time},
journal = {Inf. Process. Lett.},
volume = {133},
pages = {26--32},
year = {2018},
url = {https://doi.org/10.1016/j.ipl.2018.01.002},
doi = {10.1016/J.IPL.2018.01.002},
timestamp = {Mon, 19 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/ManethS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/ManethP18,
author = {Sebastian Maneth and
Fabian Peternek},
title = {Grammar-based graph compression},
journal = {Inf. Syst.},
volume = {76},
pages = {19--45},
year = {2018},
url = {https://doi.org/10.1016/j.is.2018.03.002},
doi = {10.1016/J.IS.2018.03.002},
timestamp = {Mon, 25 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/is/ManethP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/SeidlMK18,
author = {Helmut Seidl and
Sebastian Maneth and
Gregor Kemper},
title = {Equivalence of Deterministic Top-Down Tree-to-String Transducers Is
Decidable},
journal = {J. {ACM}},
volume = {65},
number = {4},
pages = {21:1--21:30},
year = {2018},
url = {https://doi.org/10.1145/3182653},
doi = {10.1145/3182653},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/SeidlMK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/EngelfrietMM18,
author = {Joost Engelfriet and
Andreas Maletti and
Sebastian Maneth},
title = {Multiple context-free tree grammars: Lexicalization and characterization},
journal = {Theor. Comput. Sci.},
volume = {728},
pages = {29--99},
year = {2018},
url = {https://doi.org/10.1016/j.tcs.2018.03.014},
doi = {10.1016/J.TCS.2018.03.014},
timestamp = {Sat, 25 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/EngelfrietMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/GasconLMRS18,
author = {Adri{\`{a}} Gasc{\'{o}}n and
Markus Lohrey and
Sebastian Maneth and
Carl Philipp Reh and
Kurt Sieber},
editor = {Fedor V. Fomin and
Vladimir V. Podolskii},
title = {Grammar-Based Compression of Unranked Trees},
booktitle = {Computer Science - Theory and Applications - 13th International Computer
Science Symposium in Russia, {CSR} 2018, Moscow, Russia, June 6-10,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10846},
pages = {118--131},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90530-3\_11},
doi = {10.1007/978-3-319-90530-3\_11},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/csr/GasconLMRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcc/ManethP18,
author = {Sebastian Maneth and
Fabian Peternek},
editor = {Ali Bilgin and
Michael W. Marcellin and
Joan Serra{-}Sagrist{\`{a}} and
James A. Storer},
title = {Constant Delay Traversal of Compressed Graphs},
booktitle = {2018 Data Compression Conference, {DCC} 2018, Snowbird, UT, USA, March
27-30, 2018},
pages = {32--41},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/DCC.2018.00011},
doi = {10.1109/DCC.2018.00011},
timestamp = {Wed, 25 Jul 2018 12:08:56 +0200},
biburl = {https://dblp.org/rec/conf/dcc/ManethP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-05490,
author = {Adri{\`{a}} Gasc{\'{o}}n and
Markus Lohrey and
Sebastian Maneth and
Carl Philipp Reh and
Kurt Sieber},
title = {Grammar-based Compression of Unranked Trees},
journal = {CoRR},
volume = {abs/1802.05490},
year = {2018},
url = {http://arxiv.org/abs/1802.05490},
eprinttype = {arXiv},
eprint = {1802.05490},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-05490.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/ManethP17,
author = {Sebastian Maneth and
Alexandra Poulovassilis},
title = {Data Science},
journal = {Comput. J.},
volume = {60},
number = {3},
pages = {285--286},
year = {2017},
url = {https://doi.org/10.1093/comjnl/bxw073},
doi = {10.1093/COMJNL/BXW073},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/ManethP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BenediktEM17,
author = {Michael Benedikt and
Joost Engelfriet and
Sebastian Maneth},
title = {Determinacy and rewriting of functional top-down and {MSO} tree transformations},
journal = {J. Comput. Syst. Sci.},
volume = {85},
pages = {57--73},
year = {2017},
url = {https://doi.org/10.1016/j.jcss.2016.11.001},
doi = {10.1016/J.JCSS.2016.11.001},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/BenediktEM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/GrozM17,
author = {Beno{\^{\i}}t Groz and
Sebastian Maneth},
title = {Efficient testing and matching of deterministic regular expressions},
journal = {J. Comput. Syst. Sci.},
volume = {89},
pages = {372--399},
year = {2017},
url = {https://doi.org/10.1016/j.jcss.2017.05.013},
doi = {10.1016/J.JCSS.2017.05.013},
timestamp = {Tue, 15 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/GrozM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/LohreyMR17,
author = {Markus Lohrey and
Sebastian Maneth and
Carl Philipp Reh},
editor = {Michael Benedikt and
Giorgio Orsi},
title = {Compression of Unordered {XML} Trees},
booktitle = {20th International Conference on Database Theory, {ICDT} 2017, March
21-24, 2017, Venice, Italy},
series = {LIPIcs},
volume = {68},
pages = {18:1--18:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.ICDT.2017.18},
doi = {10.4230/LIPICS.ICDT.2017.18},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/icdt/LohreyMR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mol/GilroyLMS17,
author = {Sorcha Gilroy and
Adam Lopez and
Sebastian Maneth and
Pijus Simonaitis},
editor = {Makoto Kanazawa and
Philippe de Groote and
Mehrnoosh Sadrzadeh},
title = {(Re)introducing Regular Graph Languages},
booktitle = {Proceedings of the 15th Meeting on the Mathematics of Language, {MOL}
2017, London, UK, July 13-14, 2017},
pages = {100--113},
publisher = {{ACL}},
year = {2017},
url = {https://doi.org/10.18653/v1/w17-3410},
doi = {10.18653/V1/W17-3410},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mol/GilroyLMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/starsem/GilroyLM17,
author = {Sorcha Gilroy and
Adam Lopez and
Sebastian Maneth},
editor = {Nancy Ide and
Aur{\'{e}}lie Herbelot and
Llu{\'{\i}}s M{\`{a}}rquez},
title = {Parsing Graphs with Regular Graph Grammars},
booktitle = {Proceedings of the 6th Joint Conference on Lexical and Computational
Semantics, *SEM @ACM 2017, Vancouver, Canada, August 3-4, 2017},
pages = {199--208},
publisher = {Association for Computational Linguistics},
year = {2017},
url = {https://doi.org/10.18653/v1/S17-1024},
doi = {10.18653/V1/S17-1024},
timestamp = {Fri, 06 Aug 2021 00:40:02 +0200},
biburl = {https://dblp.org/rec/conf/starsem/GilroyLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ManethP17,
author = {Sebastian Maneth and
Fabian Peternek},
title = {Grammar-Based Graph Compression},
journal = {CoRR},
volume = {abs/1704.05254},
year = {2017},
url = {http://arxiv.org/abs/1704.05254},
eprinttype = {arXiv},
eprint = {1704.05254},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ManethP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EngelfrietMM17,
author = {Joost Engelfriet and
Andreas Maletti and
Sebastian Maneth},
title = {Multiple Context-Free Tree Grammars: Lexicalization and Characterization},
journal = {CoRR},
volume = {abs/1707.03457},
year = {2017},
url = {http://arxiv.org/abs/1707.03457},
eprinttype = {arXiv},
eprint = {1707.03457},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EngelfrietMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/FiliotMS17,
author = {Emmanuel Filiot and
Sebastian Maneth and
Helmut Seidl},
title = {Formal Methods of Transformations (Dagstuhl Seminar 17142)},
journal = {Dagstuhl Reports},
volume = {7},
number = {4},
pages = {23--37},
year = {2017},
url = {https://doi.org/10.4230/DagRep.7.4.23},
doi = {10.4230/DAGREP.7.4.23},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/FiliotMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/EngelfrietMS16,
author = {Joost Engelfriet and
Sebastian Maneth and
Helmut Seidl},
title = {Look-ahead removal for total deterministic top-down tree transducers},
journal = {Theor. Comput. Sci.},
volume = {616},
pages = {18--58},
year = {2016},
url = {https://doi.org/10.1016/j.tcs.2015.12.005},
doi = {10.1016/J.TCS.2015.12.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/EngelfrietMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcc/LohreyMR16,
author = {Markus Lohrey and
Sebastian Maneth and
Carl Philipp Reh},
editor = {Ali Bilgin and
Michael W. Marcellin and
Joan Serra{-}Sagrist{\`{a}} and
James A. Storer},
title = {Traversing Grammar-Compressed Trees with Constant Delay},
booktitle = {2016 Data Compression Conference, {DCC} 2016, Snowbird, UT, USA, March
30 - April 1, 2016},
pages = {546--555},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/DCC.2016.13},
doi = {10.1109/DCC.2016.13},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/dcc/LohreyMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/ManethP16,
author = {Sebastian Maneth and
Fabian Peternek},
title = {Compressing graphs by grammars},
booktitle = {32nd {IEEE} International Conference on Data Engineering, {ICDE} 2016,
Helsinki, Finland, May 16-20, 2016},
pages = {109--120},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ICDE.2016.7498233},
doi = {10.1109/ICDE.2016.7498233},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icde/ManethP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/BottcherHJM16,
author = {Stefan B{\"{o}}ttcher and
Rita Hartel and
Thomas Jacobs and
Sebastian Maneth},
title = {Incremental updates on compressed {XML}},
booktitle = {32nd {IEEE} International Conference on Data Engineering, {ICDE} 2016,
Helsinki, Finland, May 16-20, 2016},
pages = {1026--1037},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ICDE.2016.7498310},
doi = {10.1109/ICDE.2016.7498310},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icde/BottcherHJM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/FurcheGMS16,
author = {Tim Furche and
Jinsong Guo and
Sebastian Maneth and
Christian Schallhart},
editor = {Fatma {\"{O}}zcan and
Georgia Koutrika and
Sam Madden},
title = {Robust and Noise Resistant Wrapper Induction},
booktitle = {Proceedings of the 2016 International Conference on Management of
Data, {SIGMOD} Conference 2016, San Francisco, CA, USA, June 26 -
July 01, 2016},
pages = {773--784},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2882903.2915214},
doi = {10.1145/2882903.2915214},
timestamp = {Wed, 14 Nov 2018 10:56:20 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/FurcheGMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/natosec/SeidlMKE16,
author = {Helmut Seidl and
Sebastian Maneth and
Gregor Kemper and
Joost Engelfriet},
editor = {Javier Esparza and
Orna Grumberg and
Salomon Sickert},
title = {Equivalence - Combinatorics, Algebra, Proofs},
booktitle = {Dependable Software Systems Engineering},
series = {{NATO} Science for Peace and Security Series - {D:} Information and
Communication Security},
volume = {45},
pages = {202--243},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-627-9-202},
doi = {10.3233/978-1-61499-627-9-202},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/natosec/SeidlMKE16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BilleLMN16,
author = {Philip Bille and
Markus Lohrey and
Sebastian Maneth and
Gonzalo Navarro},
title = {Computation over Compressed Structured Data (Dagstuhl Seminar 16431)},
journal = {Dagstuhl Reports},
volume = {6},
number = {10},
pages = {99--119},
year = {2016},
url = {https://doi.org/10.4230/DagRep.6.10.99},
doi = {10.4230/DAGREP.6.10.99},
timestamp = {Wed, 28 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BilleLMN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Maneth15,
author = {Sebastian Maneth},
title = {A Survey on Decidable Equivalence Problems for Tree Transducers},
journal = {Int. J. Found. Comput. Sci.},
volume = {26},
number = {8},
pages = {1069--1100},
year = {2015},
url = {https://doi.org/10.1142/S0129054115400134},
doi = {10.1142/S0129054115400134},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/Maneth15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Bousquet-MelouL15,
author = {Mireille Bousquet{-}M{\'{e}}lou and
Markus Lohrey and
Sebastian Maneth and
Eric N{\"{o}}th},
title = {{XML} Compression via Directed Acyclic Graphs},
journal = {Theory Comput. Syst.},
volume = {57},
number = {4},
pages = {1322--1371},
year = {2015},
url = {https://doi.org/10.1007/s00224-014-9544-x},
doi = {10.1007/S00224-014-9544-X},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/Bousquet-MelouL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/ArroyueloCMMN0SV15,
author = {Diego Arroyuelo and
Francisco Claude and
Sebastian Maneth and
Veli M{\"{a}}kinen and
Gonzalo Navarro and
Kim Nguyen and
Jouni Sir{\'{e}}n and
Niko V{\"{a}}lim{\"{a}}ki},
title = {Fast in-memory XPath search using compressed indexes},
journal = {Softw. Pract. Exp.},
volume = {45},
number = {3},
pages = {399--434},
year = {2015},
url = {https://doi.org/10.1002/spe.2227},
doi = {10.1002/SPE.2227},
timestamp = {Wed, 28 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/spe/ArroyueloCMMN0SV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcc/BottcherHJM15,
author = {Stefan B{\"{o}}ttcher and
Rita Hartel and
Thomas Jacobs and
Sebastian Maneth},
editor = {Ali Bilgin and
Michael W. Marcellin and
Joan Serra{-}Sagrist{\`{a}} and
James A. Storer},
title = {OnlineRePair: {A} Recompressor for {XML} Structures},
booktitle = {2015 Data Compression Conference, {DCC} 2015, Snowbird, UT, USA, April
7-9, 2015},
pages = {439},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/DCC.2015.58},
doi = {10.1109/DCC.2015.58},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/dcc/BottcherHJM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/SeidlMK15,
author = {Helmut Seidl and
Sebastian Maneth and
Gregor Kemper},
editor = {Venkatesan Guruswami},
title = {Equivalence of Deterministic Top-Down Tree-to-String Transducers is
Decidable},
booktitle = {{IEEE} 56th Annual Symposium on Foundations of Computer Science, {FOCS}
2015, Berkeley, CA, USA, 17-20 October, 2015},
pages = {943--962},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/FOCS.2015.62},
doi = {10.1109/FOCS.2015.62},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/SeidlMK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/FiliotMRT15,
author = {Emmanuel Filiot and
Sebastian Maneth and
Pierre{-}Alain Reynier and
Jean{-}Marc Talbot},
editor = {Magn{\'{u}}s M. Halld{\'{o}}rsson and
Kazuo Iwama and
Naoki Kobayashi and
Bettina Speckmann},
title = {Decision Problems of Tree Transducers with Origin},
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 = {209--221},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-47666-6\_17},
doi = {10.1007/978-3-662-47666-6\_17},
timestamp = {Fri, 27 Mar 2020 09:02:59 +0100},
biburl = {https://dblp.org/rec/conf/icalp/FiliotMRT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/LohreyMP15,
author = {Markus Lohrey and
Sebastian Maneth and
Fabian Peternek},
editor = {Magn{\'{u}}s M. Halld{\'{o}}rsson and
Kazuo Iwama and
Naoki Kobayashi and
Bettina Speckmann},
title = {Compressed Tree Canonization},
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 = {337--349},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-47666-6\_27},
doi = {10.1007/978-3-662-47666-6\_27},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/LohreyMP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spire/ManethPS15,
author = {Sebastian Maneth and
Alberto Ord{\'{o}}{\~{n}}ez Pereira and
Helmut Seidl},
editor = {Costas S. Iliopoulos and
Simon J. Puglisi and
Emine Yilmaz},
title = {Transforming {XML} Streams with References},
booktitle = {String Processing and Information Retrieval - 22nd International Symposium,
{SPIRE} 2015, London, UK, September 1-4, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9309},
pages = {33--45},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23826-5\_4},
doi = {10.1007/978-3-319-23826-5\_4},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/spire/ManethPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bncod/2015,
editor = {Sebastian Maneth},
title = {Data Science - 30th British International Conference on Databases,
{BICOD} 2015, Edinburgh, UK, July 6-8, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9147},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20424-6},
doi = {10.1007/978-3-319-20424-6},
isbn = {978-3-319-20423-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bncod/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LohreyMP15,
author = {Markus Lohrey and
Sebastian Maneth and
Fabian Peternek},
title = {Compressed Tree Canonization},
journal = {CoRR},
volume = {abs/1502.04625},
year = {2015},
url = {http://arxiv.org/abs/1502.04625},
eprinttype = {arXiv},
eprint = {1502.04625},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LohreyMP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SeidlMK15,
author = {Helmut Seidl and
Sebastian Maneth and
Gregor Kemper},
title = {Equivalence of Deterministic Top-Down Tree-to-String Transducers is
Decidable},
journal = {CoRR},
volume = {abs/1503.09163},
year = {2015},
url = {http://arxiv.org/abs/1503.09163},
eprinttype = {arXiv},
eprint = {1503.09163},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SeidlMK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ManethP15,
author = {Sebastian Maneth and
Fabian Peternek},
title = {A Survey on Methods and Systems for Graph Compression},
journal = {CoRR},
volume = {abs/1504.00616},
year = {2015},
url = {http://arxiv.org/abs/1504.00616},
eprinttype = {arXiv},
eprint = {1504.00616},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ManethP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LohreyMR15,
author = {Markus Lohrey and
Sebastian Maneth and
Carl Philipp Reh},
title = {Traversing Grammar-Compressed Trees with Constant Delay},
journal = {CoRR},
volume = {abs/1511.02141},
year = {2015},
url = {http://arxiv.org/abs/1511.02141},
eprinttype = {arXiv},
eprint = {1511.02141},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LohreyMR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/EngelfrietMS14,
author = {Joost Engelfriet and
Sebastian Maneth and
Helmut Seidl},
editor = {Arseny M. Shur and
Mikhail V. Volkov},
title = {How to Remove the Look-Ahead of Top-Down Tree Transducers},
booktitle = {Developments in Language Theory - 18th International Conference, {DLT}
2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8633},
pages = {103--115},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09698-8\_10},
doi = {10.1007/978-3-319-09698-8\_10},
timestamp = {Thu, 09 Nov 2023 20:20:35 +0100},
biburl = {https://dblp.org/rec/conf/dlt/EngelfrietMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/HakutaMNI14,
author = {Shizuya Hakuta and
Sebastian Maneth and
Keisuke Nakano and
Hideya Iwasaki},
editor = {Isabel F. Cruz and
Elena Ferrari and
Yufei Tao and
Elisa Bertino and
Goce Trajcevski},
title = {XQuery streaming by Forest Transducers},
booktitle = {{IEEE} 30th International Conference on Data Engineering, Chicago,
{ICDE} 2014, IL, USA, March 31 - April 4, 2014},
pages = {952--963},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICDE.2014.6816714},
doi = {10.1109/ICDE.2014.6816714},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icde/HakutaMNI14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Maneth14,
author = {Sebastian Maneth},
editor = {Zolt{\'{a}}n {\'{E}}sik and
Zolt{\'{a}}n F{\"{u}}l{\"{o}}p},
title = {Equivalence Problems for Tree Transducers: {A} Brief Survey},
booktitle = {Proceedings 14th International Conference on Automata and Formal Languages,
{AFL} 2014, Szeged, Hungary, May 27-29, 2014},
series = {{EPTCS}},
volume = {151},
pages = {74--93},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.151.5},
doi = {10.4204/EPTCS.151.5},
timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
biburl = {https://dblp.org/rec/journals/corr/Maneth14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/LohreyMM13,
author = {Markus Lohrey and
Sebastian Maneth and
Roy Mennicke},
title = {{XML} tree structure compression using RePair},
journal = {Inf. Syst.},
volume = {38},
number = {8},
pages = {1150--1167},
year = {2013},
url = {https://doi.org/10.1016/j.is.2013.06.006},
doi = {10.1016/J.IS.2013.06.006},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/is/LohreyMM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/LohreyMN13,
author = {Markus Lohrey and
Sebastian Maneth and
Eric Noeth},
editor = {Wang{-}Chiew Tan and
Giovanna Guerrini and
Barbara Catania and
Anastasios Gounaris},
title = {{XML} compression via DAGs},
booktitle = {Joint 2013 {EDBT/ICDT} Conferences, {ICDT} '13 Proceedings, Genoa,
Italy, March 18-22, 2013},
pages = {69--80},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2448496.2448506},
doi = {10.1145/2448496.2448506},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdt/LohreyMN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BenediktEM13,
author = {Michael Benedikt and
Joost Engelfriet and
Sebastian Maneth},
editor = {Krishnendu Chatterjee and
Jir{\'{\i}} Sgall},
title = {Determinacy and Rewriting of Top-Down and {MSO} Tree Transformations},
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 = {146--158},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40313-2\_15},
doi = {10.1007/978-3-642-40313-2\_15},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BenediktEM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/ManethS13,
author = {Sebastian Maneth and
Tom Sebastian},
editor = {Sebastian Maneth},
title = {XPath Node Selection over Grammar-Compressed Trees},
booktitle = {Proceedings Second International Workshop on Trends in Tree Automata
and Tree Transducers, {TTATT} 2013, Hanoi, Vietnam, 19/10/2013},
series = {{EPTCS}},
volume = {134},
pages = {38--48},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.134.5},
doi = {10.4204/EPTCS.134.5},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/ManethS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/Maneth13,
editor = {Sebastian Maneth},
title = {Proceedings Second International Workshop on Trends in Tree Automata
and Tree Transducers, {TTATT} 2013, Hanoi, Vietnam, 19/10/2013},
series = {{EPTCS}},
volume = {134},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.134},
doi = {10.4204/EPTCS.134},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Maneth13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Bousquet-MelouLMN13,
author = {Mireille Bousquet{-}M{\'{e}}lou and
Markus Lohrey and
Sebastian Maneth and
Eric Noeth},
title = {{XML} Compression via DAGs},
journal = {CoRR},
volume = {abs/1309.5927},
year = {2013},
url = {http://arxiv.org/abs/1309.5927},
eprinttype = {arXiv},
eprint = {1309.5927},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Bousquet-MelouLMN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EngelfrietMS13,
author = {Joost Engelfriet and
Sebastian Maneth and
Helmut Seidl},
title = {Look-Ahead Removal for Top-Down Tree Transducers},
journal = {CoRR},
volume = {abs/1311.2400},
year = {2013},
url = {http://arxiv.org/abs/1311.2400},
eprinttype = {arXiv},
eprint = {1311.2400},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EngelfrietMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HakutaMNI13,
author = {Shizuya Hakuta and
Sebastian Maneth and
Keisuke Nakano and
Hideya Iwasaki},
title = {XQuery Streaming by Forest Transducers},
journal = {CoRR},
volume = {abs/1311.6570},
year = {2013},
url = {http://arxiv.org/abs/1311.6570},
eprinttype = {arXiv},
eprint = {1311.6570},
timestamp = {Thu, 26 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/HakutaMNI13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/ManethS13,
author = {Sebastian Maneth and
Helmut Seidl},
title = {Tree Transducers and Formal Methods (Dagstuhl Seminar 13192)},
journal = {Dagstuhl Reports},
volume = {3},
number = {5},
pages = {1--18},
year = {2013},
url = {https://doi.org/10.4230/DagRep.3.5.1},
doi = {10.4230/DAGREP.3.5.1},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/ManethS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/ManethN13,
author = {Sebastian Maneth and
Gonzalo Navarro},
title = {Indexes and Computation over Compressed Structured Data (Dagstuhl
Seminar 13232)},
journal = {Dagstuhl Reports},
volume = {3},
number = {6},
pages = {22--37},
year = {2013},
url = {https://doi.org/10.4230/DagRep.3.6.22},
doi = {10.4230/DAGREP.3.6.22},
timestamp = {Wed, 28 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/ManethN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/LohreyMS12,
author = {Markus Lohrey and
Sebastian Maneth and
Manfred Schmidt{-}Schau{\ss}},
title = {Parameter reduction and automata evaluation for grammar-compressed
trees},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {5},
pages = {1651--1669},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2012.03.003},
doi = {10.1016/J.JCSS.2012.03.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/LohreyMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/GrozMS12,
author = {Beno{\^{\i}}t Groz and
Sebastian Maneth and
Slawek Staworko},
editor = {Michael Benedikt and
Markus Kr{\"{o}}tzsch and
Maurizio Lenzerini},
title = {Deterministic regular expressions in linear time},
booktitle = {Proceedings of the 31st {ACM} {SIGMOD-SIGACT-SIGART} Symposium on
Principles of Database Systems, {PODS} 2012, Scottsdale, AZ, USA,
May 20-24, 2012},
pages = {49--60},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2213556.2213566},
doi = {10.1145/2213556.2213566},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/GrozMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Maneth12,
author = {Sebastian Maneth},
editor = {Ashish Tiwari},
title = {Dictionary-Based Tree Compression (Invited Talk)},
booktitle = {23rd International Conference on Rewriting Techniques and Applications
(RTA'12) , {RTA} 2012, May 28 - June 2, 2012, Nagoya, Japan},
series = {LIPIcs},
volume = {15},
pages = {5--5},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.RTA.2012.5},
doi = {10.4230/LIPICS.RTA.2012.5},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/Maneth12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ws/automata2012/ManethFS12,
author = {Sebastian Maneth and
Sylvia Friese and
Helmut Seidl},
editor = {Deepak D'Souza and
Priti Shankar},
title = {Type Checking of Tree Walking Transducers},
booktitle = {Modern Applications of Automata Theory},
series = {IISc Research Monographs Series},
volume = {2},
pages = {325--372},
publisher = {World Scientific},
year = {2012},
url = {https://doi.org/10.1142/9789814271059\_0011},
doi = {10.1142/9789814271059\_0011},
timestamp = {Sat, 03 Aug 2019 22:52:51 +0200},
biburl = {https://dblp.org/rec/books/ws/automata2012/ManethFS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/FrieseSM11,
author = {Sylvia Friese and
Helmut Seidl and
Sebastian Maneth},
title = {Earliest Normal Form and Minimization for Bottom-up Tree Transducers},
journal = {Int. J. Found. Comput. Sci.},
volume = {22},
number = {7},
pages = {1607--1623},
year = {2011},
url = {https://doi.org/10.1142/S012905411100891X},
doi = {10.1142/S012905411100891X},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/FrieseSM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/GimenezGM11,
author = {Omer Gim{\'{e}}nez and
Guillem Godoy and
Sebastian Maneth},
title = {Deciding Regularity of the Set of Instances of a Set of Terms with
Regular Constraints is EXPTIME-Complete},
journal = {{SIAM} J. Comput.},
volume = {40},
number = {2},
pages = {446--464},
year = {2011},
url = {https://doi.org/10.1137/090777669},
doi = {10.1137/090777669},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/GimenezGM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcc/LohreyMM11,
author = {Markus Lohrey and
Sebastian Maneth and
Roy Mennicke},
editor = {James A. Storer and
Michael W. Marcellin},
title = {Tree Structure Compression with RePair},
booktitle = {2011 Data Compression Conference {(DCC} 2011), 29-31 March 2011, Snowbird,
UT, {USA}},
pages = {353--362},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/DCC.2011.42},
doi = {10.1109/DCC.2011.42},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dcc/LohreyMM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/GasconMR11,
author = {Adri{\`{a}} Gasc{\'{o}}n and
Sebastian Maneth and
Lander Ramos},
editor = {Manfred Schmidt{-}Schau{\ss}},
title = {First-Order Unification on Compressed Terms},
booktitle = {Proceedings of the 22nd International Conference on Rewriting Techniques
and Applications, {RTA} 2011, May 30 - June 1, 2011, Novi Sad, Serbia},
series = {LIPIcs},
volume = {10},
pages = {51--60},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.RTA.2011.51},
doi = {10.4230/LIPICS.RTA.2011.51},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/GasconMR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/ManethN10,
author = {Sebastian Maneth and
Kim Nguyen},
title = {XPath Whole Query Optimization},
journal = {Proc. {VLDB} Endow.},
volume = {3},
number = {1},
pages = {882--893},
year = {2010},
url = {http://www.vldb.org/pvldb/vldb2010/pvldb\_vol3/R79.pdf},
doi = {10.14778/1920841.1920954},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pvldb/ManethN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Maneth10,
author = {Sebastian Maneth},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {411},
number = {38-39},
pages = {3403},
year = {2010},
url = {https://doi.org/10.1016/j.tcs.2010.05.039},
doi = {10.1016/J.TCS.2010.05.039},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Maneth10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/FrieseSM10,
author = {Sylvia Friese and
Helmut Seidl and
Sebastian Maneth},
editor = {Yuan Gao and
Hanlin Lu and
Shinnosuke Seki and
Sheng Yu},
title = {Minimization of Deterministic Bottom-Up Tree Transducers},
booktitle = {Developments in Language Theory, 14th International Conference, {DLT}
2010, London, ON, Canada, August 17-20, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6224},
pages = {185--196},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14455-4\_18},
doi = {10.1007/978-3-642-14455-4\_18},
timestamp = {Thu, 19 Mar 2020 15:28:05 +0100},
biburl = {https://dblp.org/rec/conf/dlt/FrieseSM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/ArroyueloCMMNNSV10,
author = {Diego Arroyuelo and
Francisco Claude and
Sebastian Maneth and
Veli M{\"{a}}kinen and
Gonzalo Navarro and
Kim Nguyen and
Jouni Sir{\'{e}}n and
Niko V{\"{a}}lim{\"{a}}ki},
editor = {Feifei Li and
Mirella M. Moro and
Shahram Ghandeharizadeh and
Jayant R. Haritsa and
Gerhard Weikum and
Michael J. Carey and
Fabio Casati and
Edward Y. Chang and
Ioana Manolescu and
Sharad Mehrotra and
Umeshwar Dayal and
Vassilis J. Tsotras},
title = {Fast in-memory XPath search using compressed indexes},
booktitle = {Proceedings of the 26th International Conference on Data Engineering,
{ICDE} 2010, March 1-6, 2010, Long Beach, California, {USA}},
pages = {417--428},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICDE.2010.5447858},
doi = {10.1109/ICDE.2010.5447858},
timestamp = {Wed, 28 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icde/ArroyueloCMMNNSV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/LemayMN10,
author = {Aur{\'{e}}lien Lemay and
Sebastian Maneth and
Joachim Niehren},
editor = {Jan Paredaens and
Dirk Van Gucht},
title = {A learning algorithm for top-down {XML} transformations},
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 = {285--296},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1807085.1807122},
doi = {10.1145/1807085.1807122},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/LemayMN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1003-4353,
author = {Sebastian Maneth and
Kim Nguyen},
title = {XPath Whole Query Optimization},
journal = {CoRR},
volume = {abs/1003.4353},
year = {2010},
url = {http://arxiv.org/abs/1003.4353},
eprinttype = {arXiv},
eprint = {1003.4353},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1003-4353.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-5406,
author = {Markus Lohrey and
Sebastian Maneth and
Roy Mennicke},
title = {Tree structure compression with RePair},
journal = {CoRR},
volume = {abs/1007.5406},
year = {2010},
url = {http://arxiv.org/abs/1007.5406},
eprinttype = {arXiv},
eprint = {1007.5406},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-5406.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1012-5696,
author = {Sebastian Maneth and
Tom Sebastian},
title = {Fast and Tiny Structural Self-Indexes for {XML}},
journal = {CoRR},
volume = {abs/1012.5696},
year = {2010},
url = {http://arxiv.org/abs/1012.5696},
eprinttype = {arXiv},
eprint = {1012.5696},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1012-5696.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/EngelfrietMS09,
author = {Joost Engelfriet and
Sebastian Maneth and
Helmut Seidl},
title = {Deciding equivalence of top-down {XML} transformations in polynomial
time},
journal = {J. Comput. Syst. Sci.},
volume = {75},
number = {5},
pages = {271--286},
year = {2009},
url = {https://doi.org/10.1016/j.jcss.2009.01.001},
doi = {10.1016/J.JCSS.2009.01.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/EngelfrietMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/KatsirelosMNW09,
author = {George Katsirelos and
Sebastian Maneth and
Nina Narodytska and
Toby Walsh},
editor = {Ian P. Gent},
title = {Restricted Global Grammar Constraints},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th
International Conference, {CP} 2009, Lisbon, Portugal, September 20-24,
2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5732},
pages = {501--508},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04244-7\_40},
doi = {10.1007/978-3-642-04244-7\_40},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/KatsirelosMNW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/LohreyMS09,
author = {Markus Lohrey and
Sebastian Maneth and
Manfred Schmidt{-}Schau{\ss}},
editor = {Luca de Alfaro},
title = {Parameter Reduction in Grammar-Compressed Trees},
booktitle = {Foundations of Software Science and Computational Structures, 12th
International Conference, {FOSSACS} 2009, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2009,
York, UK, March 22-29, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5504},
pages = {212--226},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00596-1\_16},
doi = {10.1007/978-3-642-00596-1\_16},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/LohreyMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wia/2009,
editor = {Sebastian Maneth},
title = {Implementation and Application of Automata, 14th International Conference,
{CIAA} 2009, Sydney, Australia, July 14-17, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5642},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02979-0},
doi = {10.1007/978-3-642-02979-0},
isbn = {978-3-642-02978-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0906-5233,
author = {George Katsirelos and
Sebastian Maneth and
Nina Narodytska and
Toby Walsh},
title = {Restricted Global Grammar Constraints},
journal = {CoRR},
volume = {abs/0906.5233},
year = {2009},
url = {http://arxiv.org/abs/0906.5233},
eprinttype = {arXiv},
eprint = {0906.5233},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0906-5233.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0907-2089,
author = {Diego Arroyuelo and
Francisco Claude and
Sebastian Maneth and
Veli M{\"{a}}kinen and
Gonzalo Navarro and
Kim Nguyen and
Jouni Sir{\'{e}}n and
Niko V{\"{a}}lim{\"{a}}ki},
title = {Fast In-Memory XPath Search over Compressed Text and Tree Indexes},
journal = {CoRR},
volume = {abs/0907.2089},
year = {2009},
url = {http://arxiv.org/abs/0907.2089},
eprinttype = {arXiv},
eprint = {0907.2089},
timestamp = {Wed, 28 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-0907-2089.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0910-2315,
author = {Kazuhiro Inaba and
Sebastian Maneth},
title = {The Complexity of Translation Membership for Macro Tree Transducers},
journal = {CoRR},
volume = {abs/0910.2315},
year = {2009},
url = {http://arxiv.org/abs/0910.2315},
eprinttype = {arXiv},
eprint = {0910.2315},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0910-2315.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0911-3674,
author = {Omer Gim{\'{e}}nez and
Guillem Godoy and
Sebastian Maneth},
title = {Deciding Regularity of the Set of Instances of a Set of Terms with
Regular Constraints is EXPTIME-Complete},
journal = {CoRR},
volume = {abs/0911.3674},
year = {2009},
url = {http://arxiv.org/abs/0911.3674},
eprinttype = {arXiv},
eprint = {0911.3674},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0911-3674.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/BusattoLM08,
author = {Giorgio Busatto and
Markus Lohrey and
Sebastian Maneth},
title = {Efficient memory representation of {XML} document trees},
journal = {Inf. Syst.},
volume = {33},
number = {4-5},
pages = {456--474},
year = {2008},
url = {https://doi.org/10.1016/j.is.2008.01.004},
doi = {10.1016/J.IS.2008.01.004},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/is/BusattoLM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/TeubnerGMS08,
author = {Jens Teubner and
Torsten Grust and
Sebastian Maneth and
Sherif Sakr},
title = {Dependable cardinality forecasts for XQuery},
journal = {Proc. {VLDB} Endow.},
volume = {1},
number = {1},
pages = {463--477},
year = {2008},
url = {http://www.vldb.org/pvldb/vol1/1453908.pdf},
doi = {10.14778/1453856.1453908},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pvldb/TeubnerGMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexaw/ManethMS08,
author = {Sebastian Maneth and
Nikolay Mihaylov and
Sherif Sakr},
title = {{XML} Tree Structure Compression},
booktitle = {19th International Workshop on Database and Expert Systems Applications
{(DEXA} 2008), 1-5 September 2008, Turin, Italy},
pages = {243--247},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/DEXA.2008.41},
doi = {10.1109/DEXA.2008.41},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dexaw/ManethMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/GodoyMT08,
author = {Guillem Godoy and
Sebastian Maneth and
Sophie Tison},
editor = {Roberto M. Amadio},
title = {Classes of Tree Homomorphisms with Decidable Preservation of Regularity},
booktitle = {Foundations of Software Science and Computational Structures, 11th
International Conference, {FOSSACS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29 - April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4962},
pages = {127--141},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78499-9\_10},
doi = {10.1007/978-3-540-78499-9\_10},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/GodoyMT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/InabaM08,
author = {Kazuhiro Inaba and
Sebastian Maneth},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {The Complexity of Tree Transducer Output Languages},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
Bangalore, India},
series = {LIPIcs},
volume = {2},
pages = {244--255},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1757},
doi = {10.4230/LIPICS.FSTTCS.2008.1757},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/InabaM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/planX/ManethN08,
author = {Sebastian Maneth and
Keisuke Nakano},
title = {{XML} Type Checking for Macro Tree Transducers with Holes},
booktitle = {{PLAN-X} 2008, Programming Language Technologies for XML, An {ACM}
{SIGPLAN} Workshop colocated with {POPL} 2008, San Francisco, California,
USA, January 9, 2008},
year = {2008},
url = {http://gemo.futurs.inria.fr/events/PLANX2008/papers/p19.pdf},
timestamp = {Thu, 26 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/planX/ManethN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/InabaHM08,
author = {Kazuhiro Inaba and
Haruo Hosoya and
Sebastian Maneth},
editor = {Oscar H. Ibarra and
Bala Ravikumar},
title = {Multi-Return Macro Tree Transducers},
booktitle = {Implementation and Applications of Automata, 13th International Conference,
{CIAA} 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5148},
pages = {102--111},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70844-5\_11},
doi = {10.1007/978-3-540-70844-5\_11},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/wia/InabaHM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2008P8261,
editor = {Stefan B{\"{o}}ttcher and
Markus Lohrey and
Sebastian Maneth and
Wojciech Rytter},
title = {Structure-Based Compression of Complex Massive Data, 22.06. - 27.06.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08261},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/portals/08261/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2008P8261.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BonifatiLMMNP08,
author = {Angela Bonifati and
Gregory Leighton and
Veli M{\"{a}}kinen and
Sebastian Maneth and
Gonzalo Navarro and
Andrea Pugliese},
editor = {Stefan B{\"{o}}ttcher and
Markus Lohrey and
Sebastian Maneth and
Wojciech Rytter},
title = {An In-Memory XQuery/XPath Engine over a Compressed Structured Text
Representation},
booktitle = {Structure-Based Compression of Complex Massive Data, 22.06. - 27.06.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08261},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1677/},
timestamp = {Wed, 28 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/BonifatiLMMNP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BottcherLMR08,
author = {Stefan B{\"{o}}ttcher and
Markus Lohrey and
Sebastian Maneth and
Wojciech Rytter},
editor = {Stefan B{\"{o}}ttcher and
Markus Lohrey and
Sebastian Maneth and
Wojciech Rytter},
title = {08261 Abstracts Collection - Structure-Based Compression of Complex
Massive Data},
booktitle = {Structure-Based Compression of Complex Massive Data, 22.06. - 27.06.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08261},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1694/},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BottcherLMR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BottcherLMR08a,
author = {Stefan B{\"{o}}ttcher and
Markus Lohrey and
Sebastian Maneth and
Wojciech Rytter},
editor = {Stefan B{\"{o}}ttcher and
Markus Lohrey and
Sebastian Maneth and
Wojciech Rytter},
title = {08261 Executive Summary - Structure-Based Compression of Complex Massive
Data},
booktitle = {Structure-Based Compression of Complex Massive Data, 22.06. - 27.06.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08261},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1681/},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BottcherLMR08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/FisherM07,
author = {Damien K. Fisher and
Sebastian Maneth},
editor = {Rada Chirkova and
Asuman Dogac and
M. Tamer {\"{O}}zsu and
Timos K. Sellis},
title = {Structural Selectivity Estimation for {XML} Documents},
booktitle = {Proceedings of the 23rd International Conference on Data Engineering,
{ICDE} 2007, The Marmara Hotel, Istanbul, Turkey, April 15-20, 2007},
pages = {626--635},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICDE.2007.367908},
doi = {10.1109/ICDE.2007.367908},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icde/FisherM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/ManethPS07,
author = {Sebastian Maneth and
Thomas Perst and
Helmut Seidl},
editor = {Thomas Schwentick and
Dan Suciu},
title = {Exact {XML} Type Checking in Polynomial Time},
booktitle = {Database Theory - {ICDT} 2007, 11th International Conference, Barcelona,
Spain, January 10-12, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4353},
pages = {254--268},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/11965893\_18},
doi = {10.1007/11965893\_18},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/icdt/ManethPS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/planX/ManethS07,
author = {Sebastian Maneth and
Helmut Seidl},
title = {Deciding Equivalence of Top-Down {XML} Transformations in Polynomial
Time},
booktitle = {{PLAN-X} 2007, Programming Language Technologies for XML, An {ACM}
{SIGPLAN} Workshop colocated with {POPL} 2007, Nice, France, January
20, 2007},
pages = {73--79},
year = {2007},
url = {http://www.plan-x-2007.org/plan-x-2007.pdf},
timestamp = {Wed, 27 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/planX/ManethS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/FundulakiM07,
author = {Irini Fundulaki and
Sebastian Maneth},
editor = {Volkmar Lotz and
Bhavani Thuraisingham},
title = {Formalizing {XML} access control for update operations},
booktitle = {12th {ACM} Symposium on Access Control Models and Technologies, {SACMAT}
2007, Sophia Antipolis, France, June 20-22, 2007, Proceedings},
pages = {169--174},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1266840.1266868},
doi = {10.1145/1266840.1266868},
timestamp = {Wed, 29 Jun 2022 15:37:42 +0200},
biburl = {https://dblp.org/rec/conf/sacmat/FundulakiM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/EngelfrietM06,
author = {Joost Engelfriet and
Sebastian Maneth},
title = {The equivalence problem for deterministic {MSO} tree transducers is
decidable},
journal = {Inf. Process. Lett.},
volume = {100},
number = {5},
pages = {206--212},
year = {2006},
url = {https://doi.org/10.1016/j.ipl.2006.05.015},
doi = {10.1016/J.IPL.2006.05.015},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/EngelfrietM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LohreyM06,
author = {Markus Lohrey and
Sebastian Maneth},
title = {The complexity of tree automata and XPath on grammar-compressed trees},
journal = {Theor. Comput. Sci.},
volume = {363},
number = {2},
pages = {196--210},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.07.024},
doi = {10.1016/J.TCS.2006.07.024},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LohreyM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dics/EmirMO06,
author = {Burak Emir and
Sebastian Maneth and
Martin Odersky},
editor = {J{\"{u}}rg Kohlas and
Bertrand Meyer and
Andr{\'{e}} Schiper},
title = {Scalable Programming Abstractions for {XML} Services},
booktitle = {Dependable Systems: Software, Computing, Networks, Research Results
of the {DICS} Program},
series = {Lecture Notes in Computer Science},
volume = {4028},
pages = {103--126},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11808107\_5},
doi = {10.1007/11808107\_5},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dics/EmirMO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/trier/MI06-04,
author = {Sebastian Maneth and
Thomas Perst and
Helmut Seidl},
title = {Exact {XML} Type Checking in Polynomial Time},
journal = {Universit{\"{a}}t Trier, Mathematik/Informatik, Forschungsbericht},
volume = {06-04},
year = {2006},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/tr/trier/MI06-04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/BusattoLM05,
author = {Giorgio Busatto and
Markus Lohrey and
Sebastian Maneth},
editor = {Gavin M. Bierman and
Christoph Koch},
title = {Efficient Memory Representation of {XML} Documents},
booktitle = {Database Programming Languages, 10th International Symposium, {DBPL}
2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3774},
pages = {199--216},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11601524\_13},
doi = {10.1007/11601524\_13},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/dbpl/BusattoLM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/EngelfrietM05,
author = {Joost Engelfriet and
Sebastian Maneth},
editor = {Ramaswamy Ramanujam and
Sandeep Sen},
title = {The Equivalence Problem for Deterministic {MSO} Tree Transducers Is
Decidable},
booktitle = {{FSTTCS} 2005: Foundations of Software Technology and Theoretical
Computer Science, 25th International Conference, Hyderabad, India,
December 15-18, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3821},
pages = {495--504},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11590156\_40},
doi = {10.1007/11590156\_40},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/EngelfrietM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/ManethBPS05,
author = {Sebastian Maneth and
Alexandru Berlea and
Thomas Perst and
Helmut Seidl},
editor = {Chen Li},
title = {{XML} type checking with macro tree transducers},
booktitle = {Proceedings of the Twenty-fourth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 13-15, 2005, Baltimore, Maryland,
{USA}},
pages = {283--294},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1065167.1065203},
doi = {10.1145/1065167.1065203},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/ManethBPS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/LohreyM05,
author = {Markus Lohrey and
Sebastian Maneth},
editor = {Jacques Farr{\'{e}} and
Igor Litovsky and
Sylvain Schmitz},
title = {Tree Automata and XPath on Compressed Trees},
booktitle = {Implementation and Application of Automata, 10th International Conference,
{CIAA} 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3845},
pages = {225--237},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11605157\_19},
doi = {10.1007/11605157\_19},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/wia/LohreyM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0506014,
author = {Joost Engelfriet and
Sebastian Maneth},
title = {The Equivalence Problem for Deterministic {MSO} Tree Transducers is
Decidable},
journal = {CoRR},
volume = {abs/cs/0506014},
year = {2005},
url = {http://arxiv.org/abs/cs/0506014},
eprinttype = {arXiv},
eprint = {cs/0506014},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0506014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/ManethB04,
author = {Sebastian Maneth and
Giorgio Busatto},
editor = {Igor Walukiewicz},
title = {Tree Transducers and Tree Compressions},
booktitle = {Foundations of Software Science and Computation Structures, 7th International
Conference, {FOSSACS} 2004, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2004, Barcelona, Spain,
March 29 - April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2987},
pages = {363--377},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24727-2\_26},
doi = {10.1007/978-3-540-24727-2\_26},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/ManethB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/EngelfrietM03,
author = {Joost Engelfriet and
Sebastian Maneth},
title = {A comparison of pebble tree transducers with macro tree transducers},
journal = {Acta Informatica},
volume = {39},
number = {9},
pages = {613--698},
year = {2003},
url = {https://doi.org/10.1007/s00236-003-0120-0},
doi = {10.1007/S00236-003-0120-0},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/EngelfrietM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/EngelfrietM03,
author = {Joost Engelfriet and
Sebastian Maneth},
title = {Macro Tree Translations of Linear Size Increase are {MSO} Definable},
journal = {{SIAM} J. Comput.},
volume = {32},
number = {4},
pages = {950--1006},
year = {2003},
url = {https://doi.org/10.1137/S0097539701394511},
doi = {10.1137/S0097539701394511},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/EngelfrietM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Maneth03,
author = {Sebastian Maneth},
editor = {Paritosh K. Pandya and
Jaikumar Radhakrishnan},
title = {The Macro Tree Transducer Hierarchy Collapses for Functions of Linear
Size Increase},
booktitle = {{FST} {TCS} 2003: Foundations of Software Technology and Theoretical
Computer Science, 23rd Conference, Mumbai, India, December 15-17,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2914},
pages = {326--337},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24597-1\_28},
doi = {10.1007/978-3-540-24597-1\_28},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Maneth03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/BexMN02,
author = {Geert Jan Bex and
Sebastian Maneth and
Frank Neven},
title = {A formal model for an expressive fragment of {XSLT}},
journal = {Inf. Syst.},
volume = {27},
number = {1},
pages = {21--39},
year = {2002},
url = {https://doi.org/10.1016/S0306-4379(01)00033-3},
doi = {10.1016/S0306-4379(01)00033-3},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/is/BexMN02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/EngelfrietM02,
author = {Joost Engelfriet and
Sebastian Maneth},
title = {Output String Languages of Compositions of Deterministic Macro Tree
Transducers},
journal = {J. Comput. Syst. Sci.},
volume = {64},
number = {2},
pages = {350--395},
year = {2002},
url = {https://doi.org/10.1006/jcss.2001.1816},
doi = {10.1006/JCSS.2001.1816},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/EngelfrietM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Maneth02,
author = {Sebastian Maneth},
editor = {Manindra Agrawal and
Anil Seth},
title = {The Complexity of Compositions of Deterministic Tree Transducers},
booktitle = {{FST} {TCS} 2002: Foundations of Software Technology and Theoretical
Computer Science, 22nd Conference Kanpur, India, December 12-14, 2002,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2556},
pages = {265--276},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36206-1\_24},
doi = {10.1007/3-540-36206-1\_24},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Maneth02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/EngelfrietM02,
author = {Joost Engelfriet and
Sebastian Maneth},
editor = {Krzysztof Diks and
Wojciech Rytter},
title = {Two-Way Finite State Transducers with Nested Pebbles},
booktitle = {Mathematical Foundations of Computer Science 2002, 27th International
Symposium, {MFCS} 2002, Warsaw, Poland, August 26-30, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2420},
pages = {234--244},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45687-2\_19},
doi = {10.1007/3-540-45687-2\_19},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/EngelfrietM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/EngelfrietM01,
author = {Joost Engelfriet and
Sebastian Maneth},
editor = {Werner Kuich and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Hierarchies of String Languages Generated by Deterministic Tree Transducers},
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 = {228--238},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-46011-X\_19},
doi = {10.1007/3-540-46011-X\_19},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dlt/EngelfrietM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/FulopM00,
author = {Zolt{\'{a}}n F{\"{u}}l{\"{o}}p and
Sebastian Maneth},
title = {Domains of partial attributed tree transducers},
journal = {Inf. Process. Lett.},
volume = {73},
number = {5-6},
pages = {175--180},
year = {2000},
url = {https://doi.org/10.1016/S0020-0190(00)00028-4},
doi = {10.1016/S0020-0190(00)00028-4},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/FulopM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cl/BexMN00,
author = {Geert Jan Bex and
Sebastian Maneth and
Frank Neven},
editor = {John W. Lloyd and
Ver{\'{o}}nica Dahl and
Ulrich Furbach and
Manfred Kerber and
Kung{-}Kiu Lau and
Catuscia Palamidessi and
Lu{\'{\i}}s Moniz Pereira and
Yehoshua Sagiv and
Peter J. Stuckey},
title = {A Formal Model for an Expressive Fragment of {XSLT}},
booktitle = {Computational Logic - {CL} 2000, First International Conference, London,
UK, 24-28 July, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1861},
pages = {1137--1151},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44957-4\_76},
doi = {10.1007/3-540-44957-4\_76},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cl/BexMN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/EngelfrietM00,
author = {Joost Engelfriet and
Sebastian Maneth},
editor = {Horst Reichel and
Sophie Tison},
title = {Characterizing and Deciding MSO-Definability of Macro Tree Transductions},
booktitle = {{STACS} 2000, 17th Annual Symposium on Theoretical Aspects of Computer
Science, Lille, France, February 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1770},
pages = {542--554},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46541-3\_45},
doi = {10.1007/3-540-46541-3\_45},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/EngelfrietM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/grammars/Maneth99,
author = {Sebastian Maneth},
title = {Cooperating Distributed Hyperedge Replacement Grammars},
journal = {Grammars},
volume = {1},
number = {3},
pages = {193--208},
year = {1999},
url = {https://doi.org/10.1023/A:1009939414825},
doi = {10.1023/A:1009939414825},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/grammars/Maneth99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/EngelfrietM99,
author = {Joost Engelfriet and
Sebastian Maneth},
title = {Macro Tree Transducers, Attribute Grammars, and {MSO} Definable Tree
Translations},
journal = {Inf. Comput.},
volume = {154},
number = {1},
pages = {34--91},
year = {1999},
url = {https://doi.org/10.1006/inco.1999.2807},
doi = {10.1006/INCO.1999.2807},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/EngelfrietM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/ManethN99,
author = {Sebastian Maneth and
Frank Neven},
editor = {Richard Connor and
Alberto O. Mendelzon},
title = {Structured Document Transformations Based on {XSL}},
booktitle = {Research Issues in Structured and Semistructured Database Programming,
7th International Workshop on Database Programming Languages, DBPL'99,
Kinloch Rannoch, Scotland, UK, September 1-3, 1999, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1949},
pages = {80--98},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-44543-9\_6},
doi = {10.1007/3-540-44543-9\_6},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dbpl/ManethN99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Maneth99,
author = {Sebastian Maneth},
editor = {Wolfgang Thomas},
title = {String Languages Generated by Total Deterministic Macro Tree Transducers},
booktitle = {Foundations of Software Science and Computation Structure, Second
International Conference, FoSSaCS'99, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, ETAPS'99,
Amsterdam, The Netherlands, March 22-28, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1578},
pages = {258--272},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49019-1\_18},
doi = {10.1007/3-540-49019-1\_18},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/Maneth99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gmmas/FulopM99,
author = {Zolt{\'{a}}n F{\"{u}}l{\"{o}}p and
Sebastian Maneth},
editor = {Gheorghe Paun and
Arto Salomaa},
title = {A Characterization of {ETOL} Tree Languages by Cooperating Regular
Tree Grammars},
booktitle = {Grammatical Models of Multi-Agent Systems},
series = {Topics in Computer Mathematics},
volume = {8},
pages = {182--192},
publisher = {Gordon and Breach Science Publishers},
year = {1999},
timestamp = {Tue, 14 Jul 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gmmas/FulopM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Maneth98,
author = {Sebastian Maneth},
title = {The Generating Power of Total Deterministic Tree Transducers},
journal = {Inf. Comput.},
volume = {147},
number = {2},
pages = {111--144},
year = {1998},
url = {https://doi.org/10.1006/inco.1998.2736},
doi = {10.1006/INCO.1998.2736},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Maneth98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/ManethV98,
author = {Sebastian Maneth and
Heiko Vogler},
title = {Attributed Context-Free Hypergraph Grammars},
journal = {J. Autom. Lang. Comb.},
volume = {3},
number = {2},
pages = {105--147},
year = {1998},
url = {https://doi.org/10.25596/jalc-1998-105},
doi = {10.25596/JALC-1998-105},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/ManethV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/FassbenderM98,
author = {Heinz Fa{\ss}bender and
Sebastian Maneth},
title = {A Strict Border for the Decidability of E-Unification for Recursive
Functions},
journal = {J. Funct. Log. Program.},
volume = {1998},
number = {4},
year = {1998},
url = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1998/A98-04/A98-04.html},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jflp/FassbenderM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Maneth98,
author = {Sebastian Maneth},
editor = {Alica Kelemenov{\'{a}}},
title = {Cooperating Distributed Hyperedge Replacement Grammars},
booktitle = {Progreedings of the {MFCS} '98 Satellite Workshop on Grammar Systems,
Brno, Czech Republic, August 22-23, 1998},
pages = {149--161},
publisher = {Silesian University, Institute of Computer Science, Opava, Czech Republic},
year = {1998},
timestamp = {Thu, 20 Apr 2006 14:31:20 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Maneth98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tagt/EngelfrietM98,
author = {Joost Engelfriet and
Sebastian Maneth},
editor = {Hartmut Ehrig and
Gregor Engels and
Hans{-}J{\"{o}}rg Kreowski and
Grzegorz Rozenberg},
title = {Tree Languages Generated be Context-Free Graph Grammars},
booktitle = {Theory and Application of Graph Transformations, 6th International
Workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1764},
pages = {15--29},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-540-46464-8\_2},
doi = {10.1007/978-3-540-46464-8\_2},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/tagt/EngelfrietM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/FassbenderM96,
author = {Heinz Fa{\ss}bender and
Sebastian Maneth},
editor = {Michael Hanus and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {A Strict Border for the Decidability of E-Unification for Recursive
Functions},
booktitle = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
Aachen, Germany, September 25-27, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1139},
pages = {194--208},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61735-3\_13},
doi = {10.1007/3-540-61735-3\_13},
timestamp = {Thu, 14 Oct 2021 10:38:45 +0200},
biburl = {https://dblp.org/rec/conf/alp/FassbenderM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
