dblp.uni-trier.dewww.uni-trier.de

Ken Robinson

Kenneth Arthur Robinson

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
20EEKen Robinson: Reconciling Axiomatic and Model-Based Specifications Reprised. ABZ 2008: 223-236
2007
19EEEdward Chan, Ken Robinson, Brett Welch: Patterns for B: Bridging Formal and Informal Development. B 2007: 125-139
2006
18EESteve Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne: Tank monitoring: a pAMN case study. Formal Asp. Comput. 18(3): 308-328 (2006)
2005
17EEJohn Risson, Ken Robinson, Tim Moors: Fault Tolerant Active Rings for Structured Peer-to-Peer Overlays. LCN 2005: 18-25
16EEThai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan: Development via Refinement in Probabilistic B - Foundation and Case Study. ZB 2005: 355-373
15EESteve 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
14EEKen Robinson: Embedding Formal Development in Software Engineering. TFM 2004: 203-213
2003
13EEThai 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
11EEKen Robinson: Reconciling Axiomatic and Model-Based Specifications Using the B Method. ZB 2000: 95-106
1998
10EEKen 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
5EEKen Robinson, Peter S. Ho, Martin Schwenke: To Zed and back: integrating data flow diagrams and Z. ACSE 1996: 127-134
1994
4EEHarold 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)