| 2007 |
|---|
| 7 | EE | Lin Qiao,
Basuki Soetarman,
Gene Fuh,
Adarsh Pannu,
Baoqiu Cui,
Thomas Beavin,
William Kyu:
A framework for enforcing application policies in database systems.
SIGMOD Conference 2007: 981-992 |
| 2002 |
|---|
| 6 | EE | Baoqiu Cui,
Terrance Swift:
Preference Logic Grammars: Fixed point semantics and application to data standardization.
Artif. Intell. 138(1-2): 117-147 (2002) |
| 2000 |
|---|
| 5 | EE | Baoqiu Cui,
David Scott Warren:
A System for Tabled Constraint Logic Programming.
Computational Logic 2000: 478-492 |
| 1999 |
|---|
| 4 | | Baoqiu Cui,
David Scott Warren:
Multiple Terms in a Tabled Logic Programming System.
ICLP 1999: 305-319 |
| 3 | EE | Baoqiu Cui,
Terrance Swift,
David Scott Warren:
A Case Study in Using Preference Logic Grammars for Knowledge Representations.
LPNMR 1999: 206-220 |
| 2 | EE | Baoqiu Cui,
David Scott Warren:
Attributed Variables in XSB.
Electr. Notes Theor. Comput. Sci. 30(3): (1999) |
| 1998 |
|---|
| 1 | EE | Baoqiu Cui,
Yifei Dong,
Xiaoqun Du,
K. Narayan Kumar,
C. R. Ramakrishnan,
I. V. Ramakrishnan,
Abhik Roychoudhury,
Scott A. Smolka,
David Scott Warren:
Logic Programming and Model Checking.
PLILP/ALP 1998: 1-20 |
