Michael Fisher

Cytowane przez

	Wszystkie	Od 2017
Cytowania	9278	2767
h-indeks	50	27
i10-indeks	178	70

820

410

205

615

199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202249 53 62 78 110 189 137 162 220 183 280 261 317 510 313 414 360 383 298 322 301 284 314 336 363 277 417 459 529 808 270

Dostęp publiczny

Wyświetl wszystko

77 artykułów

6 artykułów

dostępne

niedostępne

Objęte finansowaniem

Współautorzy

Clare DixonUniversity of ManchesterZweryfikowany adres z manchester.ac.uk
Louise DennisDepartment of Computer Science, University of ManchesterZweryfikowany adres z manchester.ac.uk
Michael WooldridgeUniversity of OxfordZweryfikowany adres z cs.ox.ac.uk
Matt WebsterPostdoc in Computer Science, University of LiverpoolZweryfikowany adres z liverpool.ac.uk
Rafael H. BordiniSchool of Technology, PUCRSZweryfikowany adres z pucrs.br
Boris KonevProfessor of Computer Science, Liverpool UniversityZweryfikowany adres z liverpool.ac.uk
Alexei LisitsaUniversity of LiverpoolZweryfikowany adres z liverpool.ac.uk
Marie FarrellMaynooth UniversityZweryfikowany adres z mu.ie
Sandor VeresProfessor of Autonomous Control SystemsZweryfikowany adres z sheffield.ac.uk
Ullrich HustadtReader, Department of Computer Science, University of LiverpoolZweryfikowany adres z liverpool.ac.uk
Matt LuckcuckPost-Doctoral Researcher at Maynooth UniversityZweryfikowany adres z mu.ie
Wiebe van der HoekProfessor of Computer Science, University of Liverpool, Agents GroupZweryfikowany adres z liverpool.ac.uk
Marija SlavkovikProfessor, University of BergenZweryfikowany adres z infomedia.uib.no
Willem VisserComputer Science Division, Stellenbosch UniversityZweryfikowany adres z cs.sun.ac.za
Graham GoughSchool of Computer Science, University of ManchesterZweryfikowany adres z cs.man.ac.uk
Dr. Michael JumpAerospace Engineering Programme Director (Undergraudate), University of LiverpoolZweryfikowany adres z liv.ac.uk
Carmen Fernandez GagoUniversity of Malaga (Spain)Zweryfikowany adres z lcc.uma.es
Benjamin HirschDegussa BankZweryfikowany adres z abhirsch.de
Kerstin DautenhahnCanada 150 Research Chair in Intelligent Robotics, University of WaterlooZweryfikowany adres z uwaterloo.ca
Mark D. RyanProfessor of Computer Security, University of BirminghamZweryfikowany adres z cs.bham.ac.uk

Obserwuj

Michael Fisher

Professor of Computer Science, University of Manchester

Zweryfikowany adres z manchester.ac.uk - Strona główna

Temporal Logic Artificial Intelligence Autonomous Systems Formal Methods Model Checking


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
A survey of Concurrent METATEM—the language and its applications M Fisher International Conference on Temporal Logic, 480-505, 1994	356	1994
Clausal temporal resolution M Fisher, C Dixon, M Peim ACM Transactions on Computational Logic (TOCL) 2 (1), 12-56, 2001	236	2001
Model checking agentspeak RH Bordini, M Fisher, C Pardavila, M Wooldridge Proceedings of the second international joint conference on Autonomous …, 2003	211	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	209	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	209	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	179	2005
The imperative future: principles of executable temporal logic H Barringer, M Fisher, D Gabbay, R Owens, M Reynolds John Wiley & Sons, Inc., 1996	179	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	178	1997
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	176	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	169	2016
Representing and executing agent-based systems M Fisher International Workshop on Agent Theories, Architectures, and Languages, 307-323, 1994	165	1994
Model checking agent programming languages LA Dennis, M Fisher, MP Webster, RH Bordini Automated software engineering 19 (1), 5-63, 2012	157	2012
An introduction to practical formal methods using temporal logic M Fisher John Wiley & Sons, 2011	150	2011
Verifying autonomous systems M Fisher, L Dennis, M Webster Communications of the ACM 56 (9), 84-93, 2013	145	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	143	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	121	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	115	1997

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Prace 1–20

Cytowania rocznie

Powielone cytowania

Scalone cytowania

Dodaj współautorówWspółautorzy

Obserwuj tego autora

Cytowane przez

Współautorzy