Michael Fisher - Google Scholar

Geciteerd door

	Alles	Sinds 2015
Citaties	7801	2108
h-index	47	24
i10-index	154	59

520

260

130

390

1992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202041 54 59 85 112 185 129 151 204 184 267 288 297 516 298 406 352 398 300 314 295 289 287 339 357 278 411 424 292

Medeauteurs

Clare DixonUniversity of Liverpool;Geverifieerd e-mailadres voor liverpool.ac.uk
Louise DennisDepartment of Computer Science, University of ManchesterGeverifieerd e-mailadres voor manchester.ac.uk
Michael WooldridgeUniversity of OxfordGeverifieerd e-mailadres voor cs.ox.ac.uk
Matt WebsterPostdoc in Computer Science, University of LiverpoolGeverifieerd e-mailadres voor liverpool.ac.uk
Rafael H. BordiniEscola Politécnica PUCRSGeverifieerd e-mailadres voor pucrs.br
Boris KonevProfessor of Computer Science, Liverpool UniversityGeverifieerd e-mailadres voor liverpool.ac.uk
Alexei LisitsaUniversity of LiverpoolGeverifieerd e-mailadres voor liverpool.ac.uk
Ullrich HustadtReader, Department of Computer Science, University of LiverpoolGeverifieerd e-mailadres voor liverpool.ac.uk
Sandor VeresProfessor of Autonomous Control SystemsGeverifieerd e-mailadres voor sheffield.ac.uk
Wiebe van der HoekProfessor of Computer Science, University of Liverpool, Agents GroupGeverifieerd e-mailadres voor liverpool.ac.uk
Graham GoughSchool of Computer Science, University of ManchesterGeverifieerd e-mailadres voor cs.man.ac.uk
Willem VisserComputer Science Division, Stellenbosch UniversityGeverifieerd e-mailadres voor cs.sun.ac.za
Marija SlavkovikAssociate Professor, University of BergenGeverifieerd e-mailadres voor infomedia.uib.no
Carmen Fernandez GagoUniversity of Malaga (Spain)Geverifieerd e-mailadres voor lcc.uma.es
Benjamin HirschDegussa BankGeverifieerd e-mailadres voor abhirsch.de
Dr. Michael JumpAerospace Engineering Programme Director (Undergraudate), University of LiverpoolGeverifieerd e-mailadres voor liv.ac.uk
Marie FarrellUniversity of LiverpoolGeverifieerd e-mailadres voor liverpool.ac.uk
Kerstin DautenhahnCanada 150 Research Chair in Intelligent Robotics, University of WaterlooGeverifieerd e-mailadres voor uwaterloo.ca
Matt LuckcuckResearch Associate at the University of Liverpool, RAIN Hub, ORCA hub, FAIR-SAPCE HubGeverifieerd e-mailadres voor liverpool.ac.uk
Maarten de RijkeUniversity of Amsterdam & Ahold DelhaizeGeverifieerd e-mailadres voor uva.nl

Michael Fisher

Professor of Computer Science, University of Liverpool

Geverifieerd e-mailadres voor liverpool.ac.uk - Homepage

Temporal Logic Artificial Intelligence Autonomous Systems Formal Methods Model Checking


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
A survey of Concurrent METATEM—the language and its applications M Fisher International Conference on Temporal Logic, 480-505, 1994	338	1994
Clausal temporal resolution M Fisher, C Dixon, M Peim ACM Transactions on Computational Logic (TOCL) 2 (1), 12-56, 2001	236	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	201	1989
Model checking agentspeak RH Bordini, M Fisher, C Pardavila, M Wooldridge Proceedings of the second international joint conference on Autonomous …, 2003	197	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	196	2002
A Resolution Method for Temporal Logic. M Fisher Ijcai 91, 99-104, 1991	191	1991
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	184	2006
The Imperative Future Principles of Executable Temporal Logic H Barringer	176	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	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	156	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	130	1997
An introduction to practical formal methods using temporal logic M Fisher Wiley, 2011	119	2011
Model checking agent programming languages LA Dennis, M Fisher, MP Webster, RH Bordini Automated software engineering 19 (1), 5-63, 2012	117	2012
METATEM: An introduction H Barringer, M Fisher, D Gabbay, G Gough, R Owens Formal Aspects of Computing 7 (5), 533-549, 1995	116	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 (03), 315-321, 1997	108	1997
Verifying autonomous systems M Fisher, L Dennis, M Webster Communications of the ACM 56 (9), 84-93, 2013	107	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	100	2016
Resolution for temporal logics of knowledge C Dixon, M Fisher, M Wooldridge Journal of Logic and Computation 8 (3), 345-372, 1998	98	1998
Analysing robot swarm behaviour via probabilistic model checking S Konur, C Dixon, M Fisher Robotics and Autonomous Systems 60 (2), 199-213, 2012	92	2012

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

PDF uploaden

Deze auteur volgen

Geciteerd door

Medeauteurs