Katsushi Inoue

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