Takayasu Ito

Takayasu Ito: Guest Editorial. Inf. Comput. 177(2): 121 (2002)

Olivier Danvy, Takayasu Ito, Carolyn L. Talcott: Editorial. Higher-Order and Symbolic Computation 15(1): 5 (2002)

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

Olivier Danvy, Takayasu Ito, Carolyn L. Talcott: Editorial. Higher-Order and Symbolic Computation 14(4): 307 (2001)

Jan van Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses, Takayasu Ito (Eds.): Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, Proceedings. Lecture Notes in Computer Science 1872, Springer 2000, isbn 3-540-67823-9

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

Martín Abadi, Takayasu Ito (Eds.): Theoretical Aspects of Computer Software, Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997, Proceedings. Lecture Notes in Computer Science 1281, Springer 1997, isbn 3-540-63388-X

Takayasu Ito, Robert H. Halstead Jr., Christian Queinnec (Eds.): Parallel Symbolic Languages and Systems, International Workshop PSLS'95, Beaune, France, October 2-4, 1995, Proceedings. Lecture Notes in Computer Science 1068, Springer 1996, isbn 3-540-61143-6

Takayasu Ito: Efficient Evaluation Strategies for Structured Concurrency Constructs in Parallel Scheme Systems. PSLS 1995: 2-52

Takayasu Ito, Akinori Yonezawa (Eds.): Theory and Practice of Parallel Programming, International Workshop TPPP'94, Sendai, Japan, November 7-9, 1994, Proceedings. Lecture Notes in Computer Science 907, Springer 1995, isbn 3-540-59172-9

Shin-ichi Kawamoto, Takayasu Ito: Multi-threaded PaiLisp with Granularity Adaptive Parallel Execution. Theory and Practice of Parallel Programming 1994: 94-120

Robert H. Halstead Jr., Takayasu Ito (Eds.): Parallel Symbolic Computing: Languages, Systems, and Applications, US/Japan Workshop, Cambridge, MA, USA, October 14-17, 1992, Proceedings. Lecture Notes in Computer Science 748, Springer 1993, isbn 3-540-57396-8

Robert H. Halstead Jr., Takayasu Ito: Overview of Papers from U.S./Japan Workshop on Parallel Symbolic Computing. Parallel Symbolic Computing 1992: 1-10

Takayasu Ito, Tomohiro Seino: P-Continuation Based Implementation of PaiLisp Interpreter. Parallel Symbolic Computing 1992: 108-154

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

Akinori Yonezawa, Takayasu Ito (Eds.): Concurrency: Theory, Language, And Architecture, UK/Japan Workshop, Oxford, UK, September 25-27, 1989, Proceedings. Lecture Notes in Computer Science 491, Springer 1991, isbn 3-540-53932-8

Takayasu Ito, Albert R. Meyer (Eds.): Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings. Lecture Notes in Computer Science 526, Springer 1991, isbn 3-540-54415-1

Takayasu Ito, Robert H. Halstead Jr. (Eds.): Parallel Lisp: Languages and Systems, US/Japan Workshop on Parallel Lisp, Sendai, Japan, June 5-8, 1989, Proceedings. Lecture Notes in Computer Science 441, Springer 1990, isbn 3-540-52782-6

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

Takayasu Ito, Manabu Matsui: A Parallel Lisp Language PaiLisp and Its Kernel Specification. Workshop on Parallel Lisp 1989: 58-100

Takayasu Ito: Preface: On Semantical Issues of Information. New Generation Comput. 5(3): 209-211 (1987)

Takayasu Ito: A Step Towards Complementary Programming. New Generation Comput. 3(1): 3-13 (1985)

Takayasu Ito: Regular Tree Expressions and Behaviors of Functional Nets. IFIP Congress 1983: 447-452

Takayasu Ito, Shigeru Ando: A Complete Axiom System of Super-Regular Expressions. IFIP Congress 1974: 661-665

Takayasu Ito: A formal approximation theory of semantic data types. International Sympoisum on Theoretical Programming 1972: 384-393

Takayasu Ito: A Note on a General Expansion of Functions of Binary Variables. Information and Control 12(3): 206-211 (1968)

Takayasu Ito: Some Formal Properties of a Class of Non-Deterministic Program Schemata. SWAT (FOCS) 1968: 85-98