Sebastian Maneth

发表

Characterizing and Deciding MSO-Definability of Macro Tree Transductions

Joost Engelfriet, Sebastian Maneth, 2000, STACS.

Cooperating Distributed Hyperedge Replacement Grammars

Sebastian Maneth, 1999, Grammars.

08261 Executive Summary - Structure-Based Compression of Complex Massive Data

Wojciech Rytter, Sebastian Maneth, Stefan Böttcher, 2008, Structure-Based Compression of Complex Massive Data.

Classes of Tree Homomorphisms with Decidable Preservation of Regularity

Sebastian Maneth, Guillem Godoy, Sophie Tison, 2008, FoSSaCS.

Data Science : 30th British International Conference on Databases, BICOD 2015, Edinburgh, UK, July 6-8, 2015, proceedings

Sebastian Maneth, 2015 .

Multiple Context-Free Tree Grammars: Lexicalization and Characterization

Joost Engelfriet, Andreas Maletti, Sebastian Maneth, 2017, Theor. Comput. Sci..

XPath Node Selection over Grammar-Compressed Trees

Sebastian Maneth, Tom Sebastian, 2013, TTATT.

Type Checking of Tree Walking Transducers

Helmut Seidl, Sebastian Maneth, Sylvia Friese, 2012, Modern Applications of Automata Theory.

Decision problems of tree transducers with origin

Jean-Marc Talbot, Sebastian Maneth, Pierre-Alain Reynier, 2018, Inf. Comput..

Formal Methods of Transformations (Dagstuhl Seminar 17142)

Helmut Seidl, Sebastian Maneth, Emmanuel Filiot, 2017, Dagstuhl Reports.

Output String Languages of Compositions of Deterministic Macro Tree Transducers

Joost Engelfriet, Sebastian Maneth, J. Engelfriet, 2002, J. Comput. Syst. Sci..

PLAN-X 2007, Programming Language Technologies for XML, An ACM SIGPLAN Workshop colocated with POPL 2007, Nice, France, January 20, 2007

Helmut Seidl, Sebastian Maneth, 2007, PLAN-X.

OnlineRePair: A Recompressor for XML Structures

Thomas Jacobs, Sebastian Maneth, Stefan Böttcher, 2015, 2015 Data Compression Conference.

Linear-bounded composition of tree-walking tree transducers: linear size increase and complexity

Joost Engelfriet, Sebastian Maneth, Kazuhiro Inaba, 2019, Acta Informatica.

Earliest Normal Form and Minimization for Bottom-up Tree Transducers

Helmut Seidl, Sebastian Maneth, Sylvia Friese, 2011, Int. J. Found. Comput. Sci..

Constant Delay Traversal of Compressed Graphs

Sebastian Maneth, Fabian Peternek, 2018, 2018 Data Compression Conference.

Structural Selectivity Estimation for XML Documents

Sebastian Maneth, Damien K. Fisher, S. Maneth, 2007, 2007 IEEE 23rd International Conference on Data Engineering.

Deciding equivalence of top-down XML transformations in polynomial time

Joost Engelfriet, Helmut Seidl, Sebastian Maneth, 2009, J. Comput. Syst. Sci..

A learning algorithm for top-down XML transformations

Joachim Niehren, Sebastian Maneth, Aurélien Lemay, 2010, PODS '10.

The Complexity of Tree Transducer Output Languages

Sebastian Maneth, Kazuhiro Inaba, 2008, FSTTCS.

When Is a Bottom-Up Deterministic Tree Translation Top-Down Deterministic?

Sebastian Maneth, Helmut Seidl, 2020, ICALP.

A formal model for an expressive fragment of XSLT

Frank Neven, Sebastian Maneth, Geert Jan Bex, 2000, Inf. Syst..

Fast In-Memory XPath Search over Compressed Text and Tree Indexes pdf

Gonzalo Navarro, Sebastian Maneth, Diego Arroyuelo, 2009, ArXiv.

Grammar-Based Compression

Sebastian Maneth, 2019, Encyclopedia of Big Data Technologies.

Look-Ahead Removal for Top-Down Tree Transducers pdf

Joost Engelfriet, Helmut Seidl, Sebastian Maneth, 2013, ArXiv.

Constant-Time Tree Traversal and Subtree Equality Check for Grammar-Compressed Trees

Sebastian Maneth, Markus Lohrey, Carl Philipp Reh, 2017, Algorithmica.

Fast in-memory XPath search using compressed indexes

Gonzalo Navarro, Sebastian Maneth, Diego Arroyuelo, 2010, 2010 IEEE 26th International Conference on Data Engineering (ICDE 2010).

Data Science

Alexandra Poulovassilis, Sebastian Maneth, 2017, Comput. J..

Restricted Global Grammar Constraints pdf

Toby Walsh, Nina Narodytska, Sebastian Maneth, 2009, CP.

Parameter reduction and automata evaluation for grammar-compressed trees

Sebastian Maneth, Markus Lohrey, Manfred Schmidt-Schauß, 2012, J. Comput. Syst. Sci..

Tree Transducers and Formal Methods (Dagstuhl Seminar 13192)

Helmut Seidl, Sebastian Maneth, H. Seidl, 2013, Dagstuhl Reports.

Robust and Noise Resistant Wrapper Induction

Tim Furche, Sebastian Maneth, Christian Schallhart, 2016, SIGMOD Conference.

Fast in-memory XPath search using compressed indexes

Gonzalo Navarro, Sebastian Maneth, Diego Arroyuelo, 2010, ICDE.

How to Remove the Look-Ahead of Top-Down Tree Transducers

Joost Engelfriet, Helmut Seidl, Sebastian Maneth, 2014, Developments in Language Theory.

Static Garbage Collection

Sebastian Maneth, 2019, CIAA.

Macro Tree Translations of Linear Size Increase are MSO Definable

Joost Engelfriet, Sebastian Maneth, J. Engelfriet, 2003, SIAM J. Comput..

Look-ahead removal for total deterministic top-down tree transducers

Joost Engelfriet, Helmut Seidl, Sebastian Maneth, 2016, Theor. Comput. Sci..

The Complexity of Translation Membership for Macro Tree Transducers pdf

Sebastian Maneth, Kazuhiro Inaba, 2009, ArXiv.

Scalable Programming Abstractions for XML Services

Martin Odersky, Sebastian Maneth, Burak Emir, 2006, Research Results of the DICS Program.

XML Tree Structure Compression

Sherif Sakr, Sebastian Maneth, Nikolay Mihaylov, 2008, 2008 19th International Workshop on Database and Expert Systems Applications.

Efficient testing and matching of deterministic regular expressions

Sebastian Maneth, Benoît Groz, 2017, J. Comput. Syst. Sci..

Transforming XML Streams with References

Helmut Seidl, Sebastian Maneth, Alberto Ordóñez Pereira, 2015, SPIRE.

Grammar-based Compression of Unranked Trees

Sebastian Maneth, Markus Lohrey, Adrià Gascón, 2018, CSR.

Largest common prefix of a regular tree language

Sebastian Maneth, Markus Lohrey, 2021, J. Comput. Syst. Sci..

Minimization of Deterministic Bottom-Up Tree Transducers

Helmut Seidl, Sebastian Maneth, Sylvia Friese, 2010, Developments in Language Theory.

Parsing Graphs with Regular Graph Grammars

Sebastian Maneth, Adam Lopez, Sorcha Gilroy, 2017, *SEM.

Grammar-Based Graph Compression pdf

Sebastian Maneth, Fabian Peternek, S. Maneth, 2017, Inf. Syst..

Efficient memory representation of XML document trees

Sebastian Maneth, Markus Lohrey, Giorgio Busatto, 2008, Inf. Syst..

Tree Automata and XPath on Compressed Trees

Sebastian Maneth, Markus Lohrey, Markus Lohrey, 2005, CIAA.

Parameter Reduction in Grammar-Compressed Trees

Sebastian Maneth, Markus Lohrey, Manfred Schmidt-Schauß, 2009, FoSSaCS.

Incremental updates on compressed XML

Thomas Jacobs, Sebastian Maneth, Stefan Böttcher, 2016, 2016 IEEE 32nd International Conference on Data Engineering (ICDE).

XML Type Checking for Macro Tree Transducers with Holes

Sebastian Maneth, Keisuke Nakano, 2008, PLAN-X.

Tree Structure Compression with RePair

Sebastian Maneth, Markus Lohrey, Roy Mennicke, 2011, 2011 Data Compression Conference.

Equivalence of Deterministic Top-Down Tree-to-String Transducers is Decidable

Helmut Seidl, Sebastian Maneth, Gregor Kemper, 2015, FOCS.

XML compression via DAGs pdf

Sebastian Maneth, Markus Lohrey, Mireille Bousquet-Melou, 2013, ICDT '13.

Robustness of Eye Movement Biometrics Against Varying Stimuli and Varying Trajectory Length

Gabriel Zachmann, Sebastian Maneth, Christoph Schröder, 2020, CHI.

The Macro Tree Transducer Hierarchy Collapses for Functions of Linear Size Increase

Sebastian Maneth, S. Maneth, 2003, FSTTCS.

Proceedings Second International Workshop on Trends in Tree Automata and Tree Transducers: Preface

Sebastian Maneth, 2013 .

An In-Memory XQuery/XPath Engine over a Compressed Structured Text Representation

Gonzalo Navarro, Sebastian Maneth, Veli Mäkinen, 2008, Structure-Based Compression of Complex Massive Data.

Implementation and Application of Automata, 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings

Sebastian Maneth, 2009, CIAA.

XML tree structure compression using RePair

Sebastian Maneth, Markus Lohrey, Roy Mennicke, 2013, Inf. Syst..

08261 Abstracts Collection - Structure-Based Compression of Complex Massive Data

Wojciech Rytter, Sebastian Maneth, Stefan Böttcher, 2008, Structure-Based Compression of Complex Massive Data.

Deciding Regularity of the Set of Instances of a Set of Terms with Regular Constraints is EXPTIME-Complete pdf

Sebastian Maneth, Guillem Godoy, Omer Giménez, 2009, SIAM J. Comput..

Models of tree translation

Sebastian Maneth, S. Maneth, 2004 .

Compressed Tree Canonization pdf

Sebastian Maneth, Markus Lohrey, Fabian Peternek, 2015, ICALP.

Fast and Tiny Structural Self-Indexes for XML pdf

Sebastian Maneth, Tom Sebastian, 2010, ArXiv.

Tree Transducers and Tree Compressions

Sebastian Maneth, Giorgio Busatto, S. Maneth, 2004, FoSSaCS.

Proceedings of the 14th International Conference on Implementation and Application of Automata

Sebastian Maneth, S. Maneth, 2009 .

Computation over Compressed Structured Data (Dagstuhl Seminar 16431)

Philip Bille, Gonzalo Navarro, Sebastian Maneth, 2016, Dagstuhl Reports.

An Overview of the Scala Programming Language

Martin Odersky, Matthias Zenger, Sebastian Maneth, 2004 .

Attributed Context-Free Hypergraph Grammars

Heiko Vogler, Sebastian Maneth, H. Vogler, 1998, J. Autom. Lang. Comb..

Two-Way Finite State Transducers with Nested Pebbles

Joost Engelfriet, Sebastian Maneth, 2002, MFCS.

Deciding Equivalence of Separated Non-Nested Attribute Systems in Polynomial Time

Helmut Seidl, Sebastian Maneth, Raphaela Palenta, 2019, FoSSaCS.

Constant Delay Traversal of Grammar-Compressed Graphs with Bounded Rank

Sebastian Maneth, Fabian Peternek, S. Maneth, 2019, Inf. Comput..

Compression of Unordered XML Trees

Sebastian Maneth, Markus Lohrey, Carl Philipp Reh, 2017, ICDT.

A formal model for an expressive fragment of XSLT

Frank Neven, Sebastian Maneth, Geert Jan Bex, 2002, Inf. Syst..

Compressing graphs by grammars

Sebastian Maneth, Fabian Peternek, S. Maneth, 2016, 2016 IEEE 32nd International Conference on Data Engineering (ICDE).

Equivalence - Combinatorics, Algebra, Proofs

Joost Engelfriet, Helmut Seidl, Sebastian Maneth, 2016, Dependable Software Systems Engineering.

A comparison of pebble tree transducers with macro tree transducers

Joost Engelfriet, Sebastian Maneth, J. Engelfriet, 2003, Acta Informatica.

The Complexity of Compositions of Deterministic Tree Transducers

Sebastian Maneth, Sebastian Maneth, 2002, FSTTCS.

Computing the Cost of Typechecking of Composition of Macro Tree Transducers

Keisuke Nakano, Sebastian Maneth, S. Maneth, 2009 .

Largest Common Prefix of a Regular Tree Language

Sebastian Maneth, Markus Lohrey, 2019, FCT.

String Languages Generated by Total Deterministic Macro Tree Transducers

Sebastian Maneth, S. Maneth, 1999, FoSSaCS.

Indexes and Computation over Compressed Structured Data (Dagstuhl Seminar 13232)

Gonzalo Navarro, Sebastian Maneth, 2013, Dagstuhl Reports.

Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014.

Sebastian Maneth, 2014 .

Structure-Based Compression of Complex Massive Data

Gonzalo Navarro, Sebastian Maneth, Veli Mäkinen, 2008 .

Calculi and Efficiency Measures for Narrowing Techniques

Heiko Vogler, Sebastian Maneth, H. Vogler, 1995 .

XPath whole query optimization

Sebastian Maneth, Kim Nguyen, S. Maneth, 2010, Proc. VLDB Endow..

Determinacy and rewriting of functional top-down and MSO tree transformations

Joost Engelfriet, Michael Benedikt, Sebastian Maneth, 2017, J. Comput. Syst. Sci..

Grammar-Based Compression of Unranked Trees

Sebastian Maneth, Markus Lohrey, Adrià Gascón, 2018, Theory of Computing Systems.

XML type checking with macro tree transducers

Helmut Seidl, Sebastian Maneth, Thomas Perst, 2005, PODS '05.

Macro Tree Transducers, Attribute Grammars, and MSO Definable Tree Translations

Joost Engelfriet, Sebastian Maneth, J. Engelfriet, 1999, Inf. Comput..

XML Compression via Directed Acyclic Graphs

Mireille Bousquet-Mélou, Sebastian Maneth, Markus Lohrey, 2015, Theory of Computing Systems.

A Survey on Decidable Equivalence Problems for Tree Transducers

Sebastian Maneth, S. Maneth, 2015, Int. J. Found. Comput. Sci..

A Characterization of ETOL Tree Languages by Cooperating Regular Tree Grammars

Zoltán Fülöp, Sebastian Maneth, Zoltán Fülöp, 1999, Grammatical Models of Multi-Agent Systems.

2016 Data Compression Conference

Sebastian Maneth, Markus Lohrey, Carl Philipp Reh, 2016 .

Balancedness of MSO transductions in polynomial time

Helmut Seidl, Sebastian Maneth, 2018, Inf. Process. Lett..

Formalizing XML access control for update operations

Sebastian Maneth, Irini Fundulaki, I. Fundulaki, 2007, SACMAT '07.

A Survey on Methods and Systems for Graph Compression pdf

Sebastian Maneth, Fabian Peternek, S. Maneth, 2015, ArXiv.

Dictionary-Based Tree Compression (Invited Talk)

Sebastian Maneth, 2012, RTA.

The equivalence problem for deterministic MSO tree transducers is decidable

Joost Engelfriet, Sebastian Maneth, 2006, Inf. Process. Lett..

(Re)introducing Regular Graph Languages

Sebastian Maneth, Adam Lopez, Pijus Simonaitis, 2017, MOL.

Decision Problems of Tree Transducers with Origin

Jean-Marc Talbot, Sebastian Maneth, Pierre-Alain Reynier, 2015, ICALP.

On the Generating Power of Deterministic Tree Transducers

Sebastian Maneth, 1996 .

Determinacy and Rewriting of Top-Down and MSO Tree Transformations

Joost Engelfriet, Michael Benedikt, Sebastian Maneth, 2013, MFCS.

Proceedings Second International Workshop on Trends in Tree Automata and Tree Transducers, TTATT 2013, Hanoi, Vietnam, 19/10/2013

Sebastian Maneth, 2013, TTATT.

The equivalence problem for deterministic MSO tree transducers is decidable

Joost Engelfriet, Sebastian Maneth, J. Engelfriet, 2005, Inf. Process. Lett..

Exact XML Type Checking in Polynomial Time

Helmut Seidl, Sebastian Maneth, Thomas Perst, 2007, ICDT.

Equivalence of Deterministic Top-Down Tree-to-String Transducers is Decidable

Helmut Seidl, Sebastian Maneth, Gregor Kemper, 2015, 2015 IEEE 56th Annual Symposium on Foundations of Computer Science.

Dependable cardinality forecasts for XQuery

Sherif Sakr, Torsten Grust, Jens Teubner, 2008, Proc. VLDB Endow..

Tree Languages Generated be Context-Free Graph Grammars

Joost Engelfriet, Sebastian Maneth, J. Engelfriet, 1998, TAGT.

Efficient Memory Representation of XML Documents

Sebastian Maneth, Markus Lohrey, Giorgio Busatto, 2005, DBPL.

Equivalence Problems for Tree Transducers: A Brief Survey

Sebastian Maneth, S. Maneth, 2014, AFL.

Hierarchies of String Languages Generated by Deterministic Tree Transducers

Joost Engelfriet, Sebastian Maneth, 2001, Developments in Language Theory.

Deterministic regular expressions in linear time

Sebastian Maneth, Slawomir Staworko, Benoît Groz, 2012, PODS.

Domains of partial attributed tree transducers

Zoltán Fülöp, Sebastian Maneth, 2000, Inf. Process. Lett..

IEEE 30th International Conference on Data Engineering, Chicago, ICDE 2014, IL, USA, March 31 - April 4, 2014

Sebastian Maneth, Keisuke Nakano, H. Iwasaki, 2014, IEEE International Conference on Data Engineering.

Proceedings of the 6th Joint Conference on Lexical and Computational Semantics (*SEM 2017)

Sebastian Maneth, Adam Lopez, Sorcha Gilroy, 2017 .

The complexity of tree automata and XPath on grammar-compressed trees

Sebastian Maneth, Markus Lohrey, Markus Lohrey, 2006, Theor. Comput. Sci..

Automata, Languages, and Programming

Jean-Marc Talbot, Sebastian Maneth, Pierre-Alain Reynier, 2015 .

A Strict Border for the Decidability of E-Unification for Recursive Functions

Sebastian Maneth, Heinz Faßbender, 1998, J. Funct. Log. Program..

Traversing Grammar-Compressed Trees with Constant Delay

Sebastian Maneth, Markus Lohrey, Carl Philipp Reh, 2016, 2016 Data Compression Conference (DCC).

Structured Document Transformations Based on XSL

Frank Neven, Sebastian Maneth, F. Neven, 1999, DBPL.

The Generating Power of Total Deterministic Tree Transducers

Sebastian Maneth, 1998, Inf. Comput..

First-Order Unification on Compressed Terms

Sebastian Maneth, Adrià Gascón, Lander Ramos, 2011, RTA.

XQuery streaming by Forest Transducers

Sebastian Maneth, Hideya Iwasaki, Keisuke Nakano, 2013, 2014 IEEE 30th International Conference on Data Engineering.

An Extensive Study of User Identification via Eye Movements across Multiple Datasets pdf

Sebastian Maneth, Sahar Mahdie Klim Al Zaidawi, Martin H. U. Prinzler, 2021, Signal Process. Image Commun..

Definability Results for Top-Down Tree Transducers pdf

Helmut Seidl, Sebastian Maneth, Martin Vu, 2021, DLT.

Deciding Top-Down Determinism of Regular Tree Languages pdf

Peter Leupold, Sebastian Maneth, 2021, FCT.

Visualizing Prediction Correctness of Eye Tracking Classifiers

Gabriel Zachmann, Sebastian Maneth, Christoph Schröder, 2021, ETRA Short Papers.

Tree Structure Compression

Sherif Sakr, Sebastian Maneth, Nikolay Mihaylov, 2008 .