The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Eijiro Sumii: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Eijiro Sumii, Hideo Bannai
    VM lambda: a Functional Calculus for Scientific Discovery. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:265-275 [Conf]
  2. Naoki Kobayashi, Shin Saito, Eijiro Sumii
    An Implicitly-Typed Deadlock-Free Process Calculus. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:489-503 [Conf]
  3. Eijiro Sumii, Hideo Bannai
    VM lambda: A Functional Calculusfor Scientific Discovery. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2002, pp:290-304 [Conf]
  4. Kohei Suenaga, Oiwa Yutaka, Eijiro Sumii, Akinori Yonezawa
    The Interface Definition Language for Fail-Safe C. [Citation Graph (0, 0)][DBLP]
    ISSS, 2003, pp:192-208 [Conf]
  5. Oiwa Yutaka, Tatsurou Sekiguchi, Eijiro Sumii, Akinori Yonezawa
    Fail-Safe ANSI-C Compiler: An Approach to Making C Programs Secure: Progress Report. [Citation Graph (0, 0)][DBLP]
    ISSS, 2002, pp:133-153 [Conf]
  6. Reynald Affeldt, Hidehiko Masuhara, Eijiro Sumii, Akinori Yonezawa
    Supporting objects in run-time bytecode specialization. [Citation Graph (0, 0)][DBLP]
    ASIA-PEPM, 2002, pp:50-60 [Conf]
  7. Eijiro Sumii, Naoki Kobayashi
    Online-and-Offline Partial Evaluation: A Mixed Approach (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    PEPM, 2000, pp:12-21 [Conf]
  8. Eijiro Sumii, Benjamin C. Pierce
    A bisimulation for dynamic sealing. [Citation Graph (0, 0)][DBLP]
    POPL, 2004, pp:161-172 [Conf]
  9. Eijiro Sumii, Benjamin C. Pierce
    A bisimulation for type abstraction and recursion. [Citation Graph (0, 0)][DBLP]
    POPL, 2005, pp:63-74 [Conf]
  10. Daisuke Hoshina, Eijiro Sumii, Akinori Yonezawa
    A Typed Process Calculus for Fine-Grained Resource Access Control in Distributed Computation. [Citation Graph (0, 0)][DBLP]
    TACS, 2001, pp:64-81 [Conf]
  11. Eijiro Sumii, Naoki Kobayashi
    A Generalized Deadlock-Free Process Calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:16, n:3, pp:- [Journal]
  12. Naoshi Tabuchi, Eijiro Sumii, Akinori Yonezawa
    Regular Expression Types for Strings in a Text Processing Language. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:75, n:, pp:- [Journal]
  13. Eijiro Sumii, Benjamin C. Pierce
    Logical Relations for Encryption. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2003, v:11, n:4, pp:521-554 [Journal]
  14. Eijiro Sumii, Hideo Bannai
    The Extension of ML with Hypothetical Views for Discovery Science: Formalization and Implementation. [Citation Graph (0, 0)][DBLP]
    Journal of Functional and Logic Programming, 2003, v:2003, n:, pp:- [Journal]
  15. Eijiro Sumii, Naoki Kobayashi
    A Hybrid Approach to Online and Offline Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2001, v:14, n:2-3, pp:101-142 [Journal]
  16. Eijiro Sumii, Benjamin C. Pierce
    A bisimulation for dynamic sealing. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:375, n:1-3, pp:169-192 [Journal]
  17. Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii
    Environmental Bisimulations for Higher-Order Languages. [Citation Graph (0, 0)][DBLP]
    LICS, 2007, pp:293-302 [Conf]
  18. Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii
    Logical Bisimulations and Functional Languages. [Citation Graph (0, 0)][DBLP]
    FSEN, 2007, pp:364-379 [Conf]
  19. Eijiro Sumii, Benjamin C. Pierce
    A bisimulation for type abstraction and recursion. [Citation Graph (0, 0)][DBLP]
    J. ACM, 2007, v:54, n:5, pp:- [Journal]

  20. The Higher-Order, Call-by-Value Applied Pi-Calculus. [Citation Graph (, )][DBLP]


  21. A Complete Characterization of Observational Equivalence in Polymorphic lambda-Calculus with General References. [Citation Graph (, )][DBLP]


  22. A Theory of Non-monotone Memory (Or: Contexts for free). [Citation Graph (, )][DBLP]


  23. Sound Bisimulations for Higher-Order Distributed Process Calculus [Citation Graph (, )][DBLP]


Search in 0.004secs, 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