Javier Albors, Marisa Navarro. SpecSatisfiabilityTool: A tool for testing the satisfiability of specifications on XML documents. PROLE 2014: 27-40

Simone Bova, Hubie Chen. The Complexity of Width Minimization for Existential Positive Queries. ICDT 2014: 235-244

Manuel Bodirsky, Hubie Chen, Michal Wrona. Tractability of quantified temporal constraints to the max. IJAC 24(8): 1141-1156

Hubie Chen. Beyond Q-Resolution and Prenex Form: A Proof System for Quantified Constraint Satisfaction. Logical Methods in Computer Science 10(4)

Hubie Chen. On the complexity of existential positive queries. ACM Trans. Comput. Log. 15(1): 9

Hubie Chen. The tractability frontier of graph-like first-order query sets. CSL-LICS 2014: 31:1-31:9

Hubie Chen, Moritz Müller. One hierarchy spawns another: graph deconstructions and the complexity classification of conjunctive queries. CSL-LICS 2014: 32:1-32:10

Marisa Navarro, Fernando Orejas. A refutation procedure for proving satisfiability of constraint specifications on XML documents. SCSS 2014: 47-61