Yuki Okura

Toyama Prefectural University

Papers

4

Total Citations

14

H-Index

3

About

No biography available yet.

Research Focus

Computer science4 · 14 citations
Mathematics3 · 11 citations
Engineering3 · 8 citations
Robot3 · 8 citations
Artificial intelligence3 · 8 citations
Control (management)3 · 8 citations
Algebraic specification1 · 6 citations
Programming language1 · 6 citations
Interpreter1 · 6 citations
Hybrid system1 · 6 citations
Mathematical proof1 · 6 citations
Formal specification1 · 6 citations

Key Achievements

3
H-Index
4
Papers
14
Total Citations
4
Avg Citations/Paper
🏆 Most Cited Paper
Formal Verification of Multitask Hybrid Systems by the OTS/CafeOBJ Method
6 citations · 2021
📈 Most Prolific Year: 2022 (3 Papers)
🤝 Key Collaborators: 6
🏛 Institutions: Toyama Prefectural University

Top Papers

  1. 1
    Formal Verification of Multitask Hybrid Systems by the OTS/CafeOBJ Method
    6 citations · 2021
  2. 2
    Human Dense Avoidance Based on A Coverage Control through Robots
    3 citations · 2022
  3. 3
    Assist control for human‐robot cooperative transportation systems using nonlinear disturbance observer
    3 citations · 2022
  4. 4
    Human dense avoidance based on a coverage control through robots
    2 citations · 2022

Key Collaborators

CKChiaki Kojima3 shared papersSMShu Morita2 shared papersKOKazuhiro Ogata1 shared papersMNMasaki Nakamura1 shared papersKSKazutoshi Sakakibara1 shared papersTNTomohiro Nakada1 shared papers
Not generated yet