Search the dblp DataBase

Publications of Author

1. Martin de Groot, Ken Robinson
   Modular Refinement and Model Building. [Citation Graph (0, 0)][DBLP]
   AMAST, 1997, pp:155-169 [Conf]
   
2. Ken Robinson
   The B Method and the B Toolkit. [Citation Graph (0, 0)][DBLP]
   AMAST, 1997, pp:576-580 [Conf]
   
3. Edward Chan, Ken Robinson, Brett Welch
   Patterns for B: Bridging Formal and Informal Development. [Citation Graph (0, 0)][DBLP]
   B, 2007, pp:125-139 [Conf]
   
4. John Risson, Ken Robinson, Tim Moors
   Fault Tolerant Active Rings for Structured Peer-to-Peer Overlays. [Citation Graph (0, 0)][DBLP]
   LCN, 2005, pp:18-25 [Conf]
   
5. Ken Robinson
   The Design of a Successor to Pascal. [Citation Graph (0, 0)][DBLP]
   Language Design and Programming Methodology, 1979, pp:151-168 [Conf]
   
6. Mark Utting, Ken Robinson
   Modular Reasoning in an Object-Oriented Refinement Calculus. [Citation Graph (0, 0)][DBLP]
   MPC, 1992, pp:344-367 [Conf]
   
7. Ken Robinson
   Embedding Formal Development in Software Engineering. [Citation Graph (0, 0)][DBLP]
   TFM, 2004, pp:203-213 [Conf]
   
8. Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan
   Probabilistic Invariants for Probabilistic Machines. [Citation Graph (0, 0)][DBLP]
   ZB, 2003, pp:240-259 [Conf]
   
9. Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan
   Development via Refinement in Probabilistic B - Foundation and Case Study. [Citation Graph (0, 0)][DBLP]
   ZB, 2005, pp:355-373 [Conf]
   
10. Ken Robinson
    Reconciling Axiomatic and Model-Based Specifications Using the B Method. [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:95-106 [Conf]
    
11. Steve A. Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne
    Tank Monitoring: A pAMN Case Study. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:137, n:2, pp:183-204 [Journal]
    
12. Steve Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne
    Tank monitoring: a pAMN case study. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2006, v:18, n:3, pp:308-328 [Journal]
    
13. Harold Stanislaw, Beryl Hesketh, Sylvia Kanavaros, Tim Hesketh, Ken Robinson
    A note on the quantification of computer programming skill. [Citation Graph (0, 0)][DBLP]
    Int. J. Hum.-Comput. Stud., 1994, v:41, n:3, pp:351-362 [Journal]
    
14. Tim Lambert, Peter Lindsay, Ken Robinson
    Using Miranda as a First Programming Language. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1993, v:3, n:1, pp:5-34 [Journal]
    
15. 
    Reconciling Axiomatic and Model-Based Specifications Reprised. [Citation Graph (, )][DBLP]
    
    
16. 
    To Zed and back: integrating data flow diagrams and Z. [Citation Graph (, )][DBLP]
    
    
17. 
    Where are we? The year 2000 and computer science. [Citation Graph (, )][DBLP]