| Sheaves and Logic MP Fourman, DS Scott Applications of Sheaves, Durham 1977, 1974 | 517* | 1974 |
| Compaction of symbolic layout using genetic algorithms MP Fourman Genetic Algorithms and Their Applications: Proc. 1st Int. Conf. Genetic …, 1985 | 438* | 1985 |
| The logic of topoi MP Fourman The Handbook of Mathematical Logic, Studies in Logic and the Foundations of …, 1977 | 152 | 1977 |
| Formal spaces MP Fourman, RJ Grayson The L. E. J. Brouwer Centenary Symposium, Proceedings of the Conference held …, 1982 | 143* | 1982 |
| Sheaf models for analysis MP Fourman, JME Hyland Applications of Sheaves, Durham 1977 753, 280-301, 1979 | 128* | 1979 |
| Applications of Sheaves MP Fourman, C Mulvey, DS Scott Proceedings of the Research Symposium on Applications of Sheaf Theory to …, 1979 | 117* | 1979 |
| Sheaf models for set theory MP Fourman Journal of Pure and Applied Algebra 19 (1), 91-101, 1980 | 80 | 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 | 72 | 1989 |
| Informatics MP Fourman International Encyclopaedia of Information and Library Science. Routledge, 2002 | 65 | 2002 |
| Propositional planning MP Fourman Proceedings of AIPS-00 Workshop on Model-Theoretic Approaches to Planning, 10-17, 2000 | 52 | 2000 |
| Integration of formal methods with system design EM Mayger, MP Fourman VLSI, 59-69, 1991 | 35 | 1991 |
| Formally based system design-interactive hardware scheduling MP Fourman Proc. of VLSI89, 101-112, 1989 | 34 | 1989 |
| Partial functions in a total setting S Finn, MP Fourman, J Longley Journal of Automated Reasoning 18, 85-104, 1997 | 30 | 1997 |
| Notions of choice sequence MP Fourman Studies in Logic and the Foundations of Mathematics 110, 91-105, 1982 | 27 | 1982 |
| The “world's simplest axiom of choice” fails MP Fourman, A Ščedrov Manuscripta mathematica 38 (3), 325-332, 1982 | 24 | 1982 |
| Continuous truth i non-constructive objects MP Fourman Studies in Logic and the Foundations of Mathematics 112, 161-180, 1984 | 22 | 1984 |
| Connections Between Category Theory and Logic. MP Fourman University of Oxford, 1974 | 21 | 1974 |
| Formal system design MP Fourman IEE Colloquium on High Level Modelling and Design for ASICs, 9/1-9/3, 1989 | 18 | 1989 |
| Proof and synthesis MP Fourman, WJ Palmer, RM Zimmer Proceedings 1988 IEEE International Conference on Computer Design: VLSI, 600 …, 1988 | 17 | 1988 |
| Theories as categories MP Fourman Category Theory and Computer Programming: Tutorial and Workshop, Guildford …, 2005 | 15 | 2005 |
Dana ScottVisiting Scholar, UC BerkeleyVerified email at cs.cmu.edu
