Michael Fisher

Citata da

	Tutte	Dal 2018
Citazioni	9917	3074
Indice H	53	29
i10-index	183	77

780

390

195

585

1992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202343 32 35 100 106 164 129 165 197 205 282 279 298 530 368 404 361 381 310 311 332 287 317 355 367 272 425 478 550 773 700 140

Accesso pubblico

Visualizza tutto

78 articoli

3 articoli

Disponibili

Non disponibili

In base ai mandati di finanziamento

Coautori

Clare DixonUniversity of ManchesterEmail verificata su manchester.ac.uk
Louise DennisDepartment of Computer Science, University of ManchesterEmail verificata su manchester.ac.uk
Matt WebsterPostdoc in Computer Science, University of LiverpoolEmail verificata su liverpool.ac.uk
Michael WooldridgeUniversity of OxfordEmail verificata su cs.ox.ac.uk
Rafael H. BordiniSchool of Technology, PUCRSEmail verificata su pucrs.br
Alexei LisitsaUniversity of LiverpoolEmail verificata su liverpool.ac.uk
Boris KonevProfessor of Computer Science, Liverpool UniversityEmail verificata su liverpool.ac.uk
Marie FarrellThe University of ManchesterEmail verificata su manchester.ac.uk
Matt LuckcuckLecturer at the University of DerbyEmail verificata su derby.ac.uk
Sandor VeresProfessor of Autonomous Control SystemsEmail verificata su sheffield.ac.uk
Ullrich HustadtReader, Department of Computer Science, University of LiverpoolEmail verificata su liverpool.ac.uk
Marija SlavkovikProfessor, University of BergenEmail verificata su infomedia.uib.no
Wiebe van der HoekProfessor of Computer Science, University of Liverpool, Agents GroupEmail verificata su liverpool.ac.uk
Graham GoughSchool of Computer Science, University of ManchesterEmail verificata su cs.man.ac.uk
Willem VisserComputer Science Division, Stellenbosch UniversityEmail verificata su cs.sun.ac.za
Prof. Michael JumpUniversity of LiverpoolEmail verificata su liverpool.ac.uk
Carmen Fernandez GagoUniversity of Malaga (Spain)Email verificata su lcc.uma.es
Benjamin HirschDegussa BankEmail verificata su abhirsch.de
Kerstin DautenhahnCanada 150 Research Chair in Intelligent Robotics, University of WaterlooEmail verificata su uwaterloo.ca
Mark D. RyanProfessor of Computer Security, University of BirminghamEmail verificata su cs.bham.ac.uk

Segui

Michael Fisher

Professor of Computer Science, University of Manchester

Email verificata su manchester.ac.uk - Home page

Temporal Logic Artificial Intelligence Autonomous Systems Formal Methods Model Checking


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
A survey of Concurrent METATEM—the language and its applications M Fisher Temporal Logic: First International Conference, ICTL'94 Bonn, Germany, July …, 2005	362	2005
Clausal temporal resolution M Fisher, C Dixon, M Peim ACM Transactions on Computational Logic (TOCL) 2 (1), 12-56, 2001	246	2001
Model checking agentspeak RH Bordini, M Fisher, C Pardavila, M Wooldridge Proceedings of the second international joint conference on Autonomous …, 2003	220	2003
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	219	2019
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	215	2002
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	212	1990
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	208	2006
A Resolution Method for Temporal Logic. M Fisher Ijcai 91, 99-104, 1991	203	1991
Formal verification of ethical choices in autonomous systems L Dennis, M Fisher, M Slavkovik, M Webster Robotics and Autonomous Systems 77, 1-14, 2016	199	2016
Handbook of temporal reasoning in artificial intelligence MD Fisher, DM Gabbay, L Vila Elsevier, 2005	183	2005
The imperative future: principles of executable temporal logic H Barringer, M Fisher, D Gabbay, R Owens, M Reynolds John Wiley & Sons, Inc., 1996	183	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
Representing and executing agent-based systems M Fisher Intelligent Agents: ECAI-94 Workshop on Agent Theories, Architectures, and …, 1995	168	1995
Model checking agent programming languages LA Dennis, M Fisher, MP Webster, RH Bordini Automated software engineering 19, 5-63, 2012	166	2012
Verifying autonomous systems M Fisher, L Dennis, M Webster Communications of the ACM 56 (9), 84-93, 2013	160	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	158	2017
An introduction to practical formal methods using temporal logic M Fisher John Wiley & Sons, 2011	158	2011
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, 533-549, 1995	126	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	120	1997

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui

Citata da

Coautori