Maneth, Sebastian
- A Survey on Methods and Systems for Graph Compression
2015/04/02 by Maneth, Sebastian, Peternek, Fabian · 1 citation
#Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences
- Grammar-based Compression of Unranked Trees
2018/02/15 by Adrià Gascón, Gascón, Adrià, Markus Lohrey +7 · 2 citations
Computer Science · #Software Testing and Debugging Techniques #Formal Methods in Verification #Logic, programming, and type systems
- The Equivalence Problem for Deterministic MSO Tree Transducers is Decidable
2005/06/06 by Joost Engelfriet, Engelfriet, Joost, Sebastian Maneth +1 · 1 citation
Biochemistry, Genetics and Molecular Biology · Computer Science · #Computability, Logic, AI Algorithms #DNA and Biological Computing #cs.LO #semigroups and automata theory
- Grammar-Based Graph Compression
2017/04/18 by Maneth, Sebastian, Peternek, Fabian · 1 citation
#Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences
- Linear Bounded Composition of Tree-Walking Tree Transducers: Linear Size\n Increase and Complexity
2019/04/19 by Joost Engelfriet, Engelfriet, Joost, Kazuhiro Inaba +3 · 1 citation
Biochemistry, Genetics and Molecular Biology · Computer Science · #Algorithms and Data Compression #DNA and Biological Computing #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #semigroups and automata theory
- Constant Delay Traversal of Grammar-Compressed Graphs with Bounded Rank
2019/07/24 by Maneth, Sebastian, Peternek, Fabian · 1 citation
#Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences
- Definability Results for Top-Down Tree Transducers
2021/05/31 by Maneth, Sebastian, Seidl, Helmut, Vu, Martin · 1 citation
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)
- Equivalence of Deterministic Top-Down Tree-to-String Transducers is\n Decidable
2015/03/31 by Helmut Seidl, Sebastian Maneth, Seidl, Helmut +3 · 1 citation
Computer Science · Biochemistry, Genetics and Molecular Biology · #semigroups and automata theory #Natural Language Processing Techniques #DNA and Biological Computing