Louise Dennis - Google Scholar Citations

Cited by

	All	Since 2015
Citations	1538	866
h-index	21	14
i10-index	38	23

220

110

165

20002001200220032004200520062007200820092010201120122013201420152016201720182019202018 14 19 25 21 35 34 42 47 59 74 80 50 59 75 103 141 123 211 219 63

Co-authors

Michael FisherProfessor of Computer Science, University of LiverpoolVerified email at liverpool.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
Alan BundyProfessor of Automated Reasoning, University of EdinburghVerified email at ed.ac.uk
Michael NorrishPrincipal Research Scientist, Data61Verified email at data61.csiro.au
Maryam KamaliUniversity of LiverpoolVerified email at liverpool.ac.uk
Matt LuckcuckResearch Associate at the University of Liverpool, RAIN Hub, ORCA hub, FAIR-SAPCE HubVerified email at liverpool.ac.uk
William SellersProfessor of Natural ScienceVerified email at Manchester.ac.uk
Robin CromptonUniversity of LiverpoolVerified email at liverpool.ac.uk
Marie FarrellUniversity of LiverpoolVerified email at liverpool.ac.uk
Owen McAreeSenior Research Officer, Liverpool John Moores UniversityVerified email at ljmu.ac.uk
Viviana MascardiAssociate Professor, University of Genova, ItalyVerified email at unige.it
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

Louise Dennis

Department of Computer Science, University of Liverpool

Verified email at liverpool.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	110	2012
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	107	2000
Verifying autonomous systems M Fisher, L Dennis, M Webster Communications of the ACM 56 (9), 84-93, 2013	98	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	89	2016
Formal verification of autonomous vehicle platooning M Kamali, LA Dennis, O McAree, M Fisher, SM Veres Science of Computer Programming 148, 88-106, 2017	70	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	60	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	60	2007
Automated verification of multi-agent programs RH Bordini, LA Dennis, B Farwer, M Fisher 2008 23rd IEEE/ACM International Conference on Automated Software …, 2008	57	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	55	2003
Towards Verifiably Ethical Robot Behaviour. LA Dennis, M Fisher, AFT Winfield AAAI Workshop: AI and Ethics, 2015	44	2015
Gwendolen: A BDI language for verifiable agents LA Dennis, B Farwer Proceedings of the AISB 2008 Symposium on Logic and the Simulation of …, 2008	43	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	42	2004
Towards moral autonomous systems V Charisi, L Dennis, M Fisher, R Lieck, A Matthias, M Slavkovik, ... arXiv preprint arXiv:1703.04741, 2017	35	2017
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	32	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	32	2019
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
Using a generalisation critic to find bisimulations for coinductive proofs L Dennis, A Bundy, I Green International Conference on Automated Deduction, 276-290, 1997	27	1997
A flexible framework for verifying agent programs LA Dennis, B Farwer, RH Bordini, M Fisher Proceedings of the 7th international joint conference on Autonomous agents …, 2008	25	2008
Satellite control using rational agent programming NK Lincoln, SM Veres, L Dennis, M Fisher, A Lisitsa	24*	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	24	2010

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