Login / Signup
Mike Dai Qin
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Databases
Mechanism Design
Long Lived
Constraint Checking
Top Venues
ACM Trans. Storage
</>
Publications
</>
Daniel Fryer
,
Mike Dai Qin
,
Jack Sun
,
Kah Wai Lee
,
Angela Demke Brown
,
Ashvin Goel
Checking the Integrity of Transactional Mechanisms.
ACM Trans. Storage
10 (4) (2014)