Publication
The Complexity of Query Reliability
Publication
Typed Abstract State Machines
Publication
Statistical models of visual shape and motion
Publication
The New GHC/Hugs Runtime System
Publication