Parallelism and recovery in database systems
ACM Transactions on Database Systems (TODS)
Process synchronization in database systems
ACM Transactions on Database Systems (TODS)
Journal of the ACM (JACM)
Algorithmic aspects of multiversion concurrency control
PODS '85 Proceedings of the fourth ACM SIGACT-SIGMOD symposium on Principles of database systems
The notions of consistency and predicate locks in a database system
Communications of the ACM
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Distributed database concurrency controls using before-values
SIGMOD '81 Proceedings of the 1981 ACM SIGMOD international conference on Management of data
Towards a self-adapting centralized concurrency control algorithm
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
A Sophisticate's Introduction to Distributed Concurrency Control (Invited Paper)
VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
On rigorous Transaction Scheduling
IEEE Transactions on Software Engineering
Serialization graph algorithms for multiversion concurrency control
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Monitoring Atomicity in Concurrent Programs
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
Runtime verification for software transactional memories
RV'10 Proceedings of the First international conference on Runtime verification
| Hi-index | 0.00 |