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:
2007
2000
1999
1998Wrote 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.