`Travelled to:`

1 × China

1 × Italy

1 × USA

1 × United Kingdom

`Collaborated with:`

D.S.Warren L.Qiao B.Soetarman G.Fuh A.Pannu T.Beavin W.Kyu Y.Dong X.Du K.N.Kumar C.R.Ramakrishnan I.V.Ramakrishnan A.Roychoudhury S.A.Smolka

`Talks about:`

program (3) system (3) logic (3) tabl (2) constraint (1) framework (1) multipl (1) databas (1) polici (1) enforc (1)

## Person: Baoqiu Cui

### DBLP: Cui:Baoqiu

### Contributed to:

### Wrote 4 papers:

- SIGMOD-2007-QiaoSFPCBK #database #framework #policy
- A framework for enforcing application policies in database systems (LQ, BS, GF, AP, BC, TB, WK), pp. 981–992.
- CL-2000-CuiW #constraints #logic programming
- A System for Tabled Constraint Logic Programming (BC, DSW), pp. 478–492.
- ICLP-1999-CuiW #logic programming #multi
- Multiple Terms in a Tabled Logic Programming System (BC, DSW), pp. 305–319.
- ALP-PLILP-1998-CuiDDKRRRSW #logic programming #model checking
- Logic Programming and Model Checking (BC, YD, XD, KNK, CRR, IVR, AR, SAS, DSW), pp. 1–20.