Graeme Smith

21 papers A* 1B 2C 1Journal 9Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Generating Rely-Guarantee Conditions with the Conditional-Writes Domain.
CoRR
James Tobler, Graeme Smith
2026 J jnl
Single-letter one-way distillable entanglement for non-degradable states.
CoRR
Rabsan Galib Ahmed, Graeme Smith, Peixue Wu
2025 B conf
Additivity of Quantum Capacities in Simple Non-Degradable Quantum Channels.
ISIT
Graeme Smith, Peixue Wu
2025 J jnl
Additivity of Quantum Capacities in Simple Non-Degradable Quantum Channels.
IEEE Trans. Inf. Theory
Graeme Smith, Peixue Wu
2025 J jnl
Detecting speculative data flow vulnerabilities using weakest precondition reasoning.
CoRR
Graeme Smith
2025 J jnl
Quantum f-divergences and Their Local Behaviour: An Analysis via Relative Expansion Coefficients.
CoRR
Shreyas Iyer, Peixue Wu, Paula Belzig, Graeme Smith
2025 B conf
Reverse-Type Data Processing Inequality.
ISIT
Paula Belzig, Li Gao, Graeme Smith, Peixue Wu
2024 J jnl
Reverse-type Data Processing Inequality.
CoRR
Paula Belzig, Li Gao, Graeme Smith, Peixue Wu
2023 J jnl
Information Fragility or Robustness Under Quantum Channels.
CoRR
Nicholas LaRacuente, Graeme Smith
2020 J jnl
A crowdsourced set of curated structural variants for the human genome.
PLoS Comput. Biol.
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
2011 — conf
Providing media download services in African taxis.
SAICSIT
Graeme Smith, Gary Marsden
2008 — ch.
Extending Formal Methods for Software-Intensive Systems.
Software-Intensive Systems and New Computing Paradigms
Graeme Smith
2004 — conf
A Framework for Modelling and Analysing Mobile Systems.
ACSC
Graeme Smith
2000 — conf
Recursive Schema Definitions in Object-Z.
ZB
Graeme Smith
2000 — book
The object-Z specification language.
Graeme Smith
1997 A* conf
The Second ISEW Cleanroom Workshop.
ICSE
Graeme Smith
1996 J jnl
First ISEW Cleanroom workshop summary.
ACM SIGSOFT Softw. Eng. Notes
Graeme Smith
1995 — conf
Extending
ZUM
Graeme Smith
1995 C conf
Reasoning about Object-Z Specifications.
APSEC
Graeme Smith
1994 — conf
A Development Framework for Object-Oriented Specification and Refinement.
TOOLS (13)
Graeme Smith
1994 — conf
An Object-Oriented Development Framework for Z.
Z User Workshop
Graeme Smith