Concepedia

Michael Fisher

MF

Statistics

Publications

108

Citations

5.6K

H-Index

41

Active since

1991

Affiliations

University of Liverpool(Current)

University of Manchester

Manchester Metropolitan University

Durham University

Michael Fisher is an author at University of Liverpool specializing in computer science, computing, and formal methods.

Publications per year

1991–2024

108

Publications

108

Grooming, Gossip, and the Evolution of Language

Dunbar, Michael Fisher · 1998 · 800 citations

Language Studies, Evolutionary Biology, Linguistics +10

Formal verification of ethical choices in autonomous systems

Louise A. Dennis, Michael Fisher, Marija Slavkovik et al. · Robotics and Autonomous Systems · 2015 · 212 citations · Full text

Computing, Autonomous Systems, Computer Science +11

Model checking agent programming languages

Louise A. Dennis, Michael Fisher, Matt Webster et al. · Automated Software Engineering · 2011 · 196 citations

Computing, Computer Engineering, Computer Science +10

Clausal temporal resolution

Michael Fisher, Clare Dixon, Martin Peim · ACM Transactions on Computational Logic · 2001 · 171 citations

Computing, Computer Science, Mathematics +11

Verifying Multi-agent Programs by Model Checking

Rafael H. Bordini, Michael Fisher, Willem Visser et al. · Autonomous Agents and Multi-Agent Systems · 2006 · 165 citations · Full text

Computing, Computer Science, Distributed Systems +11

1–5 of 108