The complexity of acyclic conjunctive queries.
Unconditional security in quantum cryptography.
An analysis of the Burrows-Wheeler transform.
A modal analysis of staged computation.
Simplifying fault-tolerance: providing the abstraction of crash failures.