5. VMCAI 2004:
: On the Expressive Power of Canonical Abstraction.
Liveness and Completeness
: Analysis of Recursive Game Graphs Using Data Flow Equations.
: Why AI + ILP Is Good for WCET, but MC Is Not, Nor ILP Alone.
: A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal.