Shuzo Yajima

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Hiromi Hiraishi

> Home > Persons > Shuzo Yajima

Publications

1992
[j30]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/HamaguchiHY92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/HamaguchiHY92
Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima:
Infinity-Regular Temporal Logic and its Model Checking Problem. Theor. Comput. Sci. 103(2): 191-204 (1992)
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/HamaguchiHY92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HamaguchiHY92
Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima:
Design Verification of a Microprocessor Using Branching Time Regular Temporal Logic. CAV 1992: 206-219
1991
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/HiraishiHOY91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HiraishiHOY91
Hiromi Hiraishi, Kiyoharu Hamaguchi, Hiroyuki Ochi, Shuzo Yajima:
Vectorized Symbolic Model Checking of Computation Tree Logic for Sequential Machine Verification. CAV 1991: 214-224
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/HamaguchiHY91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HamaguchiHY91
Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima:
Formal Verification of Speed-Dependent Asynchronous Cicuits Using Symbolic Model Checking of branching Time Regular Temporal Logic. CAV 1991: 410-420
1990
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/HamaguchiHY90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HamaguchiHY90
Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima:
Branching Time Regular Temporal Logic for Model Checking with Linear Time Complexity. CAV 1990: 253-262
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/dimacs/HamaguchiHY90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dimacs/HamaguchiHY90
Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima:
Branching Time Regular Temporal Logic for Model Checking with Linear Time Complexity. CAV (DIMACS/AMS volume) 1990: 551-564
1988
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/scjapan/TeshimaHY88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scjapan/TeshimaHY88
Shigeharu Teshima, Hiromi Hiraishi, Shuzo Yajima:
Algebraic Specification of Parallel Systems Based on Binary Relations between Events. Syst. Comput. Jpn. 19(10): 8-21 (1988)
1981
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/pami/YajimaGIH81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pami/YajimaGIH81
Shuzo Yajima, Jan L. Goodsell, Takao Ichida, Hiromi Hiraishi:
Data Compression of the Kanji Character Patterns Digitized on the Hexagonal Mesh. IEEE Trans. Pattern Anal. Mach. Intell. 3(2): 221-230 (1981)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.