We stand with Ukraine  

Graeme Smith

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

Bibliography

2023
Information Fragility or Robustness Under Quantum Channels.
[BibTeX]
[DOI]
Nicholas LaRacuente
,
Graeme Smith
CoRR, 2023

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 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

2008
Extending Formal Methods for Software-Intensive Systems.
[BibTeX]
[DOI]
Graeme Smith
Proceedings of the Software-Intensive Systems and New Computing Paradigms, 2008

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

2002
An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems.
[BibTeX]
[DOI]
Graeme Smith
Proceedings of the Integrated Formal Methods, Third International Conference, 2002

Introducing Reference Semantics via Refinement.
[BibTeX]
[DOI]
Graeme Smith
Proceedings of the Formal Methods and Software Engineering, 2002

2000
Recursive Schema Definitions in Object-Z.
[BibTeX]
[DOI]
Graeme Smith
Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 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

1995
Extending <i>W</i> for Object-Z.
[BibTeX]
[DOI]
Graeme Smith
Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995

Reasoning about Object-Z Specifications.
[BibTeX]
[DOI]
Graeme Smith
Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995

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

Formal definitions of behavioural compatibility for active and passive objects.
[BibTeX]
[DOI]
Graeme Smith
Proceedings of the First Asia-Pacific Software Engineering Conference, 1994


  Loading...