Ryo Yanase
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2013–2018
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | IECON | Digital Map Based Signal State Recognition of Far Traffic Lights with Low Brightness. | Akisue Kuramoto, Junya Kameyama, Ryo Yanase, Mohammad Aldibaja, Keisuke Yoneda, Naoki Suganuma |
| 2017 | ICST | Abstraction Refinement for Non-Zeno Fairness Veri?cation of Linear Hybrid Automata. | Ryo Yanase |
| 2017 | IECON | Mono-camera based localization using digital map. | Keisuke Yoneda, Ryo Yanase, Mohammad Aldibaja, Naoki Suganuma, Kei Sato |
| 2016 | ICFEM | A Case Study of Formal Approach to Dynamically Reconfigurable Systems by Using Dynamic Linear Hybrid Automata. | Ryo Yanase, Tatsunori Sakai, Makoto Sakai, Satoshi Yamane |
| 2013 | COMPSAC | Development of Model Checker of Dynamic Linear Hybrid Automata. | Ryo Yanase, Tatsunori Sakai, Makoto Sakai, Satoshi Yamane |