Software

One-pass and tree-shaped tableau systems for TPTL and TPTLb+past

Persistent stochastic non-interference

From entity relationship to XML Schema: A graph-theoretic approach (extended abstract)