Concepedia

Author

Hitomi Sato

Fujitsu (Japan)

Also Known As

H. Sato, Hitomi Sato

4

Publications

42

Citations

2

H-Index

10

Concepts

All Affiliations

Fujitsu (Japan)
HS

About

Hitomi Sato is an author at Fujitsu (Japan) specializing in program analysis, formal verification, and computer engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

34

2

Computer Engineering

1

1

34

3

Computer Science

1

1

34

4

Computer Architecture

1

1

34

5

Automated Reasoning

1

1

34

Hitomi Sato

×

1

Publications

34

Citations

1

H-Index

YearCitations

Boolean resubstitution with permissible functions and binary decision diagrams

Hitomi Sato, Yoshihiro Yasue, Yusuke Matsunaga,

1990

34

Page 1