Martin Henson

Q: What Schools Are Affiliated With Martin Henson

Martin Henson is affiliated with the following schools: University of Southampton, University of Essex, University of Reading

Why Is Martin Henson Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Professor Martin C. Henson FBCS FRSA is an English computer scientist based at the University of Essex. He is dean for international affairs and is affiliated to the School of Computer Science & Electronic Engineering. Henson was head of the department of computer science from 2000 to 2006.

(See a Problem?)

Martin Henson '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)
Logics of Specification Languages (2007) (80)
ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings (2005) (74)
Elements of Functional Languages (1988) (47)
Investigating Z (2000) (28)
Z Logic and its Consequences (2003) (27)
Revising Z: Part I – logic and semantics (1999) (25)
An Analysis of Total Correctness Refinement Models for Partial Relation Semantics I (2003) (23)
Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series) (2007) (23)
Revising Z: Part II – logical development (1999) (22)
Dynamic Profile-Selection for zSlices based type-2 fuzzy agents controlling multi-user Ambient Intelligent Environments (2012) (21)
A Logic for the Schema Calculus (1998) (15)
A Logic for Schema-Based Program Development (2003) (13)
A Constructive Set Theory for Program Development (1988) (13)
An Analysis of Forward Simulation Data Refinement (2003) (13)
Program Development and Specification Refinement in the Schema Calculus (2000) (13)
Results on formal stepwise design in Z (2002) (13)
Operation Refinement and Monotonicity in the Schema Calculus (2003) (12)
New foundations for Z (1998) (11)
An analysis of backward simulation data-refinement for partial relation semantics (2003) (10)
Z Logic and Its Applications (2008) (9)
An Analysis of Total Correctness Refinement Models for Partial Relation Semantics II (2003) (8)
Information Loss in the Programming Logic TK (1990) (8)
The specification logic νZ (2006) (7)
A Formal Model for Space Based Ubiquitous Computing (2011) (7)
Realizability Models for Program Construction (1989) (7)
Higher-Order Transformations and Type Simulations (1988) (5)
The Standard Logic of Z is Inconsistent (1998) (5)
Towards Simple and Effective Formal Methods for Intelligent Environments (2012) (5)
Modular reasoning in Z: scrutinising monotonicity and refinement (2007) (5)
Completion semantics and interpreter generation (1982) (4)
An analysis of refinement in an abortive paradigm (2006) (4)
A Relational Investigation of UTP Designs and Prescriptions (2006) (4)
Revising Z: semantics and logic (1998) (4)
An Analysis of Operation-Refinement in an Abortive Paradigm (2005) (3)
An intensional semantics for elementary program transformations (1995) (3)
CSM-363 - Six theories of operation refinement for partial relation semantics (2002) (3)
Four Theories for Backward Simulation Data-Refinement (2003) (2)
Towards FollowMe User Profiles for Macro Intelligent Environments (2012) (2)
Safe Positive Induction in the Programming Logic TK (1990) (2)
Program development in the constructive set theory TK (1989) (2)
Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B (2000) (1)
Applications and Methodology of νZ (2010) (1)
On the Proof Theory of Program Transformations (1995) (1)
The Tailored Fabric of Intelligent Environments (2013) (1)
Transformational Derivation in the Programming Logic TK (1992) (1)
Modular refinement in novel schema calculi (2003) (1)
Transformations as Proofs (1993) (1)
The Specification Logic vZ (2005) (1)
FollowMe: A Bigraphical Approach (2012) (1)
An Experiment in Vernacular Program Derivation (1994) (0)
2014 Seventh International Conference on Contemporary Computing (2014) (0)
From specification languages to wide-spectrum logics (2014) (0)
Proceedings of the 3rd international conference on Formal specification and development in Z and B (2003) (0)
Organising Principles for the Internationalization of Higher Education (2019) (0)
An analysis of total orre tnessre nement models for partialrelation semanti s (2000) (0)
Vernacular Programming: General Recursion (2007) (0)
CSM-361 - A Logic for Schema-based Program Development (2001) (0)
CSM-195 Transformations as proofs (1993) (0)
An alternative approach to handling nondeterminism in model-oriented data-refinement (2005) (0)
CSM-196 On the proof theory of program transformations (1993) (0)
An analysis of operation refinement in Z (2001) (0)
4 Applications and Methodology of νZ (2010) (0)
CSM-379a Results on Formal Stepwise Design in Z (2003) (0)
Taxonomies of Internationalization for Higher Education (2016) (0)
CSM-364 - An analysis of operation refinement in Z (2002) (0)
Towards Realising FollowMe User Profiles for Macro-Intelligent Environments (2013) (0)
CSM-179 - Transformational Derivation in the Programming Logic TK (1992) (0)

This paper list is powered by the following services:

Other Resources About Martin Henson

en.wikipedia.org

What Schools Are Affiliated With Martin Henson ?

Martin Henson is affiliated with the following schools:

Why Is Martin Henson Influential?

Martin Henson 's Published Works

Published Works

Other Resources About Martin Henson

What Schools Are Affiliated With Martin Henson ?

Image Attributions