Matthew Bishop

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