Software

Research Prototype Implementations [Soon available!]

A fixpoint temporal logic satisfiability solver optimized for XML.

Compilers for translating XPath and regular tree types including DTDs into mu-calculus.

XPath containment checker based on MSO optimized with tree automata guides.

PocketSMIL

An embedded SMIL Player with profile management and proxy-based transcoders.

Madeus

A full constraint-based Multimedia authoring and presentation system.

Thot

I have implemented the imaging, plug-ins and ... of the Thot Structured Editor (a.k.a) Grif Editor.