Concepedia

Ming-Yee Lai

ML

Statistics

Publications

6

Citations

146

H-Index

6

Active since

1981

Affiliations

Core Competence(Current)

Ming-Yee Lai is an author at Core Competence specializing in databases, computer science, and computing.

Publications per year

1981–1988

6

Publications

6

A concurrency control theory for nested transactions (Preliminary Report)

Catriel Beeri, P. A. Bernstein, Nathan Goodman et al. · 1983 · 39 citations

Computing, Computer Science, Computer Systems +16

Distributed Transaction Management in Jasmin

Ming-Yee Lai, W. Kevin Wilkinson · Very Large Data Bases · 1984 · 23 citations

Computing, Computer Science, Computer Systems +17

Two Part Proof Schema for Database Concurrency Control.

Philip A. Bernstein, Nathan Goodman, Ming-Yee Lai · Berkeley Workshop · 1981 · 23 citations

Computing, Computer Science, Computer Systems +14

A relational algebraic approach to protocol verification

T.T. Lee, Ming-Yee Lai · IEEE Transactions on Software Engineering · 1988 · 22 citations

Computing, Computer Engineering, Computer Science +17

Overview of the Jasmin database machine

Daniel Fishman, Ming-Yee Lai, W. Kevin Wilkinson · 1984 · 22 citations

Computing, Computer Engineering, Computer Science +17

1–5 of 6