Yuki Okura
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2018–2023
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | SEKE | Formal Specification and Verification of an Autonomous Vehicle Control System by the OTS/CafeOBJ method (S). | Yifan Wang, Masaki Nakamura, Kazutoshi Sakakibara, Yuki Okura |
| 2023 | RTCSA | Visualization System Using Virtual Reality for Work Improvement in Small and Medium Manufacturing Industries. | Shogo Ogihara, Tetsuro Kato, Takafumi Kawasaki, Yuki Okura, Takeshi Iwamoto |
| 2021 | SEKE | Formal verification of multitask hybrid systems by the OTS/CafeOBJ method. | Masaki Nakamura, Kazutoshi Sakakibara, Yuki Okura, Kazuhiro Ogata |
| 2018 | IROS | Passive Nonlinear Impedance Control for Port-Hamiltonian Systems. | Yuki Okura, Kenji Fujimoto |