Ken Robinson | Academic Influence

Ken Robinson 's AcademicInfluence.com Rankings

Ken Robinson

Computer Science

#1181

World Rank

#1221

Historical Rank

Artificial Intelligence

#965

World Rank

#983

Historical Rank

Machine Learning

#2753

World Rank

#2788

Historical Rank

Database

#6352

World Rank

#6584

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Ken Robinson 's Degrees

Masters Artificial Intelligence University of Melbourne
PhD Machine Learning Australian National University

Similar Degrees You Can Earn

Best Online Master's in Artificial Intelligence 2025

Why Is Ken Robinson Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Kenneth Arthur Robinson was an Australian computer scientist. He has been called "The Father of Formal Methods in Australia". Early life and education Ken Robinson was born in 1938. He received his BE degree in electrical engineering in 1959 and a BSc degree in physics and mathematics in 1961, both from the University of Sydney.

(See a Problem?)

Ken Robinson 's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

ZB 2002:Formal Specification and Development in Z and B (2002) (143)
Specification statements and refinements (1987) (66)
Modular Reasoning in an Object-Oriented Refinement Calculus (1992) (31)
Using Miranda as a first programming language (1993) (20)
The B Method and the B Toolkit (1997) (19)
Probabilistic Invariants for Probabilistic Machines (2003) (19)
Tool Support for the Refinement Calculus (1990) (16)
Embedding Formal Development in Software Engineering (2004) (10)
A note on the quantification of computer programming skill (1994) (9)
Reconciling Axiomatic and Model-Based Specifications Using the B Method (2000) (9)
Development via Refinement in Probabilistic B - Foundation and Case Study (2005) (7)
Patterns for B: Bridging Formal and Informal Development (2007) (6)
The Object-oriented Lollipop: An Example of Subtyping (1991) (5)
Tank monitoring: a pAMN case study (2005) (3)
Modular Refinement and Model Building (1997) (2)
To Zed and back: integrating data flow diagrams and Z (1996) (1)
Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B (2000) (1)
Software engineering or soft engineering? (2011) (1)
Reconciling Axiomatic and Model-Based Specifications Reprised (2008) (1)
Refinement of two graph problems (1991) (1)
AutoIt Script for Identifying OCLC Non-Compatible Characters in a MarcEdit .mrk File (2014) (1)
653 Creation from PSU Thesis Keywords Documentation.pdf (2016) (1)
Where are we? The year 2000 and computer science (1998) (0)
Informatics: the core and the presentation (1997) (0)
A Stack Calculator (2006) (0)
AutoIt Script for Converting Copied Keywords from PSU ETD Thesis Webpage into a MARC 653 Field in Symphony Workflows (2016) (0)
From B to OO Classes (0)
The Design of a Successor to Pascal (1979) (0)
ETD_OAIDCtoMARCXML-rev5.xsl (2015) (0)
Specification statements and refinement by Carroll Morgan (0)
PSU Thesis PDF Title to WorkFlows Conversion Documentation (2016) (0)
Computer Assistance for Program Refinement (1990) (0)
A Classification of Components of a User Interface (1991) (0)
A Description of the Penn State eTD Dublin Core-to-MARCXML Crosswalk (2015) (0)
AutoIt Script for Converting a Thesis PDF Title into a Compatible MARC 245 Title in SirsiDynix Symphony WorkFlows (2016) (0)

This paper list is powered by the following services:

Other Resources About Ken Robinson

en.wikipedia.org

What Schools Are Affiliated With Ken Robinson ?

Ken Robinson is affiliated with the following schools: