Foundations of Multimedia Database Systems.
Linear-Time Suffix Parsing for Deterministic Languages.
Branching Time and Abstraction in Bisimulation Semantics.
On Linear Potential Functions for Approximating Bayesian Computations.
Software Protection and Simulation on Oblivious RAMs.