Raju Halder

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento, Indian Institute of Technology Patna

论文数

7

总引用数

109

H-Index

4

关于

暂无简介。

研究焦点

Computer science7 · 109 次引用
Artificial intelligence7 · 109 次引用
Robot7 · 109 次引用
Embedded system3 · 79 次引用
Formal verification2 · 78 次引用
Distributed computing2 · 78 次引用
Control engineering2 · 78 次引用
Identification (biology)2 · 78 次引用
Automaton2 · 78 次引用
Domain (mathematical analysis)2 · 78 次引用
Middleware (distributed applications)2 · 78 次引用
Model checking2 · 78 次引用

主要成就

4
H 指数
7
论文
109
总引用数
16
篇均引用
🏆 最高被引论文
Formal Verification of ROS-Based Robotic Applications Using Timed-Automata
57 次引用 · 2017
📈 最高产年份: 2017 (2 论文)
🤝 主要合作者: 12
🏛 所属机构: Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento, Indian Institute of Technology Patna

代表论文

  1. 1
    Formal Verification of ROS-Based Robotic Applications Using Timed-Automata
    57 次引用 · 2017
  2. 2
    Formal verification of ROS-based robotic applications using timed-automata
    21 次引用 · 2017
  3. 3
    Development of a Lizard-Inspired Wall-Climbing Robot Using Pressure Sensitive Adhesion
    14 次引用 · 2022
  4. 4
    Making Robotic Swarms Trustful: A Blockchain-Based Perspective
    11 次引用 · 2023
  5. 5
    A Lizard-Inspired Quadruped Robot Based on Pressure Sensitive Adhesion Mechanism for Wall Climbing
    3 次引用 · 2021
  6. 6
    A Lightweight Deep Learning-based Weapon Detection Model for Mobile Robots
    2 次引用 · 2023
  7. 7
    Secure Communication System Implementation for Robot-based Surveillance Applications
    1 次引用 · 2021

主要合作者

ATAtul Thakur5 篇合著论文GBGourinath Banda4 篇合著论文ASAndré Santos2 篇合著论文JPJosé Proença2 篇合著论文ABAnsuman Bhattacharya2 篇合著论文RLR. L. Ray2 篇合著论文NMNuno Macedo2 篇合著论文SRSatyendra R. Nishad2 篇合著论文SSSwagatika Sahoo1 篇合著论文RYRajeshwar Yadav1 篇合著论文AMArnab Mukherjee1 篇合著论文RRishikesh1 篇合著论文
尚未生成