Michael Fisher

Geciteerd door

	Alles	Sinds 2018
Citaties	10383	3574
h-index	54	31
i10-index	188	80

800

400

200

600

1992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202337 56 61 80 110 166 153 158 209 194 286 272 299 537 311 418 343 378 305 307 324 296 310 346 359 266 420 507 519 789 666 662

Openbare toegang

Alles bekijken

78 artikelen

4 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Medeauteurs

Louise DennisDepartment of Computer Science, University of ManchesterGeverifieerd e-mailadres voor manchester.ac.uk
Clare DixonUniversity of ManchesterGeverifieerd e-mailadres voor manchester.ac.uk
Matt WebsterPostdoc in Computer Science, University of LiverpoolGeverifieerd e-mailadres voor liverpool.ac.uk
Michael WooldridgeUniversity of OxfordGeverifieerd e-mailadres voor cs.ox.ac.uk
Rafael H. BordiniSchool of Technology, PUCRSGeverifieerd e-mailadres voor pucrs.br
Marie FarrellThe University of ManchesterGeverifieerd e-mailadres voor manchester.ac.uk
Alexei LisitsaUniversity of LiverpoolGeverifieerd e-mailadres voor liverpool.ac.uk
Boris KonevProfessor of Computer Science, Liverpool UniversityGeverifieerd e-mailadres voor liverpool.ac.uk
Matt LuckcuckAssistant Professor of Computer ScienceGeverifieerd e-mailadres voor nottingham.ac.uk
Sandor VeresProfessor of Autonomous Control SystemsGeverifieerd e-mailadres voor sheffield.ac.uk
Ullrich HustadtReader, Department of Computer Science, University of LiverpoolGeverifieerd e-mailadres voor liverpool.ac.uk
Marija SlavkovikProfessor, University of BergenGeverifieerd e-mailadres voor infomedia.uib.no
Wiebe van der HoekProfessor of Computer Science, University of Liverpool, Agents GroupGeverifieerd e-mailadres voor liverpool.ac.uk
Prof. Michael JumpUniversity of LiverpoolGeverifieerd e-mailadres voor liverpool.ac.uk
Graham GoughSchool of Computer Science, University of ManchesterGeverifieerd e-mailadres voor cs.man.ac.uk
Willem VisserComputer Science Division, Stellenbosch UniversityGeverifieerd e-mailadres voor cs.sun.ac.za
Carmen Fernandez GagoUniversity of Malaga (Spain)Geverifieerd e-mailadres voor lcc.uma.es
Benjamin HirschDegussa BankGeverifieerd e-mailadres voor abhirsch.de
Kerstin DautenhahnCanada 150 Research Chair in Intelligent Robotics, University of WaterlooGeverifieerd e-mailadres voor uwaterloo.ca
Mark D. RyanProfessor of Computer Security, University of BirminghamGeverifieerd e-mailadres voor cs.bham.ac.uk

Volgen

Michael Fisher

Professor of Computer Science, University of Manchester

Geverifieerd e-mailadres voor manchester.ac.uk - Homepage

Autonomous Systems Trustworthiness Formal Methods Temporal Logic Model Checking


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
A survey of Concurrent METATEM—the language and its applications M Fisher International Conference on Temporal Logic, 480-505, 1994	362	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	266	2019
Clausal temporal resolution M Fisher, C Dixon, M Peim ACM Transactions on Computational Logic (TOCL) 2 (1), 12-56, 2001	251	2001
Formal verification of ethical choices in autonomous systems L Dennis, M Fisher, M Slavkovik, M Webster Robotics and Autonomous Systems 77, 1-14, 2016	225	2016
Model checking agentspeak RH Bordini, M Fisher, C Pardavila, M Wooldridge Proceedings of the second international joint conference on Autonomous …, 2003	219	2003
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	217	2006
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	217	1990
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	216	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	216	1996
Handbook of temporal reasoning in artificial intelligence MD Fisher, DM Gabbay, L Vila Elsevier, 2005	190	2005
The Imperative Future Principles of Executable Temporal Logic H Barringer	185	1996
Model checking agent programming languages LA Dennis, M Fisher, MP Webster, RH Bordini Automated software engineering 19, 5-63, 2012	182	2012
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	177	1997
An introduction to practical formal methods using temporal logic M Fisher John Wiley & Sons, 2011	174	2011
Verifying autonomous systems M Fisher, L Dennis, M Webster Communications of the ACM 56 (9), 84-93, 2013	172	2013
Representing and executing agent-based systems M Fisher International Workshop on Agent Theories, Architectures, and Languages, 307-323, 1994	171	1994
Formal verification of autonomous vehicle platooning M Kamali, LA Dennis, O McAree, M Fisher, SM Veres Science of computer programming 148, 88-106, 2017	168	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	138	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	122	2016
METATEM: An introduction H Barringer, M Fisher, D Gabbay, G Gough, R Owens Formal Aspects of Computing 7, 533-549, 1995	121	1995

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

Volgen

Geciteerd door

Medeauteurs