A Theorem Prover-Based Analysis Tool for Object-Oriented Databases
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Charm: An I/O-Driven Execution Strategy for High-Performance Transaction Processing
Proceedings of the General Track: 2002 USENIX Annual Technical Conference
Correct Execution of Transactions at Different Isolation Levels
IEEE Transactions on Knowledge and Data Engineering
Automatic workflow verification and generation
Theoretical Computer Science
| Hi-index | 0.00 |