×

zbMATH — the first resource for mathematics

Maneth, Sebastian

Compute Distance To:
Author ID: maneth.sebastian Recent zbMATH articles by "Maneth, Sebastian"
Published as: Maneth, S.; Maneth, Sebastian
External Links: MGP · Wikidata
Documents Indexed: 64 Publications since 1996, including 3 Books

Publications by Year

Citations contained in zbMATH

44 Publications have been cited 205 times in 93 Documents Cited by Year
Macro tree transducers, attribute grammars, and MSO definable tree translations. Zbl 1045.68585
Engelfriet, Joost; Maneth, Sebastian
25
1999
Macro tree translations of linear size increase are MSO definable. Zbl 1029.68090
Engelfriet, Joost; Maneth, Sebastian
16
2003
Structured document transformations based on XSL. Zbl 1044.68584
Maneth, Sebastian; Neven, Frank
14
2000
Parameter reduction and automata evaluation for grammar-compressed trees. Zbl 1246.68114
Lohrey, Markus; Maneth, Sebastian; Schmidt-Schauß, Manfred
13
2012
Efficient memory representation of XML documents. Zbl 1159.68408
Busatto, Giorgio; Lohrey, Markus; Maneth, Sebastian
13
2005
The complexity of tree automata and XPath on grammar-compressed trees. Zbl 1153.68402
Lohrey, Markus; Maneth, Sebastian
12
2006
A comparison of pebble tree transducers with macro tree transducers. Zbl 1060.68062
Engelfriet, Joost; Maneth, Sebastian
12
2003
XML compression via directed acyclic graphs. Zbl 1352.68079
Bousquet-Mélou, Mireille; Lohrey, Markus; Maneth, Sebastian; Noeth, Eric
8
2015
The equivalence problem for deterministic MSO tree transducers is decidable. Zbl 1185.68385
Engelfriet, Joost; Maneth, Sebastian
8
2006
A formal model for an expressive fragment of XSLT. Zbl 1004.68059
Bex, Geert Jan; Maneth, Sebastian; Neven, Frank
8
2002
Deciding equivalence of top-down XML transformations in polynomial time. Zbl 1167.68032
Engelfriet, Joost; Maneth, Sebastian; Seidl, Helmut
6
2009
The macro tree transducer hierarchy collapses for functions of linear size increase. Zbl 1205.68208
Maneth, Sebastian
5
2003
Tree languages generated by context-free graph grammars. Zbl 0956.68074
Engelfriet, Joost; Maneth, Sebastian
5
2000
Determinacy and rewriting of top-down and MSO tree transformations. Zbl 1398.68104
Benedikt, Michael; Engelfriet, Joost; Maneth, Sebastian
4
2013
Tree transducers and tree compressions. Zbl 1126.68449
Maneth, Sebastian; Busatto, Giorgio
4
2004
The generating power of total deterministic tree transducers. Zbl 0927.68046
Maneth, Sebastian
4
1998
Parameter reduction in grammar-compressed trees. Zbl 1234.68182
Lohrey, Markus; Maneth, Sebastian; Schmidt-Schauß, Manfred
3
2009
The complexity of compositions of deterministic tree transducers. Zbl 1027.68078
Maneth, Sebastian
3
2002
Output string languages of compositions of deterministic macro tree transducers. Zbl 1013.68124
Engelfriet, Joost; Maneth, Sebastian
3
2002
Grammar-based compression of unranked trees. Zbl 1434.68128
Gascón, Adrià; Lohrey, Markus; Maneth, Sebastian; Reh, Carl Philipp; Sieber, Kurt
2
2018
Constant-time tree traversal and subtree equality check for grammar-compressed trees. Zbl 1392.68185
Lohrey, Markus; Maneth, Sebastian; Reh, Carl Philipp
2
2018
Efficient testing and matching of deterministic regular expressions. Zbl 1372.68157
Groz, B.; Maneth, S.
2
2017
Compressed tree canonization. Zbl 1440.68148
Lohrey, Markus; Maneth, Sebastian; Peternek, Fabian
2
2015
Decision problems of tree transducers with origin. Zbl 1395.68167
Filiot, Emmanuel; Maneth, Sebastian; Reynier, Pierre-Alain; Talbot, Jean-Marc
2
2015
First-order unification on compressed terms. Zbl 1236.68129
Gascón, Adrià; Maneth, Sebastian; Ramos, Lander
2
2011
Deciding regularity of the set of instances of a set of terms with regular constraints is EXPTIME-complete. Zbl 1348.68060
Giménez, Omer; Godoy, Guillem; Maneth, Sebastian
2
2011
Tree automata and XPath on compressed trees. Zbl 1172.68517
Lohrey, Markus; Maneth, Sebastian
2
2006
The equivalence problem for deterministic MSO tree transducers is decidable. Zbl 1172.03308
Engelfriet, Joost; Maneth, Sebastian
2
2005
Domains of partial attributed tree transducers. Zbl 1338.68146
Fülöp, Zoltán; Maneth, Sebastian
2
2000
A formal model for an expressive fragment of XSLT. Zbl 0983.68589
Bex, Geert Jan; Maneth, Sebastian; Neven, Frank
2
2000
Characterizing and deciding MSO-definability of macro tree transductions. Zbl 0962.68092
Engelfriet, Joost; Maneth, Sebastian
2
2000
Cooperating distributed hyperedge replacement grammars. Zbl 0939.68059
Maneth, Sebastian
2
1999
String languages generated by total deterministic macro tree transducers. Zbl 0942.68068
Maneth, Sebastian
2
1999
Largest common prefix of a regular tree language. Zbl 07160829
Lohrey, Markus; Maneth, Sebastian
1
2019
Compression of unordered XML trees. Zbl 1402.68059
Lohrey, Markus; Maneth, Sebastian; Reh, Carl Philipp
1
2017
Look-ahead removal for total deterministic top-down tree transducers. Zbl 1333.68163
Engelfriet, Joost; Maneth, Sebastian; Seidl, Helmut
1
2016
A survey on decidable equivalence problems for tree transducers. Zbl 1345.68212
Maneth, Sebastian
1
2015
How to remove the look-ahead of top-down tree transducers. Zbl 1298.68132
Engelfriet, Joost; Maneth, Sebastian; Seidl, Helmut
1
2014
Earliest normal form and minimization for bottom-up tree transducers. Zbl 1252.68170
Friese, Sylvia; Seidl, Helmut; Maneth, Sebastian
1
2011
The complexity of tree transducer output languages. Zbl 1248.68205
Inaba, Kazuhiro; Maneth, Sebastian
1
2008
Classes of tree homomorphisms with decidable preservation of regularity. Zbl 1139.68032
Godoy, Guillem; Maneth, Sebastian; Tison, Sophie
1
2008
Hierarchies of string languages generated by deterministic tree transducers. Zbl 1073.68667
Engelfriet, Joost; Maneth, Sebastian
1
2002
Two-way finite state transducers with nested pebbles. Zbl 1014.68087
Engelfriet, Joost; Maneth, Sebastian
1
2002
Attributed context-free hypergraph grammars. Zbl 0916.68088
Maneth, Sebastian; Vogler, Heiko
1
1998
Largest common prefix of a regular tree language. Zbl 07160829
Lohrey, Markus; Maneth, Sebastian
1
2019
Grammar-based compression of unranked trees. Zbl 1434.68128
Gascón, Adrià; Lohrey, Markus; Maneth, Sebastian; Reh, Carl Philipp; Sieber, Kurt
2
2018
Constant-time tree traversal and subtree equality check for grammar-compressed trees. Zbl 1392.68185
Lohrey, Markus; Maneth, Sebastian; Reh, Carl Philipp
2
2018
Efficient testing and matching of deterministic regular expressions. Zbl 1372.68157
Groz, B.; Maneth, S.
2
2017
Compression of unordered XML trees. Zbl 1402.68059
Lohrey, Markus; Maneth, Sebastian; Reh, Carl Philipp
1
2017
Look-ahead removal for total deterministic top-down tree transducers. Zbl 1333.68163
Engelfriet, Joost; Maneth, Sebastian; Seidl, Helmut
1
2016
XML compression via directed acyclic graphs. Zbl 1352.68079
Bousquet-Mélou, Mireille; Lohrey, Markus; Maneth, Sebastian; Noeth, Eric
8
2015
Compressed tree canonization. Zbl 1440.68148
Lohrey, Markus; Maneth, Sebastian; Peternek, Fabian
2
2015
Decision problems of tree transducers with origin. Zbl 1395.68167
Filiot, Emmanuel; Maneth, Sebastian; Reynier, Pierre-Alain; Talbot, Jean-Marc
2
2015
A survey on decidable equivalence problems for tree transducers. Zbl 1345.68212
Maneth, Sebastian
1
2015
How to remove the look-ahead of top-down tree transducers. Zbl 1298.68132
Engelfriet, Joost; Maneth, Sebastian; Seidl, Helmut
1
2014
Determinacy and rewriting of top-down and MSO tree transformations. Zbl 1398.68104
Benedikt, Michael; Engelfriet, Joost; Maneth, Sebastian
4
2013
Parameter reduction and automata evaluation for grammar-compressed trees. Zbl 1246.68114
Lohrey, Markus; Maneth, Sebastian; Schmidt-Schauß, Manfred
13
2012
First-order unification on compressed terms. Zbl 1236.68129
Gascón, Adrià; Maneth, Sebastian; Ramos, Lander
2
2011
Deciding regularity of the set of instances of a set of terms with regular constraints is EXPTIME-complete. Zbl 1348.68060
Giménez, Omer; Godoy, Guillem; Maneth, Sebastian
2
2011
Earliest normal form and minimization for bottom-up tree transducers. Zbl 1252.68170
Friese, Sylvia; Seidl, Helmut; Maneth, Sebastian
1
2011
Deciding equivalence of top-down XML transformations in polynomial time. Zbl 1167.68032
Engelfriet, Joost; Maneth, Sebastian; Seidl, Helmut
6
2009
Parameter reduction in grammar-compressed trees. Zbl 1234.68182
Lohrey, Markus; Maneth, Sebastian; Schmidt-Schauß, Manfred
3
2009
The complexity of tree transducer output languages. Zbl 1248.68205
Inaba, Kazuhiro; Maneth, Sebastian
1
2008
Classes of tree homomorphisms with decidable preservation of regularity. Zbl 1139.68032
Godoy, Guillem; Maneth, Sebastian; Tison, Sophie
1
2008
The complexity of tree automata and XPath on grammar-compressed trees. Zbl 1153.68402
Lohrey, Markus; Maneth, Sebastian
12
2006
The equivalence problem for deterministic MSO tree transducers is decidable. Zbl 1185.68385
Engelfriet, Joost; Maneth, Sebastian
8
2006
Tree automata and XPath on compressed trees. Zbl 1172.68517
Lohrey, Markus; Maneth, Sebastian
2
2006
Efficient memory representation of XML documents. Zbl 1159.68408
Busatto, Giorgio; Lohrey, Markus; Maneth, Sebastian
13
2005
The equivalence problem for deterministic MSO tree transducers is decidable. Zbl 1172.03308
Engelfriet, Joost; Maneth, Sebastian
2
2005
Tree transducers and tree compressions. Zbl 1126.68449
Maneth, Sebastian; Busatto, Giorgio
4
2004
Macro tree translations of linear size increase are MSO definable. Zbl 1029.68090
Engelfriet, Joost; Maneth, Sebastian
16
2003
A comparison of pebble tree transducers with macro tree transducers. Zbl 1060.68062
Engelfriet, Joost; Maneth, Sebastian
12
2003
The macro tree transducer hierarchy collapses for functions of linear size increase. Zbl 1205.68208
Maneth, Sebastian
5
2003
A formal model for an expressive fragment of XSLT. Zbl 1004.68059
Bex, Geert Jan; Maneth, Sebastian; Neven, Frank
8
2002
The complexity of compositions of deterministic tree transducers. Zbl 1027.68078
Maneth, Sebastian
3
2002
Output string languages of compositions of deterministic macro tree transducers. Zbl 1013.68124
Engelfriet, Joost; Maneth, Sebastian
3
2002
Hierarchies of string languages generated by deterministic tree transducers. Zbl 1073.68667
Engelfriet, Joost; Maneth, Sebastian
1
2002
Two-way finite state transducers with nested pebbles. Zbl 1014.68087
Engelfriet, Joost; Maneth, Sebastian
1
2002
Structured document transformations based on XSL. Zbl 1044.68584
Maneth, Sebastian; Neven, Frank
14
2000
Tree languages generated by context-free graph grammars. Zbl 0956.68074
Engelfriet, Joost; Maneth, Sebastian
5
2000
Domains of partial attributed tree transducers. Zbl 1338.68146
Fülöp, Zoltán; Maneth, Sebastian
2
2000
A formal model for an expressive fragment of XSLT. Zbl 0983.68589
Bex, Geert Jan; Maneth, Sebastian; Neven, Frank
2
2000
Characterizing and deciding MSO-definability of macro tree transductions. Zbl 0962.68092
Engelfriet, Joost; Maneth, Sebastian
2
2000
Macro tree transducers, attribute grammars, and MSO definable tree translations. Zbl 1045.68585
Engelfriet, Joost; Maneth, Sebastian
25
1999
Cooperating distributed hyperedge replacement grammars. Zbl 0939.68059
Maneth, Sebastian
2
1999
String languages generated by total deterministic macro tree transducers. Zbl 0942.68068
Maneth, Sebastian
2
1999
The generating power of total deterministic tree transducers. Zbl 0927.68046
Maneth, Sebastian
4
1998
Attributed context-free hypergraph grammars. Zbl 0916.68088
Maneth, Sebastian; Vogler, Heiko
1
1998
all top 5

Cited by 121 Authors

21 Maneth, Sebastian
15 Engelfriet, Joost
14 Lohrey, Markus
8 Schmidt-Schauß, Manfred
6 Fülöp, Zoltán
6 Maletti, Andreas
6 Neven, Frank
5 Seidl, Helmut
4 Gascón, Adrià
4 Godoy, Guillem
4 Martens, Wim
3 Drewes, Frank
3 Filiot, Emmanuel
3 Kühnemann, Armin
3 Nöth, Eric
3 Reh, Carl Philipp
3 Reynier, Pierre-Alain
3 Schwentick, Thomas
3 Talbot, Jean-Marc
3 Vogler, Heiko
3 Wallner, Michael
2 Alur, Rajeev
2 Benedikt, Michael A.
2 Bille, Philip
2 Creus, Carles
2 Fisman, Dana
2 Fujiyoshi, Akio
2 Ganardi, Moses
2 Hucke, Danny
2 Jeż, Artur
2 Landau, Gad M.
2 Matsuda, Kazutaka
2 Mönnich, Uwe
2 Morawietz, Frank
2 Peternek, Fabian
2 Raghothaman, Mukund
2 Ramos, Lander
2 Sieber, Kurt
2 Weimann, Oren
1 Akutsu, Tatsuya
1 Anis, Altug
1 Badouel, Eric
1 Bloem, Roderick
1 Blumensath, Achim
1 Boiret, Adrien
1 Bousquet-Mélou, Mireille
1 Chang, Shan
1 Cherroun, Hadda
1 Corradini, Andrea
1 Courcelle, Bruno
1 Czerwiński, Wojciech
1 Dányi, Gábor
1 David, Claire
1 Fan, Wenfei
1 Fang, Wenjie
1 Flesca, Sergio
1 Fotsing, Bernard
1 Freydenberger, Dominik D.
1 Friese, Sylvia
1 Furfaro, Filippo
1 Genitrini, Antoine
1 Giesl, Jürgen
1 Giraudo, Samuele
1 Gittenberger, Bernhard
1 Göller, Stefan
1 Gørtz, Inge Li
1 Greco, Sergio
1 Guellouma, Younes
1 Gyssens, Marc
1 Hoogeboom, Hendrik Jan
1 Inaba, Kazuhiro
1 Janssen, Wim
1 Kanazawa, Makoto
1 Kauers, Manuel
1 Kobayashi, Naoki
1 Kolb, Hans-Peter
1 Korlyukov, Alexandr
1 Kuper, Gabriel M.
1 Lilin, Eric
1 Liu, Xiaoqiang
1 Losemann, Katja
1 Lu, Li
1 Mamouras, Konstantinos
1 Mathissen, Christian
1 Mazowiecki, Filip
1 Michaelis, Jens
1 Milo, Tova
1 Montesi, Danilo
1 Nakano, Keisuke
1 Navarro, Gonzalo
1 Nkuimi-Jugnia, C.
1 Ordóñez Pereira, Alberto
1 Palenta, Raphaela
1 Perst, Thomas
1 Price, Andrew Elvey
1 Raman, Rajeev
1 Raskin, Jean-François
1 Retoré, Christian
1 Riveros, Cristian
1 Sabel, David
...and 21 more Authors

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.