Xiaolei Qian - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 49 from 49

1997

Secure Software ArchitecturesMark Moriconi, Xiaolei Qian, Robert A. Riemenschneider, Li Gong. sp 1997: 84-93 [doi]

A Semantic Framework of the Multilevel Secure Relational ModelXiaolei Qian, Teresa F. Lunt. tkde, 9(2):292-301, 1997. [doi]

Opportunities in Information Management and AssuranceXiaolei Qian. SIGMOD, 26(1):82-84, 1997. [doi]

1996

A Security Model of Dynamic Labeling Providing a Tiered Approach to VerificationSimon N. Foley, Li Gong, Xiaolei Qian. sp 1996: 142-153 [doi]

Computational Issues in Secure InteroperationLi Gong, Xiaolei Qian. TSE, 22(1):43-52, 1996. [doi]

View-Based Access Control with High AssuranceXiaolei Qian. sp 1996: 85-93 [doi]

Correct Schema TransformationsXiaolei Qian. edbt 1996: 114-128 [doi]

Query FoldingXiaolei Qian. icde 1996: 48-55 [doi]

Scientist s Called Upon to Take ActionsXiaolei Qian. SIGMOD, 25(3):77-80, 1996. [doi]

New Programs at DARPA and NSFXiaolei Qian. SIGMOD, 25(4):94-98, 1996. [doi]

Shutdown, Budget, and FundingXiaolei Qian. SIGMOD, 25(1):119-122, 1996. [doi]

A MAC Policy Framework for Multilevel Relational DatabasesXiaolei Qian, Teresa F. Lunt. tkde, 8(1):3-15, 1996. [doi]

1995

Enriching the Expressive Power of Security LabelsLi Gong, Xiaolei Qian. tkde, 7(5):839-841, 1995. [doi]

Correct Architecture RefinementMark Moriconi, Xiaolei Qian, Robert A. Riemenschneider. TSE, 21(4):356-372, 1995. [doi]

Towards a MAC Policy FrameworkXiaolei Qian, Teresa F. Lunt. dbsec 1996: 165-180

Opportunities at ARPA, NSF, and ElsewhereXiaolei Qian. SIGMOD, 24(4):90-93, 1995. [doi]

Turmoil at NASA, and Numerous Funding AnnouncementsXiaolei Qian. SIGMOD, 24(3):83-90, 1995. [doi]

Political Winds Change Direction AgainXiaolei Qian. SIGMOD, 24(1):100-105, 1995. [doi]

Query Interoperation Among Object-Oriented and Relational DatabasesXiaolei Qian, Louiqa Raschid. icde 1995: 271-278 [doi]

1994

1993

1992

Toward a Tool to Detect and Eliminate Inference Problems in the Design of Multilevel DatabasesThomas D. Garvey, Teresa F. Lunt, Xiaolei Qian, Mark E. Stickel. dbsec 1993: 149-168

Integrity Maintenance in Object-Oriented DatabasesH. V. Jagadish, Xiaolei Qian. VLDB 1992: 469-480 [doi]

Tuple-level vs Element-level ClassificationXiaolei Qian, Teresa F. Lunt. dbsec 1993: 301-316

1991

The Expressive Power of the Bounded-Iteration ConstructXiaolei Qian. ACTA, 28(7):631-656, 1991.

Incremental Recomputation of Active Relational ExpressionsXiaolei Qian, Gio Wiederhold. tkde, 3(3):337-341, 1991. [doi]

1990

Synthesizing Database TransactionsXiaolei Qian. VLDB 1990: 552-565 [doi]

An Axiom System for Database TransactionsXiaolei Qian. ipl, 36(4):183-189, 1990.

Consistency management in a project management assistantXiaolei Qian, Richard Jüllig, Marilyn Daum. SDE 1990: 34-43 [doi]

Consistency Control of Replicated Data in Federated DatabasesGio Wiederhold, Xiaolei Qian. wmrd 1990: 130-132

1989

On the Expressive Power of the Bounded Iteration ConstructXiaolei Qian. DBPL 1990: 411-421 [doi]

The deductive synthesis of database transactionsXiaolei Qian. PhD thesis, Stanford University, USA, 1989. [doi]

1988

A Transaction Logic for Database SpecificationXiaolei Qian, Richard J. Waldinger. SIGMOD 1988: 243-250 [doi]

An Effective Method for Integrity Constraint SimplificationXiaolei Qian. icde 1988: 338-345 [doi]

Distribution Design of Integrity ConstraintsXiaolei Qian. treds 1988: 205-226

1987

Integrity Constraint Reformulation for Efficient ValidationXiaolei Qian, Douglas R. Smith. VLDB 1987: 417-425 [doi]

Modeling Asynchrony in Distributed DatabasesGio Wiederhold, Xiaolei Qian. icde 1987: 246-250 [doi]

1986

Knowledge-based Integrity Constraint ValidationXiaolei Qian, Gio Wiederhold. VLDB 1986: 3-12 [doi]

1985

Data Definition Facilities of CritiasXiaolei Qian, Gio Wiederhold. er 1985: 46-55 [doi]

Sign in or sign up to see more results.

runs on WebDSL