Sebastian Maneth
Sebastian Maneth
Professor für Informatik, Universität Bremen
Dirección de correo verificada de - Página principal
Citado por
Citado por
An overview of the Scala programming language
M Odersky, P Altherr, V Cremet, B Emir, S Maneth, S Micheloud, ...
A formal model for an expressive fragment of XSLT
GJ Bex, S Maneth, F Neven
Information Systems 27 (1), 21-39, 2002
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
Macro tree transducers, attribute grammars, and MSO definable tree translations
J Engelfriet, S Maneth
Information and Computation 154 (1), 34-91, 1999
Efficient memory representation of XML document trees
G Busatto, M Lohrey, S Maneth
Information Systems 33 (4-5), 456-474, 2008
Macro tree translations of linear size increase are MSO definable
J Engelfriet, S Maneth
SIAM Journal on Computing 32 (4), 950-1006, 2003
Structured document transformations based on XSL
S Maneth, F Neven
International Symposium on Database Programming Languages, 80-98, 1999
Efficient memory representation of XML documents
G Busatto, M Lohrey, S Maneth
International Workshop on Database Programming Languages, 199-216, 2005
A comparison of pebble tree transducers with macro tree transducers
J Engelfriet, S Maneth
Acta Informatica 39 (9), 613-698, 2003
XML tree structure compression using RePair
M Lohrey, S Maneth, R Mennicke
Information Systems 38 (8), 1150-1167, 2013
Exact XML type checking in polynomial time
S Maneth, T Perst, H Seidl
International Conference on Database Theory, 254-268, 2007
The complexity of tree automata and XPath on grammar-compressed trees
M Lohrey, S Maneth
Theoretical Computer Science 363 (2), 196-210, 2006
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
Structural selectivity estimation for XML documents
DK Fisher, S Maneth
2007 IEEE 23rd International Conference on Data Engineering, 626-635, 2007
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
The equivalence problem for deterministic MSO tree transducers is decidable
J Engelfriet, S Maneth
Information Processing Letters 100 (5), 206-212, 2006
Dependable cardinality forecasts for XQuery
J Teubner, T Grust, S Maneth, S Sakr
Proceedings of the VLDB Endowment 1 (1), 463-477, 2008
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
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
Formalizing XML access control for update operations
I Fundulaki, S Maneth
Proceedings of the 12th ACM symposium on Access control models and …, 2007
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20