Michael Fisher

Dikutip oleh

	Semua	Sejak 2020
Kutipan	11204	3434
indeks-h	55	31
indeks-i10	196	81

780

390

195

585

199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202534 59 60 80 110 172 137 178 201 196 271 277 309 542 322 432 351 379 294 324 311 285 327 345 349 285 408 498 532 780 676 773 600 70

Akses publik

Lihat semua

83 artikel

3 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Louise DennisDepartment of Computer Science, University of ManchesterEmail yang diverifikasi di manchester.ac.uk
Clare DixonUniversity of ManchesterEmail yang diverifikasi di manchester.ac.uk
Dr Matt Webster, PhDComputer ScientistEmail yang diverifikasi di liverpool.ac.uk
Michael WooldridgeUniversity of OxfordEmail yang diverifikasi di cs.ox.ac.uk
Rafael H. BordiniSchool of Technology, PUCRSEmail yang diverifikasi di pucrs.br
Marie FarrellThe University of ManchesterEmail yang diverifikasi di manchester.ac.uk
Alexei LisitsaUniversity of LiverpoolEmail yang diverifikasi di liverpool.ac.uk
Boris KonevProfessor of Computer Science, Liverpool UniversityEmail yang diverifikasi di liverpool.ac.uk
Matt LuckcuckAssistant Professor of Computer Science, University of NottinghamEmail yang diverifikasi di nottingham.ac.uk
Ullrich HustadtReader, Department of Computer Science, University of LiverpoolEmail yang diverifikasi di liverpool.ac.uk
Marija SlavkovikProfessor in Artificial Intelligence, University of BergenEmail yang diverifikasi di infomedia.uib.no
Chiara GhidiniFree University of Bozen-BolzanoEmail yang diverifikasi di unibz.it
Wiebe van der HoekProfessor of Computer Science, University of Liverpool, Agents GroupEmail yang diverifikasi di liverpool.ac.uk
Prof. Michael JumpUniversity of LiverpoolEmail yang diverifikasi di liverpool.ac.uk
Graham GoughSchool of Computer Science, University of ManchesterEmail yang diverifikasi di cs.man.ac.uk
Willem VisserComputer Science Division, Stellenbosch UniversityEmail yang diverifikasi di cs.sun.ac.za
Carmen Fernandez GagoUniversity of Malaga (Spain)Email yang diverifikasi di lcc.uma.es
Benjamin HirschDegussa BankEmail yang diverifikasi di abhirsch.de
Kerstin DautenhahnCanada 150 Research Chair in Intelligent Robotics, University of WaterlooEmail yang diverifikasi di uwaterloo.ca
Michael LuckUniversity of SussexEmail yang diverifikasi di sussex.ac.uk

Ikuti

Michael Fisher

Professor of Computer Science, University of Manchester

Email yang diverifikasi di manchester.ac.uk - Beranda

Autonomous Systems Trustworthiness Formal Methods Temporal Logic Model Checking


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
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	364	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	276	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	232	2006
Model checking agentspeak RH Bordini, M Fisher, C Pardavila, M Wooldridge Proceedings of the second international joint conference on Autonomous …, 2003	227	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	215	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	213	1990
Handbook of temporal reasoning in artificial intelligence MD Fisher, DM Gabbay, L Vila Elsevier, 2005	208	2005
Model checking agent programming languages LA Dennis, M Fisher, MP Webster, RH Bordini Automated software engineering 19, 5-63, 2012	200	2012
Formal verification of autonomous vehicle platooning M Kamali, LA Dennis, O McAree, M Fisher, SM Veres Science of computer programming 148, 88-106, 2017	187	2017
The imperative future: principles of executable temporal logic H Barringer	187	1996
An introduction to practical formal methods using temporal logic M Fisher John Wiley & Sons, 2011	186	2011
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	184	1997
Verifying autonomous systems M Fisher, L Dennis, M Webster Communications of the ACM 56 (9), 84-93, 2013	183	2013
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	141	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	127	2012

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama