Michael Fourman's AcademicInfluence.com Rankings Download Badge Computer Science Mathematics
Why Is Michael Fourman Influential? (Suggest an Edit or Addition)
According to Wikipedia , Michael Paul Fourman FBCS FRSE is Professor of Computer Systems at the University of Edinburgh in Scotland, UK, and was Head of the School of Informatics from 2001 to 2009. Fourman is worked in applications of logic in computer science, artificial intelligence, and cognitive science – more specifically, formal models of digital systems, system design tools, proof assistants, categorical semantics and propositional planning.
(See a Problem?) Michael Fourman'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
1980 1990 2000 2010 0 50 100 150 200 250 300 350 400 450 500 550 600 Published Works Sheaves and logic (1979) Compaction of Symbolic Layout Using Genetic Algorithms (1985) (249)Applications of sheaves (1979) Sheaf models for analysis (1979) The Logic of Topoi (1977) Sheaf models for set theory (1980) Integration of Formal Methods with System Design (1991) (37)Propositional Planning (2000) (32)Partial products, bagdomains and hyperlocal toposes (1992) Continuous Truth I Non-constructive Objects (1984) Partial Functions in a Total Setting (1997) In Search of Elegance in the Theory and Practice of Computation (2013) Notions of Choice Sequence (1982) The “world's simplest axiom of choice” fails (1982) I-categories and duality (1992) Proof and synthesis (1988) Theories as Categories (1985) Formal system design (1989) (10)A Proposed Categorial Semantics for Pure ML (1992) T1 spaces over topological sites (1983) Continuous Truth II: Reflections (2013) Applications of categories in computer science : proceedings of the LMS Symposium, Durham, 1991 (1992) Logics for Action (2007) (7)Propositional Reasoning (2001) The need for a core method DIALOG - Linking formal proof to the design environment (1991) RemIX: A Distributed Internet Exchange for Remote and Rural Networks (2016) Proof and design (1996) A Proposed Categorical Semantics for ML Modules (1995) Digital Scotland: Spreading the Benefits of Digital Participation - An interim report for consultation (2013) (3)Measuring the Broadband Access Divide (2016) Modular design as algebraic composition (1989) Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings (2001) Datatypes in L2 (1994) Information to Knowledge; from Knowledge to Wisdom (2010) (1)Algorithms, Software, Architecture - Information Processing '92, Volume 1, Proceedings of the IFIP 12th World Computer Congress, Madrid, Spain, 7-11 September 1992 (1992) (1)Lists and Recursion (2021) ACM SIGCOMM Global Access to the Internet for All (GAIA) Workshop (2016) (0)Karnaugh Maps (2021) Explorer Continuous Truth II : Reflections (2017) (0)Applications of Categories in Computer Science: Frontmatter (1992) Introduction to Computation: Haskell, Logic and Automata (2021) The CAD Tool of the Future (1992) (0)Efficient CNF Conversion (2021) Simple Computations (2021) Applications of Categories in Computer Science: Miscellaneous Frontmatter (1992) Sequent Calculus (2021) Local Perspectives on Actions (2007) (0)Edinburgh Research Explorer Theories as Categories (2018) (0)Notions of Computability for General DatatypesCase for Support to accompany EPS ( RP ) (2007) (0)Notions of Computability for General DatatypesCase for Support to accompany EPS ( RP ) (2007) (0)IGR Report on EPSRC Grant GR/L89532: Notions of computability for general datatypes (2001) (0)Input/Output and Monads (2021) Applications of Categories in Computer Science: Preface (1992) Explorer Local Perspectives on Actions (2017) (0)Hitting Buneman Circles (2013) DR AF T Measuring the Digital Divide (2015) (0)Reasoning about Programs (2010) Proceedings of the 1st International Conference on Genetic Algorithms, Pittsburgh, PA, USA, July 1985 (1985) (0)Edinburgh Research Explorer Logics for Action (2017) (0)Checking Satisfiability (2021) More Papers This paper list is powered by the following services:
Other Resources About Michael Fourman What Schools Are Affiliated With Michael Fourman? Michael Fourman is affiliated with the following schools:
