Ken Robinson

Kenneth Arthur Robinson

2007
17	EE	Edward Chan, Ken Robinson, Brett Welch: Patterns for B: Bridging Formal and Informal Development. B 2007: 125-139
2006
16	EE	Steve Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne: Tank monitoring: a pAMN case study. Formal Asp. Comput. 18(3): 308-328 (2006)
2005
15	EE	John Risson, Ken Robinson, Tim Moors: Fault Tolerant Active Rings for Structured Peer-to-Peer Overlays. LCN 2005: 18-25
14	EE	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
13	EE	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
12	EE	Ken Robinson: Embedding Formal Development in Software Engineering. TFM 2004: 203-213
2003
11	EE	Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan: Probabilistic Invariants for Probabilistic Machines. ZB 2003: 240-259
2002
10		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
9	EE	Ken Robinson: Reconciling Axiomatic and Model-Based Specifications Using the B Method. ZB 2000: 95-106
1997
8		Martin de Groot, Ken Robinson: Modular Refinement and Model Building. AMAST 1997: 155-169
7		Ken Robinson: The B Method and the B Toolkit. AMAST 1997: 576-580
6		Kenneth Arthur Robinson: Computer science education at the cross-roads. Informatics in Higher Education 1997: 120-126
5		Helen Geissinger, P. Ho, Kenneth Arthur Robinson: Informatics: the core and the presentation. Informatics in Higher Education 1997: 54-63
1994
4	EE	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	[10]
2	Jonathan P. Bowen	[10]
3	Edward Chan	[17]
4	Helen Geissinger	[5]
5	Martin de Groot	[8]
6	Martin C. Henson	[10]
7	Beryl Hesketh	[4]
8	Tim Hesketh	[4]
9	P. Ho	[5]
10	Thai Son Hoang	[11] [13] [14] [16]
11	Zhendong Jin	[11] [14]
12	Sylvia Kanavaros	[4]
13	Tim Lambert	[3]
14	Peter Lindsay	[3]
15	Annabelle McIver	[11] [14]
16	Tim Moors	[15]
17	Carroll Morgan	[11] [14]
18	John Risson	[15]
19	Steve A. Schneider (Steve Schneider)	[13] [16]
20	Harold Stanislaw	[4]
21	Helen Treharne	[13] [16]
22	Mark Utting	[2]
23	Brett Welch	[17]

Colors in the list of coauthors