Matthew Bishop

According to our database, Matthew Bishop authored at least 12 papers between 1993 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

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

2021

Beyond NVD: Cybersecurity meets the Semantic Web.

Raúl Aranovich, Muting Wu, Dian Yu, Katya Katsy, Benyamin Ahmadnia, Matthew Bishop, Vladimir Filkov, Kenji Sagae

Proceedings of the NSPW '21: New Security Paradigms Workshop, Virtual Event, USA, October 25, 2021

2019

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

2016

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

2004

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

2000

System Description: TPS: A Theorem Proving System for Type Theory.

Peter B. Andrews, Matthew Bishop, Chad E. Brown

Proceedings of the Automated Deduction, 2000

1999

Integrating Tps and Omega.

Christoph Benzmüller, Matthew Bishop, Volker Sorge

J. Univers. Comput. Sci., 1999

A Breadth-First Strategy for Mating Search.

Matthew Bishop

Proceedings of the Automated Deduction, 1999

1998

Selectively Instantiating Definitions.

Matthew Bishop, Peter B. Andrews

Proceedings of the Automated Deduction, 1998

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

On Sets, Types, Fixed Points, and Checkerboards.

Peter B. Andrews, Matthew Bishop

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1996

1993

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

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993