Searching for authors named "Xiaolei Qian" – sorted by Relevance.
-
Semantic Interoperation Via Intelligent Mediation
- Semantic Interoperation Via Intelligent Mediation Xiaolei Qian Computer Science Laboratory, SRI
- Cited by 19 (1 self) – Add To MetaCart
-
Synthesizing database transactions
- Abstract Synthesizing Database Transactions Xiaolei Qian Department of Computer Science, Stanford
- Cited by 1 (0 self) – Add To MetaCart
-
The Expressive Power of The Bounded-Iteration Construct
- The Expressive Power of The Bounded-Iteration Construct y Xiaolei Qian z Department of Computer
- Cited by 8 (1 self) – Add To MetaCart
-
Correct Schema Transformations
- Correct Schema Transformations Xiaolei Qian Computer Science Laboratory SRI International qian
- Cited by 6 (0 self) – Add To MetaCart
-
The Deductive Synthesis of Database Transactions
- The Deductive Synthesis of Database Transactions y Xiaolei Qian z Department of Computer Science
- Cited by 23 (3 self) – Add To MetaCart
-
An Axiom System for Database Transactions
- An Axiom System for Database Transactions Xiaolei Qian y Department of Computer Science
- Cited by 10 (1 self) – Add To MetaCart
-
A Model-Theoretic Semantics of The Multilevel Relational Model
- of The Multilevel Relational Model Xiaolei Qian Computer Science Laboratory, SRI International 333 Ravenswood
- Cited by 3 (0 self) – Add To MetaCart
-
View-Based Access Control with High Assurance
- View-Based Access Control with High Assurance Xiaolei Qian Computer Science Laboratory SRI
- Cited by 3 (0 self) – Add To MetaCart
-
Query Folding
- Query Folding Xiaolei Qian Computer Science Laboratory SRI International qian
- Cited by 125 (1 self) – Add To MetaCart
-
The Complexity and Composability of Secure Interoperation
- The Complexity and Composability of Secure Interoperation Li Gong and Xiaolei Qian SRI
- Cited by 24 (2 self) – Add To MetaCart

