String solving with word equations and transducers: towards a logic for analysing mutation XSS by Lin, A, Barceló, P

Semantic acyclicity under constraints by Gottlob, G, Barceló, P, Pieris, A

Semantic acyclicity under constraints by Barceló, P, Gottlob, G, Pieris, A

Semantic optimization of conjunctive queries by Barcelo, P, Figueira, D, Gottlob, G, Pieris, P

Monadic decomposabily of regular relations by Barceló, P, Hong, C-D, Le, XB, Lin, A, Niskanen, R