Michael Fisher - Google Scholar Citations

Cited by

	All	Since 2015
Citations	7586	1903
h-index	47	22
i10-index	151	54

520

260

130

390

19911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202019 42 59 59 79 112 183 135 152 209 192 272 261 308 517 303 403 350 402 296 303 292 284 287 332 343 277 408 412 125

Co-authors

Clare DixonUniversity of Liverpool;Verified email at liverpool.ac.uk
Louise DennisDepartment of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Michael WooldridgeUniversity of OxfordVerified email at cs.ox.ac.uk
Matt WebsterPostdoc in Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Rafael H. BordiniEscola Politécnica 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
Ullrich HustadtReader, Department of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Sandor VeresProfessor of Autonomous Control SystemsVerified email at sheffield.ac.uk
Wiebe van der HoekProfessor of Computer Science, University of Liverpool, Agents GroupVerified email at liverpool.ac.uk
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
Marija SlavkovikAssociate Professor, University of BergenVerified email at infomedia.uib.no
Carmen Fernandez GagoUniversity of Malaga (Spain)Verified email at lcc.uma.es
Benjamin HirschDegussa BankVerified email at abhirsch.de
Dr. Michael JumpAerospace Engineering Programme Director (Undergraudate), University of LiverpoolVerified email at liv.ac.uk
Marie FarrellUniversity of LiverpoolVerified email at liverpool.ac.uk
Kerstin DautenhahnCanada 150 Research Chair in Intelligent Robotics, University of WaterlooVerified email at uwaterloo.ca
Renate A SchmidtSchool of Computer Science, The University of ManchesterVerified email at cs.man.ac.uk
Maarten de RijkeUniversity of AmsterdamVerified email at uva.nl

Michael Fisher

Professor of Computer Science, University of Liverpool

Verified email at liverpool.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	339	1994
Clausal temporal resolution M Fisher, C Dixon, M Peim ACM Transactions on Computational Logic (TOCL) 2 (1), 12-56, 2001	237	2001
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	202	1989
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	195	2002
Model checking agentspeak RH Bordini, M Fisher, C Pardavila, M Wooldridge Proceedings of the second international joint conference on Autonomous …, 2003	194	2003
A Resolution Method for Temporal Logic. M Fisher Ijcai 91, 99-104, 1991	194	1991
The Imperative Future Principles of Executable Temporal Logic H Barringer	179	1996
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	178	2006
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	172	1997
Representing and executing agent-based systems M Fisher International Workshop on Agent Theories, Architectures, and Languages, 307-323, 1994	158	1994
Handbook of temporal reasoning in artificial intelligence MD Fisher, DM Gabbay, L Vila Elsevier, 2005	151	2005
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	129	1997
An introduction to practical formal methods using temporal logic M Fisher Wiley, 2011	116	2011
METATEM: An introduction H Barringer, M Fisher, D Gabbay, G Gough, R Owens Formal Aspects of Computing 7 (5), 533-549, 1995	115	1995
Model checking agent programming languages LA Dennis, M Fisher, MP Webster, RH Bordini Automated software engineering 19 (1), 5-63, 2012	110	2012
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	103	1997
Resolution for temporal logics of knowledge C Dixon, M Fisher, M Wooldridge Journal of Logic and Computation 8 (3), 345-372, 1998	101	1998
Verifying autonomous systems M Fisher, L Dennis, M Webster Communications of the ACM 56 (9), 84-93, 2013	98	2013
Formal verification of ethical choices in autonomous systems L Dennis, M Fisher, M Slavkovik, M Webster Robotics and Autonomous Systems 77, 1-14, 2016	89	2016
On formal specification of emergent behaviours in swarm robotic systems AFT Winfield, J Sa, MC Fernández-Gago, C Dixon, M Fisher International journal of advanced robotic systems 2 (4), 39, 2005	87	2005

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

Upload PDF

Follow this author

Cited by

Co-authors