| Sheaves and Logic MP Fourman, DS Scott Applications of Sheaves, Durham 1977, 1974 | 437* | 1974 |
| Compaction of symbolic layout using genetic algorithms MP Fourman Genetic Algorithms and Their Applications: Proc. 1st Int. Conf. Genetic …, 1985 | 404 | 1985 |
| The logic of topoi MP Fourman The Handbook of Mathematical Logic, Studies in Logic and the Foundations of …, 1977 | 146 | 1977 |
| Sheaf models for analysis MP Fourman, JME Hyland Applications of Sheaves, Durham 1977 753, 280-301, 1979 | 128 | 1979 |
| Formal spaces MP Fourman, RJ Grayson The L. E. J. Brouwer Centenary Symposium, Proceedings of the Conference held …, 1982 | 125* | 1982 |
| Applications of Sheaves MP Fourman, C Mulvey, DS Scott Proceedings of the Research Symposium on Applications of Sheaf Theory to …, 1979 | 105* | 1979 |
| Sheaf models for set theory MP Fourman Journal of Pure and Applied Algebra 19, 91-101, 1980 | 73 | 1980 |
| Formal system design—interactive synthesis based on computer-assisted formal reasoning S Finn, MP Fourman, M Francis, R Harris IMEC-IFIP International Workshop on Applied Formal Methods for Correct VLSI …, 1989 | 67 | 1989 |
| Informatics MP Fourman International Encyclopaedia of Information and Library Science. Routledge, 2002 | 49 | 2002 |
| Propositional planning MP Fourman Proceedings of AIPS-00 Workshop on Model-Theoretic Approaches to Planning, 10-17, 2000 | 49 | 2000 |
| Formally based system design-interactive hardware scheduling MP Fourman Proc. of VLSI89, 101-112, 1989 | 35 | 1989 |
| Integration of Formal Methods with System Design. EM Mayger, MP Fourman VLSI 91, 1991 | 32 | 1991 |
| Partial functions in a total setting S Finn, MP Fourman, J Longley Journal of Automated Reasoning 18 (1), 85-104, 1997 | 29 | 1997 |
| The “world's simplest axiom of choice” fails MP Fourman, A Ščedrov Manuscripta mathematica 38 (3), 325-332, 1982 | 23 | 1982 |
| Notions of choice sequence MP Fourman Studies in Logic and the Foundations of Mathematics 110, 91-105, 1982 | 20 | 1982 |
| Continuous truth i non-constructive objects MP Fourman Studies in Logic and the Foundations of Mathematics 112, 161-180, 1984 | 19 | 1984 |
| Proof and synthesis MP Fourman, WJ Palmer, RM Zimmer Proceedings 1988 IEEE International Conference on Computer Design: VLSI, 600 …, 1988 | 17 | 1988 |
| Formal system design MP Fourman IEE Colloquium on High Level Modelling and Design for ASICs, 9/1-9/3, 1989 | 16 | 1989 |
| Connections Between Category Theory and Logic. MP Fourman University of Oxford, 1974 | 15 | 1974 |
| Theories as categories MP Fourman Category theory and computer programming, 434-448, 1986 | 14 | 1986 |
Dana ScottVisiting Scholar, UC BerkeleyVerified email at cs.cmu.edu
