 | 2000 |
|---|
| 12 |       | Amjad Umar,
Deborah Elsinger,
Ming-Yee Lai:
Next Generation Enterprises: A Framework for Analysis.
AIWoRC 2000: 101-106 |
| 1990 |
|---|
| 11 |  | Ming-Yee Lai:
An Advanced Overview of the XIS Architecture.
ICSI 1990: 625-633 |
| 1989 |
|---|
| 10 | | Ming-Yee Lai,
W. Kevin Wilkinson,
Vladimir Lanin:
On Distributing JASMIN's Optimistic Multiversioning Page Manager.
IEEE Trans. Software Eng. 15(6): 696-704 (1989) |
| 1988 |
|---|
| 9 | | Tony T. Lee,
Ming-Yee Lai:
A Relational Algebraic Approach to Protocol Verification.
IEEE Trans. Software Eng. 14(2): 184-193 (1988) |
| 1987 |
|---|
| 8 | | Ming-Yee Lai,
Tony T. Lee:
Protocol Verification Using Relational Database Systems.
ICDE 1987: 347-354 |
| 7 | | Ming-Yee Lai,
Vladimir Lanin:
Distributing the Optimistic Multiversioning Page Manager in the Jasmin Database Machine.
IWDM 1987: 131-142 |
| 1986 |
|---|
| 6 | | W. Kevin Wilkinson,
Ming-Yee Lai:
The JASMIN Kernel as a Data Manager Base.
IEEE Database Eng. Bull. 9(3): 9-16 (1986) |
| 1984 |
|---|
| 5 | | Daniel H. Fishman,
Ming-Yee Lai,
W. Kevin Wilkinson:
Overview of the Jasmin Database Machine.
SIGMOD Conference 1984: 234-239 |
| 4 | | W. Kevin Wilkinson,
Ming-Yee Lai:
Managing Replicate Data in JASMIN.
Symposium on Reliability in Distributed Software and Database Systems 1984: 54-60 |
| 3 | | Ming-Yee Lai,
W. Kevin Wilkinson:
Distributed Transaction Management in Jasmin.
VLDB 1984: 466-470 |
| 1983 |
|---|
| 2 | | Philip A. Bernstein,
Nathan Goodman,
Ming-Yee Lai:
Analyzing Concurrency Control Algorithms When User and System Operations Differ.
IEEE Trans. Software Eng. 9(3): 233-239 (1983) |
| 1981 |
|---|
| 1 | | Philip A. Bernstein,
Nathan Goodman,
Ming-Yee Lai:
Two Part Proof Schema for Database Concurrency Control.
Berkeley Workshop 1981: 71-84 |
