Matthew Bishop
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
1996–2021
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | NSPW | Beyond NVD: Cybersecurity meets the Semantic Web. | Ral Aranovich, Muting Wu, Dian Yu, Katya Katsy, Benyamin Ahmadnia, Matthew Bishop, Vladimir Filkov, Kenji Sagae |
| 2000 | CADE | System Description: TPS: A Theorem Proving System for Type Theory. | Peter B. Andrews, Matthew Bishop, Chad E. Brown |
| 1999 | CADE | A Breadth-First Strategy for Mating Search. | Matthew Bishop |
| 1998 | CADE | Selectively Instantiating Definitions. | Matthew Bishop, Peter B. Andrews |
| 1996 | TABLEAUX | On Sets, Types, Fixed Points, and Checkerboards. | Peter B. Andrews, Matthew Bishop |