We stand with Ukraine  

Graeme Smith

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

Bibliography

2025
Detecting speculative data flow vulnerabilities using weakest precondition reasoning.
[BibTeX]
[DOI]
Graeme Smith
CoRR, April, 2025

2020
A crowdsourced set of curated structural variants for the human genome.
[BibTeX]
[DOI]
Lesley M. Chapman
,
Noah Spies
,
Patrick Pai
,
Chun Shen Lim
,
Andrew Carroll
,
Giuseppe Narzisi
,
Christopher M. Watson
,
Christos Proukakis
,
Wayne E. Clarke
,
Naoki Nariai
,
Eric T. Dawson
,
Garan Jones
,
Daniel J. Blankenberg
,
Christian Brueffer
,
Chunlin Xiao
,
Sree Rohit Raj Kolora
,
Noah Alexander
,
Paul Wolujewicz
,
Azza E. Ahmed
,
Graeme Smith
,
Saadlee Shehreen
,
Aaron M. Wenger
,
Marc L. Salit
,
Justin M. Zook
PLoS Comput. Biol., 2020

2011
Providing media download services in African taxis.
[BibTeX]
[DOI]
Graeme Smith
,
Gary Marsden
Proceedings of the 2011 Annual Conference of the South African Institute of Computer Scientists and Information Technologists, 2011

2004
A Framework for Modelling and Analysing Mobile Systems.
[BibTeX]
[DOI]
Graeme Smith
Proceedings of the Computer Science 2004, 2004

2000
The object-Z specification language.
[BibTeX]
Graeme Smith
Advances in formal methods 1, Kluwer, ISBN: 978-0-7923-8684-1, 2000

1997
The Second ISEW Cleanroom Workshop.
[BibTeX]
[DOI]
Graeme Smith
Proceedings of the Pulling Together, 1997

1996
First ISEW Cleanroom workshop summary.
[BibTeX]
[DOI]
Graeme Smith
ACM SIGSOFT Softw. Eng. Notes, 1996

1994
An Object-Oriented Development Framework for Z.
[BibTeX]
[DOI]
Graeme Smith
Proceedings of the Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings, 1994

A Development Framework for Object-Oriented Specification and Refinement.
[BibTeX]
Graeme Smith
Proceedings of the TOOLS 1994: 13th International Conference on Technology of Object-Oriented Languages and Systems, 1994


  Loading...