( en | de | ru )

 

Disambiguation of "Isobe, Yoshinao"

Author of the publication

copydeleteadd this publication to your clipboard
Implementation and Verification of Concurrent Sorting Algorithms with CSP based Architecture.

, , , , , and . J. Inf. Process., 20 (3): 559-569 (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Hiroyuki Isobe

 

Other publications of authors with the same name

Foreword.. IEICE Trans. Inf. Syst., 97-D (5): 1139 (2014)Eventuality in LOTOS with a Disjunction Operator., , and . ASIAN, volume 1538 of Lecture Notes in Computer Science, page 263-281. Springer, (1998)Implementation and Verification of Concurrent Sorting Algorithms with CSP based Architecture., , , , , and . J. Inf. Process., 20 (3): 559-569 (2012)AI robustness analysis with consideration of corner cases., , , , , and . AITest, page 29-36. IEEE, (2021)The Stable Revivals Model in CSP-Prover., , and . AVoCS, volume 250 of Electronic Notes in Theoretical Computer Science, page 119-134. Elsevier, (2008)Autonomous driving quality assurance with data uncertainty analysis., , , , and . IJCNN, page 1-7. IEEE, (2022)Proof Principles of CSP - CSP-Prover in Practice., and . LDIC, page 425-442. Springer, (2007)CONPASU-tool: A Concurrent Process Analysis Support Tool based on Symbolic Computation.. CPA, volume 68 of Concurrent Systems Engineering Series, page 341-362. IOS Press, (2011)Analysis of Database Production Rules by Process Algebra., , and . IEICE Trans. Inf. Syst., 78-D (8): 992-1002 (1995)Approximative Analysis by Process Algebra with Graded Spatial Actions., , and . AMAST, volume 1101 of Lecture Notes in Computer Science, page 336-350. Springer, (1996)