In an input-driven pushdown automaton (IDPDA), the current input symbol determines
whether the automaton performs a push operation, a pop operation, or does not touch the …

Nested words model data with both linear and hierarchical structure such as XML
documents and program traces. A nested word is a sequence of positions together with a …

Streaming applications from cluster monitoring to algorithmic trading deploy Kleene queries
to detect and aggregate event trends. Rich event matching semantics determine how to …

The family of languages recognized by deterministic input-driven pushdown automata
(IDPDA; aka visibly pushdown automata, aka nested word automata) is known to be closed …

Streaming of XML transformations is a challenging task and only a few existing systems
support streaming. Research approaches generally define custom fragments of XQuery and …

We consider the problem of determinizing and minimizing automata for nested words in
practice. For this we compile the nested regular expressions (NREs) from the usual XPath …

List comprehensions provide a powerful abstraction mechanism for expressing
computations over ordered collections of data declaratively without having to use explicit …

Earliest query answering (EQA) is the problem to enumerate certain query answers on
streams at the earliest events. We consider EQA for regular monadic queries on hedges or …

We provide a benchmark collection of deterministic automata for regular XPath queries. For
this, we select the subcollection of forward navigational XPath queries from a corpus that …

Various entities within and related to higher education offer activities designed to promote
professional development of faculty in the area of teaching. A critical challenge to these …