Chris Martin

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2020
Exosphere - Bringing The Cloud Closer.
CoRR, 2020

Exosphere - Bringing The Cloud Closer.
Proceedings of the IEEE/ACM International Workshop on Interoperability of Supercomputing and Cloud Technologies, 2020

2019
Beyond a Faster Horse: the UX of a Paperless Biochemistry Laboratory.
Proceedings of the 30th Annual Workshop of the Psychology of Programming Interest Group, 2019

2011
Implementation processes: a Boolean analysis.
J. Oper. Res. Soc., 2011

Functional and Nonfunctional Design Verification for Embedded Software Systems.
Adv. Comput., 2011

2009
Validating Automotive Control Software Using Instrumentation-Based Verification.
Proceedings of the ASE 2009, 2009

2004
Description and validation of a Markov model of survival for individuals free of cardiovascular disease that uses Framingham risk factors.
BMC Medical Informatics Decis. Mak., 2004

2003
Special Section: Wagner Prize Papers: Optimizing On-Demand Aircraft Schedules for Fractional Aircraft Operators.
Interfaces, 2003

A Real-time Wide field of View Passive Millimeter-wave Imaging Camera.
Proceedings of the 32nd Applied Image Pattern Recognition Workshop (AIPR 2003), 2003

1987
Finding fixed points in finite lattices.
Proceedings of the Functional Programming Languages and Computer Architecture, 1987


  Loading...