Login / Signup
Jeremy Hurwitz
Publication Activity (10 Years)
Years Active: 2011-2013
Publications (10 Years): 0
Top Topics
Formal Verification
Transaction Management
Acid Properties
Nested Transactions
Top Venues
CoRR
ICDCS
</>
Publications
</>
Wojciech M. Golab
,
Jeremy Hurwitz
,
Xiaozhou Li
On the k-Atomicity-Verification Problem.
CoRR
(2013)
Wojciech M. Golab
,
Jeremy Hurwitz
,
Xiaozhou Li
On the k-Atomicity-Verification Problem.
ICDCS
(2013)
Jeremy Hurwitz
A Nearly-Quadratic Gap Between Adaptive and Non-Adaptive Property Testers
CoRR
(2011)
Jeremy Hurwitz
A Nearly-Quadratic Gap between Adaptive and Non-adaptive Property Testers - (Extended Abstract).
ISAAC
(2011)