Concepedia

Atsushi Ohori

AO

26

Publications

1K

Citations

16

H-Index

1988

Active since

Affiliations

University of Pennsylvania(Current)

Kyoto University

Tohoku University

Japan Advanced Institute of Science and Technology

Philadelphia University

Atsushi Ohori is an author at University of Pennsylvania specializing in formal methods, engineering, and program analysis.

Top concepts

Publications per year

1988–2011

26

Publications

26

Database programming in Machiavelli—a polymorphic language with static type inference

Atsushi Ohori, Peter Buneman, Val Breazu-Tannen · ACM SIGMOD Record · 1989 · 139 citations · Full text

, , +17

Using powerdomains to generalize relational databases

Peter Buneman, Achim Jung, Atsushi Ohori · Theoretical Computer Science · 1991 · 112 citations · Full text

A polymorphic record calculus and its compilation

Atsushi Ohori · ACM Transactions on Programming Languages and Systems · 1995 · 104 citations · Full text

, , +9

Database programming in Machiavelli---a polymorphic language with static type inference

Atsushi Ohori, Peter Buneman, Val Breazu-Tannen · 1989 · 83 citations · Full text

Type inference in a database programming language

Atsushi Ohori, Peter Buneman · 1988 · 80 citations · Full text

, , +12

Rows per page

1–5 of 26