Lavindra de Silva

Laboratoire d'Analyse et d'Architecture des Systèmes, University of Nottingham, Centre National de la Recherche Scientifique, Bridge University, University of Cambridge

Papers

18

Total Citations

237

H-Index

8

About

No biography available yet.

Research Focus

Computer science18 · 237 citations
Artificial intelligence14 · 222 citations
Robot12 · 188 citations
Programming language9 · 128 citations
Software engineering4 · 78 citations
Embedded system5 · 73 citations
Component (thermodynamics)4 · 71 citations
Planner2 · 68 citations
Software4 · 67 citations
Distributed computing4 · 67 citations
Deadlock4 · 67 citations
Semantics (computer science)3 · 63 citations

Key Achievements

8
H-Index
18
Papers
237
Total Citations
13
Avg Citations/Paper
🏆 Most Cited Paper
HATP: An HTN Planner for Robotics
41 citations · 2014
📈 Most Prolific Year: 2014 (2 Papers)
🤝 Key Collaborators: 37
🏛 Institutions: Laboratoire d'Analyse et d'Architecture des Systèmes, University of Nottingham, Centre National de la Recherche Scientifique, Bridge University, University of Cambridge

Top Papers

  1. 1
    HATP: An HTN Planner for Robotics
    41 citations · 2014
  2. 2
    Rigorous design of robot software: A formal component-based approach
    33 citations · 2012
  3. 3
    An interface for interleaved symbolic-geometric planning and backtracking
    29 citations · 2013
  4. 4
    The HATP hierarchical planner: Formalisation and an initial study of its usability and practicality
    27 citations · 2015
  5. 5
    A Verifiable and Correct-by-Construction Controller for Robot Functional Levels
    20 citations · 2011
  6. 6
    A new approach to combined symbolic-geometric backtracking in the context of human-robot interaction
    15 citations · 2014
  7. 7
    A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems
    11 citations · 2011
  8. 8
    Process Plan Controllers for Non-Deterministic Manufacturing Systems
    10 citations · 2017
  9. 9
    CAMHighways: The Cambridge Highways dataset
    8 citations · 2024
  10. 10
    Highway digital twin-enabled Autonomous Maintenance Plant: a perspective
    7 citations · 2024

Key Collaborators

RARachid Alami7 shared papersSBSaddek Bensalem5 shared papersAKAmit Kumar Pandey4 shared papersFIFélix Ingrand4 shared papersRYRongjie Yan4 shared papersBLBrian Logan2 shared papersIBIoannis Brilakis2 shared papersRLRaphaël Lallement2 shared papersSRSvetan Ratchev2 shared papersAMAlix Marie d’Avigneau2 shared papersAAAbir Al‐Tabbaa2 shared papersNRNzebo Richard Anvo2 shared papersPFPaolo Felli2 shared papersAMAlan Mycroft1 shared papersATAlan Thorne1 shared papersLPLilia Potseluyko1 shared papersSSSamuel Schaefer1 shared papersJXJie Xu1 shared papersDPDamian Palin1 shared papersFIFumiya Iida1 shared papers
Not generated yet