Sebastian Maneth

175 papers A* 12A 5B 14C 14Misc 1Journal 90Unranked 33
YearRankTypeTitle / Venue / Authors
2026 J jnl
Deciding Whether an Attributed Translation can be Realized by a Top-Down Transducer.
Int. J. Found. Comput. Sci.
Sebastian Maneth, Martin Vu
2025 — conf
Emotional Recognition Using Eye Movements.
HCI (84)
Rishabh Vallabh Varsha Haria, Mohamed Abdoulaye Bailo Diallo, Sahura Ertugrul, Louisa Kulke, Sebastian Maneth
2025 B conf
FO-Query Enumeration over SLP-Compressed Structures of Bounded Degree.
MFCS
Markus Lohrey, Sebastian Maneth, Markus L. Schmid
2025 J jnl
FO-Query Enumeration over SLP-Compressed Structures of Bounded Degree.
CoRR
Markus Lohrey, Sebastian Maneth, Markus L. Schmid
2025 C conf
Shape Preserving Tree Transducers.
CIAA
Paul Gallot, Sebastian Maneth
2025 J jnl
Shape Preserving Tree Transducers.
CoRR
Paul Gallot, Sebastian Maneth
2025 J jnl
Unveiling 3D Ocean Biogeochemical Provinces: A Machine Learning Approach for Systematic Clustering and Validation.
CoRR
Yvonne Jenniges, Maike Sonnewald, Sebastian Maneth, Are Olsen, Boris P. Koch
2025 J jnl
Unveiling 3D ocean biogeochemical provinces in the North Atlantic: A systematic comparison and validation of clustering methods.
Ecol. Informatics
Yvonne Jenniges, Maike Sonnewald, Sebastian Maneth, Are Olsen, Boris P. Koch
2025 J jnl
When is a Bottom-Up Deterministic Tree Translation Top-Down Deterministic?
CoRR
Sebastian Maneth, Helmut Seidl
2024 C conf
Attributed Tree Transducers for Partial Functions.
CIAA
Sebastian Maneth, Martin Vu
2024 J jnl
Attributed Tree Transducers for Partial Functions.
CoRR
Sebastian Maneth, Martin Vu
2024 J jnl
Checking in polynomial time whether or not a regular tree language is deterministic top-down.
Inf. Process. Lett.
Sebastian Maneth, Helmut Seidl
2024 A* conf
Deciding Linear Height and Linear Size-To-Height Increase of Macro Tree Transducers.
ICALP
Paul Gallot, Sebastian Maneth, Keisuke Nakano, Charles Peyrat
2024 J jnl
Functionality of compositions of top-down tree transducers is decidable.
Inf. Comput.
Sebastian Maneth, Helmut Seidl, Martin Vu
2024 J jnl
Regular Expressions: Matching and Indexing (Dagstuhl Seminar 24472).
Dagstuhl Reports
Inge Li Gørtz, Sebastian Maneth, Gonzalo Navarro, Nicola Prezza
2024 — conf
User Identification via Free Roaming Eye Tracking Data.
HCI (62)
Rishabh Vallabh Varsha Haria, Amin El Abed, Sebastian Maneth
2024 J jnl
User Identification via Free Roaming Eye Tracking Data.
CoRR
Rishabh Vallabh Varsha Haria, Amin El Abed, Sebastian Maneth
2023 J jnl
Characterizing attributed tree translations in terms of macro tree transducers.
Theor. Comput. Sci.
Kenji Hashimoto, Sebastian Maneth
2023 J jnl
Checking in Polynomial Time whether or not a Regular Tree Language is Deterministic Top-Down.
CoRR
Sebastian Maneth, Helmut Seidl
2023 J jnl
Deciding Linear Height and Linear Size-to-Height Increase for Macro Tree Transducers.
CoRR
Charles Peyrat, Paul Gallot, Sebastian Maneth, Keisuke Nakano
2023 C conf
Deciding Whether an Attributed Translation Can Be Realized by a Top-Down Transducer.
CIAA
Sebastian Maneth, Martin Vu
2023 J jnl
Deciding origin equivalence of weakly self-nesting macro tree transducers.
Inf. Process. Lett.
Sebastian Maneth, Helmut Seidl
2023 J jnl
Deciding whether an Attributed Translation can be realized by a Top-Down Transducer.
CoRR
Sebastian Maneth, Martin Vu
2023 J jnl
Definability Results for Top-Down Tree Transducers.
Int. J. Found. Comput. Sci.
Sebastian Maneth, Helmut Seidl, Martin Vu
2023 J jnl
Preface.
Int. J. Found. Comput. Sci.
Sebastian Maneth
2022 J jnl
An extensive study of user identification via eye movements across multiple datasets.
Signal Process. Image Commun.
Sahar Mahdie Klim Al Zaidawi, Martin H. U. Prinzler, Jonas Lührs, Sebastian Maneth
2022 J jnl
Characterizing Attributed Tree Translations in Terms of Macro Tree Transducers.
CoRR
Kenji Hashimoto, Sebastian Maneth
2022 — conf
How to Decide Functionality of Compositions of Top-Down Tree Transducers.
CAI
Sebastian Maneth, Helmut Seidl, Martin Vu
2022 J jnl
How to decide Functionality of Compositions of Top-Down Tree Transducers.
CoRR
Sebastian Maneth, Helmut Seidl, Martin Vu
2022 — conf
Predicting Gender via Eye Movements.
HCI (48)
Rishabh Vallabh Varsha Haria, Sahar Mahdie Klim Al Zaidawi, Sebastian Maneth
2022 J jnl
Predicting Gender via Eye Movements.
CoRR
Rishabh Vallabh Varsha Haria, Sahar Mahdie Klim Al Zaidawi, Sebastian Maneth
2021 J jnl
An Extensive Study of User Identification via Eye Movements across Multiple Datasets.
CoRR
Sahar Mahdie Klim Al Zaidawi, Martin H. U. Prinzler, Jonas Lührs, Sebastian Maneth
2021 B conf
Deciding Top-Down Determinism of Regular Tree Languages.
FCT
Peter Leupold, Sebastian Maneth
2021 J jnl
Deciding Top-Down Determinism of Regular Tree Languages.
CoRR
Peter Leupold, Sebastian Maneth
2021 C conf
Definability Results for Top-Down Tree Transducers.
DLT
Sebastian Maneth, Helmut Seidl, Martin Vu
2021 J jnl
Definability Results for Top-Down Tree Transducers.
CoRR
Sebastian Maneth, Helmut Seidl, Martin Vu
2021 C ed.
Implementation and Application of Automata - 25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings
CIAA
Sebastian Maneth
2021 J jnl
Largest common prefix of a regular tree language.
J. Comput. Syst. Sci.
Markus Lohrey, Sebastian Maneth
2021 J jnl
Linear-bounded composition of tree-walking tree transducers: linear size increase and complexity.
Acta Informatica
Joost Engelfriet, Kazuhiro Inaba, Sebastian Maneth
2021 — conf
Visualizing Prediction Correctness of Eye Tracking Classifiers.
ETRA Short Papers
Martin H. U. Prinzler, Christoph Schröder, Sahar Mahdie Klim Al Zaidawi, Gabriel Zachmann, Sebastian Maneth
2020 J jnl
Constant delay traversal of grammar-compressed graphs with bounded rank.
Inf. Comput.
Sebastian Maneth, Fabian Peternek
2020 — conf
Gender Classification of Prepubescent Children via Eye Movements with Reading Stimuli.
ICMI Companion
Sahar Mahdie Klim Al Zaidawi, Martin H. U. Prinzler, Christoph Schröder, Gabriel Zachmann, Sebastian Maneth
2020 J jnl
Grammar-Based Compression of Unranked Trees.
Theory Comput. Syst.
Adrià Gascón, Markus Lohrey, Sebastian Maneth, Carl Philipp Reh, Kurt Sieber
2020 A* conf
Robustness of Eye Movement Biometrics Against Varying Stimuli and Varying Trajectory Length.
CHI
Christoph Schröder, Sahar Mahdie Klim Al Zaidawi, Martin H. U. Prinzler, Sebastian Maneth, Gabriel Zachmann
2020 A* conf
When Is a Bottom-Up Deterministic Tree Translation Top-Down Deterministic?
ICALP
Sebastian Maneth, Helmut Seidl
2019 J jnl
Constant Delay Traversal of Grammar-Compressed Graphs with Bounded Rank.
CoRR
Sebastian Maneth, Fabian Peternek
2019 J jnl
Deciding Equivalence of Separated Non-Nested Attribute Systems in Polynomial Time.
CoRR
Helmut Seidl, Raphaela Palenta, Sebastian Maneth
2019 B conf
Deciding Equivalence of Separated Non-nested Attribute Systems in Polynomial Time.
FoSSaCS
Helmut Seidl, Raphaela Palenta, Sebastian Maneth
2019 — ch.
Grammar-Based Compression.
Encyclopedia of Big Data Technologies
Sebastian Maneth
2019 B conf
Largest Common Prefix of a Regular Tree Language.
FCT
Markus Lohrey, Sebastian Maneth
2019 J jnl
Linear Bounded Composition of Tree-Walking Tree Transducers: Linear Size Increase and Complexity.
CoRR
Joost Engelfriet, Kazuhiro Inaba, Sebastian Maneth
2019 C conf
Static Garbage Collection.
CIAA
Sebastian Maneth
2018 J jnl
Balancedness of MSO transductions in polynomial time.
Inf. Process. Lett.
Sebastian Maneth, Helmut Seidl
2018 B conf
Constant Delay Traversal of Compressed Graphs.
DCC
Sebastian Maneth, Fabian Peternek
2018 J jnl
Constant-Time Tree Traversal and Subtree Equality Check for Grammar-Compressed Trees.
Algorithmica
Markus Lohrey, Sebastian Maneth, Carl Philipp Reh
2018 J jnl
Decision problems of tree transducers with origin.
Inf. Comput.
Emmanuel Filiot, Sebastian Maneth, Pierre-Alain Reynier, Jean-Marc Talbot
2018 J jnl
Equivalence of Deterministic Top-Down Tree-to-String Transducers Is Decidable.
J. ACM
Helmut Seidl, Sebastian Maneth, Gregor Kemper
2018 Misc conf
Grammar-Based Compression of Unranked Trees.
CSR
Adrià Gascón, Markus Lohrey, Sebastian Maneth, Carl Philipp Reh, Kurt Sieber
2018 J jnl
Grammar-based Compression of Unranked Trees.
CoRR
Adrià Gascón, Markus Lohrey, Sebastian Maneth, Carl Philipp Reh, Kurt Sieber
2018 J jnl
Grammar-based graph compression.
Inf. Syst.
Sebastian Maneth, Fabian Peternek
2018 J jnl
Multiple context-free tree grammars: Lexicalization and characterization.
Theor. Comput. Sci.
Joost Engelfriet, Andreas Maletti, Sebastian Maneth
2017 — conf
(Re)introducing Regular Graph Languages.
MOL
Sorcha Gilroy, Adam Lopez, Sebastian Maneth, Pijus Simonaitis
2017 A conf
Compression of Unordered XML Trees.
ICDT
Markus Lohrey, Sebastian Maneth, Carl Philipp Reh
2017 J jnl
Data Science.
Comput. J.
Sebastian Maneth, Alexandra Poulovassilis
2017 J jnl
Determinacy and rewriting of functional top-down and MSO tree transformations.
J. Comput. Syst. Sci.
Michael Benedikt, Joost Engelfriet, Sebastian Maneth
2017 J jnl
Efficient testing and matching of deterministic regular expressions.
J. Comput. Syst. Sci.
Benoît Groz, Sebastian Maneth
2017 J jnl
Formal Methods of Transformations (Dagstuhl Seminar 17142).
Dagstuhl Reports
Emmanuel Filiot, Sebastian Maneth, Helmut Seidl
2017 J jnl
Grammar-Based Graph Compression.
CoRR
Sebastian Maneth, Fabian Peternek
2017 J jnl
Multiple Context-Free Tree Grammars: Lexicalization and Characterization.
CoRR
Joost Engelfriet, Andreas Maletti, Sebastian Maneth
2017 — conf
Parsing Graphs with Regular Graph Grammars.
*SEM
Sorcha Gilroy, Adam Lopez, Sebastian Maneth
2016 A* conf
Compressing graphs by grammars.
ICDE
Sebastian Maneth, Fabian Peternek
2016 J jnl
Computation over Compressed Structured Data (Dagstuhl Seminar 16431).
Dagstuhl Reports
Philip Bille, Markus Lohrey, Sebastian Maneth, Gonzalo Navarro
2016 — ch.
Equivalence - Combinatorics, Algebra, Proofs.
Dependable Software Systems Engineering
Helmut Seidl, Sebastian Maneth, Gregor Kemper, Joost Engelfriet
2016 A* conf
Incremental updates on compressed XML.
ICDE
Stefan Böttcher, Rita Hartel, Thomas Jacobs, Sebastian Maneth
2016 J jnl
Look-ahead removal for total deterministic top-down tree transducers.
Theor. Comput. Sci.
Joost Engelfriet, Sebastian Maneth, Helmut Seidl
2016 — conf
Robust and Noise Resistant Wrapper Induction.
SIGMOD Conference
Tim Furche, Jinsong Guo, Sebastian Maneth, Christian Schallhart
2016 B conf
Traversing Grammar-Compressed Trees with Constant Delay.
DCC
Markus Lohrey, Sebastian Maneth, Carl Philipp Reh
2015 J jnl
A Survey on Decidable Equivalence Problems for Tree Transducers.
Int. J. Found. Comput. Sci.
Sebastian Maneth
2015 J jnl
A Survey on Methods and Systems for Graph Compression.
CoRR
Sebastian Maneth, Fabian Peternek
2015 — conf
Compressed Tree Canonization.
ICALP (2)
Markus Lohrey, Sebastian Maneth, Fabian Peternek
2015 J jnl
Compressed Tree Canonization.
CoRR
Markus Lohrey, Sebastian Maneth, Fabian Peternek
2015 — ed.
Data Science - 30th British International Conference on Databases, BICOD 2015, Edinburgh, UK, July 6-8, 2015, Proceedings
BICOD
Sebastian Maneth
2015 — conf
Decision Problems of Tree Transducers with Origin.
ICALP (2)
Emmanuel Filiot, Sebastian Maneth, Pierre-Alain Reynier, Jean-Marc Talbot
2015 A* conf
Equivalence of Deterministic Top-Down Tree-to-String Transducers is Decidable.
FOCS
Helmut Seidl, Sebastian Maneth, Gregor Kemper
2015 J jnl
Equivalence of Deterministic Top-Down Tree-to-String Transducers is Decidable.
CoRR
Helmut Seidl, Sebastian Maneth, Gregor Kemper
2015 J jnl
Fast in-memory XPath search using compressed indexes.
Softw. Pract. Exp.
Diego Arroyuelo, Francisco Claude, Sebastian Maneth, Veli Mäkinen, Gonzalo Navarro, Kim Nguyen, Jouni Sirén, Niko Välimäki
2015 B conf
OnlineRePair: A Recompressor for XML Structures.
DCC
Stefan Böttcher, Rita Hartel, Thomas Jacobs, Sebastian Maneth
2015 C conf
Transforming XML Streams with References.
SPIRE
Sebastian Maneth, Alberto Ordóñez Pereira, Helmut Seidl
2015 J jnl
Traversing Grammar-Compressed Trees with Constant Delay.
CoRR
Markus Lohrey, Sebastian Maneth, Carl Philipp Reh
2015 J jnl
XML Compression via Directed Acyclic Graphs.
Theory Comput. Syst.
Mireille Bousquet-Mélou, Markus Lohrey, Sebastian Maneth, Eric Nöth
2014 — conf
Equivalence Problems for Tree Transducers: A Brief Survey.
AFL
Sebastian Maneth
2014 C conf
How to Remove the Look-Ahead of Top-Down Tree Transducers.
Developments in Language Theory
Joost Engelfriet, Sebastian Maneth, Helmut Seidl
2014 A* conf
XQuery streaming by Forest Transducers.
ICDE
Shizuya Hakuta, Sebastian Maneth, Keisuke Nakano, Hideya Iwasaki
2013 B conf
Determinacy and Rewriting of Top-Down and MSO Tree Transformations.
MFCS
Michael Benedikt, Joost Engelfriet, Sebastian Maneth
2013 J jnl
Indexes and Computation over Compressed Structured Data (Dagstuhl Seminar 13232).
Dagstuhl Reports
Sebastian Maneth, Gonzalo Navarro
2013 J jnl
Look-Ahead Removal for Top-Down Tree Transducers.
CoRR
Joost Engelfriet, Sebastian Maneth, Helmut Seidl
2013 — ed.
Proceedings Second International Workshop on Trends in Tree Automata and Tree Transducers, TTATT 2013, Hanoi, Vietnam, 19/10/2013.
TTATT
Sebastian Maneth
2013 J jnl
Tree Transducers and Formal Methods (Dagstuhl Seminar 13192).
Dagstuhl Reports
Sebastian Maneth, Helmut Seidl
2013 J jnl
XML Compression via DAGs.
CoRR
Mireille Bousquet-Mélou, Markus Lohrey, Sebastian Maneth, Eric Noeth
2013 A conf
XML compression via DAGs.
ICDT
Markus Lohrey, Sebastian Maneth, Eric Noeth
2013 J jnl
XML tree structure compression using RePair.
Inf. Syst.
Markus Lohrey, Sebastian Maneth, Roy Mennicke
2013 — conf
XPath Node Selection over Grammar-Compressed Trees.
TTATT
Sebastian Maneth, Tom Sebastian
2013 J jnl
XQuery Streaming by Forest Transducers.
CoRR
Shizuya Hakuta, Sebastian Maneth, Keisuke Nakano, Hideya Iwasaki
2012 A* conf
Deterministic regular expressions in linear time.
PODS
Benoît Groz, Sebastian Maneth, Slawek Staworko
2012 — conf
Dictionary-Based Tree Compression (Invited Talk).
RTA
Sebastian Maneth
2012 J jnl
Parameter reduction and automata evaluation for grammar-compressed trees.
J. Comput. Syst. Sci.
Markus Lohrey, Sebastian Maneth, Manfred Schmidt-Schauß
2012 — ch.
Type Checking of Tree Walking Transducers.
Modern Applications of Automata Theory
Sebastian Maneth, Sylvia Friese, Helmut Seidl
2011 J jnl
Deciding Regularity of the Set of Instances of a Set of Terms with Regular Constraints is EXPTIME-Complete.
SIAM J. Comput.
Omer Giménez, Guillem Godoy, Sebastian Maneth
2011 J jnl
Earliest Normal Form and Minimization for Bottom-up Tree Transducers.
Int. J. Found. Comput. Sci.
Sylvia Friese, Helmut Seidl, Sebastian Maneth
2011 — conf
First-Order Unification on Compressed Terms.
RTA
Adrià Gascón, Sebastian Maneth, Lander Ramos
2011 B conf
Tree Structure Compression with RePair.
DCC
Markus Lohrey, Sebastian Maneth, Roy Mennicke
2010 A* conf
A learning algorithm for top-down XML transformations.
PODS
Aurélien Lemay, Sebastian Maneth, Joachim Niehren
2010 J jnl
Fast and Tiny Structural Self-Indexes for XML
CoRR
Sebastian Maneth, Tom Sebastian
2010 A* conf
Fast in-memory XPath search using compressed indexes.
ICDE
Diego Arroyuelo, Francisco Claude, Sebastian Maneth, Veli Mäkinen, Gonzalo Navarro, Kim Nguyen, Jouni Sirén, Niko Välimäki
2010 C conf
Minimization of Deterministic Bottom-Up Tree Transducers.
Developments in Language Theory
Sylvia Friese, Helmut Seidl, Sebastian Maneth
2010 J jnl
Preface.
Theor. Comput. Sci.
Sebastian Maneth
2010 J jnl
Tree structure compression with RePair
CoRR
Markus Lohrey, Sebastian Maneth, Roy Mennicke
2010 J jnl
XPath Whole Query Optimization
CoRR
Sebastian Maneth, Kim Nguyen
2010 J jnl
XPath Whole Query Optimization.
Proc. VLDB Endow.
Sebastian Maneth, Kim Nguyen
2009 J jnl
Computing the Cost of Typechecking of Composition of Macro Tree Transducers.
Inf. Media Technol.
Keisuke Nakano, Sebastian Maneth
2009 J jnl
Deciding Regularity of the Set of Instances of a Set of Terms with Regular Constraints is EXPTIME-Complete
CoRR
Omer Giménez, Guillem Godoy, Sebastian Maneth
2009 J jnl
Deciding equivalence of top-down XML transformations in polynomial time.
J. Comput. Syst. Sci.
Joost Engelfriet, Sebastian Maneth, Helmut Seidl
2009 J jnl
Fast In-Memory XPath Search over Compressed Text and Tree Indexes
CoRR
Diego Arroyuelo, Francisco Claude, Sebastian Maneth, Veli Mäkinen, Gonzalo Navarro, Kim Nguyen, Jouni Sirén, Niko Välimäki
2009 C ed.
Implementation and Application of Automata, 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings
CIAA
Sebastian Maneth
2009 B conf
Parameter Reduction in Grammar-Compressed Trees.
FoSSaCS
Markus Lohrey, Sebastian Maneth, Manfred Schmidt-Schauß
2009 J jnl
Restricted Global Grammar Constraints
CoRR
George Katsirelos, Sebastian Maneth, Nina Narodytska, Toby Walsh
2009 A conf
Restricted Global Grammar Constraints.
CP
George Katsirelos, Sebastian Maneth, Nina Narodytska, Toby Walsh
2009 J jnl
The Complexity of Translation Membership for Macro Tree Transducers
CoRR
Kazuhiro Inaba, Sebastian Maneth
2008 — conf
08261 Abstracts Collection - Structure-Based Compression of Complex Massive Data.
Structure-Based Compression of Complex Massive Data
Stefan Böttcher, Markus Lohrey, Sebastian Maneth, Wojciech Rytter
2008 — conf
08261 Executive Summary - Structure-Based Compression of Complex Massive Data.
Structure-Based Compression of Complex Massive Data
Stefan Böttcher, Markus Lohrey, Sebastian Maneth, Wojciech Rytter
2008 — conf
An In-Memory XQuery/XPath Engine over a Compressed Structured Text Representation.
Structure-Based Compression of Complex Massive Data
Angela Bonifati, Gregory Leighton, Veli Mäkinen, Sebastian Maneth, Gonzalo Navarro, Andrea Pugliese
2008 B conf
Classes of Tree Homomorphisms with Decidable Preservation of Regularity.
FoSSaCS
Guillem Godoy, Sebastian Maneth, Sophie Tison
2008 J jnl
Dependable cardinality forecasts for XQuery.
Proc. VLDB Endow.
Jens Teubner, Torsten Grust, Sebastian Maneth, Sherif Sakr
2008 J jnl
Efficient memory representation of XML document trees.
Inf. Syst.
Giorgio Busatto, Markus Lohrey, Sebastian Maneth
2008 C conf
Multi-Return Macro Tree Transducers.
CIAA
Kazuhiro Inaba, Haruo Hosoya, Sebastian Maneth
2008 — ed.
Structure-Based Compression of Complex Massive Data, 22.06. - 27.06.2008
Structure-Based Compression of Complex Massive Data
Stefan Böttcher, Markus Lohrey, Sebastian Maneth, Wojciech Rytter
2008 — conf
The Complexity of Tree Transducer Output Languages.
FSTTCS
Kazuhiro Inaba, Sebastian Maneth
2008 — conf
XML Tree Structure Compression.
DEXA Workshops
Sebastian Maneth, Nikolay Mihaylov, Sherif Sakr
2008 — conf
XML Type Checking for Macro Tree Transducers with Holes.
PLAN-X
Sebastian Maneth, Keisuke Nakano
2007 — conf
Deciding Equivalence of Top-Down XML Transformations in Polynomial Time.
PLAN-X
Sebastian Maneth, Helmut Seidl
2007 A conf
Exact XML Type Checking in Polynomial Time.
ICDT
Sebastian Maneth, Thomas Perst, Helmut Seidl
2007 C conf
Formalizing XML access control for update operations.
SACMAT
Irini Fundulaki, Sebastian Maneth
2007 A* conf
Structural Selectivity Estimation for XML Documents.
ICDE
Damien K. Fisher, Sebastian Maneth
2006 J jnl
Exact XML Type Checking in Polynomial Time.
Universität Trier, Mathematik/Informatik, Forschungsbericht
Sebastian Maneth, Thomas Perst, Helmut Seidl
2006 — conf
Scalable Programming Abstractions for XML Services.
Research Results of the DICS Program
Burak Emir, Sebastian Maneth, Martin Odersky
2006 J jnl
The complexity of tree automata and XPath on grammar-compressed trees.
Theor. Comput. Sci.
Markus Lohrey, Sebastian Maneth
2006 J jnl
The equivalence problem for deterministic MSO tree transducers is decidable.
Inf. Process. Lett.
Joost Engelfriet, Sebastian Maneth
2005 — conf
Efficient Memory Representation of XML Documents.
DBPL
Giorgio Busatto, Markus Lohrey, Sebastian Maneth
2005 — conf
The Equivalence Problem for Deterministic MSO Tree Transducers Is Decidable.
FSTTCS
Joost Engelfriet, Sebastian Maneth
2005 J jnl
The Equivalence Problem for Deterministic MSO Tree Transducers is Decidable
CoRR
Joost Engelfriet, Sebastian Maneth
2005 C conf
Tree Automata and XPath on Compressed Trees.
CIAA
Markus Lohrey, Sebastian Maneth
2005 A* conf
XML type checking with macro tree transducers.
PODS
Sebastian Maneth, Alexandru Berlea, Thomas Perst, Helmut Seidl
2004 B conf
Tree Transducers and Tree Compressions.
FoSSaCS
Sebastian Maneth, Giorgio Busatto
2003 J jnl
A comparison of pebble tree transducers with macro tree transducers.
Acta Informatica
Joost Engelfriet, Sebastian Maneth
2003 J jnl
Macro Tree Translations of Linear Size Increase are MSO Definable.
SIAM J. Comput.
Joost Engelfriet, Sebastian Maneth
2003 — conf
The Macro Tree Transducer Hierarchy Collapses for Functions of Linear Size Increase.
FSTTCS
Sebastian Maneth
2002 J jnl
A formal model for an expressive fragment of XSLT.
Inf. Syst.
Geert Jan Bex, Sebastian Maneth, Frank Neven
2002 J jnl
Output String Languages of Compositions of Deterministic Macro Tree Transducers.
J. Comput. Syst. Sci.
Joost Engelfriet, Sebastian Maneth
2002 — conf
The Complexity of Compositions of Deterministic Tree Transducers.
FSTTCS
Sebastian Maneth
2002 B conf
Two-Way Finite State Transducers with Nested Pebbles.
MFCS
Joost Engelfriet, Sebastian Maneth
2001 C conf
Hierarchies of String Languages Generated by Deterministic Tree Transducers.
Developments in Language Theory
Joost Engelfriet, Sebastian Maneth
2000 — conf
A Formal Model for an Expressive Fragment of XSLT.
Computational Logic
Geert Jan Bex, Sebastian Maneth, Frank Neven
2000 A conf
Characterizing and Deciding MSO-Definability of Macro Tree Transductions.
STACS
Joost Engelfriet, Sebastian Maneth
2000 J jnl
Domains of partial attributed tree transducers.
Inf. Process. Lett.
Zoltán Fülöp, Sebastian Maneth
1999 — conf
A Characterization of ETOL Tree Languages by Cooperating Regular Tree Grammars.
Grammatical Models of Multi-Agent Systems
Zoltán Fülöp, Sebastian Maneth
1999 J jnl
Cooperating Distributed Hyperedge Replacement Grammars.
Grammars
Sebastian Maneth
1999 J jnl
Macro Tree Transducers, Attribute Grammars, and MSO Definable Tree Translations.
Inf. Comput.
Joost Engelfriet, Sebastian Maneth
1999 B conf
String Languages Generated by Total Deterministic Macro Tree Transducers.
FoSSaCS
Sebastian Maneth
1999 — conf
Structured Document Transformations Based on XSL.
DBPL
Sebastian Maneth, Frank Neven
1998 J jnl
A Strict Border for the Decidability of E-Unification for Recursive Functions.
J. Funct. Log. Program.
Heinz Faßbender, Sebastian Maneth
1998 J jnl
Attributed Context-Free Hypergraph Grammars.
J. Autom. Lang. Comb.
Sebastian Maneth, Heiko Vogler
1998 — conf
Cooperating Distributed Hyperedge Replacement Grammars.
MFCS Workshop on Grammar Systems
Sebastian Maneth
1998 J jnl
The Generating Power of Total Deterministic Tree Transducers.
Inf. Comput.
Sebastian Maneth
1998 — conf
Tree Languages Generated be Context-Free Graph Grammars.
TAGT
Joost Engelfriet, Sebastian Maneth
1996 — conf
A Strict Border for the Decidability of E-Unification for Recursive Functions.
ALP
Heinz Faßbender, Sebastian Maneth