Michael Fisher

Cited by

	All	Since 2019
Citations	10945	3688
h-index	55	32
i10-index	192	80

780

390

195

585

19921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202434 59 60 80 110 172 140 175 201 196 271 276 302 547 320 434 349 384 296 320 312 285 327 340 346 277 415 496 531 777 672 766 438

Public access

View all

81 articles

3 articles

available

not available

Based on funding mandates

Co-authors

Louise DennisDepartment of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Clare DixonUniversity of ManchesterVerified email at manchester.ac.uk
Dr Matt Webster, PhDComputer ScientistVerified 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
Marie FarrellThe University of ManchesterVerified email at manchester.ac.uk
Alexei LisitsaUniversity of LiverpoolVerified email at liverpool.ac.uk
Boris KonevProfessor of Computer Science, Liverpool UniversityVerified email at liverpool.ac.uk
Matt LuckcuckAssistant Professor of Computer ScienceVerified email at nottingham.ac.uk
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
Marija SlavkovikProfessor in Artificial Intelligence, University of BergenVerified email at infomedia.uib.no
Chiara GhidiniFree University of Bozen-BolzanoVerified email at unibz.it
Wiebe van der HoekProfessor of Computer Science, University of Liverpool, Agents GroupVerified email at liverpool.ac.uk
Prof. Michael JumpUniversity of LiverpoolVerified 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
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

Michael Fisher

Professor of Computer Science, University of Manchester

Verified email at manchester.ac.uk - Homepage

Autonomous Systems Trustworthiness Formal Methods Temporal Logic 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	367	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	336	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	262	2016
Clausal temporal resolution M Fisher, C Dixon, M Peim ACM Transactions on Computational Logic (TOCL) 2 (1), 12-56, 2001	257	2001
Verifying multi-agent programs by model checking RH Bordini, M Fisher, W Visser, M Wooldridge Autonomous agents and multi-agent systems 12, 239-256, 2006	228	2006
Model checking agentspeak RH Bordini, M Fisher, C Pardavila, M Wooldridge Proceedings of the second international joint conference on Autonomous …, 2003	225	2003
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	222	2002
A resolution-based proof method for temporal logics of knowledge and belief M Fisher, M Wooldridge, C Dixon Practical Reasoning: International Conference on Formal and Applied …, 1996	214	1996
METATEM: A framework for programming in temporal logic H Barringer, M Fisher, D Gabbay, G Gough, R Owens Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness …, 1990	212	1990
Handbook of temporal reasoning in artificial intelligence MD Fisher, DM Gabbay, L Vila Elsevier, 2005	203	2005
Model checking agent programming languages LA Dennis, M Fisher, MP Webster, RH Bordini Automated software engineering 19, 5-63, 2012	189	2012
The imperative future: principles of executable temporal logic H Barringer	187	1996
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	183	1997
Verifying autonomous systems M Fisher, L Dennis, M Webster Communications of the ACM 56 (9), 84-93, 2013	180	2013
An introduction to practical formal methods using temporal logic M Fisher John Wiley & Sons, 2011	180	2011
Formal verification of autonomous vehicle platooning M Kamali, LA Dennis, O McAree, M Fisher, SM Veres Science of computer programming 148, 88-106, 2017	177	2017
Representing and executing agent-based systems M Fisher International Workshop on Agent Theories, Architectures, and Languages, 307-323, 1994	170	1994
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	140	1997
Practical verification of decision-making in agent-based autonomous systems LA Dennis, M Fisher, NK Lincoln, A Lisitsa, SM Veres Automated Software Engineering 23, 305-359, 2016	129	2016
Analysing robot swarm behaviour via probabilistic model checking S Konur, C Dixon, M Fisher Robotics and Autonomous Systems 60 (2), 199-213, 2012	125	2012

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

Cited by

Co-authors