In recent research it turned out that Boolean verification of digital signatures in the context of
WS-Security is likely to fail: If parts of a SOAP message are signed and the signature …

This thesis investigates querying the Web and the Semantic Web. It proposes a new
rulebased query language called Xcerpt. Xcerpt differs from other query languages in that it …

An alternation-free modal ì-calculus over data trees is introduced and studied. A data tree is
an unranked ordered tree whose every node is labelled by a letter from a finite alphabet and …

Some of the most relevant document schemas used online, such as XML and JSON, have a
nested format. In the past decade, the task of extracting data from nested documents over …

A data tree is an unranked ordered tree whose every node is labeled by a letter from a finite
alphabet and an element (“datum”) from an infinite set, where the latter can only be …

In recent years, data streams have become ubiquitous as technology is improving and the
prices of sensor, location-tracking and portable devices are falling. Examples of streaming …

Querying XML streams is receiving much attention due to its growing range of applications
from traffic monitoring to routing of media streams. Existing approaches to querying XML …

A widely acknowledged obstacle for realizing the vision of the Semantic Web is the inability
of many current Semantic Web approaches to cope with data available in such diverging …

Most current XQuery implementations require that all XML data reside in memory in one
form or another before they start processing the data. This is unacceptable for large XML …

XML is nowadays the de facto standard for electronic data interchange on the Web.
Available XML data ranges from small Web pages to ever-growing repositories of, eg …