Satoshi Okui

Publication Activity (10 Years)

Years Active: 1995-2010
Publications (10 Years): 0

Publications

Satoshi Okui, Taro Suzuki
Disambiguation in Regular Expression Matching via Position Automata with Augmented Transitions. CIAA (2010)
Taro Suzuki, Satoshi Okui
Hedge Pattern Partial Derivative. CIAA (2009)
Taro Suzuki, Satoshi Okui
A Rewrite System with Incomplete Regular Expression Type for Transformation of XML Documents. Inf. Media Technol. 1 (1) (2006)
Satoshi Okui, Taro Suzuki
Pattern Matching of Incompletely RE-Typed Expressions via Transformation. Inf. Media Technol. 1 (2) (2006)
Satoshi Okui
Simultaneous Critical Pairs and Church-Rosser Property. RTA (1998)
Aart Middeldorp, Satoshi Okui
A Deterministic Lazy Narrowing Calculus. J. Symb. Comput. 25 (6) (1998)
Aart Middeldorp, Satoshi Okui, Tetsuo Ida
Lazy Narrowing: Strong Completeness and Eager Variable Elimination. Theor. Comput. Sci. 167 (1&2) (1996)
Aart Middeldorp, Satoshi Okui, Tetsuo Ida
Lazy Narrowing: Strong Completeness and Eager Variable Elimination. UNIF (1995)
Satoshi Okui, Aart Middeldorp, Tetsuo Ida
Lazy Narrowing: Strong Completeness and Eager Variable Elimination (Extended Abstract). TAPSOFT (1995)