Ken Robinson
Affiliations:- University of New South Wales, Sydney, Australia
According to our database1,
Ken Robinson
authored at least 22 papers
between 1979 and 2011.
Collaborative distances:
Collaborative distances:
Timeline
1980
1985
1990
1995
2000
2005
2010
0
1
2
3
4
5
1
1
1
1
1
1
1
2
1
1
1
1
4
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on dl.acm.org
On csauthors.net:
Bibliography
2011
Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training, 2011
2008
Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008
2007
Proceedings of the B 2007: Formal Specification and Development in B, 2007
2006
2005
Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005
Proceedings of the 30th Annual IEEE Conference on Local Computer Networks (LCN 2005), 2005
2004
Proceedings of the Teaching Formal Methods, CoLogNET/FME Symposium, 2004
2003
Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003
2000
Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000
1998
Proceedings of the ACM SIGCSE 3rd Australasian Conference on Computer Science Education, 1998
1997
Computer science education at the cross-roads.
Proceedings of the Informatics in Higher Education, 1997
Informatics: the core and the presentation.
Proceedings of the Informatics in Higher Education, 1997
Proceedings of the Algebraic Methodology and Software Technology, 1997
Proceedings of the Algebraic Methodology and Software Technology, 1997
1996
Proceedings of the ACM SIGCSE 1st Australasian Conference on Computer Science Education, 1996
1994
Int. J. Hum. Comput. Stud., 1994
1993
1992
Proceedings of the Mathematics of Program Construction, Second International Conference, Oxford, UK, June 29, 1992
1991
IEEE Computer Graphics and Applications, 1991
1990
Proceedings of the Computer-Aided Verification, 1990
Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990
1979
Proceedings of the Language Design and Programming Methodology, 1979