Concepedia

Author

Michael Fisher

University of LiverpoolORCID

Also Known As

Alam, Rowshon, FISHER, M, Fisher Michael, Fisher, M, Fisher, Michael, Fisher, Michael E., Garbutt, James C., Gordon, I., Herdewijn, Piet, Hossain, Rifat

483

Publications

8.7K

Citations

47

H-Index

169

Concepts

All Affiliations

University of LiverpoolUniversity of ManchesterManchester Metropolitan University
MF

About

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

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

32

67

3K

2

Business

5

5

95

3

Arts

1

1

89

4

Education

1

1

23

5

Health Sciences

1

1

12

Michael Fisher

×

108

Publications

5.6K

Citations

41

H-Index

YearCitations

Grooming, Gossip, and the Evolution of Language

Dunbar, Michael Fisher

1998

798

Formal verification of ethical choices in autonomous systems

Louise A. Dennis, Michael Fisher, Marija Slavkovik,

Robotics and Autonomous Systems

2015

206

Model checking agent programming languages

Louise A. Dennis, Michael Fisher, Matt Webster,

Automated Software Engineering

2011

190

Clausal temporal resolution

Michael Fisher, Clare Dixon, Martin Peim

ACM Transactions on Computational Logic

2001

171

Verifying Multi-agent Programs by Model Checking

Rafael H. Bordini, Michael Fisher, Willem Visser,

Autonomous Agents and Multi-Agent Systems

2006

163

Model checking agentspeak

Rafael H. Bordini, Michael Fisher, Carmen Pardavila,

2003

161

The Dance Language and Orientation of Bees

Frisch, Michael Fisher

1993

159

Model checking multi-agent systems with MABLE

Michael Wooldridge, Michael Fisher, Marc-Philippe Huget,

2002

146

A resolution method for temporal logic

Michael Fisher

1991

131

Verifying autonomous systems

Michael Fisher, Louise A. Dennis, Matt Webster

Communications of the ACM

2013

117

Page 1