Atsushi Ohori

引用先

	すべて	2016 年以来
引用	1712	149
h 指標	20	6
i10 指標	39	4

100

19881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020217 41 41 79 60 86 95 71 62 64 72 62 45 45 45 45 48 53 67 77 75 44 48 38 45 47 38 35 50 23 33 22 20 1

共著者

Peter BunemanProfessor, University of Edinburgh確認したメールアドレス: inf.ed.ac.uk
Kazuhiko KatoProfessor, Departmen of Computer Science, University of Tsukuba確認したメールアドレス: cs.tsukuba.ac.jp
Achim JungProfessor of Computer Science, University of Birmingham, UK確認したメールアドレス: cs.bham.ac.uk
Isao SasanoShibaura Institute of Technology確認したメールアドレス: sic.shibaura-it.ac.jp
Masatomo HashimotoSoftware Technology and Artificial Intelligence Research Lab, Chiba Institute of Technology確認したメールアドレス: p.chibakoudai.jp
Dennis ShashaProfessor of Computer Science, New York University確認したメールアドレス: cs.nyu.edu
Richard ConnorUniversity of St Andrews確認したメールアドレス: st-andrews.ac.uk
Yutaka MatsunoDepartment of Computer Engineering, College of Science and Technology, Nihon University確認したメールアドレス: nihon-u.ac.jp
Alan MycroftProfessor of Computing, University of Cambridge確認したメールアドレス: cl.cam.ac.uk
Xavier LeroyCollège de France確認したメールアドレス: college-de-france.fr
Joachim SchmidtLecturer of Space Science, Sydney University確認したメールアドレス: sydney.edu.au
Florian MatthesProfessor of Computer Science, Technische Universität München確認したメールアドレス: tum.de
Kwanghoon ChoiChonnam National University, Gwang-Ju, Republic of Korea確認したメールアドレス: jnu.ac.kr
Masato TakeichiUniversity of Tokyo確認したメールアドレス: acm.org
Kenjiro TauraAssociate Professor of Computer Science, University of Tokyo確認したメールアドレス: eidos.ic.i.u-tokyo.ac.jp
Jieh HsiangNational Taiwan University確認したメールアドレス: ntu.edu.tw
Giorgio Ghelli確認したメールアドレス: di.unipi.it

Atsushi Ohori

Tohoku University

確認したメールアドレス: riec.tohoku.ac.jp

Programming Languages Databases


タイトル引用回数順公開年順タイトル順	引用先引用先	年
Database programming in Machiavelli—a polymorphic language with static type inference A Ohori, P Buneman, V Breazu-Tannen ACM SIGMOD Record 18 (2), 46-57, 1989	198	1989
A polymorphic record calculus and its compilation A Ohori ACM Transactions on Programming Languages and Systems (TOPLAS) 17 (6), 844-895, 1995	162	1995
Using powerdomains to generalize relational databases P Buneman, A Jung, A Ohori Theoretical Computer Science 91 (1), 23-55, 1991	153	1991
Using powerdomains to generalize relational databases P Buneman, A Jung, A Ohori Theoretical Computer Science 91 (1), 23-55, 1991	153	1991
Type inference in a database programming language A Ohori, P Buneman Proceedings of the 1988 ACM conference on LISP and functional programming …, 1988	93	1988
A compilation method for ML-style polymorphic record calculi A Ohori Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of …, 1992	91	1992
A typed context calculus M Hashimoto, A Ohori Theoretical Computer Science 266 (1-2), 249-272, 2001	85	2001
A typed context calculus M Hashimoto, A Ohori Theoretical Computer Science 266 (1-2), 249-272, 2001	85	2001
Polymorphism and type inference in database programming P Buneman, A Ohori ACM Transactions on Database Systems (TODS) 21 (1), 30-76, 1996	84	1996
Polymorphism and type inference in database programming P Buneman, A Ohori ACM Transactions on Database Systems (TODS) 21 (1), 30-76, 1996	82	1996
Semantics for communication primitives in a polymorphic language A Ohori, K Kato Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993	63	1993
Lightweight fusion by fixed point promotion A Ohori, I Sasano ACM SIGPLAN Notices 42 (1), 143-154, 2007	58	2007
Static type inference for parametric classes A Ohori, P Buneman Conference proceedings on Object-oriented programming systems, languages and …, 1989	56	1989
Static type inference for parametric classes A Ohori, P Buneman Conference proceedings on Object-oriented programming systems, languages and …, 1989	56	1989
Semantics of types for database objects A Ohori Theoretical Computer Science 76 (1), 53-91, 1990	53	1990
Semantics of types for database objects A Ohori Theoretical Computer Science 76 (1), 53-91, 1990	53	1990
A simple semantics for ML polymorphism A Ohori Proceedings of the fourth international conference on Functional programming …, 1989	38	1989
Representing object identity in a pure functional language A Ohori International Conference on Database Theory, 39-55, 1990	35	1990
Making Standard ML a practical database programming language A Ohori, K Ueno Proceedings of the 16th ACM SIGPLAN international conference on Functional …, 2011	34	2011
A polymorphic calculus for views and object sharing A Ohori, K Tajima Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on …, 1994	34	1994

現在システムで処理を実行できません。しばらくしてからもう一度お試しください。

論文 1–20

年間引用数

重複した引用

結合された引用

共著者を追加共著者

PDF のアップロード

この著者をフォローする

引用先

共著者