The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Takayasu Ito: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Takayasu Ito
    Logic of Execution: An Outline. [Citation Graph (0, 0)][DBLP]
    Concurrency: Theory, Language, And Architecture, 1989, pp:79-90 [Conf]
  2. Takayasu Ito
    A formal approximation theory of semantic data types. [Citation Graph (0, 0)][DBLP]
    International Sympoisum on Theoretical Programming, 1972, pp:384-393 [Conf]
  3. Takayasu Ito
    Some Formal Properties of a Class of Non-Deterministic Program Schemata [Citation Graph (0, 0)][DBLP]
    FOCS, 1968, pp:85-98 [Conf]
  4. Takayasu Ito, Toshihiro Moriya
    KRS-FZ: A Knowledge Representation System with Fuzzy Contraints. [Citation Graph (0, 0)][DBLP]
    IC-AI, 2002, pp:569-575 [Conf]
  5. Takayasu Ito
    Regular Tree Expressions and Behaviors of Functional Nets. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1983, pp:447-452 [Conf]
  6. Takayasu Ito, Shigeru Ando
    A Complete Axiom System of Super-Regular Expressions. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1974, pp:661-665 [Conf]
  7. Max I. Kanovich, Takayasu Ito
    Temporal Linear Logic Specifications for Concurrent Processes (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    LICS, 1997, pp:48-57 [Conf]
  8. Takayasu Ito, Manabu Matsui
    A Parallel Lisp Language PaiLisp and Its Kernel Specification. [Citation Graph (0, 0)][DBLP]
    Workshop on Parallel Lisp, 1989, pp:58-100 [Conf]
  9. Robert H. Halstead Jr., Takayasu Ito
    Overview of Papers from U.S./Japan Workshop on Parallel Symbolic Computing. [Citation Graph (0, 0)][DBLP]
    Parallel Symbolic Computing, 1992, pp:1-10 [Conf]
  10. Takayasu Ito, Rishiyur S. Nikhil, Julian A. Padget, Norihisa Suzuki, Taiichi Yuasa
    Massively Parallel Architectures and Symbolic Computation (panel). [Citation Graph (0, 0)][DBLP]
    Parallel Symbolic Computing, 1992, pp:408-416 [Conf]
  11. Takayasu Ito, Tomohiro Seino
    P-Continuation Based Implementation of PaiLisp Interpreter. [Citation Graph (0, 0)][DBLP]
    Parallel Symbolic Computing, 1992, pp:108-154 [Conf]
  12. Takayasu Ito
    Efficient Evaluation Strategies for Structured Concurrency Constructs in Parallel Scheme Systems. [Citation Graph (0, 0)][DBLP]
    PSLS, 1995, pp:2-52 [Conf]
  13. Shin-ichi Kawamoto, Takayasu Ito
    Multi-threaded PaiLisp with Granularity Adaptive Parallel Execution. [Citation Graph (0, 0)][DBLP]
    Theory and Practice of Parallel Programming, 1994, pp:94-120 [Conf]
  14. Takayasu Ito
    Guest Editorial. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:177, n:2, pp:121- [Journal]
  15. Takayasu Ito
    A Note on a General Expansion of Functions of Binary Variables [Citation Graph (0, 0)][DBLP]
    Information and Control, 1968, v:12, n:3, pp:206-211 [Journal]
  16. Olivier Danvy, Takayasu Ito, Carolyn L. Talcott
    Editorial. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2001, v:14, n:4, pp:307-307 [Journal]
  17. Olivier Danvy, Takayasu Ito, Carolyn L. Talcott
    Editorial. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2002, v:15, n:1, pp:5- [Journal]
  18. Takayasu Ito
    A Step Towards Complementary Programming. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1985, v:3, n:1, pp:3-13 [Journal]
  19. Takayasu Ito
    Preface: On Semantical Issues of Information. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1987, v:5, n:3, pp:209-211 [Journal]

Search in 0.005secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002