Sebastian Maneth

ORCID

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 70

Top Venues

CoRR

J. Comput. Syst. Sci.

ICDE

Inf. Comput.

Publications

Sebastian Maneth, Helmut Seidl
Checking in polynomial time whether or not a regular tree language is deterministic top-down. Inf. Process. Lett. 184 (2024)
Sebastian Maneth, Helmut Seidl, Martin Vu
Functionality of compositions of top-down tree transducers is decidable. Inf. Comput. 296 (2024)
Sebastian Maneth, Helmut Seidl, Martin Vu
Definability Results for Top-Down Tree Transducers. Int. J. Found. Comput. Sci. 34 (2&3) (2023)
Charles Peyrat, Paul Gallot, Sebastian Maneth, Keisuke Nakano
Deciding Linear Height and Linear Size-to-Height Increase for Macro Tree Transducers. CoRR (2023)
Kenji Hashimoto, Sebastian Maneth
Characterizing attributed tree translations in terms of macro tree transducers. Theor. Comput. Sci. 963 (2023)
Sebastian Maneth, Martin Vu
Deciding Whether an Attributed Translation Can Be Realized by a Top-Down Transducer. CIAA (2023)
Sebastian Maneth, Helmut Seidl
Checking in Polynomial Time whether or not a Regular Tree Language is Deterministic Top-Down. CoRR (2023)
Sebastian Maneth, Helmut Seidl
Deciding origin equivalence of weakly self-nesting macro tree transducers. Inf. Process. Lett. 180 (2023)
Sebastian Maneth, Martin Vu
Deciding whether an Attributed Translation can be realized by Transducers. CoRR (2023)
Rishabh Vallabh Varsha Haria, Sahar Mahdie Klim Al Zaidawi, Sebastian Maneth
Predicting Gender via Eye Movements. CoRR (2022)
Kenji Hashimoto, Sebastian Maneth
Characterizing Attributed Tree Translations in Terms of Macro Tree Transducers. CoRR (2022)
Rishabh Vallabh Varsha Haria, Sahar Mahdie Klim Al Zaidawi, Sebastian Maneth
Predicting Gender via Eye Movements. HCI (48) (2022)
Sahar Mahdie Klim Al Zaidawi, Martin H. U. Prinzler, Jonas Lührs, Sebastian Maneth
An extensive study of user identification via eye movements across multiple datasets. Signal Process. Image Commun. 108 (2022)
Sebastian Maneth, Helmut Seidl, Martin Vu
How to decide Functionality of Compositions of Top-Down Tree Transducers. CoRR (2022)
Sebastian Maneth, Helmut Seidl, Martin Vu
How to Decide Functionality of Compositions of Top-Down Tree Transducers. CAI (2022)
Martin H. U. Prinzler, Christoph Schröder, Sahar Mahdie Klim Al Zaidawi, Gabriel Zachmann, Sebastian Maneth
Visualizing Prediction Correctness of Eye Tracking Classifiers. ETRA Short Papers (2021)
Sebastian Maneth, Helmut Seidl, Martin Vu
Definability Results for Top-Down Tree Transducers. DLT (2021)
Sebastian Maneth, Helmut Seidl, Martin Vu
Definability Results for Top-Down Tree Transducers. CoRR (2021)
Joost Engelfriet, Kazuhiro Inaba, Sebastian Maneth
Linear-bounded composition of tree-walking tree transducers: linear size increase and complexity. Acta Informatica 58 (1-2) (2021)
Markus Lohrey, Sebastian Maneth
Largest common prefix of a regular tree language. J. Comput. Syst. Sci. 115 (2021)
Peter Leupold, Sebastian Maneth
Deciding Top-Down Determinism of Regular Tree Languages. FCT (2021)
Sahar Mahdie Klim Al Zaidawi, Martin H. U. Prinzler, Jonas Lührs, Sebastian Maneth
An Extensive Study of User Identification via Eye Movements across Multiple Datasets. CoRR (2021)
Peter Leupold, Sebastian Maneth
Deciding Top-Down Determinism of Regular Tree Languages. CoRR (2021)
Sebastian Maneth, Helmut Seidl
When Is a Bottom-Up Deterministic Tree Translation Top-Down Deterministic? ICALP (2020)
Sebastian Maneth, Fabian Peternek
Constant delay traversal of grammar-compressed graphs with bounded rank. Inf. Comput. 273 (2020)
Christoph Schröder, Sahar Mahdie Klim Al Zaidawi, Martin H. U. Prinzler, Sebastian Maneth, Gabriel Zachmann
Robustness of Eye Movement Biometrics Against Varying Stimuli and Varying Trajectory Length. CHI (2020)
Adrià Gascón, Markus Lohrey, Sebastian Maneth, Carl Philipp Reh, Kurt Sieber
Grammar-Based Compression of Unranked Trees. Theory Comput. Syst. 64 (1) (2020)
Sahar Mahdie Klim Al Zaidawi, Martin H. U. Prinzler, Christoph Schröder, Gabriel Zachmann, Sebastian Maneth
Gender Classification of Prepubescent Children via Eye Movements with Reading Stimuli. ICMI Companion (2020)
Helmut Seidl, Raphaela Palenta, Sebastian Maneth
Deciding Equivalence of Separated Non-nested Attribute Systems in Polynomial Time. FoSSaCS (2019)
Sebastian Maneth
Static Garbage Collection. CIAA (2019)
Markus Lohrey, Sebastian Maneth
Largest Common Prefix of a Regular Tree Language. FCT (2019)
Helmut Seidl, Raphaela Palenta, Sebastian Maneth
Deciding Equivalence of Separated Non-Nested Attribute Systems in Polynomial Time. CoRR (2019)
Sebastian Maneth, Fabian Peternek
Constant Delay Traversal of Grammar-Compressed Graphs with Bounded Rank. CoRR (2019)
Joost Engelfriet, Kazuhiro Inaba, Sebastian Maneth
Linear Bounded Composition of Tree-Walking Tree Transducers: Linear Size Increase and Complexity. CoRR (2019)
Sebastian Maneth, Fabian Peternek
Constant Delay Traversal of Compressed Graphs. DCC (2018)
Adrià Gascón, Markus Lohrey, Sebastian Maneth, Carl Philipp Reh, Kurt Sieber
Grammar-Based Compression of Unranked Trees. CSR (2018)
Markus Lohrey, Sebastian Maneth, Carl Philipp Reh
Constant-Time Tree Traversal and Subtree Equality Check for Grammar-Compressed Trees. Algorithmica 80 (7) (2018)
Helmut Seidl, Sebastian Maneth, Gregor Kemper
Equivalence of Deterministic Top-Down Tree-to-String Transducers Is Decidable. J. ACM 65 (4) (2018)
Sebastian Maneth, Helmut Seidl
Balancedness of MSO transductions in polynomial time. Inf. Process. Lett. 133 (2018)
Emmanuel Filiot, Sebastian Maneth, Pierre-Alain Reynier, Jean-Marc Talbot
Decision problems of tree transducers with origin. Inf. Comput. 261 (2018)
Joost Engelfriet, Andreas Maletti, Sebastian Maneth
Multiple context-free tree grammars: Lexicalization and characterization. Theor. Comput. Sci. 728 (2018)
Sebastian Maneth, Fabian Peternek
Grammar-based graph compression. Inf. Syst. 76 (2018)
Adrià Gascón, Markus Lohrey, Sebastian Maneth, Carl Philipp Reh, Kurt Sieber
Grammar-based Compression of Unranked Trees. CoRR (2018)
Michael Benedikt, Joost Engelfriet, Sebastian Maneth
Determinacy and rewriting of functional top-down and MSO tree transformations. J. Comput. Syst. Sci. 85 (2017)
Sorcha Gilroy, Adam Lopez, Sebastian Maneth
Parsing Graphs with Regular Graph Grammars. *SEM (2017)
Sebastian Maneth, Alexandra Poulovassilis
Data Science. Comput. J. 60 (3) (2017)
Sebastian Maneth, Fabian Peternek
Grammar-Based Graph Compression. CoRR (2017)
Emmanuel Filiot, Sebastian Maneth, Helmut Seidl
Formal Methods of Transformations (Dagstuhl Seminar 17142). Dagstuhl Reports 7 (4) (2017)
Markus Lohrey, Sebastian Maneth, Carl Philipp Reh
Compression of Unordered XML Trees. ICDT (2017)
Joost Engelfriet, Andreas Maletti, Sebastian Maneth
Multiple Context-Free Tree Grammars: Lexicalization and Characterization. CoRR (2017)
Benoît Groz, Sebastian Maneth
Efficient testing and matching of deterministic regular expressions. J. Comput. Syst. Sci. 89 (2017)
Sorcha Gilroy, Adam Lopez, Sebastian Maneth, Pijus Simonaitis
(Re)introducing Regular Graph Languages. MOL (2017)
Philip Bille, Markus Lohrey, Sebastian Maneth, Gonzalo Navarro
Computation over Compressed Structured Data (Dagstuhl Seminar 16431). Dagstuhl Reports 6 (10) (2016)
Sebastian Maneth, Fabian Peternek
Compressing graphs by grammars. ICDE (2016)
Tim Furche, Jinsong Guo, Sebastian Maneth, Christian Schallhart
Robust and Noise Resistant Wrapper Induction. SIGMOD Conference (2016)
Stefan Böttcher, Rita Hartel, Thomas Jacobs, Sebastian Maneth
Incremental updates on compressed XML. ICDE (2016)
Joost Engelfriet, Sebastian Maneth, Helmut Seidl
Look-ahead removal for total deterministic top-down tree transducers. Theor. Comput. Sci. 616 (2016)
Markus Lohrey, Sebastian Maneth, Carl Philipp Reh
Traversing Grammar-Compressed Trees with Constant Delay. DCC (2016)
Sebastian Maneth, Alberto Ordóñez Pereira, Helmut Seidl
Transforming XML Streams with References. SPIRE (2015)
Sebastian Maneth
A Survey on Decidable Equivalence Problems for Tree Transducers. Int. J. Found. Comput. Sci. 26 (8) (2015)
Markus Lohrey, Sebastian Maneth, Fabian Peternek
Compressed Tree Canonization. ICALP (2) (2015)
Helmut Seidl, Sebastian Maneth, Gregor Kemper
Equivalence of Deterministic Top-Down Tree-to-String Transducers is Decidable. CoRR (2015)
Mireille Bousquet-Mélou, Markus Lohrey, Sebastian Maneth, Eric Nöth
XML Compression via Directed Acyclic Graphs. Theory Comput. Syst. 57 (4) (2015)
Helmut Seidl, Sebastian Maneth, Gregor Kemper
Equivalence of Deterministic Top-Down Tree-to-String Transducers is Decidable. FOCS (2015)
Emmanuel Filiot, Sebastian Maneth, Pierre-Alain Reynier, Jean-Marc Talbot
Decision Problems of Tree Transducers with Origin. ICALP (2) (2015)
Sebastian Maneth, Fabian Peternek
A Survey on Methods and Systems for Graph Compression. CoRR (2015)
Stefan Böttcher, Rita Hartel, Thomas Jacobs, Sebastian Maneth
OnlineRePair: A Recompressor for XML Structures. DCC (2015)
Diego Arroyuelo, Francisco Claude, Sebastian Maneth, Veli Mäkinen, Gonzalo Navarro, Kim Nguyen, Jouni Sirén, Niko Välimäki
Fast in-memory XPath search using compressed indexes. Softw. Pract. Exp. 45 (3) (2015)
Markus Lohrey, Sebastian Maneth, Carl Philipp Reh
Traversing Grammar-Compressed Trees with Constant Delay. CoRR (2015)
Markus Lohrey, Sebastian Maneth, Fabian Peternek
Compressed Tree Canonization. CoRR (2015)
Shizuya Hakuta, Sebastian Maneth, Keisuke Nakano, Hideya Iwasaki
XQuery streaming by Forest Transducers. ICDE (2014)
Joost Engelfriet, Sebastian Maneth, Helmut Seidl
How to Remove the Look-Ahead of Top-Down Tree Transducers. Developments in Language Theory (2014)
Sebastian Maneth
Equivalence Problems for Tree Transducers: A Brief Survey. AFL (2014)
Sebastian Maneth, Gonzalo Navarro
Indexes and Computation over Compressed Structured Data (Dagstuhl Seminar 13232). Dagstuhl Reports 3 (6) (2013)
Sebastian Maneth, Helmut Seidl
Tree Transducers and Formal Methods (Dagstuhl Seminar 13192). Dagstuhl Reports 3 (5) (2013)
Shizuya Hakuta, Sebastian Maneth, Keisuke Nakano, Hideya Iwasaki
XQuery Streaming by Forest Transducers. CoRR (2013)
Michael Benedikt, Joost Engelfriet, Sebastian Maneth
Determinacy and Rewriting of Top-Down and MSO Tree Transformations. MFCS (2013)
Mireille Bousquet-Mélou, Markus Lohrey, Sebastian Maneth, Eric Noeth
XML Compression via DAGs. CoRR (2013)
Markus Lohrey, Sebastian Maneth, Roy Mennicke
XML tree structure compression using RePair. Inf. Syst. 38 (8) (2013)
Markus Lohrey, Sebastian Maneth, Eric Noeth
XML compression via DAGs. ICDT (2013)
Joost Engelfriet, Sebastian Maneth, Helmut Seidl
Look-Ahead Removal for Top-Down Tree Transducers. CoRR (2013)
Sebastian Maneth, Tom Sebastian
XPath Node Selection over Grammar-Compressed Trees. TTATT (2013)
Markus Lohrey, Sebastian Maneth, Manfred Schmidt-Schauß
Parameter reduction and automata evaluation for grammar-compressed trees. J. Comput. Syst. Sci. 78 (5) (2012)
Sebastian Maneth
Dictionary-Based Tree Compression (Invited Talk). RTA (2012)
Benoît Groz, Sebastian Maneth, Slawek Staworko
Deterministic regular expressions in linear time. PODS (2012)
Markus Lohrey, Sebastian Maneth, Roy Mennicke
Tree Structure Compression with RePair. DCC (2011)
Adrià Gascón, Sebastian Maneth, Lander Ramos
First-Order Unification on Compressed Terms. RTA (2011)
Sylvia Friese, Helmut Seidl, Sebastian Maneth
Earliest Normal Form and Minimization for Bottom-up Tree Transducers. Int. J. Found. Comput. Sci. 22 (7) (2011)
Omer Giménez, Guillem Godoy, Sebastian Maneth
Deciding Regularity of the Set of Instances of a Set of Terms with Regular Constraints is EXPTIME-Complete. SIAM J. Comput. 40 (2) (2011)
Diego Arroyuelo, Francisco Claude, Sebastian Maneth, Veli Mäkinen, Gonzalo Navarro, Kim Nguyen, Jouni Sirén, Niko Välimäki
Fast in-memory XPath search using compressed indexes. ICDE (2010)
Sebastian Maneth, Kim Nguyen
XPath Whole Query Optimization CoRR (2010)
Sebastian Maneth
Preface. Theor. Comput. Sci. 411 (38-39) (2010)
Markus Lohrey, Sebastian Maneth, Roy Mennicke
Tree structure compression with RePair CoRR (2010)
Sebastian Maneth, Tom Sebastian
Fast and Tiny Structural Self-Indexes for XML CoRR (2010)
Sylvia Friese, Helmut Seidl, Sebastian Maneth
Minimization of Deterministic Bottom-Up Tree Transducers. Developments in Language Theory (2010)
Aurélien Lemay, Sebastian Maneth, Joachim Niehren
A learning algorithm for top-down XML transformations. PODS (2010)
Sebastian Maneth, Kim Nguyen
XPath Whole Query Optimization. Proc. VLDB Endow. 3 (1) (2010)
George Katsirelos, Sebastian Maneth, Nina Narodytska, Toby Walsh
Restricted Global Grammar Constraints. CP (2009)
Joost Engelfriet, Sebastian Maneth, Helmut Seidl
Deciding equivalence of top-down XML transformations in polynomial time. J. Comput. Syst. Sci. 75 (5) (2009)
Diego Arroyuelo, Francisco Claude, Sebastian Maneth, Veli Mäkinen, Gonzalo Navarro, Kim Nguyen, Jouni Sirén, Niko Välimäki
Fast In-Memory XPath Search over Compressed Text and Tree Indexes CoRR (2009)

Sebastian Maneth.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sebastian Maneth