Graeme Smith

	2012
75		Jeff W. Sanders, Graeme Smith: Emergence and refinement. Formal Asp. Comput. 24(1): 45-65 (2012)
74		John Derrick, Graeme Smith: Temporal-logic property preservation under Z refinement. Formal Asp. Comput. 24(3): 393-416 (2012)
73		Toby S. Cubitt, Graeme Smith: An Extreme Form of Superactivation for Quantum Zero-Error Capacities. IEEE Transactions on Information Theory 58(3): 1953-1961 (2012)
	2011
72		Graeme Smith, Gary Marsden: Providing media download services in African taxis. SAICSIT Conf. 2011: 215-223
71		Graeme Smith, Steffen Helke: Refactoring Object-Oriented Specifications with Inheritance-Based Polymorphism. TASE 2011: 35-41
70		Graeme Smith, John A. Smolin, Jon Yard: Gaussian bosonic synergy: quantum communication via realistic channels of zero quantum capacity CoRR abs/1102.4580: (2011)
69		Zheng Fu, Graeme Smith: Property transformation under specification change. Frontiers of Computer Science in China 5(1): 1-13 (2011)
68		Peter W. Shor, Graeme Smith, John A. Smolin, Bei Zeng: High Performance Single-Error-Correcting Quantum Codes for Amplitude Damping. IEEE Transactions on Information Theory 57(10): 7180-7188 (2011)
	2010
67		Jianxin Chen, Toby S. Cubitt, Aram Wettroth Harrow, Graeme Smith: Super-duper-activation of the zero-error quantum capacity. ISIT 2010: 2695-2697
66		Aaron Sampson, Graeme Smith: Gravity Points in Potential-Field Approaches to Self Organisation. SASO Workshops 2010: 110-115
65		Sebastian Eder, Graeme Smith: An Approach to Formal Verification of Free-Flight Separation. SASO Workshops 2010: 166-171
64		Jeff W. Sanders, Graeme Smith: Assuring Adaptive Behaviour in Self-Organising Systems. SASO Workshops 2010: 172-177
63		Graeme Smith: Quantum Channel Capacities CoRR abs/1007.2855: (2010)
62		Eerke A. Boiten, Michael Butler, John Derrick, Graeme Smith: Editorial. Formal Asp. Comput. 22(1): 1 (2010)
	2009
61		Graeme Smith, Jeffrey W. Sanders: Formal Development of Self-organising Systems. ATC 2009: 90-104
60		Jeff W. Sanders, Graeme Smith: Refining Emergent Properties. Electr. Notes Theor. Comput. Sci. 259: 207-223 (2009)
59		Graeme Smith, Kirsten Winter: Model checking action system refinements. Formal Asp. Comput. 21(1-2): 155-186 (2009)
58		Andrew W. Cross, Graeme Smith, John A. Smolin, Bei Zeng: Codeword Stabilized Quantum Codes. IEEE Transactions on Information Theory 55(1): 433-438 (2009)
	2008
57		Tim McComb, Graeme Smith: Introducing Objects through Refinement. FM 2008: 358-373
56		Tim McComb, Graeme Smith: A Minimal Set of Refactoring Rules for Object-Z. FMOODS 2008: 170-184
55		Andrew W. Cross, Graeme Smith, John A. Smolin, Bei Zeng: Codeword stabilized quantum codes. ISIT 2008: 364-368
54		Graeme Smith: Private classical capacity with symmetric assistance. ISIT 2008: 81-85
53		Zheng Fu, Graeme Smith: Towards More Flexible Development of Z Specifications. TASE 2008: 281-288
52		Jeffrey W. Sanders, Graeme Smith: Formal Ensemble Engineering. Software-Intensive Systems and New Computing Paradigms 2008: 132-138
51		Graeme Smith: Extending Formal Methods for Software-Intensive Systems. Software-Intensive Systems and New Computing Paradigms 2008: 146-161
50		Eerke A. Boiten, John Derrick, Graeme Smith: Preface. Electr. Notes Theor. Comput. Sci. 201: 1 (2008)
49		John Derrick, Graeme Smith: Using Model Checking to Automatically Find Retrieve Relations. Electr. Notes Theor. Comput. Sci. 201: 155-175 (2008)
48		Graeme Smith, Tim McComb: Refactoring Real-time Specifications. Electr. Notes Theor. Comput. Sci. 214: 359-380 (2008)
47		Debbie W. Leung, Graeme Smith: Communicating Over Adversarial Quantum Channels Using Quantum List Codes. IEEE Transactions on Information Theory 54(2): 883-887 (2008)
46		Graeme Smith, John A. Smolin, Andreas Winter: The Quantum Capacity With Symmetric Side Channels. IEEE Transactions on Information Theory 54(9): 4208-4217 (2008)
	2007
45		Larissa Meinicke, Graeme Smith: A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems. IFM 2007: 439-458
44		Graeme Smith, Kirsten Winter: Simulation Machines for Checking Action System Refinements. Electr. Notes Theor. Comput. Sci. 187: 75-90 (2007)
43		Judi Romijn, Graeme Smith, Jaco van de Pol: Preface. Electr. Notes Theor. Comput. Sci. 191: 1-2 (2007)
	2006
42		Tim McComb, Graeme Smith: Compositional Class Refinement in Object-Z. FM 2006: 205-220
41		Graeme Smith, John Derrick: Verifying data refinements using a model checker. Formal Asp. Comput. 18(3): 264-287 (2006)
	2005
40		Judi Romijn, Graeme Smith, Jaco van de Pol: Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings Springer 2005
39		Graeme Smith, Luke Wildman: Model Checking Z Specifications Using SAL. ZB 2005: 85-103
38		Graeme Smith, John Derrick: Model Checking Downward Simulations. Electr. Notes Theor. Comput. Sci. 137(2): 205-224 (2005)
37		Eerke A. Boiten, John Derrick, Graeme Smith: Guest Editorial Integrated Formal Methods. Formal Asp. Comput. 17(4): 389-389 (2005)
	2004
36		Eerke A. Boiten, John Derrick, Graeme Smith: Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings Springer 2004
35		Graeme Smith: A Framework for Modelling and Analysing Mobile Systems. ACSC 2004: 193-202
34		John Derrick, Graeme Smith: Linear Temporal Logic and Z Refinement. AMAST 2004: 117-131
33		Tim McComb, Graeme Smith: Architectural Design in Object-Z. Australian Software Engineering Conference 2004: 77-86
	2003
32		Tim McComb, Graeme Smith: Animation of Object-Z Specifications Using a Z Animator. SEFM 2003: 191-
31		Graeme Smith, Kirsten Winter: Proving Temporal Properties of Z Specifications Using Abstraction. ZB 2003: 260-279
30		Kirsten Winter, Graeme Smith: Compositional Verification for Object-Z. ZB 2003: 280-299
29		John Derrick, Graeme Smith: Structural Refinement of Systems Specified in Object-Z and CSP. Formal Asp. Comput. 15(1): 1-27 (2003)
	2002
28		Graeme Smith, John Derrick: Abstract Specification in Object-Z and CSP. ICFEM 2002: 108-119
27		Graeme Smith: Introducing Reference Semantics via Refinement. ICFEM 2002: 588-599
26		Graeme Smith: An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems. IFM 2002: 267-285
25		Graeme Smith, Florian Kammüller, Thomas Santen: Encoding Object-Z in Isabelle/HOL. ZB 2002: 82-99
24		Graeme Smith, Ian J. Hayes: An Introduction to Real-Time Object-Z. Formal Asp. Comput. 13(2): 128-141 (2002)
	2001
23		Geoff Kassel, Graeme Smith: Model Checking Object-Z Classes: Some Experiments with FDR. APSEC 2001: 445-452
22		Graeme Smith, John Derrick: Specification, Refinement and Verification of Concurrent Systems-An Integration of Object-Z and CSP. Formal Methods in System Design 18(3): 249-284 (2001)
	2000
21		Graeme Smith: Stepwise Development from Ideal Specifications. ACSC 2000: 227-233
20		John Derrick, Graeme Smith: Structural Refinement in Object-Z/CSP. IFM 2000: 194-213
19		Graeme Smith, Ian J. Hayes: Structuring Real-Time Object-Z Specifications. IFM 2000: 97-115
18		Graeme Smith: Recursive Schema Definitions in Object-Z. ZB 2000: 42-58
17		Graeme Smith, Colin J. Fidge: Incremental Development of Real-Time Requirements: The Light Control Case Study. J. UCS 6(7): 704-730 (2000)
	1999
16		Graeme Smith, Ian J. Hayes: Towards Real-Time Object-Z. IFM 1999: 49-65
	1997
15		Graeme Smith: A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems. FME 1997: 62-81
14		Clemens Fischer, Graeme Smith: Combining CSP and Object-Z: Finite or Infinite Trace Semantics? FORTE 1997: 503-518
13		Graeme Smith, John Derrick: Refinement and Verification of Concurrent Systems Specified in Object-Z and CSP. ICFEM 1997: 293-
12		Graeme Smith: The Second ISEW Cleanroom Workshop. ICSE 1997: 674
	1996
11		Roger Duke, Cecily Bailes, Graeme Smith: A Blocking Model for Reactive Objects. Formal Asp. Comput. 8(3): 347-368 (1996)
	1995
10		Graeme Smith: Reasoning about Object-Z Specifications. APSEC 1995: 489-497
9		Graeme Smith: Extending W for Object-Z. ZUM 1995: 276-295
8		Graeme Smith: A Fully Abstract Semantics of Classes for Object-Z. Formal Asp. Comput. 7(3): 289-313 (1995)
	1994
7		Graeme Smith: A Development Framework for Object-Oriented Specification and Refinement. TOOLS (13) 1994: 173-183
6		Graeme Smith: An Object-Oriented Development Framework for Z. Z User Workshop 1994: 89-107
	1991
5		Roger Duke, Paul King, Gordon A. Rose, Graeme Smith: Associated Paper: The Object-Z Specification Language. TOOLS (5) 1991: 465-484
	1990
4		Roger Duke, Gordon A. Rose, Graeme Smith: Transferring Formal Techniques to Industry. FORTE 1990: 279-286
3		Paul King, Graeme Smith: Formalisation of behavioural and structural concepts for communication systems. PSTV 1990: 3-18
	1989
2		David A. Carrington, David J. Duke, Roger Duke, Paul King, Gordon A. Rose, Graeme Smith: Object-Z: An Object-Oriented Extension to Z. FORTE 1989: 281-296
1		Roger Duke, Graeme Smith: Temporal Logic and Z Specifications. Australian Computer Journal 21(2): 62-66 (1989)

Coauthor Index

1	Cecily Bailes	[11]
2	Eerke A. Boiten	[36] [37] [50] [62]
3	Michael Butler	[62]
4	David A. Carrington	[2]
5	Jianxin Chen	[67]
6	Andrew W. Cross	[55] [58]
7	Toby S. Cubitt	[67] [73]
8	John Derrick	[13] [20] [22] [28] [29] [34] [36] [37] [38] [41] [49] [50] [62] [74]
9	David J. Duke	[2]
10	Roger Duke	[1] [2] [4] [5] [11]
11	Sebastian Eder	[65]
12	Colin J. Fidge	[17]
13	Clemens Fischer	[14]
14	Zheng Fu	[53] [69]
15	Aram Wettroth Harrow	[67]
16	Ian J. Hayes	[16] [19] [24]
17	Steffen Helke	[71]
18	Florian Kammüller	[25]
19	Geoff Kassel	[23]
20	Paul King	[2] [3] [5]
21	Debbie W. Leung	[47]
22	Gary Marsden	[72]
23	Tim McComb	[32] [33] [42] [48] [56] [57]
24	Larissa Meinicke	[45]
25	Jaco van de Pol	[40] [43]
26	Judi Romijn	[40] [43]
27	Gordon A. Rose	[2] [4] [5]
28	Aaron Sampson	[66]
29	Jeff W. Sanders (Jeffrey W. Sanders)	[52] [60] [61] [64] [75]
30	Thomas Santen	[25]
31	Peter W. Shor	[68]
32	John A. Smolin	[46] [55] [58] [68] [70]
33	Luke Wildman	[39]
34	Andreas Winter	[46]
35	Kirsten Winter	[30] [31] [44] [59]
36	Jon Yard	[70]
37	Bei Zeng	[55] [58] [68]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page