default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKen Robinson
Person information
- affiliation: University of New South Wales, Sydney, Australia
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2011
[c19]Ken Robinson, Peter S. Ho:
Software engineering or soft engineering? CSEE&T 2011: 459-466
2000 – 2009
- 2008
- [c18]Ken Robinson:
Reconciling Axiomatic and Model-Based Specifications Reprised. ABZ 2008: 223-236 - 2007
- [c17]Edward Chan, Ken Robinson, Brett Welch:
Patterns for B: Bridging Formal and Informal Development. B 2007: 125-139 - 2006
- [j4]Steve A. Schneider
, Thai Son Hoang, Ken Robinson, Helen Treharne:
Tank monitoring: a pAMN case study. Formal Aspects Comput. 18(3): 308-328 (2006) - 2005
- [c16]John Risson, Ken Robinson, Tim Moors:
Fault Tolerant Active Rings for Structured Peer-to-Peer Overlays. LCN 2005: 18-25 - [c15]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 - [c14]Steve A. Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne:
Tank Monitoring: A pAMN Case Study. REFINE 2005: 183-204 - 2004
- [c13]Ken Robinson:
Embedding Formal Development in Software Engineering. TFM 2004: 203-213 - 2003
- [c12]Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan:
Probabilistic Invariants for Probabilistic Machines. ZB 2003: 240-259 - 2002
- [e1]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. Lecture Notes in Computer Science 2272, Springer 2002, ISBN 3-540-43166-7 [contents] - 2000
- [c11]Ken Robinson:
Reconciling Axiomatic and Model-Based Specifications Using the B Method. ZB 2000: 95-106
1990 – 1999
- 1998
- [c10]Ken Robinson:
Where are we? The year 2000 and computer science. ACSE 1998: 112 - 1997
- [c9]Martin de Groot, Ken Robinson:
Modular Refinement and Model Building. AMAST 1997: 155-169 - [c8]Ken Robinson:
The B Method and the B Toolkit. AMAST 1997: 576-580 - [c7]Helen Geissinger, Peter S. Ho, Kenneth Arthur Robinson:
Informatics: the core and the presentation. Informatics in Higher Education 1997: 54-63 - [c6]Kenneth Arthur Robinson:
Computer science education at the cross-roads. Informatics in Higher Education 1997: 120-126 - 1996
- [c5]Ken Robinson, Peter S. Ho, Martin Schwenke:
To Zed and back: integrating data flow diagrams and Z. ACSE 1996: 127-134 - 1994
- [j3]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
- [j2]Tim Lambert, Peter Lindsay, Ken Robinson:
Using Miranda as a First Programming Language. J. Funct. Program. 3(1): 5-34 (1993) - 1992
- [c4]Mark Utting, Ken Robinson:
Modular Reasoning in an Object-Oriented Refinement Calculus. MPC 1992: 344-367 - 1991
- [j1]Ken Robinson, Mark Martin, Max E. Mehl, Allan Davison, Kieron Drake, Mel Slater:
Graphics workstations: a European perspective. IEEE Computer Graphics and Applications 11(2): 91-103 (1991) - 1990
- [c3]David A. Carrington, Kenneth Arthur Robinson:
Computer Assistance for Program Refinement. CAV 1990: 312-321 - [c2]David A. Carrington, Kenneth Arthur Robinson:
Tool Support for the Refinement Calculus. CAV (DIMACS/AMS volume) 1990: 381-394
1970 – 1979
- 1979
- [c1]Ken Robinson:
The Design of a Successor to Pascal. Language Design and Programming Methodology 1979: 151-168
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-09 12:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
