Some Formal Properties of a Class of Non-Deterministic Program Schemata - Takayasu Ito (SWAT, 1968)

A Note on a General Expansion of Functions of Binary Variables - Takayasu Ito (Inf. Control., 1968)

Note on a Class of Statistical Recognition Functions. - Takayasu Ito (IEEE Trans. Computers, 1969)

A formal approximation theory of semantic data types. - Takayasu Ito (International Sympoisum on Theoretical Programming, 1972)

Towards color picture processing. - Takayasu Ito (Comput. Graph. Image Process., 1973)

A Complete Axiom System of Super-Regular Expressions. - Takayasu Ito; Shigeru Ando (IFIP Congress, 1974)

Color Picture Processing By Computer. - Takayasu Ito (IJCAI, 1975)

Regular Tree Expressions and Behaviors of Functional Nets. - Takayasu Ito (IFIP Congress, 1983)

A Step Towards Complementary Programming. - Takayasu Ito (New Gener. Comput., 1985)

Theoretical Comparisons of Interpreted/Compiled Executions of Lisp on Sequential and Parallel Machine Models. - Takayasu Ito; Takashi Tamura; Shinichi Wada (IFIP Congress, 1986)

Preface: On Semantical Issues of Information. - Takayasu Ito (New Gener. Comput., 1987)

Logic of Execution: An Outline. - Takayasu Ito (Concurrency: Theory, Language, And Architecture, 1989)

A Parallel Lisp Language PaiLisp and Its Kernel Specification. - Takayasu Ito; Manabu Matsui (Workshop on Parallel Lisp, 1989)

LISP and Parallelism. - Takayasu Ito (Artificial and Mathematical Theory of Computation, 1991)

Overview of Papers from U.S./Japan Workshop on Parallel Symbolic Computing. - Robert H. Halstead Jr.; Takayasu Ito (Parallel Symbolic Computing, 1992)

Massively Parallel Architectures and Symbolic Computation (panel). - Takayasu Ito; Rishiyur S. Nikhil; Julian A. Padget; Norihisa Suzuki; Taiichi Yuasa (Parallel Symbolic Computing, 1992)

P-Continuation Based Implementation of PaiLisp Interpreter. - Takayasu Ito; Tomohiro Seino (Parallel Symbolic Computing, 1992)

Multi-threaded PaiLisp with Granularity Adaptive Parallel Execution. - Shin'ichi Kawamoto; Takayasu Ito (Theory and Practice of Parallel Programming, 1994)

Efficient Evaluation Strategies for Structured Concurrency Constructs in Parallel Scheme Systems. - Takayasu Ito (PSLS, 1995)

Temporal Linear Logic Specifications for Concurrent Processes (Extended Abstract). - Max I. Kanovich; Takayasu Ito (LICS, 1997)

KRS-FZ: A Knowledge Representation System with Fuzzy Contraints. - Takayasu Ito; Toshihiro Moriya (IC-AI, 2002)

Guest Editorial. - Takayasu Ito (Inf. Comput., 2002)

A 63-μW standby power microcontroller with on-chip hybrid regulator scheme. - Mitsuru Hiraki; Takayasu Ito; Atsushi Fujiwara; Taichi Ohashi; Tetsuro Hamano; Takaaki Noda (IEEE J. Solid State Circuits, 2002)

Editorial. - Olivier Danvy; Takayasu Ito; Carolyn L. Talcott (High. Order Symb. Comput., 2002)

A low-power microcontroller having a 0.5-μA standby current on-chip regulator with dual-reference scheme. - Mitsuru Hiraki; Kenichi Fukui; Takayasu Ito (IEEE J. Solid State Circuits, 2004)

Embedded SoC Resource Manager to Control Temperature and Data Bandwidth. - Makoto Saen; Kenichi Osada; Satoshi Misaka; Tetsuya Yamada; Yoshitaka Tsujimoto; Yuki Kondo; Tatsuya Kamei; Yutaka Yoshida; Ei Nagahama; Yusuke Nitta; Takayasu Ito; Tadashi Kameyama; et al. (ISSCC, 2007)