Matthew Bishop

Publication Activity (10 Years)

Years Active: 1993-2022
Publications (10 Years): 4

Top Topics

Interchange Format

Conceptual Structures

Top Venues

J. Digit. Imaging

Publications

Cheryl A. Petersilge, Julie McDonald, Matthew Bishop, Laurence Yudkovitch, Caitlin Treuting, Alexander J. Towbin
Visible Light Imaging: Clinical Aspects with an Emphasis on Medical Photography - a HIMSS-SIIM Enterprise Imaging Community Whitepaper. J. Digit. Imaging 35 (3) (2022)
Raúl Aranovich, Muting Wu, Dian Yu, Katya Katsy, Benyamin Ahmadnia, Matthew Bishop, Vladimir Filkov, Kenji Sagae
Beyond NVD: Cybersecurity meets the Semantic Web. NSPW (2021)
Henri (Rik) Primo, Matthew Bishop, Louis M. Lannum, Dawn Cram, Abe Nader, Roger Boodoo
10 Steps to Strategically Build and Implement your Enterprise Imaging System: HIMSS-SIIM Collaborative White Paper. J. Digit. Imaging 32 (4) (2019)
Amy Vreeland, Kenneth R. Persons, Henri (Rik) Primo, Matthew Bishop, Kimberley M. Garriott, Matthew K. Doyle, Elliott Silver, Danielle M. Brown, Chris Bashall
Considerations for Exchanging and Sharing Medical Images for Improved Collaboration and Patient Care: HIMSS-SIIM Collaborative White Paper. J. Digit. Imaging 29 (5) (2016)
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. Reason. 32 (1) (2004)
Peter B. Andrews, Matthew Bishop, Chad E. Brown
System Description: TPS: A Theorem Proving System for Type Theory. CADE (2000)
Matthew Bishop
A Breadth-First Strategy for Mating Search. CADE (1999)
Christoph Benzmüller, Matthew Bishop, Volker Sorge
Integrating Tps and Omega. J. Univers. Comput. Sci. 5 (3) (1999)
Matthew Bishop, Peter B. Andrews
Selectively Instantiating Definitions. CADE (1998)
Peter B. Andrews, Matthew Bishop
On Sets, Types, Fixed Points, and Checkerboards. TABLEAUX (1996)
Peter B. Andrews, Matthew Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi
TPS: A Theorem-Proving System for Classical Type Theory. J. Autom. Reason. 16 (3) (1996)
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)