Papers
7
Total Citations
109
H-Index
4
About
No biography available yet.
Research Focus
Computer science7 · 109 citations
Artificial intelligence7 · 109 citations
Robot7 · 109 citations
Embedded system3 · 79 citations
Formal verification2 · 78 citations
Distributed computing2 · 78 citations
Control engineering2 · 78 citations
Identification (biology)2 · 78 citations
Automaton2 · 78 citations
Domain (mathematical analysis)2 · 78 citations
Middleware (distributed applications)2 · 78 citations
Model checking2 · 78 citations
Key Achievements
4
H-Index
7
Papers
109
Total Citations
16
Avg Citations/Paper
🏆 Most Cited Paper
Formal Verification of ROS-Based Robotic Applications Using Timed-Automata
57 citations · 2017
📈 Most Prolific Year: 2017 (2 Papers)
🤝 Key Collaborators: 12
🏛 Institutions: Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento, Indian Institute of Technology Patna
Top Papers
- 1Formal Verification of ROS-Based Robotic Applications Using Timed-Automata57 citations · 2017
- 2Formal verification of ROS-based robotic applications using timed-automata21 citations · 2017
- 3
- 4Making Robotic Swarms Trustful: A Blockchain-Based Perspective11 citations · 2023
- 5
- 6
- 7
Key Collaborators
ATAtul Thakur5 shared papersGBGourinath Banda4 shared papersASAndré Santos2 shared papersJPJosé Proença2 shared papersABAnsuman Bhattacharya2 shared papersRLR. L. Ray2 shared papersNMNuno Macedo2 shared papersSRSatyendra R. Nishad2 shared papersSSSwagatika Sahoo1 shared papersRYRajeshwar Yadav1 shared papersAMArnab Mukherjee1 shared papersRRishikesh1 shared papers
Not generated yet