| 2002 |
|---|
| 27 | | Takayasu Ito,
Toshihiro Moriya:
KRS-FZ: A Knowledge Representation System with Fuzzy Contraints.
IC-AI 2002: 569-575 |
| 26 | | Olivier Danvy,
Takayasu Ito,
Carolyn L. Talcott:
Editorial.
Higher-Order and Symbolic Computation 15(1): 5 (2002) |
| 25 | EE | Takayasu Ito:
Guest Editorial.
Inf. Comput. 177(2): 121 (2002) |
| 2001 |
|---|
| 24 | | Olivier Danvy,
Takayasu Ito,
Carolyn L. Talcott:
Editorial.
Higher-Order and Symbolic Computation 14(4): 307-307 (2001) |
| 2000 |
|---|
| 23 | | Jan van Leeuwen,
Osamu Watanabe,
Masami Hagiya,
Peter D. Mosses,
Takayasu Ito:
Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, Proceedings
Springer 2000 |
| 1997 |
|---|
| 22 | | Martín Abadi,
Takayasu Ito:
Theoretical Aspects of Computer Software, Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997, Proceedings
Springer 1997 |
| 21 | EE | Max I. Kanovich,
Takayasu Ito:
Temporal Linear Logic Specifications for Concurrent Processes (Extended Abstract).
LICS 1997: 48-57 |
| 1996 |
|---|
| 20 | | Takayasu Ito,
Robert H. Halstead Jr.,
Christian Queinnec:
Parallel Symbolic Languages and Systems, International Workshop PSLS'95, Beaune, France, October 2-4, 1995, Proceedings
Springer 1996 |
| 1995 |
|---|
| 19 | | Takayasu Ito,
Akinori Yonezawa:
Theory and Practice of Parallel Programming, International Workshop TPPP'94, Sendai, Japan, November 7-9, 1994, Proceedings
Springer 1995 |
| 18 | | Takayasu Ito:
Efficient Evaluation Strategies for Structured Concurrency Constructs in Parallel Scheme Systems.
PSLS 1995: 2-52 |
| 1994 |
|---|
| 17 | | Shin-ichi Kawamoto,
Takayasu Ito:
Multi-threaded PaiLisp with Granularity Adaptive Parallel Execution.
Theory and Practice of Parallel Programming 1994: 94-120 |
| 1993 |
|---|
| 16 | | Robert H. Halstead Jr.,
Takayasu Ito:
Parallel Symbolic Computing: Languages, Systems, and Applications, US/Japan Workshop, Cambridge, MA, USA, October 14-17, 1992, Proceedings
Springer 1993 |
| 1992 |
|---|
| 15 | | Robert H. Halstead Jr.,
Takayasu Ito:
Overview of Papers from U.S./Japan Workshop on Parallel Symbolic Computing.
Parallel Symbolic Computing 1992: 1-10 |
| 14 | | Takayasu Ito,
Tomohiro Seino:
P-Continuation Based Implementation of PaiLisp Interpreter.
Parallel Symbolic Computing 1992: 108-154 |
| 13 | | 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 |
| 1991 |
|---|
| 12 | | Akinori Yonezawa,
Takayasu Ito:
Concurrency: Theory, Language, And Architecture, UK/Japan Workshop, Oxford, UK, September 25-27, 1989, Proceedings
Springer 1991 |
| 11 | | Takayasu Ito,
Albert R. Meyer:
Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings
Springer 1991 |
| 1990 |
|---|
| 10 | | Takayasu Ito,
Robert H. Halstead Jr.:
Parallel Lisp: Languages and Systems, US/Japan Workshop on Parallel Lisp, Sendai, Japan, June 5-8, 1989, Proceedings
Springer 1990 |
| 1989 |
|---|
| 9 | | Takayasu Ito:
Logic of Execution: An Outline.
Concurrency: Theory, Language, And Architecture 1989: 79-90 |
| 8 | | Takayasu Ito,
Manabu Matsui:
A Parallel Lisp Language PaiLisp and Its Kernel Specification.
Workshop on Parallel Lisp 1989: 58-100 |
| 1987 |
|---|
| 7 | | Takayasu Ito:
Preface: On Semantical Issues of Information.
New Generation Comput. 5(3): 209-211 (1987) |
| 1985 |
|---|
| 6 | | Takayasu Ito:
A Step Towards Complementary Programming.
New Generation Comput. 3(1): 3-13 (1985) |
| 1983 |
|---|
| 5 | | Takayasu Ito:
Regular Tree Expressions and Behaviors of Functional Nets.
IFIP Congress 1983: 447-452 |
| 1974 |
|---|
| 4 | | Takayasu Ito,
Shigeru Ando:
A Complete Axiom System of Super-Regular Expressions.
IFIP Congress 1974: 661-665 |
| 1972 |
|---|
| 3 | | Takayasu Ito:
A formal approximation theory of semantic data types.
International Sympoisum on Theoretical Programming 1972: 384-393 |
| 1968 |
|---|
| 2 | | Takayasu Ito:
Some Formal Properties of a Class of Non-Deterministic Program Schemata
FOCS 1968: 85-98 |
| 1 | | Takayasu Ito:
A Note on a General Expansion of Functions of Binary Variables
Information and Control 12(3): 206-211 (1968) |
