SIGMOD '00 Proceedings of the 2000 ACM SIGMOD international conference on Management of data
Interactive Design of Object-Oriented Schema
IDEAS '99 Proceedings of the 1999 International Symposium on Database Engineering & Applications
Semantic Query Optimization for ODMG-93 Databases
IDEAS '99 Proceedings of the 1999 International Symposium on Database Engineering & Applications
Weakly-relational shapes for numeric abstractions: improved algorithms and proofs of correctness
Formal Methods in System Design
An improved tight closure algorithm for integer octagonal constraints
VMCAI'08 Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation
| Hi-index | 0.00 |