Takayasu Ito - researchr alias

researchr

You are not signed in
Sign in
Sign up

2002

EditorialOlivier Danvy, Takayasu Ito, Carolyn L. Talcott. lisp, 15(1):5, 2002.

Guest EditorialTakayasu Ito. iandc, 177(2):121, 2002. [doi]

KRS-FZ: A Knowledge Representation System with Fuzzy ContraintsTakayasu Ito, Toshihiro Moriya. icai 2002: 569-575

2001

EditorialOlivier Danvy, Takayasu Ito, Carolyn L. Talcott. lisp, 14(4):307-307, 2001.

2000

Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, ProceedingsJan van Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses, Takayasu Ito, editors, Volume 1872 of Lecture Notes in Computer Science, Springer, 2000.

1997

Theoretical Aspects of Computer Software, Third International Symposium, TACS 97, Sendai, Japan, September 23-26, 1997, ProceedingsMartín Abadi, Takayasu Ito, editors, Volume 1281 of Lecture Notes in Computer Science, Springer, 1997.

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

1996

Parallel Symbolic Languages and Systems, International Workshop PSLS 95, Beaune, France, October 2-4, 1995, ProceedingsTakayasu Ito, Robert H. Halstead Jr., Christian Queinnec, editors, Volume 1068 of Lecture Notes in Computer Science, Springer, 1996.

1995

Efficient Evaluation Strategies for Structured Concurrency Constructs in Parallel Scheme SystemsTakayasu Ito. psls 1996: 2-52

Theory and Practice of Parallel Programming, International Workshop TPPP 94, Sendai, Japan, November 7-9, 1994, ProceedingsTakayasu Ito, Akinori Yonezawa, editors, Volume 907 of Lecture Notes in Computer Science, Springer, 1995.

1994

Multi-threaded PaiLisp with Granularity Adaptive Parallel ExecutionShin-ichi Kawamoto, Takayasu Ito. tppp 1995: 94-120

1993

Parallel Symbolic Computing: Languages, Systems, and Applications, US/Japan Workshop, Cambridge, MA, USA, October 14-17, 1992, ProceedingsRobert H. Halstead Jr., Takayasu Ito, editors, Volume 748 of Lecture Notes in Computer Science, Springer, 1993.

1992

P-Continuation Based Implementation of PaiLisp InterpreterTakayasu Ito, Tomohiro Seino. csreaPSC 1993: 108-154

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

Overview of Papers from U.S./Japan Workshop on Parallel Symbolic ComputingRobert H. Halstead Jr., Takayasu Ito. csreaPSC 1993: 1-10

1991

Theoretical Aspects of Computer Software, International Conference TACS 91, Sendai, Japan, September 24-27, 1991, ProceedingsTakayasu Ito, Albert R. Meyer, editors, Volume 526 of Lecture Notes in Computer Science, Springer, 1991.

Concurrency: Theory, Language, And Architecture, UK/Japan Workshop, Oxford, UK, September 25-27, 1989, ProceedingsAkinori Yonezawa, Takayasu Ito, editors, Volume 491 of Lecture Notes in Computer Science, Springer, 1991.

1990

Parallel Lisp: Languages and Systems, US/Japan Workshop on Parallel Lisp, Sendai, Japan, June 5-8, 1989, ProceedingsTakayasu Ito, Robert H. Halstead Jr., editors, Volume 441 of Lecture Notes in Computer Science, Springer, 1990.

1989

A Parallel Lisp Language PaiLisp and Its Kernel SpecificationTakayasu Ito, Manabu Matsui. plisp 1990: 58-100

Logic of Execution: An OutlineTakayasu Ito. concur 1991: 79-90

1987

Preface: On Semantical Issues of InformationTakayasu Ito. ngc, 5(3):209-211, 1987.

1985

A Step Towards Complementary ProgrammingTakayasu Ito. ngc, 3(1):3-13, 1985.

1983

Regular Tree Expressions and Behaviors of Functional NetsTakayasu Ito. ifip 1983: 447-452

1974

A Complete Axiom System of Super-Regular ExpressionsTakayasu Ito, Shigeru Ando. ifip 1974: 661-665

1972

A formal approximation theory of semantic data typesTakayasu Ito. ershov 1974: 384-393

1968

Some Formal Properties of a Class of Non-Deterministic Program SchemataTakayasu Ito. focs 1968: 85-98

A Note on a General Expansion of Functions of Binary VariablesTakayasu Ito. iandc, 12(3):206-211, March 1968.