Xiaoyu Song

Portland State University

论文数

7

总引用数

131

H-Index

6

关于

暂无简介。

研究焦点

Computer science7 · 131 次引用
Artificial intelligence6 · 121 次引用
Formal verification3 · 91 次引用
Programming language3 · 91 次引用
Embedded system3 · 91 次引用
Automaton3 · 59 次引用
Robot4 · 58 次引用
Executable2 · 53 次引用
Operating system2 · 53 次引用
Code generation2 · 53 次引用
Code (set theory)2 · 53 次引用
Model checking3 · 50 次引用

主要成就

6
H 指数
7
论文
131
总引用数
19
篇均引用
🏆 最高被引论文
A Formal Model-Based Design Method for Robotic Systems
47 次引用 · 2018
📈 最高产年份: 2018 (3 论文)
🤝 主要合作者: 24
🏛 所属机构: Portland State University

代表论文

  1. 1
    A Formal Model-Based Design Method for Robotic Systems
    47 次引用 · 2018
  2. 2
    From Offline Towards Real-Time Verification for Robot Systems
    38 次引用 · 2018
  3. 3
    Motion planning with Satisfiability Modulo Theories
    16 次引用 · 2014
  4. 4
    Time Synchronization for 5G and TSN Integrated Networking
    10 次引用 · 2025
  5. 5
    Formal analysis of the kinematic Jacobian in screw theory
    8 次引用 · 2018
  6. 6
    Timed automata based motion planning for a self-assembly robot system
    6 次引用 · 2014
  7. 7
    Formal Modeling and Automatic Code Synthesis for Robot System
    6 次引用 · 2017

主要合作者

YGYong Guan5 篇合著论文RWRui Wang3 篇合著论文XLXiaojuan Li3 篇合著论文HSHoubing Song2 篇合著论文ZSZhiping Shi2 篇合著论文YJYu Jiang2 篇合著论文XLXiaojuan Li2 篇合著论文JZJie Zhang1 篇合著论文AWAixuan Wu1 篇合著论文ZLZonghui Li1 篇合著论文WNWilliam N. N. Hung1 篇合著论文BABo Ai1 篇合著论文HWHongxing Wei1 篇合著论文PGPeng Gao1 篇合著论文XYXiumei Yang1 篇合著论文JZJie Zhang1 篇合著论文XLXinxin Li1 篇合著论文PLPing Luo1 篇合著论文RWRui Wang1 篇合著论文RWRui Wang1 篇合著论文
尚未生成