Faculty
JAPANESE
閉じる
OKUI Satoshi
Department / Course
College of Engineering Department of Computer Science
Graduate School of Engineering Department of Computer Science
Job
Associate Professor
Book and thesis
Papers
Disambiguation in Regular Expression Matching via Position Automata with Augmented Transitions Proceedings of CIAA2010 (LNCS 6482),pp.231-240 (Co-authored) 2011
Papers
Pattern Matching of Incompletely RE-Typed Expressions via Transformation IPSJ Transactions on Programming 47 (6),pp.37-49 (Co-authored) 2006
Papers
Deterministic Lazy Narrowing Calculus J. Symbolic Computation Vol.25 (No.6) 1998
Papers
Lazy Narrowing: Strong Completeness and Eager Variable Elimination Theoretical Computer Science Vol.167 (No.1-2.) 1996
Papers
Lazy Narrowing: Strong Completeness and Eager Variable Elimination (Extended Abstract) Proceeding CAAP1995 (LNCS 915),pp.394-408 1995
Papers
Outside-In Conditional Narrowing IEICE Trans Vol.E77-D (No.6) 1994
閉じる