| A generic theorem prover of CSP refinement Y Isobe, M Roggenbach International Conference on Tools and Algorithms for the Construction and …, 2005 | 89 | 2005 |
| Near infrared photoimmunotherapy targeting DLL3 for small cell lung cancer Y Isobe, K Sato, Y Nishinaga, K Takahashi, S Taki, H Yasui, M Shimizu, ... EBioMedicine 52, 2020 | 57 | 2020 |
| CSP-Prover—A proof tool for the verification of scalable concurrent systems Y Isobe, M Roggenbach Information and Media Technologies 5 (1), 32-39, 2010 | 32 | 2010 |
| Safety and line capacity in railways–an approach in Timed CSP Y Isobe, F Moller, HN Nguyen, M Roggenbach Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa …, 2012 | 31 | 2012 |
| A complete axiomatic semantics for the CSP stable-failures model Y Isobe, M Roggenbach CONCUR 2006–Concurrency Theory: 17th International Conference, CONCUR 2006 …, 2006 | 28 | 2006 |
| Webpage on CSP-Prover Y Isobe http://staff. aist. go. jp/y-isobe/CSP-Prover/CSP-Prover. html, 2007 | 21 | 2007 |
| Proof principles of CSP–CSP-Prover in practice Y Isobe, M Roggenbach Dynamics in Logistics: First International Conference, LDIC 2007, Bremen …, 2008 | 20 | 2008 |
| Extending CSP-Prover by deadlock-analysis: Towards the verification of systolic arrays Y Isobe, M Roggenbach, S Gruner FOSE 2005, 257-266, 2005 | 20 | 2005 |
| Corner case data description and detection T Ouyang, VS Marco, Y Isobe, H Asoh, Y Oiwa, Y Seo 2021 IEEE/ACM 1st Workshop on AI Engineering-Software Engineering for AI …, 2021 | 14 | 2021 |
| Sound and mechanised compositional verification of input‐output conformance A Sampaio, S Nogueira, A Mota, Y Isobe Software Testing, Verification and Reliability 24 (4), 289-319, 2014 | 13 | 2014 |
| CSP-CASL-Prover: a generic tool for process and data refinement L O'Reilly, M Roggenbach, Y Isobe Electronic Notes in Theoretical Computer Science 250 (2), 69-84, 2009 | 11 | 2009 |
| The stable revivals model in CSP-Prover DG Samuel, M Roggenbach, Y Isobe Electronic Notes in Theoretical Computer Science 250 (2), 119-134, 2009 | 9 | 2009 |
| Integrating Theorem Proving for Processes and Data L O’Reilly, Y Isobe, M Roggenbach Magne Haveraaen, John Power, and Monika Seisenberger, editors, CALCO Young …, 2007 | 9 | 2007 |
| AI robustness analysis with consideration of corner cases T Ouyang, Y Isobe, VS Marco, J Ogata, Y Seo, Y Oiwa 2021 IEEE International Conference on Artificial Intelligence Testing …, 2021 | 8 | 2021 |
| Improved surprise adequacy tools for corner case data description and detection T Ouyang, VS Marco, Y Isobe, H Asoh, Y Oiwa, Y Seo Applied Sciences 11 (15), 6826, 2021 | 7 | 2021 |
| Implementation and Verification of Concurrent Sorting Algorithms with CSP based architecture Y Hasegawa, Y Isobe, K Ohmaki, H Mori, K Tsuchida, Y Shiono Journal of information processing 20 (3), 559-569, 2012 | 7 | 2012 |
| Responsiveness to bronchodilator procaterol in COPD as assessed by forced oscillation technique S Ito, A Uchida, Y Isobe, Y Hasegawa Respiratory Physiology & Neurobiology 240, 41-47, 2017 | 6 | 2017 |
| Near infrared photoimmunotherapy targeting DLL3 for small cell lung cancer. EBioMedicine. 2020; 52: 102632 Y Isobe, K Sato, Y Nishinaga, K Takahashi, S Taki, H Yasui, M Shimizu, ... | 5 | 2020 |
| Approximative analysis by process algebra with graded spatial actions Y Isobe, Y Sato, K Ohmaki Algebraic Methodology and Software Technology: 5th International Conference …, 1996 | 5 | 1996 |
| Longitudinal changes in pulmonary function and respiratory impedance of rheumatoid arthritis Y Isobe, S Ito, T Matsuda, S Iwano, A Uchida, N Takahashi, T Kojima, ... Respiratory Physiology & Neurobiology 261, 1-8, 2019 | 4 | 2019 |
