TPS: An Interactive and Automatic Tool for Proving Theorems of Type Theory. - Peter B. Andrews; Matthew Bishop; Sunil Issar; Dan Nesmith; Frank Pfenning; Hongwei Xi (HUG, 1993)

On Sets, Types, Fixed Points, and Checkerboards. - Peter B. Andrews; Matthew Bishop (TABLEAUX, 1996)

TPS: A Theorem-Proving System for Classical Type Theory. - Peter B. Andrews; Matthew Bishop; Sunil Issar; Dan Nesmith; Frank Pfenning; Hongwei Xi (J. Autom. Reason., 1996)

Selectively Instantiating Definitions. - Matthew Bishop; Peter B. Andrews (CADE, 1998)

A Breadth-First Strategy for Mating Search. - Matthew Bishop (CADE, 1999)

Integrating Tps and Omega. - Christoph Benzmüller; Matthew Bishop; Volker Sorge (J. Univers. Comput. Sci., 1999)

System Description: TPS: A Theorem Proving System for Type Theory. - Peter B. Andrews; Matthew Bishop; Chad E. Brown (CADE, 2000)

ETPS: A System to Help Students Write Formal Proofs. - Peter B. Andrews; Chad E. Brown; Frank Pfenning; Matthew Bishop; Sunil Issar; Hongwei Xi (J. Autom. Reason., 2004)

Considerations for Exchanging and Sharing Medical Images for Improved Collaboration and Patient Care: HIMSS-SIIM Collaborative White Paper. - Amy Vreeland; Kenneth R. Persons; Henri (Rik) Primo; Matthew Bishop; Kimberley M. Garriott; Matthew K. Doyle; Elliott Silver; Danielle M. Brown; Chris Bashall (J. Digit. Imaging, 2016)

10 Steps to Strategically Build and Implement your Enterprise Imaging System: HIMSS-SIIM Collaborative White Paper. - Henri (Rik) Primo; Matthew Bishop; Louis M. Lannum; Dawn Cram; Abe Nader; Roger Boodoo (J. Digit. Imaging, 2019)

Beyond NVD: Cybersecurity meets the Semantic Web. - Raúl Aranovich; Muting Wu; Dian Yu 002; Katya Katsy; Benyamin Ahmadnia; Matthew Bishop; Vladimir Filkov; Kenji Sagae (NSPW, 2021)

Visible Light Imaging: Clinical Aspects with an Emphasis on Medical Photography - a HIMSS-SIIM Enterprise Imaging Community Whitepaper. - Cheryl A. Petersilge; Julie McDonald; Matthew Bishop; Laurence Yudkovitch; Caitlin Treuting; Alexander J. Towbin (J. Digit. Imaging, 2022)