The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Atsushi Ohori: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Atsushi Ohori, Peter Buneman, Val Tannen
    Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference. [Citation Graph (40, 17)][DBLP]
    SIGMOD Conference, 1989, pp:46-57 [Conf]
  2. Peter Buneman, Achim Jung, Atsushi Ohori
    Using Powerdomains to Generalize Relational Databases. [Citation Graph (20, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:91, n:1, pp:23-55 [Journal]
  3. Peter Buneman, Atsushi Ohori
    A Type System that Reconsiles Classes and Extents. [Citation Graph (8, 8)][DBLP]
    DBPL, 1991, pp:191-202 [Conf]
  4. Peter Buneman, Atsushi Ohori
    Polymorphism and Type Inference in Database Programming. [Citation Graph (7, 46)][DBLP]
    ACM Trans. Database Syst., 1996, v:21, n:1, pp:30-76 [Journal]
  5. Atsushi Ohori
    Semantics of Types for Database Objects. [Citation Graph (6, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:76, n:1, pp:53-91 [Journal]
  6. Val Tannen, Peter Buneman, Atsushi Ohori
    Can Object-Oriented Databases be Statically Typed? [Citation Graph (5, 17)][DBLP]
    DBPL, 1989, pp:226-237 [Conf]
  7. Atsushi Ohori, Peter Buneman
    Type Inference in a Database Programming Language. [Citation Graph (5, 0)][DBLP]
    LISP and Functional Programming, 1988, pp:174-183 [Conf]
  8. Atsushi Ohori
    Orderings and Types in Databases. [Citation Graph (4, 10)][DBLP]
    DBPL, 1987, pp:97-116 [Conf]
  9. Atsushi Ohori
    Semantics of Types for Database Objects. [Citation Graph (4, 10)][DBLP]
    ICDT, 1988, pp:239-251 [Conf]
  10. Florian Matthes, Atsushi Ohori, Joachim W. Schmidt
    Typing Schemes for Objects with Locality. [Citation Graph (3, 0)][DBLP]
    East/West Database Workshop, 1990, pp:106-123 [Conf]
  11. Atsushi Ohori
    Representing Object Identity in a Pure Functional Language. [Citation Graph (3, 22)][DBLP]
    ICDT, 1990, pp:41-55 [Conf]
  12. Atsushi Ohori, Peter Buneman
    Static Type Inference for Parametric Classes. [Citation Graph (3, 0)][DBLP]
    OOPSLA, 1989, pp:445-456 [Conf]
  13. Peter Buneman, Atsushi Ohori
    A Domain Theoretic Approach to Higher-Order Relations. [Citation Graph (2, 14)][DBLP]
    ICDT, 1986, pp:91-104 [Conf]
  14. Atsushi Ohori
    A Compilation Method for ML-Style Polymorphic Record Calculi. [Citation Graph (2, 0)][DBLP]
    POPL, 1992, pp:154-165 [Conf]
  15. Val Tannen, Peter Buneman, Atsushi Ohori
    Static Type-checking in Object-Oriented Databases. [Citation Graph (2, 0)][DBLP]
    IEEE Data Eng. Bull., 1989, v:12, n:3, pp:5-12 [Journal]
  16. Atsushi Ohori, Keishi Tajima
    A Polymorphic Calculus for Views and Object Sharing. [Citation Graph (1, 24)][DBLP]
    PODS, 1994, pp:255-266 [Conf]
  17. Atsushi Ohori, Ivan Tabkha, Richard C. H. Connor, Paul Philbrow
    Persistence and Type Abstraction Revisited. [Citation Graph (1, 0)][DBLP]
    POS, 1990, pp:141-153 [Conf]
  18. Val Tannen, Peter Buneman, Atsushi Ohori
    Data Structures and Data Types for Object-Oriented Databases. [Citation Graph (1, 0)][DBLP]
    IEEE Data Eng. Bull., 1991, v:14, n:2, pp:23-27 [Journal]
  19. Atsushi Ohori
    A Polymorphic Record Calculus and Its Compilation. [Citation Graph (1, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1995, v:17, n:6, pp:844-895 [Journal]
  20. Atsushi Ohori
    Logical Analysis of Assembly Language. [Citation Graph (0, 0)][DBLP]
    APLAS, 2000, pp:179- [Conf]
  21. Atsushi Ohori
    Proof-Directed Compilation for Inter-operable Languages. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:301-311 [Conf]
  22. Kwanghoon Choi, Atsushi Ohori
    A Type Theory for Krivine-Style Evaluation and Compilation. [Citation Graph (0, 0)][DBLP]
    APLAS, 2004, pp:213-228 [Conf]
  23. Atsushi Ohori, Kiyoshi Yamatodani
    An Interoperable Calculus for External Object Access. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:127- [Conf]
  24. Shin-ya Katsumata, Atsushi Ohori
    Proof-Directed De-compilation of Low-Level Code. [Citation Graph (0, 0)][DBLP]
    ESOP, 2001, pp:352-366 [Conf]
  25. Atsushi Ohori
    Register Allocation by Proof Transformation. [Citation Graph (0, 0)][DBLP]
    ESOP, 2003, pp:399-413 [Conf]
  26. Atsushi Ohori
    The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code. [Citation Graph (0, 0)][DBLP]
    Fuji International Symposium on Functional and Logic Programming, 1999, pp:300-318 [Conf]
  27. Atsushi Ohori
    A Simple Semantics for ML Polymorphism. [Citation Graph (0, 0)][DBLP]
    FPCA, 1989, pp:281-292 [Conf]
  28. Tomoyuki Higuchi, Atsushi Ohori
    A static type system for JVM access control. [Citation Graph (0, 0)][DBLP]
    ICFP, 2003, pp:227-237 [Conf]
  29. Atsushi Ohori, Kiyoshi Yamatodani
    An interoperable calculus for external object access. [Citation Graph (0, 0)][DBLP]
    ICFP, 2002, pp:60-71 [Conf]
  30. Atsushi Ohori, Nobuaki Yoshida
    Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML. [Citation Graph (0, 0)][DBLP]
    ICFP, 1999, pp:160-171 [Conf]
  31. Susumu Nishimura, Atsushi Ohori, Keishi Tajima
    An Equational Object-Oriented Data Model and its Data-Parallel Query Language. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1996, pp:1-17 [Conf]
  32. Atsushi Ohori, Kazuhiko Kato
    Semantics for Communication Primitives in an Polymorphic Language. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:99-112 [Conf]
  33. Atsushi Ohori, Isao Sasano
    Lightweight fusion by fixed point promotion. [Citation Graph (0, 0)][DBLP]
    POPL, 2007, pp:143-154 [Conf]
  34. Richard C. H. Connor, Malcolm P. Atkinson, Giorgio Ghelli, Atsushi Ohori
    Keynote Discussion Session on Persistent Type Systems. [Citation Graph (0, 0)][DBLP]
    POS, 1992, pp:216-221 [Conf]
  35. Tomoyuki Higuchi, Atsushi Ohori
    Java bytecode as a typed term calculus. [Citation Graph (0, 0)][DBLP]
    PPDP, 2002, pp:201-211 [Conf]
  36. Yutaka Matsuno, Atsushi Ohori
    A type system equivalent to static single assignment. [Citation Graph (0, 0)][DBLP]
    PPDP, 2006, pp:249-260 [Conf]
  37. Huu-Duc Nguyen, Atsushi Ohori
    Compiling ML polymorphism with explicit layout bitmap. [Citation Graph (0, 0)][DBLP]
    PPDP, 2006, pp:237-248 [Conf]
  38. Atsushi Ohori
    Type System for Specializing Polymorphism. [Citation Graph (0, 0)][DBLP]
    TACS, 1997, pp:107-137 [Conf]
  39. Atsushi Ohori
    A Curry-Howard Isomorphism for Compilation and Program Execution. [Citation Graph (0, 0)][DBLP]
    TLCA, 1999, pp:280-294 [Conf]
  40. Susumu Nishimura, Atsushi Ohori
    A Calculus for Exploiting Data Parallelism on Recursively Defined Data. [Citation Graph (0, 0)][DBLP]
    Theory and Practice of Parallel Programming, 1994, pp:413-432 [Conf]
  41. Alan Mycroft, Atsushi Ohori, Shin-ya Katsumata
    Comparing Type-Based and Proof-Directed Decompilation. [Citation Graph (0, 0)][DBLP]
    WCRE, 2001, pp:362-367 [Conf]
  42. Atsushi Ohori
    Type-Directed Specialization of Polymorphism. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1999, v:155, n:1-2, pp:64-107 [Journal]
  43. Susumu Nishimura, Atsushi Ohori
    Parallel Functional Programming on Recursively Defined Data via Data-Parallel Recursion. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1999, v:9, n:4, pp:427-462 [Journal]
  44. Atsushi Ohori, Tomonobu Takamizawa
    An Unboxed Operational Semantics for ML Polymorphism. [Citation Graph (0, 0)][DBLP]
    Lisp and Symbolic Computation, 1997, v:10, n:1, pp:61-91 [Journal]
  45. Atsushi Ohori
    Register allocation by proof transformation. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2004, v:50, n:1-3, pp:161-187 [Journal]
  46. Masatomo Hashimoto, Atsushi Ohori
    A typed context calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:266, n:1-2, pp:249-272 [Journal]
  47. Tomoyuki Higuchi, Atsushi Ohori
    A static type system for JVM access control. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2007, v:29, n:1, pp:- [Journal]
  48. Atsushi Ohori
    A proof theory for machine code. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2007, v:29, n:6, pp:- [Journal]

Search in 0.006secs, Finished in 0.008secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002