Logic Programming and Model Checking. - Baoqiu Cui; Yifei Dong; Xiaoqun Du; K. Narayan Kumar; C. R. Ramakrishnan 001; I. V. Ramakrishnan; Abhik Roychoudhury; Scott A. Smolka; David Scott Warren (PLILP/ALP, 1998)

Multiple Terms in a Tabled Logic Programming System. - Baoqiu Cui; David Scott Warren (ICLP, 1999)

A Case Study in Using Preference Logic Grammars for Knowledge Representations. - Baoqiu Cui; Terrance Swift; David Scott Warren (LPNMR, 1999)

Attributed Variables in XSB. - Baoqiu Cui; David Scott Warren (Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP, 1999)

A System for Tabled Constraint Logic Programming. - Baoqiu Cui; David Scott Warren (Computational Logic, 2000)

Preference Logic Grammars: Fixed point semantics and application to data standardization. - Baoqiu Cui; Terrance Swift (Artif. Intell., 2002)

A framework for enforcing application policies in database systems. - Lin Qiao; Basuki Soetarman; Gene Fuh; Adarsh Pannu; Baoqiu Cui; Thomas Beavin; William Kyu (SIGMOD Conference, 2007)

A refreshing perspective of search engine caching. - Berkant Barla Cambazoglu; Flavio Paiva Junqueira; Vassilis Plachouras; Scott A. Banachowski; Baoqiu Cui; Swee Lim; Bill Bridge (WWW, 2010)