Louise Dennis

Cited by

	All	Since 2015
Citations	1766	1090
h-index	21	16
i10-index	41	27

260

130

195

20002001200220032004200520062007200820092010201120122013201420152016201720182019202018 14 20 25 21 35 35 42 48 59 74 81 50 57 77 107 151 124 209 243 247

Co-authors

Michael FisherProfessor of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Matt WebsterPostdoc in Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Sandor VeresProfessor of Autonomous Control SystemsVerified email at sheffield.ac.uk
Marija SlavkovikAssociate Professor, University of BergenVerified email at infomedia.uib.no
Alexei LisitsaUniversity of LiverpoolVerified email at liverpool.ac.uk
Rafael H. BordiniEscola Politécnica PUCRSVerified email at pucrs.br
Clare DixonUniversity of Liverpool;Verified email at liverpool.ac.uk
Tom MelhamProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Matt LuckcuckResearch Associate at the University of Manchester, RAIN HubVerified email at manchester.ac.uk
Marie FarrellUniversity of ManchesterVerified email at manchester.ac.uk
Maryam KamaliUniversity of LiverpoolVerified email at liverpool.ac.uk
Alan BundyProfessor of Automated Reasoning, University of EdinburghVerified email at ed.ac.uk
Michael NorrishPrincipal Research Scientist, Data61Verified email at data61.csiro.au
William SellersProfessor of Natural ScienceVerified email at Manchester.ac.uk
Robin CromptonUniversity of LiverpoolVerified email at liverpool.ac.uk
Owen McAreeSenior Research Officer, Liverpool John Moores UniversityVerified email at ljmu.ac.uk
Yang GaoBeijing Institute of TechnologyVerified email at bit.edu.cn
Jonathan M. AitkenUniversity of SheffieldVerified email at sheffield.ac.uk
Affan ShaukatConsultant Engineer, Roke Manor Research LtdVerified email at roke.co.uk
Viviana MascardiAssociate Professor, University of Genova, ItalyVerified email at unige.it

Louise Dennis

Department of Computer Science, University of Manchester

Verified email at manchester.ac.uk - Homepage

Verification Model Checking Autonomous Systems Agent Programming Languages Machine Ethics


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Model checking agent programming languages LA Dennis, M Fisher, MP Webster, RH Bordini Automated software engineering 19 (1), 5-63, 2012	124	2012
Verifying autonomous systems M Fisher, L Dennis, M Webster Communications of the ACM 56 (9), 84-93, 2013	116	2013
Formal verification of ethical choices in autonomous systems L Dennis, M Fisher, M Slavkovik, M Webster Robotics and Autonomous Systems 77, 1-14, 2016	113	2016
The PROSPER toolkit LA Dennis, G Collins, M Norrish, R Boulton, K Slind, G Robinson, ... International Conference on Tools and Algorithms for the Construction and …, 2000	108	2000
Formal verification of autonomous vehicle platooning M Kamali, LA Dennis, O McAree, M Fisher, SM Veres Science of Computer Programming 148, 88-106, 2017	96	2017
Practical verification of decision-making in agent-based autonomous systems LA Dennis, M Fisher, NK Lincoln, A Lisitsa, SM Veres Automated Software Engineering 23 (3), 305-359, 2016	69	2016
A common semantic basis for BDI languages LA Dennis, B Farwer, RH Bordini, M Fisher, M Wooldridge International Workshop on Programming Multi-Agent Systems, 124-139, 2007	64	2007
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), 100, 2019	59	2019
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), 100, 2019	59	2019
Automated verification of multi-agent programs RH Bordini, LA Dennis, B Farwer, M Fisher 2008 23rd IEEE/ACM International Conference on Automated Software …, 2008	59	2008
Predicting the metabolic energy costs of bipedalism using evolutionary robotics WI Sellers, LA Dennis, RH Crompton Journal of Experimental Biology 206 (7), 1127-1136, 2003	58	2003
Towards moral autonomous systems V Charisi, L Dennis, M Fisher, R Lieck, A Matthias, M Slavkovik, ... arXiv preprint arXiv:1703.04741, 2017	51	2017
Gwendolen: A BDI language for verifiable agents LA Dennis, B Farwer Proceedings of the AISB 2008 Symposium on Logic and the Simulation of …, 2008	49	2008
Evaluating alternative gait strategies using evolutionary robotics WI Sellers, LA Dennis, W W‐J, RH Crompton Journal of anatomy 204 (5), 343-351, 2004	45	2004
Towards Verifiably Ethical Robot Behaviour. LA Dennis, M Fisher, AFT Winfield AAAI Workshop: AI and Ethics, 2015	43	2015
The PROSPER toolkit LA Dennis, G Collins, M Norrish, RJ Boulton, K Slind, TF Melham International Journal on Software Tools for Technology Transfer 4 (2), 189-210, 2003	32	2003
A flexible framework for verifying agent programs (short paper) LA Dennis, B Farwer, RH Bordini, M Fisher Proc. of the 7th Int. Conf. on Autonomous Agents and Multiagent Systems …, 2008	29	2008
Satellite control using rational agent programming NK Lincoln, SM Veres, L Dennis, M Fisher, A Lisitsa	26*	2010
Satellite control using rational agent programming L Dennis, M Fisher, A Lisitsa, N Lincoln, S Veres IEEE Intelligent Systems 25 (3), 92-97, 2010	26	2010
Verifying brahms human-robot teamwork models R Stocker, L Dennis, C Dixon, M Fisher European Workshop on Logics in Artificial Intelligence, 385-397, 2012	25	2012

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors