Sebastian Maneth
Sebastian Maneth
Professor für Informatik, Universität Bremen
Dirección de correo verificada de uni-bremen.de - Página principal
Título
Citado por
Citado por
Año
An overview of the Scala programming language
M Odersky, P Altherr, V Cremet, B Emir, S Maneth, S Micheloud, ...
7272004
A formal model for an expressive fragment of XSLT
GJ Bex, S Maneth, F Neven
Information Systems 27 (1), 21-39, 2002
1452002
XML type checking with macro tree transducers
S Maneth, A Berlea, T Perst, H Seidl
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on …, 2005
1172005
Macro tree transducers, attribute grammars, and MSO definable tree translations
J Engelfriet, S Maneth
Information and Computation 154 (1), 34-91, 1999
1121999
Efficient memory representation of XML document trees
G Busatto, M Lohrey, S Maneth
Information Systems 33 (4-5), 456-474, 2008
882008
Macro tree translations of linear size increase are MSO definable
J Engelfriet, S Maneth
SIAM Journal on Computing 32 (4), 950-1006, 2003
752003
Structured document transformations based on XSL
S Maneth, F Neven
International Symposium on Database Programming Languages, 80-98, 1999
721999
Efficient memory representation of XML documents
G Busatto, M Lohrey, S Maneth
International Workshop on Database Programming Languages, 199-216, 2005
712005
A comparison of pebble tree transducers with macro tree transducers
J Engelfriet, S Maneth
Acta Informatica 39 (9), 613-698, 2003
692003
XML tree structure compression using RePair
M Lohrey, S Maneth, R Mennicke
Information Systems 38 (8), 1150-1167, 2013
562013
Exact XML type checking in polynomial time
S Maneth, T Perst, H Seidl
International Conference on Database Theory, 254-268, 2007
562007
The complexity of tree automata and XPath on grammar-compressed trees
M Lohrey, S Maneth
Theoretical Computer Science 363 (2), 196-210, 2006
552006
A learning algorithm for top-down XML transformations
A Lemay, S Maneth, J Niehren
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on …, 2010
542010
Structural selectivity estimation for XML documents
DK Fisher, S Maneth
2007 IEEE 23rd International Conference on Data Engineering, 626-635, 2007
462007
Deciding equivalence of top–down XML transformations in polynomial time
J Engelfriet, S Maneth, H Seidl
Journal of Computer and System Sciences 75 (5), 271-286, 2009
452009
The equivalence problem for deterministic MSO tree transducers is decidable
J Engelfriet, S Maneth
Information Processing Letters 100 (5), 206-212, 2006
382006
Dependable cardinality forecasts for XQuery
J Teubner, T Grust, S Maneth, S Sakr
Proceedings of the VLDB Endowment 1 (1), 463-477, 2008
342008
Parameter reduction and automata evaluation for grammar-compressed trees
M Lohrey, S Maneth, M Schmidt-Schauß
Journal of Computer and System Sciences 78 (5), 1651-1669, 2012
332012
Fast in-memory XPath search using compressed indexes
D Arroyuelo, F Claude, S Maneth, V Mäkinen, G Navarro, K Nguyên, ...
2010 IEEE 26th International Conference on Data Engineering (ICDE 2010), 417-428, 2010
332010
Formalizing XML access control for update operations
I Fundulaki, S Maneth
Proceedings of the 12th ACM symposium on Access control models and …, 2007
322007
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20