Steve King
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
3
Active years
1990–2015
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | AMIA | Design of a Knowledge Exchange for Community Health Workers. | Harold P. Lehmann, M. C. Gibbons, Richard Singlerman, Steve King, Joe Warren, John May |
| 2003 | FM | A Circus Semantics for Ravenscar Protected Objects. | Diyaa-Addein Atiya, Steve King, Jim Woodcock |
| 2003 | ISORC | Predictable Memory Utilization in the Ravenscar-Java Profile. | Jagun Kwon, Andy J. Wellings, Steve King |
| 2002 | FM | Towards an Integrated Model Checker for Railway Signalling Data. | Michael Huber, Steve King |
| 1999 | FM | The Value of Verification: Positive Experience of Industrial Proof. | Steve King, Jonathan Hammond, Roderick Chapman, Andy Pryor |
| 1991 | FM | CICS Project Report: Experiences and Results from the use of Z in IBM. | Ian Houston, Steve King |
| 1990 | FM | Z and the Refinement Calculus. | Steve King |