The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ken Robinson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002