Louise Dennis

Hivatkozott rá

	Összes	2019 óta
Hivatkozások	3753	2484
h-index	30	26
i10-index	67	45

580

290

145

435

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202415 15 16 27 22 35 38 42 45 49 76 74 53 56 87 92 136 129 211 271 292 521 485 573 333

Nyilvános hozzáférés

Összes megtekintése

61 cikk

2 cikk

elérhető

nem érhető el

Finanszírozási megbízások alapján

Társszerzők

Michael FisherProfessor of Computer Science, University of ManchesterE-mail megerősítve itt: manchester.ac.uk
Dr Matt Webster, PhDComputer ScientistE-mail megerősítve itt: liverpool.ac.uk
Clare DixonUniversity of ManchesterE-mail megerősítve itt: manchester.ac.uk
Sandor VeresProfessor of Autonomous Control SystemsE-mail megerősítve itt: sheffield.ac.uk
Marija SlavkovikProfessor in Artificial Intelligence, University of BergenE-mail megerősítve itt: infomedia.uib.no
Marie FarrellThe University of ManchesterE-mail megerősítve itt: manchester.ac.uk
Rafael C. CardosoLecturer at the University of AberdeenE-mail megerősítve itt: manchester.ac.uk
Matt LuckcuckAssistant Professor of Computer ScienceE-mail megerősítve itt: nottingham.ac.uk
Alexei LisitsaUniversity of LiverpoolE-mail megerősítve itt: liverpool.ac.uk
Rafael H. BordiniSchool of Technology, PUCRSE-mail megerősítve itt: pucrs.br
Angelo FerrandoAssistant Professor at the University of Modena and Reggio EmiliaE-mail megerősítve itt: unimore.it
Gleifer Vaz AlvesProfessor of Computer Science, Federal University of Technology - Parana, UTFPRE-mail megerősítve itt: utfpr.edu.br
Maryam KamaliUniversity of LiverpoolE-mail megerősítve itt: liverpool.ac.uk
Viviana MascardiAssociate Professor, University of Genova, ItalyE-mail megerősítve itt: unige.it
Tom MelhamProfessor of Computer Science, University of OxfordE-mail megerősítve itt: cs.ox.ac.uk
Joe CollenetteE-mail megerősítve itt: manchester.ac.uk
Matteo BaldoniProfessor in Computer Science, Università degli Studi di Torino, Dipartimento di InformaticaE-mail megerősítve itt: di.unito.it
Owen McAreeLecturer, University of LiverpoolE-mail megerősítve itt: liverpool.ac.uk
Jonathan M. AitkenUniversity of SheffieldE-mail megerősítve itt: sheffield.ac.uk
Affan ShaukatSoftware Engineer, Roke Manor Research LtdE-mail megerősítve itt: roke.co.uk

Követés

Louise Dennis

Department of Computer Science, University of Manchester

E-mail megerősítve itt: manchester.ac.uk - Kezdőlap

Verification Model Checking Autonomous Systems Agent Programming Languages Machine Ethics


Cím Rendezés hivatkozások szerint Rendezés év szerint Rendezés cím szerint	Hivatkozott rá Hivatkozott rá	Év
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	336	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	262	2016
Model checking agent programming languages LA Dennis, M Fisher, MP Webster, RH Bordini Automated software engineering 19, 5-63, 2012	189	2012
Verifying autonomous systems M Fisher, L Dennis, M Webster Communications of the ACM 56 (9), 84-93, 2013	180	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	177	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, 305-359, 2016	129	2016
Ethics by Design: necessity or curse? V Dignum, M Baldoni, C Baroglio, M Caon, R Chatila, A Dennis Louise, ... 2018 AAAI/ACM Conference on AI, Ethics, and Society (AIES'18), 60-66, 2018	123	2018
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	110	2000
Towards moral autonomous systems V Charisi, L Dennis, M Fisher, R Lieck, A Matthias, M Slavkovik, ... arXiv preprint arXiv:1703.04741, 2017	101	2017
IEEE P7001: A Proposed Standard on Transparency AFT Winfield, S Booth, LA Dennis, T Egawa, H Hastie, N Jacobs, ... Frontiers in Robotics and AI, 225, 2021	87	2021
On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots P Bremner, LA Dennis, M Fisher, AF Winfield Proceedings of the IEEE 107 (3), 541-561, 2019	81	2019
Gwendolen: A BDI language for verifiable agents LA Dennis, B Farwer Proceedings of the AISB 2008 Symposium on Logic and the Simulation of …, 2008	80	2008
Towards Verifiably Ethical Robot Behaviour. LA Dennis, M Fisher, AFT Winfield AAAI Workshop: AI and Ethics, 2015	77	2015
A common semantic basis for BDI languages LA Dennis, B Farwer, RH Bordini, M Fisher, M Wooldridge Programming Multi-Agent Systems: 5th International Workshop, ProMAS 2007 …, 2008	68	2008
Automated verification of multi-agent programs RH Bordini, LA Dennis, B Farwer, M Fisher 2008 23rd IEEE/ACM International Conference on Automated Software …, 2008	67	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	65	2003
Evaluating alternative gait strategies using evolutionary robotics WI Sellers, LA Dennis, W W‐J, RH Crompton Journal of anatomy 204 (5), 343-351, 2004	54	2004
An Overview of Verification and Validation Challenges for Inspection Robots M Fisher, RC Cardoso, EC Collins, C Dadswell, LA Dennis, C Dixon, ... Robotics 10 (2), 67, 2021	49	2021
Engineering Multi-Agent Systems: State of Affairs and the Road Ahead V Mascardi, D Weyns, A Ricci, CB Earle, A Casals, M Challenger, ...	49*
Verifiable self-aware agent-based autonomous systems LA Dennis, M Fisher Proceedings of the IEEE 108 (7), 1011-1026, 2020	45	2020

A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.

Cikkek 1–20

Hivatkozások évente

Ismétlődő hivatkozások

Összevont hivatkozások

Társszerzők hozzáadásaTársszerzők

Követés

Hivatkozott rá

Társszerzők