| 2007 |
|---|
| 8 | EE | Andreas Leitner,
Ilinca Ciupa,
Bertrand Meyer,
Mark Howard:
Reconciling Manual and Automated Testing: The AutoTest Experience.
HICSS 2007: 261 |
| 7 | EE | Hashi Bai,
Greydon Buckley,
Mark Howard,
Edward Lank:
Tracking Observations: Using Handhelds and Computers for Classroom Observation Logging.
ICDS 2007: 34 |
| 2003 |
|---|
| 6 | EE | Victoria Bellotti,
Nicolas Ducheneaut,
Mark Howard,
Ian Smith:
Taking email to task: the design and evaluation of a task management centered email tool.
CHI 2003: 345-352 |
| 2002 |
|---|
| 5 | EE | Victoria Bellotti,
Nicolas Ducheneaut,
Mark Howard,
Ian Smith,
Christine Neuwirth:
Innovation in extremis: evolving an application for the critical work of email and information management.
Symposium on Designing Interactive Systems 2002: 181-192 |
| 4 | EE | Victoria Bellotti,
Nicolas Ducheneaut,
Mark Howard,
Christine Neuwirth,
Ian Smith,
Trevor F. Smith:
FLANNEL: adding computation to electronic mail during transmission.
UIST 2002: 1-10 |
| 1990 |
|---|
| 3 | | James M. Morris,
Mark Howard:
Program Verification by Symbolic Execution of Hyperfinite Ideal Machines.
CAV 1990: 322-332 |
| 1989 |
|---|
| 2 | | Mark Howard:
Applications of Fodor's Lemma to Vaught's Conjecture.
Ann. Pure Appl. Logic 42(1): 1-19 (1989) |
| 1988 |
|---|
| 1 | | Mark Howard:
A Proofless Proof of the Barwise Compactness Theorem.
J. Symb. Log. 53(2): 597-602 (1988) |
