Michael Fisher

인용

	전체	2020년 이후
서지정보	11188	3417
h-index	55	31
i10-index	195	81

780

390

195

585

199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202534 59 60 80 110 172 137 178 201 196 271 277 306 545 319 435 349 381 293 320 315 285 327 345 347 287 408 498 532 777 674 767 597 66

공개 액세스

모두 보기

자료 83개

자료 3개

공개

비공개

재정 지원 요구사항 기준

공동 저자

Louise DennisDepartment of Computer Science, University of Manchestermanchester.ac.uk의 이메일 확인됨
Clare DixonUniversity of Manchestermanchester.ac.uk의 이메일 확인됨
Dr Matt Webster, PhDComputer Scientistliverpool.ac.uk의 이메일 확인됨
Michael WooldridgeUniversity of Oxfordcs.ox.ac.uk의 이메일 확인됨
Rafael H. BordiniSchool of Technology, PUCRSpucrs.br의 이메일 확인됨
Marie FarrellThe University of Manchestermanchester.ac.uk의 이메일 확인됨
Alexei LisitsaUniversity of Liverpoolliverpool.ac.uk의 이메일 확인됨
Boris KonevProfessor of Computer Science, Liverpool Universityliverpool.ac.uk의 이메일 확인됨
Matt LuckcuckAssistant Professor of Computer Science, University of Nottinghamnottingham.ac.uk의 이메일 확인됨
Ullrich HustadtReader, Department of Computer Science, University of Liverpoolliverpool.ac.uk의 이메일 확인됨
Marija SlavkovikProfessor in Artificial Intelligence, University of Bergeninfomedia.uib.no의 이메일 확인됨
Chiara GhidiniFree University of Bozen-Bolzanounibz.it의 이메일 확인됨
Wiebe van der HoekProfessor of Computer Science, University of Liverpool, Agents Groupliverpool.ac.uk의 이메일 확인됨
Prof. Michael JumpUniversity of Liverpoolliverpool.ac.uk의 이메일 확인됨
Graham GoughSchool of Computer Science, University of Manchestercs.man.ac.uk의 이메일 확인됨
Willem VisserComputer Science Division, Stellenbosch Universitycs.sun.ac.za의 이메일 확인됨
Carmen Fernandez GagoUniversity of Malaga (Spain)lcc.uma.es의 이메일 확인됨
Benjamin HirschDegussa Bankabhirsch.de의 이메일 확인됨
Kerstin DautenhahnCanada 150 Research Chair in Intelligent Robotics, University of Waterloouwaterloo.ca의 이메일 확인됨
Michael LuckUniversity of Sussexsussex.ac.uk의 이메일 확인됨

팔로우

Michael Fisher

Professor of Computer Science, University of Manchester

manchester.ac.uk의 이메일 확인됨 - 홈페이지

Autonomous Systems Trustworthiness Formal Methods Temporal Logic Model Checking


제목 서지정보순 정렬 연도순 정렬 제목순 정렬	인용 인용	연도
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	226	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	198	2012
The imperative future: principles of executable temporal logic H Barringer	187	1996
Formal verification of autonomous vehicle platooning M Kamali, LA Dennis, O McAree, M Fisher, SM Veres Science of computer programming 148, 88-106, 2017	185	2017
An introduction to practical formal methods using temporal logic M Fisher John Wiley & Sons, 2011	185	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

현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.

학술자료 1–20

연간 인용횟수

중복된 서지정보

병합된 서지정보

공동 저자 추가공동 저자

팔로우

인용

공동 저자