Æȷοì
Sebastian Maneth
Sebastian Maneth
Professor für Informatik, Universität Bremen
uni-bremen.deÀÇ À̸ÞÀÏ È®ÀÎµÊ - ȨÆäÀÌÁö
Á¦¸ñ
Àοë
Àοë
¿¬µµ
An overview of the Scala programming language
M Odersky, P Altherr, V Cremet, B Emir, S Maneth, S Micheloud, ...
8742004
Macro tree transducers, attribute grammars, and MSO definable tree translations
J Engelfriet, S Maneth
Information and Computation 154 (1), 34-91, 1999
1421999
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
1292005
A formal model for an expressive fragment of XSLT
GJ Bex, S Maneth, F Neven
Information Systems 27 (1), 21-39, 2002
1122002
Efficient memory representation of XML document trees
G Busatto, M Lohrey, S Maneth
Information Systems 33 (4-5), 456-474, 2008
992008
XML tree structure compression using RePair
M Lohrey, S Maneth, R Mennicke
Information Systems 38 (8), 1150-1167, 2013
922013
Macro tree translations of linear size increase are MSO definable
J Engelfriet, S Maneth
SIAM Journal on Computing 32 (4), 950-1006, 2003
922003
A comparison of pebble tree transducers with macro tree transducers
J Engelfriet, S Maneth
Acta Informatica 39 (9), 613-698, 2003
822003
Efficient memory representation of XML documents
G Busatto, M Lohrey, S Maneth
International Workshop on Database Programming Languages, 199-216, 2005
772005
Structured document transformations based on XSL
S Maneth, F Neven
Research Issues in Structured and Semistructured Database Programming: 7th ¡¦, 2000
742000
Exact XML type checking in polynomial time
S Maneth, T Perst, H Seidl
International Conference on Database Theory, 254-268, 2007
602007
The complexity of tree automata and XPath on grammar-compressed trees
M Lohrey, S Maneth
Theoretical Computer Science 363 (2), 196-210, 2006
602006
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
592010
Fast in‐memory XPath search using compressed indexes
D Arroyuelo, F Claude, S Maneth, V Mäkinen, G Navarro, K Nguyễn, ...
Software: Practice and Experience 45 (3), 399-434, 2015
552015
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
512009
Structural selectivity estimation for XML documents
DK Fisher, S Maneth
2007 IEEE 23rd International Conference on Data Engineering, 626-635, 2006
482006
The equivalence problem for deterministic MSO tree transducers is decidable
J Engelfriet, S Maneth
Information Processing Letters 100 (5), 206-212, 2006
462006
XML compression via directed acyclic graphs
M Bousquet-Mélou, M Lohrey, S Maneth, E Noeth
Theory of Computing Systems 57, 1322-1371, 2015
452015
A formal model for an expressive fragment of XSLT
GJ Bex, S Maneth, F Neven
International Conference on Computational Logic, 1137-1151, 2000
452000
Selectivity estimation
D Fisher, S Maneth
US Patent App. 12/301,968, 2011
422011
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20