Martin C. Henson
Affiliations:- University of Essex, School of Computer Science and Electronic Engineering, UK
According to our database1,
Martin C. Henson
authored at least 30 papers
between 1982 and 2006.
Collaborative distances:
Collaborative distances:
Timeline
1985
1990
1995
2000
2005
0
1
2
3
4
5
6
7
8
9
2
4
1
2
1
2
1
1
1
3
4
1
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on essex.ac.uk
-
on viaf.org
-
on id.loc.gov
-
on isni.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2006
Proceedings of the Unifying Theories of Programming, First International Symposium, 2006
2005
Proceedings of the REFINE 2005 Workshop, 2005
An Alternative Approach to Handling Nondeterminism in Model-Oriented Data-Refinement.
Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005
2003
Log. J. IGPL, 2003
An Analysis of Total Correctness Refinement Models for Partial Relation Semantics II.
Log. J. IGPL, 2003
Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003
Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003
Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003
Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003
2002
Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002
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
1999
1998
Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998
1995
J. Log. Comput., 1995
1991
Proceedings of the Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990, 1991
1990
Information Loss in the Programming Logic TK.
Proceedings of the Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 1990
1989
Proceedings of the Mathematics of Program Construction, 1989
1988
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1988
1982
Proceedings of the Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, 1982