Satoshi Okui

According to our database, Satoshi Okui authored at least 6 papers between 1995 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2010

Disambiguation in Regular Expression Matching via Position Automata with Augmented Transitions.

Satoshi Okui, Taro Suzuki

Proceedings of the Implementation and Application of Automata, 2010

2009

Hedge Pattern Partial Derivative.

Taro Suzuki, Satoshi Okui

Proceedings of the Implementation and Application of Automata, 2009

1998

A Deterministic Lazy Narrowing Calculus.

Aart Middeldorp, Satoshi Okui

J. Symb. Comput., 1998

Simultaneous Critical Pairs and Church-Rosser Property.

Satoshi Okui

Proceedings of the Rewriting Techniques and Applications, 9th International Conference, 1998

1996

Lazy Narrowing: Strong Completeness and Eager Variable Elimination.

Aart Middeldorp, Satoshi Okui, Tetsuo Ida

Theor. Comput. Sci., 1996

1995

Lazy Narrowing: Strong Completeness and Eager Variable Elimination (Extended Abstract).

Satoshi Okui, Aart Middeldorp, Tetsuo Ida

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995