( en | de | ru )

 

Disambiguation of "Ohsaki, Hitoshi"

Author of the publication

copydeleteadd this publication to your clipboard
Formal semantics of extended hierarchical state transition matrix by CSP.

, , , , , and . ACM SIGSOFT Softw. Eng. Notes, 37 (4): 1-8 (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.

Hitoshi Tamura

Hitoshi Endo

Hitoshi Abe

Hitoshi Yamada

Hitoshi Kawanaka

 

Other publications of authors with the same name

Combining Equational Tree Automata over AC and ACI Theories., and . RTA, volume 5117 of Lecture Notes in Computer Science, page 142-156. Springer, (2008)Checking On-the-Fly Universality and Inclusion Problems of Visibly Pushdown Automata., and . IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 94-A (12): 2794-2801 (2011)Tree Automata for Non-linear Arithmetic., and . RTA, volume 5117 of Lecture Notes in Computer Science, page 291-305. Springer, (2008)ACTAS : A System Design for Associative and Commutative Tree Automata Theory., and . RULE@RDP, volume 124 of Electronic Notes in Theoretical Computer Science, page 97-111. Elsevier, (2004)On Accelerating SMT-based Bounded Model Checking of HSTM Designs., , , , , and . APSEC, page 614-623. IEEE, (2012)A Sufficient Completeness Checker for Linear Order-Sorted Specifications Modulo Axioms., , and . IJCAR, volume 4130 of Lecture Notes in Computer Science, page 151-155. Springer, (2006)Monotone AC-Tree Automata., , , and . LPAR, volume 3835 of Lecture Notes in Computer Science, page 337-351. Springer, (2005)Equational Termination by Semantic Labelling., , and . CSL, volume 1862 of Lecture Notes in Computer Science, page 457-471. Springer, (2000)A formal semantics of extended hierarchical state transition matrices using CSP#., , , , , and . Formal Aspects Comput., 26 (5): 943-962 (2014)Constructing test cases for n-wise testing from tree-based test models., , , , , and . SoICT, page 275-284. ACM, (2013)