Yoshinao Isobe
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2000–2022
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | IJCNN | Autonomous driving quality assurance with data uncertainty analysis. | Tinghui Ouyang, Yoshinao Isobe, Sama Sultana, Yoshiki Seo, Yutaka Oiwa |
| 2012 | IFM | Safety and Line Capacity in Railways - An Approach in Timed CSP. | Yoshinao Isobe, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach |
| 2006 | CONCUR | A Complete Axiomatic Semantics for the CSP Stable-Failures Model. | Yoshinao Isobe, Markus Roggenbach |
| 2005 | TACAS | A Generic Theorem Prover of CSP Refinement. | Yoshinao Isobe, Markus Roggenbach |
| 2000 | APSEC | A process logic for distributed system synthesis . | Yoshinao Isobe, Kazuhito Ohmaki |