Paqui Lucio. A Tutorial on Using Dafny to Construct Verified Software. PROLE 2016: 1-19

Javier Álvez, Paqui Lucio, German Rigau. Evaluating Automated Theorem Provers Using Adimen-SUMO. Vampire@IJCAR 2016: 74-82

Hubie Chen, Víctor Dalmau. Decomposing Quantified Conjunctive (or Disjunctive) Formulas. SIAM J. Comput. 45(6): 2066-2086

Hubie Chen, Peter Mayr. Quantified Constraint Satisfaction on Monoids. CSL 2016: 15:1-15:14

Hubie Chen, Matthew Valeriote, Yuichi Yoshida, Testing Assignments to Constraint Satisfaction Problems. FOCS 2016: 525-534

Hubie Chen. Proof Complexity Modulo the Polynomial Hierarchy: Understanding Alternation as a Source of Hardness. ICALP 2016: 94:1-94:14

Hubie Chen, Stefan Mengel. Counting Answers to Existential Positive Queries: A Complexity Classification. PODS 2016: 315-326