Michael Fisher

Cited by

	All	Since 2017
Citations	9215	2713
h-index	50	26
i10-index	176	67

820

410

205

615

199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202249 54 62 89 110 190 136 158 219 186 282 263 307 515 305 415 360 388 300 320 303 281 302 337 360 276 424 457 524 817 213

Public access

View all

75 articles

6 articles

available

not available

Based on funding mandates

Co-authors

Clare DixonUniversity of ManchesterVerified email at manchester.ac.uk
Louise DennisDepartment of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Matt WebsterPostdoc in Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Michael WooldridgeUniversity of OxfordVerified email at cs.ox.ac.uk
Rafael H. BordiniSchool of Technology, PUCRSVerified email at pucrs.br
Boris KonevProfessor of Computer Science, Liverpool UniversityVerified email at liverpool.ac.uk
Alexei LisitsaUniversity of LiverpoolVerified email at liverpool.ac.uk
Marie FarrellMaynooth UniversityVerified email at mu.ie
Sandor VeresProfessor of Autonomous Control SystemsVerified email at sheffield.ac.uk
Ullrich HustadtReader, Department of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Matt LuckcuckPost-Doctoral Researcher at Maynooth UniversityVerified email at mu.ie
Wiebe van der HoekProfessor of Computer Science, University of Liverpool, Agents GroupVerified email at liverpool.ac.uk
Marija SlavkovikProfessor, University of BergenVerified email at infomedia.uib.no
Graham GoughSchool of Computer Science, University of ManchesterVerified email at cs.man.ac.uk
Willem VisserComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Dr. Michael JumpAerospace Engineering Programme Director (Undergraudate), University of LiverpoolVerified email at liv.ac.uk
Carmen Fernandez GagoUniversity of Malaga (Spain)Verified email at lcc.uma.es
Benjamin HirschDegussa BankVerified email at abhirsch.de
Kerstin DautenhahnCanada 150 Research Chair in Intelligent Robotics, University of WaterlooVerified email at uwaterloo.ca
Mark ReynoldsProfessor of Computer Science, University of Western AustraliaVerified email at uwa.edu.au

Michael Fisher

Professor of Computer Science, University of Manchester

Verified email at manchester.ac.uk - Homepage

Temporal Logic Artificial Intelligence Autonomous Systems Formal Methods Model Checking


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A survey of Concurrent METATEM—the language and its applications M Fisher International Conference on Temporal Logic, 480-505, 1994	355	1994
Clausal temporal resolution M Fisher, C Dixon, M Peim ACM Transactions on Computational Logic (TOCL) 2 (1), 12-56, 2001	237	2001
Model checking agentspeak RH Bordini, M Fisher, C Pardavila, M Wooldridge Proceedings of the second international joint conference on Autonomous …, 2003	213	2003
Verifying multi-agent programs by model checking RH Bordini, M Fisher, W Visser, M Wooldridge Autonomous agents and multi-agent systems 12 (2), 239-256, 2006	208	2006
Model checking multi-agent systems with MABLE M Wooldridge, M Fisher, MP Huget, S Parsons Proceedings of the first international joint conference on Autonomous agents …, 2002	208	2002
METATEM: A framework for programming in temporal logic H Barringer, M Fisher, D Gabbay, G Gough, R Owens Workshop/School/Symposium of the REX Project (Research and Education in …, 1989	208	1989
A Resolution Method for Temporal Logic. M Fisher Ijcai 91, 99-104, 1991	198	1991
Handbook of temporal reasoning in artificial intelligence MD Fisher, DM Gabbay, L Vila Elsevier, 2005	178	2005
On the formal specification and verification of multi-agent systems M Fisher, M Wooldridge International Journal of Cooperative Information Systems 6 (01), 37-65, 1997	177	1997
The imperative future: principles of executable temporal logic H Barringer, M Fisher, D Gabbay, R Owens, M Reynolds John Wiley & Sons, Inc., 1996	175	1996
Representing and executing agent-based systems M Fisher International Workshop on Agent Theories, Architectures, and Languages, 307-323, 1994	167	1994
Formal specification and verification of autonomous robotic systems: A survey M Luckcuck, M Farrell, LA Dennis, C Dixon, M Fisher ACM Computing Surveys (CSUR) 52 (5), 1-41, 2019	162	2019
Formal verification of ethical choices in autonomous systems L Dennis, M Fisher, M Slavkovik, M Webster Robotics and Autonomous Systems 77, 1-14, 2016	161	2016
Model checking agent programming languages LA Dennis, M Fisher, MP Webster, RH Bordini Automated software engineering 19 (1), 5-63, 2012	156	2012
An introduction to practical formal methods using temporal logic M Fisher John Wiley & Sons, 2011	152	2011
Verifying autonomous systems M Fisher, L Dennis, M Webster Communications of the ACM 56 (9), 84-93, 2013	144	2013
Formal verification of autonomous vehicle platooning M Kamali, LA Dennis, O McAree, M Fisher, SM Veres Science of computer programming 148, 88-106, 2017	140	2017
A normal form for temporal logics and its applications in theorem-proving and execution M Fisher Journal of Logic and Computation 7 (4), 429-456, 1997	135	1997
METATEM: An introduction H Barringer, M Fisher, D Gabbay, G Gough, R Owens Formal Aspects of Computing 7 (5), 533-549, 1995	120	1995
Formalisms for multi-agent systems M d'Inverno, M Fisher, A Lomuscio, M Luck, M De Rijke, M Ryan, ... The Knowledge Engineering Review 12 (3), 315-321, 1997	113	1997

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors