2 × USA
J.M.Morris V.Bellotti N.Ducheneaut I.Smith
email (2) task (2) hyperfinit (1) program (1) symbol (1) machin (1) execut (1) design (1) center (1) verif (1)
Person: Mark Howard
Wrote 2 papers:
- CHI-2003-BellottiDHS #design #email #evaluation
- Taking email to task: the design and evaluation of a task management centered email tool (VB, ND, MH, IS), pp. 345–352.
- CAV-1990-MorrisH #execution #symbolic computation #verification
- Program Verification by Symbolic Execution of Hyperfinite Ideal Machines (JMM, MH), pp. 322–332.