Louise A. Dennis

University of Liverpool, University of Nottingham, University of Manchester, Merseytravel

Papers

29

Total Citations

887

H-Index

16

About

No biography available yet.

Research Focus

Computer science29 · 887 citations
Artificial intelligence19 · 678 citations
Robot16 · 635 citations
Programming language18 · 566 citations
Software engineering17 · 524 citations
Robotics9 · 474 citations
Formal verification10 · 381 citations
Formal methods8 · 364 citations
Engineering15 · 340 citations
Correctness3 · 294 citations
Rotation formalisms in three dimensions3 · 282 citations
Formal specification2 · 273 citations

Key Achievements

16
H-Index
29
Papers
887
Total Citations
31
Avg Citations/Paper
🏆 Most Cited Paper
Formal Specification and Verification of Autonomous Robotic Systems
264 citations · 2019
📈 Most Prolific Year: 2020 (6 Papers)
🤝 Key Collaborators: 68
🏛 Institutions: University of Liverpool, University of Nottingham, University of Manchester, Merseytravel

Top Papers

  1. 1
    Formal Specification and Verification of Autonomous Robotic Systems
    264 citations · 2019
  2. 2
    On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots
    78 citations · 2019
  3. 3
    Predicting the metabolic energy costs of bipedalism using evolutionary robotics
    65 citations · 2003
  4. 4
    An Overview of Verification and Validation Challenges for Inspection Robots
    60 citations · 2021
  5. 5
    Evaluating alternative gait strategies using evolutionary robotics
    50 citations · 2004
  6. 6
    Towards Moral Autonomous Systems
    47 citations · 2017
  7. 7
    Verifiable Self-Aware Agent-Based Autonomous Systems
    43 citations · 2020
  8. 8
    Integrating Formal Verification and Assurance: An Inspection Rover Case Study
    35 citations · 2021
  9. 9
    Autonomous Nuclear Waste Management
    32 citations · 2018
  10. 10
    The “Why Did You Do That?” Button: Answering Why-Questions for End Users of Robotic Systems
    24 citations · 2020

Key Collaborators

MFMichael Fisher24 shared papersMFMarie Farrell10 shared papersRCRafael C. Cardoso9 shared papersCDClare Dixon9 shared papersMLMatt Luckcuck6 shared papersMWMatt Webster5 shared papersGKGeorgios Kourtis4 shared papersALAlexei Lisitsa4 shared papersAWAlan Winfield3 shared papersAFAngelo Ferrando3 shared papersWIWilliam I. Sellers2 shared papersHYHu Yuan2 shared papersSMSándor M. Veres2 shared papersMBMatthew Bradbury2 shared papersRHRobin H. Crompton2 shared papersCMCarsten Maple2 shared papersRSRichard Stocker2 shared papersVJVincent J. Koeman1 shared papersBLBarry Lennox1 shared papersRRRob Richardson1 shared papers
Not generated yet