| |
| 2007 | ||
|---|---|---|
| 11 | Michael P. Fourman: Logics for Action. IICAI 2007: 1223-1237 | |
| 2001 | ||
| 10 | EE | Michael P. Fourman: Propositional Reasoning. TACAS 2001: 23 |
| 1997 | ||
| 9 | Simon Finn, Michael P. Fourman, John Longley: Partial Functions in a Total Setting. J. Autom. Reasoning 18(1): 85-104 (1997) | |
| 1996 | ||
| 8 | Michael P. Fourman: Proof and design. NATO ASI DPD 1996: 397-439 | |
| 1995 | ||
| 7 | Michael P. Fourman, Hayo Thielecke: A Proposed Categorical Semantics for ML Modules. Category Theory and Computer Science 1995: 240-252 | |
| 1994 | ||
| 6 | Nick Chapman, Simon Finn, Michael P. Fourman: Datatypes in L2. TPHOLs 1994: 128-143 | |
| 1992 | ||
| 5 | Wesley Phoa, Michael P. Fourman: A Proposed Categorial Semantics for Pure ML. ICALP 1992: 533-544 | |
| 4 | Michael P. Fourman: The CAD Tool of the Future. IFIP Congress (1) 1992: 713 | |
| 1991 | ||
| 3 | Eleanor M. Mayger, Michael P. Fourman: Integration of Formal Methods with System Design. VLSI 1991: 59-69 | |
| 1985 | ||
| 2 | Michael P. Fourman, Steven Vickers: Theories as Categories. CTCS 1985: 434-448 | |
| 1 | Michael P. Fourman: Compaction of Symbolic Layout Using Genetic Algorithms. ICGA 1985: 141-153 | |
| 1 | Nick Chapman | [6] |
| 2 | Simon Finn | [6] [9] |
| 3 | John Longley | [9] |
| 4 | Eleanor M. Mayger | [3] |
| 5 | Wesley Phoa | [5] |
| 6 | Hayo Thielecke | [7] |
| 7 | Steven J. Vickers (Steven Vickers) | [2] |