Ken Robinson

Kenneth Arthur Robinson

	2008
20		Ken Robinson: Reconciling Axiomatic and Model-Based Specifications Reprised. ABZ 2008: 223-236
	2007
19		Edward Chan, Ken Robinson, Brett Welch: Patterns for B: Bridging Formal and Informal Development. B 2007: 125-139
	2006
18		Steve Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne: Tank monitoring: a pAMN case study. Formal Asp. Comput. 18(3): 308-328 (2006)
	2005
17		John Risson, Ken Robinson, Tim Moors: Fault Tolerant Active Rings for Structured Peer-to-Peer Overlays. LCN 2005: 18-25
16		Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan: Development via Refinement in Probabilistic B - Foundation and Case Study. ZB 2005: 355-373
15		Steve A. Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne: Tank Monitoring: A pAMN Case Study. Electr. Notes Theor. Comput. Sci. 137(2): 183-204 (2005)
	2004
14		Ken Robinson: Embedding Formal Development in Software Engineering. TFM 2004: 203-213
	2003
13		Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan: Probabilistic Invariants for Probabilistic Machines. ZB 2003: 240-259
	2002
12		Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson: ZB 2002: Formal Specification and Development in Z and B, 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings Springer 2002
	2000
11		Ken Robinson: Reconciling Axiomatic and Model-Based Specifications Using the B Method. ZB 2000: 95-106
	1998
10		Ken Robinson: Where are we? The year 2000 and computer science. ACSE 1998: 112
	1997
9		Martin de Groot, Ken Robinson: Modular Refinement and Model Building. AMAST 1997: 155-169
8		Ken Robinson: The B Method and the B Toolkit. AMAST 1997: 576-580
7		Kenneth Arthur Robinson: Computer science education at the cross-roads. Informatics in Higher Education 1997: 120-126
6		Helen Geissinger, P. Ho, Kenneth Arthur Robinson: Informatics: the core and the presentation. Informatics in Higher Education 1997: 54-63
	1996
5		Ken Robinson, Peter S. Ho, Martin Schwenke: To Zed and back: integrating data flow diagrams and Z. ACSE 1996: 127-134
	1994
4		Harold Stanislaw, Beryl Hesketh, Sylvia Kanavaros, Tim Hesketh, Ken Robinson: A note on the quantification of computer programming skill. Int. J. Hum.-Comput. Stud. 41(3): 351-362 (1994)
	1993
3		Tim Lambert, Peter Lindsay, Ken Robinson: Using Miranda as a First Programming Language. J. Funct. Program. 3(1): 5-34 (1993)
	1992
2		Mark Utting, Ken Robinson: Modular Reasoning in an Object-Oriented Refinement Calculus. MPC 1992: 344-367
	1979
1		Ken Robinson: The Design of a Successor to Pascal. Language Design and Programming Methodology 1979: 151-168

Coauthor Index

1	Didier Bert	[12]
2	Jonathan P. Bowen	[12]
3	Edward Chan	[19]
4	Helen Geissinger	[6]
5	Martin de Groot	[9]
6	Martin C. Henson	[12]
7	Beryl Hesketh	[4]
8	Tim Hesketh	[4]
9	P. Ho	[6]
10	Peter S. Ho	[5]
11	Thai Son Hoang	[13] [15] [16] [18]
12	Zhendong Jin	[13] [16]
13	Sylvia Kanavaros	[4]
14	Tim Lambert	[3]
15	Peter Lindsay	[3]
16	Annabelle McIver (A. K. McIver)	[13] [16]
17	Tim Moors	[17]
18	Carroll Morgan (Carroll C. Morgan)	[13] [16]
19	John Risson	[17]
20	Steve A. Schneider (Steve Schneider)	[15] [18]
21	Martin Schwenke	[5]
22	Harold Stanislaw	[4]
23	Helen Treharne	[15] [18]
24	Mark Utting	[2]
25	Brett Welch	[19]

Colors in the list of coauthors