1. A structured approach for cooperative query answering;Chu;IEEE Transactions on Knowledge and Data Engineering,1994
2. Providing ranked cooperative query answers using the metricized knowledge abstraction hierarchy;Keun Shin;Expert Systems with Applications,2007
3. On the correctness criteria of fine-grained access control in relational databases;Wang,2007
4. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints;Cousot,1977
5. Systematic design of program analysis frameworks;Cousot,1979