Katsushi Inoue

Publication Activity (10 Years)

Years Active: 1977-2007
Publications (10 Years): 0

Publications

Katsushi Inoue, Akira Ito, Atsuyuki Inoue
Sublogarithmically Space-Bounded Alternating One-Pebble Turing Machines with only Universal States. Formal Models, Languages and Applications (2007)
Tsunehiro Yoshinaga, Jianliang Xu, Katsushi Inoue
Sublogarithmic Space-Bounded Multi-Inkdot Alternating Turing Machines with Only Existential (Universal) States. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (5) (2006)
Katsushi Inoue, Akira Ito, Yue Wang
Matrix L-System and Paper Folding with Scissors. FCS (2006)
Makoto Saito, Makoto Sakamoto, Youichirou Nakama, Takao Ito, Katsushi Inoue, Hiroshi Furutani, Susumu Katayama
Some properties of four-dimensional multicounter automata. Artif. Life Robotics 10 (2) (2006)
Hisao Hirakawa, Katsushi Inoue, Akira Ito
Three-way two-dimensional alternating finite automata with rotated inputs. Inf. Sci. 176 (11) (2006)
Tadayuki Makino, Hidenobu Okabe, Shinya Taniguchi, Makoto Sakamoto, Katsushi Inoue
Three-dimensional multiinkdot automata. Artif. Life Robotics 9 (2) (2005)
Atsuyuki Inoue, Akira Ito, Katsushi Inoue, Tokio Okazaki
Some properties of one-pebble Turing machines with sublogarithmic space. Theor. Comput. Sci. 341 (1-3) (2005)
Satoshi Inoue, Katsushi Inoue, Akira Ito, Yue Wang
Path-Bounded One-Way Multihead Finite Automata. IEICE Trans. Inf. Syst. (1) (2005)
Hisao Hirakawa, Katsushi Inoue, Akira Ito
Three-Way Two-Dimensional Deterministic Finite Automata with Rotated Inputs. IEICE Trans. Inf. Syst. (1) (2005)
Atsuyuki Inoue, Akira Ito, Kunihiko Hiraishi, Katsushi Inoue
Inkdot versus Pebble over Two-Dimensional Languages. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (5) (2005)
Pavol Duris, Juraj Hromkovic, Katsushi Inoue
On the power of nondeterminism and Las Vegas randomization for two-dimensional finite automata. J. Comput. Syst. Sci. 68 (3) (2004)
Katsushi Inoue, Akira Ito, Takashi Kamiura, Holger Petersen, Lan Zhang
A Note On Rebound Turing Machines. Int. J. Found. Comput. Sci. 15 (5) (2004)
Atsuyuki Inoue, Katsushi Inoue, Akira Ito, Yue Wang, Tokio Okazaki
A note on one-pebble two-dimensional Turing machines. Inf. Sci. 162 (3-4) (2004)
Atsuyuki Inoue, Katsushi Inoue, Akira Ito, Yue Wang, Tokio Okazaki
A note on one-pebble two-dimensional Turing machines. Electron. Notes Discret. Math. 12 (2003)
Atsuyuki Inoue, Akira Ito, Katsushi Inoue, Tokio Okazaki
Some Properties of One-Pebble Turing Machines with Sublogarithmic Space. ISAAC (2003)
Tsunehiro Yoshinaga, Katsushi Inoue
Las Vegas, Self-Verifying Nondeterministic and Deterministic One-Way Multi-Counter Automata with Bounded Time. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (5) (2003)
Lan Zhang, Katsushi Inoue, Akira Ito, Yue Wang
Probabilistic rebound Turing machines. Theor. Comput. Sci. 270 (1-2) (2002)
Lan Zhang, Katsushi Inoue, Akira Ito, Yue Wang
A Leaf-Size Hierarchy of Alternating Rebound Turing Machines. J. Autom. Lang. Comb. 7 (3) (2002)
Yuji Sasaki, Katsushi Inoue, Akira Ito, Yue Wang
A Space Lower Bound of Two-Dimensional Probabilistic Turing Machines. Developments in Language Theory (2002)
Tokio Okazaki, Atsuyuki Inoue, Katsushi Inoue, Akira Ito, Yue Wang
Non-closure property of space-bounded two-dimensional alternating Turing machines. Inf. Sci. 146 (1-4) (2002)
Tokio Okazaki, Katsushi Inoue, Akira Ito, Yue Wang
Closure Property of Space-Bounded Two-Dimensional Alternating Turing Machines, Pushdown Automata, and Counter Automata. Int. J. Pattern Recognit. Artif. Intell. 15 (7) (2001)
Géza Harváth, Katsushi Inoue, Akira Ito, Yue Wang
Closure Property of Probabilistic Turing Machines and Alternating Turing Machines with Sublogarithmic Spaces. Int. J. Found. Comput. Sci. 12 (3) (2001)
V. Uma Maheswari, Arul Siromoney, K. M. Mehata, Katsushi Inoue
The Variable Precision Rough Set Inductive Logic Programming Model and Strings. Comput. Intell. 17 (3) (2001)
Jianliang Xu, Tsunehiro Yoshinaga, Katsushi Inoue, Yue Wang, Akira Ito
Alternation for sublogarithmic space-bounded alternating pushdown automata. Theor. Comput. Sci. 259 (1-2) (2001)
Tokio Okazaki, Katsushi Inoue, Akira Ito, Yue Wang
A Note on Three-Way Two-Dimensional Probabilistic Turing Machines. Int. J. Pattern Recognit. Artif. Intell. 14 (4) (2000)
Pavol Duris, Juraj Hromkovic, Katsushi Inoue
A Separation of Determinism, Las Vegas and Nondeterminism for Picture Recognition Electron. Colloquium Comput. Complex. 7 (27) (2000)
Arul Siromoney, Katsushi Inoue
Elementary sets and declarative biases in a restricted gRS-ILP model. Informatica (Slovenia) 24 (1) (2000)
Arul Siromoney, Katsushi Inoue
Consistency and Completeness in Rough Sets. J. Intell. Inf. Syst. 15 (3) (2000)
Pavol Duris, Juraj Hromkovic, Katsushi Inoue
A Separation of Determinism, Las Vegas and Nondeterminism for Picture Recognition. Computational Complexity Conference (2000)
Arul Siromoney, Katsushi Inoue
The Generic Rough Set Inductive Logic Programming Model and Motifs in Strings. RSFDGrC (1999)
Yue Wang, Katsushi Inoue, Akira Ito, Tokio Okazaki
A Note on Self-Modifying Finite Automata. Inf. Process. Lett. 72 (1-2) (1999)
Tokio Okazaki, Katsushi Inoue, Akira Ito, Yue Wang
A Note on Two-Dimensional Probabilistic Turing Machines. Inf. Sci. 113 (3-4) (1999)
Tokio Okazaki, Katsushi Inoue, Akira Ito, Yue Wang
Space Hierarchies of Two-Dimensional Alternating Turing Machines, Pushdown Automata and Counter Automata. Int. J. Pattern Recognit. Artif. Intell. 13 (4) (1999)
Tokio Okazaki, Katsushi Inoue, Akira Ito, Yue Wang
Closure Properties of the Classes of Sets Recognized by Space-Bounded Two-Dimensional Probabilistic Turing Machines. Inf. Sci. 115 (1-4) (1999)
Akira Ito, Katsushi Inoue, Yue Wang
Decomposition Principle for Analyzing Region Quadtrees. Int. J. Pattern Recognit. Artif. Intell. 13 (4) (1999)
Tokio Okazaki, Lan Zhang, Katsushi Inoue, Akira Ito, Yue Wang
A Note on Two-Dimensional Probabilistic Finite Automata. Inf. Sci. 110 (3-4) (1998)
Akira Ito, Katsushi Inoue, Yue Wang
Nonclosure Properties of Two-Dimensional One-Marker Automata. Int. J. Pattern Recognit. Artif. Intell. 11 (7) (1997)
Makoto Sakamoto, Katsushi Inoue
Three-Dimensional Alternating Turing Machines with Only Universal States. Inf. Sci. 95 (3) (1996)
Tsunehiro Yoshinaga, Katsushi Inoue
Alternating Finite Automata with Counters and Stack-Counters Operating in Realtime. IEICE Trans. Inf. Syst. (8) (1995)
Akira Ito, Katsushi Inoue, Itsuo Takanami, Yue Wang
The Effect of Inkdots for Two-Dimensional Automata. Int. J. Pattern Recognit. Artif. Intell. 9 (5) (1995)
Yue Wang, Jianliang Xu, Katsushi Inoue, Akira Ito
A Note on One-way Auxiliary Pushdown Automata. IEICE Trans. Inf. Syst. (6) (1995)
Akira Ito, Katsushi Inoue, Itsuo Takanami, Yue Wang
Optimal Simulation of Two-Dimensional Alternating Finite Automata by Three-Way Nondeterministic Turing Machines. Theor. Comput. Sci. 143 (1) (1995)
Yue Wang, Katsushi Inoue, Itsuo Takanami
Cooperating Systems of Three-Way, Two-Dimensional Finite Automata. Int. J. Pattern Recognit. Artif. Intell. 9 (5) (1995)
Makoto Sakamoto, Akira Ito, Katsushi Inoue, Itsuo Takanami
Simulation of Three-Dimensional One-Marker Automata by Five-Way Turing Machines. Inf. Sci. 77 (1-2) (1994)
Akira Ito, Katsushi Inoue, Itsuo Takanami, Yasuyoshi Inagaki
Constant Leaf-Size Hierarchy of Two-Dimensional Alternating Turing Machines. Int. J. Pattern Recognit. Artif. Intell. 8 (2) (1994)
Katsushi Inoue, Itsuo Takanami
A Characterization of Recognizable Picture Languages. Int. J. Pattern Recognit. Artif. Intell. 8 (2) (1994)
Katsushi Inoue, Akira Ito, Itsuo Takanami
On 1-inkdot Alternating Turing Machines with Small Space. Theor. Comput. Sci. 127 (1) (1994)
Juraj Hromkovic, Katsushi Inoue
A Note on Realtime One-Way Synchronized Alternating One-Counter Automata. Theor. Comput. Sci. 108 (2) (1993)
Makoto Sakamoto, Katsushi Inoue, Itsuo Takanami
A note on three-dimensional alternating Turing machines with space smaller than log m. Inf. Sci. 72 (3) (1993)
Itsuo Takanami, Katsushi Inoue, Takahiro Watanabe, Minoru Oka
Construction of fault-tolerant mesh-connected highly parallel computer and its performance analysis. Systems and Computers in Japan 24 (8) (1993)
Katsushi Inoue, Akira Ito, Itsuo Takanami, Tsunehiro Yoshinaga
A Note on Multi-Inkdot Nondeterministic Turing Machines with Small Space. Inf. Process. Lett. 48 (6) (1993)
Juraj Hromkovic, Katsushi Inoue, Branislav Rovan, Anna Slobodová, Itsuo Takanami, Klaus W. Wagner
On the Power of One-Way Synchronized Alternating Machines with Small Space. Int. J. Found. Comput. Sci. 3 (1) (1992)
Katsushi Inoue, Itsuo Takanami
A Characterization of Recognizable Picture Languages. ICPIA (1992)
Akira Ito, Katsushi Inoue, Itsuo Takanami
Constant Leaf-Size Hierarchy of Two-Dimensional Alternating Turing Machines. ICPIA (1992)
Katsushi Inoue, Akira Ito, Itsuo Takanami
A Relationship Between Nondeterministic Turing Machines and 1-Inkdot Turing Machines with Small Space. Inf. Process. Lett. 43 (4) (1992)
Katsushi Inoue, Itsuo Sakuramoto, Makoto Sakamoto, Itsuo Takanami
Two Topics Concerning Two-Dimensional Automata Operating in Parallel. Int. J. Pattern Recognit. Artif. Intell. 6 (2&3) (1992)
Katsushi Inoue, Akira Ito, Itsuo Takanami
A Note on Real-Time One-Way Alternating Multicounter Machines. Theor. Comput. Sci. 88 (2) (1991)
Katsushi Inoue, Itsuo Takanami
A survey of two-dimensional automata theory. Inf. Sci. 55 (1-3) (1991)
Katsushi Inoue, Akira Ito, Itsuo Takanami
Alternating Turing Machines with Modified Accepting Structure. Int. J. Found. Comput. Sci. 2 (4) (1991)
Katsushi Inoue, Itsuo Takanami, Akira Nakamura
A note on time-bounded bottom-up pyramid cellular acceptors. Inf. Sci. 51 (2) (1990)
Katsushi Inoue, Itsuo Takanami, Juraj Hromkovic
A Leaf-Size Hierarchy of Two-Dimensional Alternating Turing Machines. Theor. Comput. Sci. 67 (1) (1989)
Hiroshi Taniguchi, Katsushi Inoue, Itsuo Takanami
One-Dimensional Bounded Cellular Acceptor with Rotated Inputs. A Relationship between ∧ and ∨ Types. Systems and Computers in Japan 20 (3) (1989)
Juraj Hromkovic, Katsushi Inoue, Itsuo Takanami
Lower Bounds for Language Recognition on Two-Dimensional Alternating Multihead Machines. J. Comput. Syst. Sci. 38 (3) (1989)
Akira Ito, Katsushi Inoue, Itsuo Takanami
Deterministic Two-Dimensional On-Line Tessellation Acceptors are Equivalent to Two-Way Two-Dimensional Alternating Finite Automata Through 180°-Rotation. Theor. Comput. Sci. 66 (3) (1989)
Akira Ito, Katsushi Inoue, Itsuo Takanami
The Simulation of Two-Dimensional One-Marker Automata by Three-Way Turing Machines. Int. J. Pattern Recognit. Artif. Intell. 3 (3-4) (1989)
Akira Ito, Katsushi Inoue, Itsuo Takanami
A note on three-way two-dimensional alternating Turing machines. Inf. Sci. 45 (1) (1988)
Katsushi Inoue, Itsuo Takanami
A Survey of Two-Dimensional Automata Theory. IMYCS (1988)
Katsushi Inoue, Itsuo Takanami
Some Considerations About NPRIORITY(1) Without ROM. Inf. Process. Lett. 28 (4) (1988)
Akira Ito, Katsushi Inoue, Itsuo Takanami
The Simulation of Two-Dimensional One-Marker Automata by Three-Way Turing Machines. IMYCS (1988)
Hiroshi Taniguchi, Katsushi Inoue, Itsuo Takanami
Hierarchical properties of the κ -neighborhood template A-type 2-dimensional bounded cellular acceptor. Systems and Computers in Japan 18 (5) (1987)
Hiroshi Taniguchi, Katsushi Inoue, Itsuo Takanami
One-dimensional bounded cellular acceptor with rotated inputs. Systems and Computers in Japan 18 (9) (1987)
Akira Ito, Katsushi Inoue, Itsuo Takanami, Hiroshi Taniguchi
Relationships of accepting powers between cellular space with bounded number of state-changes and other automata. Systems and Computers in Japan 17 (7) (1986)
Hiroshi Taniguchi, Katsushi Inoue, Itsuo Takanami, Shigeko Seki
)-neighborhood template δ-type one-dimensional bounded cellular acceptors and other types of two-dimensional automata. Systems and Computers in Japan 17 (9) (1986)
Katsushi Inoue, Itsuo Takanami, Roland Vollmar
Three-way two-dimensional finite automata with rotated inputs. Inf. Sci. 38 (3) (1986)
Hiroshi Matsuno, Katsushi Inoue, Hiroshi Taniguchi, Itsuo Takanami
Alternating Simple Multihead Finite Automata. Theor. Comput. Sci. 36 (1985)
Katsushi Inoue, Itsuo Takanami, Roland Vollmar
Alternating On-Line Turing Machines with Only Universal States and Small Space Bounds. Theor. Comput. Sci. 41 (1985)
Katsushi Inoue, Akira Ito, Itsuo Takanami, Hiroshi Taniguchi
A space-hierarchy result on two-dimensional alternating Turing machines with only universal states. Inf. Sci. 35 (1) (1985)
Katsushi Inoue, Itsuo Takanami, Akira Nakamura
Connected pictures are not recognizable by deterministic two-dimensional on-line tessellation acceptors. Comput. Vis. Graph. Image Process. 26 (1) (1984)
Manabu Toda, Katsushi Inoue, Itsuo Takanami
Two-Dimensional Pattern Matching by Two-Dimensional on-Line Tessellation Acceptors. Theor. Comput. Sci. 24 (1983)
Katsushi Inoue, Itsuo Takanami, Hiroshi Taniguchi
A Relationship between Two-Dimensional Finite Automata and Three-Way Tape-Bounded Two-Dimensional Turing Machines. Theor. Comput. Sci. 24 (1983)
Katsushi Inoue, Itsuo Takanami, Hiroshi Taniguchi
Two-Dimensional Alternating Turing Machines. Theor. Comput. Sci. 27 (1983)
Katsushi Inoue, Itsuo Takanami, Hiroshi Taniguchi
Two-dimensional automata with rotated inputs (projection-type). Inf. Sci. 30 (1) (1983)
Katsushi Inoue, Itsuo Takanami, Akira Nakamura
Connected pictures are not recognizable by deterministic two-dimensional on-line tessellation acceptors. Comput. Vis. Graph. Image Process. 22 (2) (1983)
Akira Ito, Katsushi Inoue, Itsuo Takanami, Hiroshi Taniguchi
Two-Dimensional Alternating Turing Machines with Only Universal States Inf. Control. 55 (1-3) (1982)
Hiroshi Taniguchi, Katsushi Inoue, Itsuo Takanami
A note on three-dimensional finite automata. Inf. Sci. 26 (1) (1982)
Katsushi Inoue, Itsuo Takanami, Hiroshi Taniguchi
A Note on Alternating On-Line Turing Machines. Inf. Process. Lett. 15 (4) (1982)
Katsushi Inoue, Itsuo Takanami, Hiroshi Taniguchi
A note on rebound automata. Inf. Sci. 26 (1) (1982)
Katsushi Inoue, Itsuo Takanami, Hiroshi Taniguchi
Two-Dimensional Alternating Turing Machines STOC (1982)
Katsushi Inoue, Itsuo Takanami
Errata: Corrections to two papers. Inf. Sci. 21 (3) (1980)
Katsushi Inoue, Itsuo Takanami
A Note on Decision Problems for Three-Way Two-Dimensional Finite Automata. Inf. Process. Lett. 10 (4/5) (1980)
Akira Nakamura, Katsushi Inoue
A Remark on Two-Dimensional Finite Automata. Inf. Process. Lett. 10 (4/5) (1980)
Katsushi Inoue, Itsuo Takanami, Akira Nakamura
Nonclosure property of nondeterministic two-dimensional finite automata under cyclic closure. Inf. Sci. 22 (1) (1980)
Katsushi Inoue, Itsuo Takanami
A note on deterministic three-way tape-bounded two-dimensional Turing machines. Inf. Sci. 20 (1) (1980)
Katsushi Inoue, Itsuo Takanami, Hiroshi Taniguchi
Two-dimensional automata with rotated inputs. Inf. Sci. 21 (3) (1980)
Katsushi Inoue, Itsuo Takanami, Akira Nakamura, Tadashi Ae
One-Way Simple Multihead Finite Automata. Theor. Comput. Sci. 9 (1979)
Katsushi Inoue, Itsuo Takanami
A Note on Bottom-Up Pyramid Acceptors. Inf. Process. Lett. 8 (1) (1979)
Katsushi Inoue, Itsuo Takanami
Three-way two-dimensional multicounter automata. Inf. Sci. 19 (1) (1979)
Katsushi Inoue, Itsuo Takanami
Closure properties of three-way and four-way tape-bounded two-dimensional turing machines. Inf. Sci. 18 (3) (1979)
Katsushi Inoue, Itsuo Takanami
On-line n-bounded multicounter automata. Inf. Sci. 17 (3) (1979)
Katsushi Inoue, Akira Nakamura
Two-Dimensional Multipass On-Line Tessellation Acceptors Inf. Control. 41 (3) (1979)

Katsushi Inoue.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Katsushi Inoue