Concepedia

Satoshi Okui

SO

Statistics

Publications

2

Citations

91

H-Index

2

Active since

1996

Affiliations

University of Tsukuba(Current)

Satoshi Okui is an author at University of Tsukuba specializing in formal methods, computational complexity, and engineering.

Top concepts

Publications per year

1996–1998

2

Publications

2

Lazy narrowing: Strong completeness and eager variable elimination

Aart Middeldorp, Satoshi Okui, Tetsuo Ida · Theoretical Computer Science · 1996 · 59 citations

, , +7

A Deterministic Lazy Narrowing Calculus

Aart Middeldorp, Satoshi Okui · Journal of Symbolic Computation · 1998 · 32 citations

, , +4

1–2 of 2