Martin C. Henson

Z LOGIC AND ITS CONSEQUENCES

Martin C. Henson, Steve Reeves, Jonathan P. Bowen · Research Commons (University of Waikato) · 2003 · 22 citations · Full text

Humanities, Computer Science, Formal Methods +12

Revising Z: Part I – logic and semantics

Martin C. Henson, Steve Reeves · Formal Aspects of Computing · 1999 · 20 citations · Full text

Humanities, Computer Science, Philosophy +10

Revising Z: Part II – logical development

Martin C. Henson, Steve Reeves · Formal Aspects of Computing · 1999 · 18 citations · Full text

Humanities, Computer Science, Formal Methods +8

Dynamic Profile-Selection for zSlices based type-2 fuzzy agents controlling multi-user Ambient Intelligent Environments

Aysenur Bilgin, James Dooley, Luke Whittington et al. · 2012 · 18 citations · Full text

Computing, Autonomous Systems, Systems Engineering +17

Investigating Z

Martin C. Henson · Journal of Logic and Computation · 2000 · 18 citations

Computing, Computer Science, Formal Methods +9