articulos2017

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