Javier Álvez, Paqui Lucio, German Rigau. Evaluating the Competency of a First-Order Ontology. K-CAP 2015: 28:1-28:4

Simone Bova, Hubie Chen. The complexity of equivalence, entailment, and minimization in existential positive logic. J. Comput. Syst. Sci. 81(2): 443-457

Hubie Chen, Florent R. Madelaine, Barnaby Martin. Quantified Constraints and Containment Problems. Logical Methods in Computer Science 11(3)

Hubie Chen, Moritz Müller. The Fine Classification of Conjunctive Queries and Parameterized Logarithmic Space TOCT 7(2): 7

Hubie Chen, Matthew Valeriote. Learnability of Solutions to Conjunctive Queries: The Full Dichotomy. COLT 2015: 326-337

Hubie Chen, Stefan Mengel. A Trichotomy in the Complexity of Counting Answers to Conjunctive Queries. ICDT 2015: 110-126

Hubie Chen. Parameter Compilation. IPEC 2015: 127-137

Montserrat Hermo, Ana Ozaki. Exact Learning of Multivalued Dependencies. ALT 2015: 73-88

Marisa Navarro. Proceedings XV Jornadas sobre Programación y Lenguajes, PROLE 2015, Santander, Spain, 15-17th September 2015. EPTCS 200, 2015

Marisa Navarro, Fernando Orejas, Elvira Pino. Satisfiability of Constraint Specifications on XML Documents. Logic, Rewriting, and Concurrency. Springer Lecture Notes in Computer Science 9200: 539-561

K. Rustan M. Leino, Paqui Lucio. An Assertional Proof of the Stability and Correctness of Natural Mergesort. ACM Trans. Comput. Log. 17(1): 6