Takayasu Ito
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
1968–1997
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1997 | LICS | Temporal Linear Logic Specifications for Concurrent Processes (Extended Abstract). | Max I. Kanovich, Takayasu Ito |
| 1992 | PSC | Overview of Papers from U.S./Japan Workshop on Parallel Symbolic Computing. | Robert H. Halstead Jr., Takayasu Ito |
| 1992 | PSC | Massively Parallel Architectures and Symbolic Computation (panel). | Takayasu Ito, Rishiyur S. Nikhil, Julian A. Padget, Norihisa Suzuki, Taiichi Yuasa |
| 1992 | PSC | P-Continuation Based Implementation of PaiLisp Interpreter. | Takayasu Ito, Tomohiro Seino |
| 1989 | CONCUR | Logic of Execution: An Outline. | Takayasu Ito |
| 1975 | IJCAI | Color Picture Processing By Computer. | Takayasu Ito |
| 1968 | FOCS | Some Formal Properties of a Class of Non-Deterministic Program Schemata | Takayasu Ito |