default search action

combined dblp search
author search
venue search
publication search

ask others

Graeme Smith

> Home > Persons

This is just a disambiguation page, and is not intended to be the bibliography of an actual person. The links to all actual bibliographies of persons of the same or a similar name can be found below. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.

Person information

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[i1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2312-17450
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2312-17450
Nicholas LaRacuente, Graeme Smith:
Information Fragility or Robustness Under Quantum Channels. CoRR abs/2312.17450 (2023)
2020
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ploscb/ChapmanSPLCNWPC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ploscb/ChapmanSPLCNWPC20
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:
A crowdsourced set of curated structural variants for the human genome. PLoS Comput. Biol. 16(6) (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2011
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/saicsit/SmithM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saicsit/SmithM11
Graeme Smith, Gary Marsden:
Providing media download services in African taxis. SAICSIT 2011: 215-223

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2008
[p1]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/Smith08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/Smith08
Graeme Smith:
Extending Formal Methods for Software-Intensive Systems. Software-Intensive Systems and New Computing Paradigms 2008: 146-161
2004
[c7]
- view
  - electronic edition @ westernsydney.edu.au (open access)
  - details & citations
- export record
  dblp key:
  - conf/acsc/Smith04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsc/Smith04
Graeme Smith:
A Framework for Modelling and Analysing Mobile Systems. ACSC 2004: 193-202
2000
[b1]
- no documents available
  - details & citations
- export record
  dblp key:
  - books/daglib/0001117
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0001117
Graeme Smith:
The object-Z specification language. Advances in formal methods 1, Kluwer 2000, ISBN 978-0-7923-8684-1, pp. I-XIII, 1-146
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/zum/Smith00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/Smith00
Graeme Smith:
Recursive Schema Definitions in Object-Z. ZB 2000: 42-58

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1997
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/Smith97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Smith97
Graeme Smith:
The Second ISEW Cleanroom Workshop. ICSE 1997: 674
1996
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/Smith96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/Smith96
Graeme Smith:
First ISEW Cleanroom workshop summary. ACM SIGSOFT Softw. Eng. Notes 21(4): 41-44 (1996)
1995
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/Smith95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/Smith95
Graeme Smith:
Reasoning about Object-Z Specifications. APSEC 1995: 489-497
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/zum/Smith95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/Smith95
Graeme Smith:
Extending W for Object-Z. ZUM 1995: 276-295
1994
[c2]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/tools/Smith94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/Smith94
Graeme Smith:
A Development Framework for Object-Oriented Specification and Refinement. TOOLS (13) 1994: 173-183
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/zum/Smith94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/Smith94
Graeme Smith:
An Object-Oriented Development Framework for Z. Z User Workshop 1994: 89-107

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.