| 2008 |
|---|
| 20 | EE | Ken Robinson:
Reconciling Axiomatic and Model-Based Specifications Reprised.
ABZ 2008: 223-236 |
| 2007 |
|---|
| 19 | EE | Edward Chan,
Ken Robinson,
Brett Welch:
Patterns for B: Bridging Formal and Informal Development.
B 2007: 125-139 |
| 2006 |
|---|
| 18 | 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 |
|---|
| 17 | EE | John Risson,
Ken Robinson,
Tim Moors:
Fault Tolerant Active Rings for Structured Peer-to-Peer Overlays.
LCN 2005: 18-25 |
| 16 | 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 |
| 15 | 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 |
|---|
| 14 | EE | Ken Robinson:
Embedding Formal Development in Software Engineering.
TFM 2004: 203-213 |
| 2003 |
|---|
| 13 | EE | 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 | EE | Ken Robinson:
Reconciling Axiomatic and Model-Based Specifications Using the B Method.
ZB 2000: 95-106 |
| 1998 |
|---|
| 10 | EE | 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 | EE | Ken Robinson,
Peter S. Ho,
Martin Schwenke:
To Zed and back: integrating data flow diagrams and Z.
ACSE 1996: 127-134 |
| 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 |
