| 2007 |
|---|
| 9 | EE | Shiau-Huey Wang,
Chinyang Henry Tseng,
Karl N. Levitt,
Matthew Bishop:
Cost-Sensitive Intrusion Responses for Mobile Ad Hoc Networks.
RAID 2007: 127-145 |
| 2004 |
|---|
| 8 | EE | Peter B. Andrews,
Chad E. Brown,
Frank Pfenning,
Matthew Bishop,
Sunil Issar,
Hongwei Xi:
ETPS: A System to Help Students Write Formal Proofs.
J. Autom. Reasoning 32(1): 75-92 (2004) |
| 2000 |
|---|
| 7 | | Peter B. Andrews,
Matthew Bishop,
Chad E. Brown:
System Description: TPS: A Theorem Proving System for Type Theory.
CADE 2000: 164-169 |
| 1999 |
|---|
| 6 | EE | Matthew Bishop:
A Breadth-First Strategy for Mating Search.
CADE 1999: 359-373 |
| 5 | EE | Christoph Benzmüller,
Matthew Bishop,
Volker Sorge:
Integrating Tps and Omega.
J. UCS 5(3): 188-207 (1999) |
| 1998 |
|---|
| 4 | EE | Matthew Bishop,
Peter B. Andrews:
Selectively Instantiating Definitions.
CADE 1998: 365-380 |
| 1996 |
|---|
| 3 | | Peter B. Andrews,
Matthew Bishop:
On Sets, Types, Fixed Points, and Checkerboards.
TABLEAUX 1996: 1-15 |
| 2 | | Peter B. Andrews,
Matthew Bishop,
Sunil Issar,
Dan Nesmith,
Frank Pfenning,
Hongwei Xi:
TPS: A Theorem-Proving System for Classical Type Theory.
J. Autom. Reasoning 16(3): 321-353 (1996) |
| 1993 |
|---|
| 1 | | Peter B. Andrews,
Matthew Bishop,
Sunil Issar,
Dan Nesmith,
Frank Pfenning,
Hongwei Xi:
TPS: An Interactive and Automatic Tool for Proving Theorems of Type Theory.
HUG 1993: 366-370 |
