| 1997 |
|---|
| 44 | EE | Mark Moriconi,
Xiaolei Qian,
Robert A. Riemenschneider,
Li Gong:
Secure Software Architectures.
IEEE Symposium on Security and Privacy 1997: 84-93 |
| 43 | EE | Xiaolei Qian,
Teresa F. Lunt:
A Semantic Framework of the Multilevel Secure Relational Model.
IEEE Trans. Knowl. Data Eng. 9(2): 292-301 (1997) |
| 42 | EE | Xiaolei Qian:
Opportunities in Information Management and Assurance.
SIGMOD Record 26(1): 82-84 (1997) |
| 1996 |
|---|
| 41 | EE | Xiaolei Qian:
Correct Schema Transformations.
EDBT 1996: 114-128 |
| 40 | EE | Xiaolei Qian:
Query Folding.
ICDE 1996: 48-55 |
| 39 | EE | Simon N. Foley,
Li Gong,
Xiaolei Qian:
A Security Model of Dynamic Labeling Providing a Tiered Approach to Verification.
IEEE Symposium on Security and Privacy 1996: 142-153 |
| 38 | EE | Xiaolei Qian:
View-Based Access Control with High Assurance.
IEEE Symposium on Security and Privacy 1996: 85-93 |
| 37 | EE | Xiaolei Qian,
Teresa F. Lunt:
A MAC Policy Framework for Multilevel Relational Databases.
IEEE Trans. Knowl. Data Eng. 8(1): 3-15 (1996) |
| 36 | EE | Li Gong,
Xiaolei Qian:
Computational Issues in Secure Interoperation.
IEEE Trans. Software Eng. 22(1): 43-52 (1996) |
| 35 | EE | Xiaolei Qian:
Shutdown, Budget, and Funding.
SIGMOD Record 25(1): 119-122 (1996) |
| 34 | EE | Xiaolei Qian:
Scientist's Called Upon to Take Actions.
SIGMOD Record 25(3): 77-80 (1996) |
| 33 | EE | Xiaolei Qian:
New Programs at DARPA and NSF.
SIGMOD Record 25(4): 94-98 (1996) |
| 1995 |
|---|
| 32 | | Xiaolei Qian,
Teresa F. Lunt:
Towards a MAC Policy Framework.
DBSec 1995: 165-180 |
| 31 | EE | Xiaolei Qian,
Louiqa Raschid:
Query Interoperation Among Object-Oriented and Relational Databases.
ICDE 1995: 271-278 |
| 30 | EE | Li Gong,
Xiaolei Qian:
Enriching the Expressive Power of Security Labels.
IEEE Trans. Knowl. Data Eng. 7(5): 839-841 (1995) |
| 29 | EE | Mark Moriconi,
Xiaolei Qian,
Robert A. Riemenschneider:
Correct Architecture Refinement.
IEEE Trans. Software Eng. 21(4): 356-372 (1995) |
| 28 | EE | Xiaolei Qian:
Political Winds Change Direction Again.
SIGMOD Record 24(1): 100-105 (1995) |
| 27 | EE | Xiaolei Qian:
Turmoil at NASA, and Numerous Funding Announcements.
SIGMOD Record 24(3): 83-90 (1995) |
| 26 | EE | Xiaolei Qian:
Opportunities at ARPA, NSF, and Elsewhere
SIGMOD Record 24(4): 90-93 (1995) |
| 1994 |
|---|
| 25 | EE | Xiaolei Qian:
A Model-Theoretic Semantics of the Multilevel Relational Model.
EDBT 1994: 201-214 |
| 24 | EE | Mark Moriconi,
Xiaolei Qian:
Correctness and Composition of Software Architectures.
SIGSOFT FSE 1994: 164-174 |
| 23 | EE | Marianne Winslett,
Kenneth Smith,
Xiaolei Qian:
Formal Query Languages for Secure Relational Databases.
ACM Trans. Database Syst. 19(4): 626-662 (1994) |
| 22 | EE | Xiaolei Qian:
Jumping on the NII Bandwagon.
SIGMOD Record 23(3): 61-65 (1994) |
| 21 | EE | Xiaolei Qian:
Announcements from NSF, NASA, and Elsewhere.
SIGMOD Record 23(4): 104-107 (1994) |
| 1993 |
|---|
| 20 | | Xiaolei Qian:
Semantic Interoperation Via Intelligent Mediation.
RIDE-IMS 1993: 228-231 |
| 19 | EE | José Meseguer,
Xiaolei Qian:
A Logical Semantics for Object-Oriented Databases.
SIGMOD Conference 1993: 89-98 |
| 18 | EE | Xiaolei Qian:
The Deductive Synthesis of Database Transactions.
ACM Trans. Database Syst. 18(4): 626-677 (1993) |
| 17 | EE | Xiaolei Qian,
Allen Goldberg:
Referential Opacity In Nondeterministic Data Refinement.
LOPLAS 2(1-4): 233-241 (1993) |
| 1992 |
|---|
| 16 | | Thomas D. Garvey,
Teresa F. Lunt,
Xiaolei Qian,
Mark E. Stickel:
Toward a Tool to Detect and Eliminate Inference Problems in the Design of Multilevel Databases.
DBSec 1992: 149-168 |
| 15 | | Xiaolei Qian,
Teresa F. Lunt:
Tuple-level vs Element-level Classification.
DBSec 1992: 301-316 |
| 14 | EE | H. V. Jagadish,
Xiaolei Qian:
Integrity Maintenance in Object-Oriented Databases.
VLDB 1992: 469-480 |
| 1991 |
|---|
| 13 | | Xiaolei Qian:
The Expressive Power of the Bounded-Iteration Construct.
Acta Inf. 28(7): 631-656 (1991) |
| 12 | EE | Xiaolei Qian,
Gio Wiederhold:
Incremental Recomputation of Active Relational Expressions.
IEEE Trans. Knowl. Data Eng. 3(3): 337-341 (1991) |
| 1990 |
|---|
| 11 | EE | Xiaolei Qian:
Synthesizing Database Transactions.
VLDB 1990: 552-565 |
| 10 | | Gio Wiederhold,
Xiaolei Qian:
Consistency Control of Replicated Data in Federated Databases.
Workshop on the Management of Replicated Data 1990: 130-132 |
| 9 | | Xiaolei Qian:
An Axiom System for Database Transactions.
Inf. Process. Lett. 36(4): 183-189 (1990) |
| 1989 |
|---|
| 8 | EE | Xiaolei Qian:
On the Expressive Power of the Bounded Iteration Construct.
DBPL 1989: 411-421 |
| 1988 |
|---|
| 7 | | Xiaolei Qian:
Distribution Design of Integrity Constraints.
Expert Database Conf. 1988: 205-226 |
| 6 | EE | Xiaolei Qian:
An Effective Method for Integrity Constraint Simplification.
ICDE 1988: 338-345 |
| 5 | EE | Xiaolei Qian,
Richard J. Waldinger:
A Transaction Logic for Database Specification.
SIGMOD Conference 1988: 243-250 |
| 1987 |
|---|
| 4 | EE | Gio Wiederhold,
Xiaolei Qian:
Modeling Asynchrony in Distributed Databases.
ICDE 1987: 246-250 |
| 3 | EE | Xiaolei Qian,
Douglas R. Smith:
Integrity Constraint Reformulation for Efficient Validation.
VLDB 1987: 417-425 |
| 1986 |
|---|
| 2 | EE | Xiaolei Qian,
Gio Wiederhold:
Knowledge-based Integrity Constraint Validation.
VLDB 1986: 3-12 |
| 1985 |
|---|
| 1 | EE | Xiaolei Qian,
Gio Wiederhold:
Data Definition Facilities of Critias.
ER 1985: 46-55 |
