Gao Y

论文数

2

总引用数

4

H-Index

2

关于

暂无简介。

研究焦点

Computer science2 · 4 次引用
Distributed computing2 · 4 次引用
Computer network1 · 2 次引用
Correctness1 · 2 次引用
Electrical engineering1 · 2 次引用
Embedded system1 · 2 次引用
Engineering1 · 2 次引用
Formal verification1 · 2 次引用
Node (physics)1 · 2 次引用
Operating system1 · 2 次引用
Routing (electronic design automation)1 · 2 次引用
Scalability1 · 2 次引用

主要成就

2
H 指数
2
论文
4
总引用数
2
篇均引用
🏆 最高被引论文
Smart Energy Trend Observation
2 次引用 · 2021
📈 最高产年份: 2021 (1 论文)
🤝 主要合作者: 5

代表论文

  1. 1
    Smart Energy Trend Observation
    2 次引用 · 2021
  2. 2
    Theorem Prover ACL2-based Verification of Node Communication in the Robot Operating System ROS
    2 次引用 · 2014

主要合作者

JLJingbo Louise Liu1 篇合著论文RWRan Wei1 篇合著论文SRSai Raghuveer Chava1 篇合著论文ZWZhihua Wu1 篇合著论文SBSajid Bashir1 篇合著论文

联系与链接

可合作
内容已生成 · 12 天前