2017
-
Hubie Chen. The Tractability Frontier of Graph-Like First-Order Query Stets. J. ACM 64(4): 26:1-26:29
-
Alex Abuin, Hubie Chen, Montserrat Hermo, and Paqui Lucio. Towards the Automatic Verification of QCSP Tractability Results. Proceedings XVII Jornadas sobre Programación y Lenguajes (PROLE 2017)
-
Hubie Chen, Moritz Müller. The Parameterized Space Complexity of Embedding Along a Path. Theory Comput. Syst. 61(3): 851-870
-
Simone Bova, Hubie Chen. How Many Variables Are Needed to Express an Existential Positive Query?. ICDT 2017: 9:1-9:16
-
Hubie Chen, Stefan Mengel. The logic of counting query answers. LICS 2017: 1-12