Matthew Bishop

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Visible Light Imaging: Clinical Aspects with an Emphasis on Medical Photography - a HIMSS-SIIM Enterprise Imaging Community Whitepaper.
J. Digit. Imaging, 2022

2021
Beyond NVD: Cybersecurity meets the Semantic Web.
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.
J. Digit. Imaging, 2019

2016
Considerations for Exchanging and Sharing Medical Images for Improved Collaboration and Patient Care: HIMSS-SIIM Collaborative White Paper.
J. Digit. Imaging, 2016

2004
ETPS: A System to Help Students Write Formal Proofs.
J. Autom. Reason., 2004

2000
System Description: TPS: A Theorem Proving System for Type Theory.
Proceedings of the Automated Deduction, 2000

1999
Integrating Tps and Omega.
J. Univers. Comput. Sci., 1999

A Breadth-First Strategy for Mating Search.
Proceedings of the Automated Deduction, 1999

1998
Selectively Instantiating Definitions.
Proceedings of the Automated Deduction, 1998

1996
TPS: A Theorem-Proving System for Classical Type Theory.
J. Autom. Reason., 1996

On Sets, Types, Fixed Points, and Checkerboards.
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.
Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993


  Loading...