Michael Fisher

Citado por

	Todos	Desde 2016
Citações	8143	2109
Índice h	48	22
Índice i10	157	55

540

270

135

405

19921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202137 59 64 86 115 172 129 148 201 179 271 259 314 503 301 413 357 399 303 302 301 284 295 347 359 275 407 436 523 100

Coautores

Clare DixonUniversity of Liverpool;E-mail confirmado em liverpool.ac.uk
Louise DennisDepartment of Computer Science, University of ManchesterE-mail confirmado em manchester.ac.uk
Michael WooldridgeUniversity of OxfordE-mail confirmado em cs.ox.ac.uk
Matt WebsterPostdoc in Computer Science, University of LiverpoolE-mail confirmado em liverpool.ac.uk
Rafael H. BordiniEscola Politécnica PUCRSE-mail confirmado em pucrs.br
Boris KonevProfessor of Computer Science, Liverpool UniversityE-mail confirmado em liverpool.ac.uk
Alexei LisitsaUniversity of LiverpoolE-mail confirmado em liverpool.ac.uk
Ullrich HustadtReader, Department of Computer Science, University of LiverpoolE-mail confirmado em liverpool.ac.uk
Sandor VeresProfessor of Autonomous Control SystemsE-mail confirmado em sheffield.ac.uk
Wiebe van der HoekProfessor of Computer Science, University of Liverpool, Agents GroupE-mail confirmado em liverpool.ac.uk
Graham GoughSchool of Computer Science, University of ManchesterE-mail confirmado em cs.man.ac.uk
Willem VisserComputer Science Division, Stellenbosch UniversityE-mail confirmado em cs.sun.ac.za
Marija SlavkovikAssociate Professor, University of BergenE-mail confirmado em infomedia.uib.no
Marie FarrellMaynooth UniversityE-mail confirmado em mu.ie
Carmen Fernandez GagoUniversity of Malaga (Spain)E-mail confirmado em lcc.uma.es
Matt LuckcuckPost-Doctoral Researcher at Maynooth UniversityE-mail confirmado em mu.ie
Dr. Michael JumpAerospace Engineering Programme Director (Undergraudate), University of LiverpoolE-mail confirmado em liv.ac.uk
Benjamin HirschDegussa BankE-mail confirmado em abhirsch.de
Kerstin DautenhahnCanada 150 Research Chair in Intelligent Robotics, University of WaterlooE-mail confirmado em uwaterloo.ca
Maarten de RijkeUniversity of Amsterdam - Ahold Delhaize - ICAIE-mail confirmado em uva.nl

Michael Fisher

Professor of Computer Science, University of Manchester

E-mail confirmado em manchester.ac.uk - Página inicial

Temporal Logic Artificial Intelligence Autonomous Systems Formal Methods Model Checking


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
A survey of Concurrent METATEM—the language and its applications M Fisher International Conference on Temporal Logic, 480-505, 1994	343	1994
Clausal temporal resolution M Fisher, C Dixon, M Peim ACM Transactions on Computational Logic (TOCL) 2 (1), 12-56, 2001	235	2001
Model checking agentspeak RH Bordini, M Fisher, C Pardavila, M Wooldridge Proceedings of the second international joint conference on Autonomous …, 2003	203	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	203	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	202	1989
A Resolution Method for Temporal Logic. M Fisher Ijcai 91, 99-104, 1991	194	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	189	2006
The Imperative Future Principles of Executable Temporal Logic H Barringer	175	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
Handbook of temporal reasoning in artificial intelligence MD Fisher, DM Gabbay, L Vila Elsevier, 2005	164	2005
Representing and executing agent-based systems M Fisher International Workshop on Agent Theories, Architectures, and Languages, 307-323, 1994	162	1994
An introduction to practical formal methods using temporal logic M Fisher Wiley, 2011	132	2011
Model checking agent programming languages LA Dennis, M Fisher, MP Webster, RH Bordini Automated software engineering 19 (1), 5-63, 2012	129	2012
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
Formal verification of ethical choices in autonomous systems L Dennis, M Fisher, M Slavkovik, M Webster Robotics and Autonomous Systems 77, 1-14, 2016	123	2016
Verifying autonomous systems M Fisher, L Dennis, M Webster Communications of the ACM 56 (9), 84-93, 2013	123	2013
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 (03), 315-321, 1997	113	1997
Formal verification of autonomous vehicle platooning M Kamali, LA Dennis, O McAree, M Fisher, SM Veres Science of computer programming 148, 88-106, 2017	107	2017
Analysing robot swarm behaviour via probabilistic model checking S Konur, C Dixon, M Fisher Robotics and Autonomous Systems 60 (2), 199-213, 2012	97	2012

O sistema não pode executar a operação agora. Tente novamente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações mescladas

Adicionar coautoresCoautores

Fazer upload de PDF

Seguir este autor

Citado por

Coautores