S. Maneth

Publications143
h-index26
Citations2,924
Highly Influential Citations172
Claim Author Page
Author pages are created from data sourced from our academic publisher partnerships and public sources.

Recommended Authors

  • J. Engelfriet
  • 189 Publications • 6,123 Citations
  • Markus Lohrey
  • 199 Publications • 2,437 Citations
  • H. Seidl
  • 237 Publications • 4,158 Citations
  • G. Navarro
  • 592 Publications • 21,340 Citations
  • Publications
  • Influence
An Overview of the Scala Programming Language
TLDR
This paper gives an overview of the Scala language for readers who are familar with programming methods and programming language design.
Efficient Memory Representation of XML Documents
TLDR
A technique is presented that allows to represent the tree structure of an XML document in an efficient way by “compressing” their tree structure, which allows to directly execute queries without prior decompression.
View via Publisher
Formalizing XML access control for update operations
TLDR
XACU, a language for specifying access control on XML data in the presence of update operations, is proposed and a formal access control model is defined which allows to study properties of XACU access policies.
View on ACM
XML type checking with macro tree transducers
TLDR
It is proved that TL -- and thus in particular DTL - despite their expressiveness still allow for effective inverse type inference and is obtained by means of a translation of TL programs into compositions of top-down finite state tree transductions with parameters, also called (stay) macro tree transducers.
View on ACM
Efficient memory representation of XML document trees
View via Publisher
Macro Tree Transducers, Attribute Grammars, and MSO Definable Tree Translations
A characterization is given of the class of tree translations definable in monadic second-order logic (MSO), in terms of macro tree transducers. The first main result is that the MSO definable tree…
View via Publisher
Exact XML Type Checking in Polynomial Time
TLDR
This work presents a new adaptive type checking algorithm based on forward type inference through exact characterizations of output languages that correctly type-checks all call-by-value smtts.
View via Publisher
XML tree structure compression using RePair
View via Publisher
Deciding equivalence of top-down XML transformations in polynomial time
View via Publisher
The complexity of tree automata and XPath on grammar-compressed trees
View via Publisher
...
...