The Emptiness Problem for Tree Automata with Global Constraints. - Luis Barguñó; Carles Creus; Guillem Godoy; Florent Jacquemard; Camille Vacher (LICS, 2010)

Learning Theory through Videos - A Teaching Experience in a Theoretical Course based on Self-learning Videos and Problem-solving Sessions. - Marta Arias; Carles Creus; Adrià Gascón; Guillem Godoy (CSEDU (2), 2011)

One-context Unification with STG-Compressed Terms is in NP. - Carles Creus; Adrià Gascón; Guillem Godoy (RTA, 2012)

R4: Realistic rain rendering in realtime. - Carles Creus; Gustavo Patow (Comput. Graph., 2013)

Decidable Classes of Tree Automata Mixing Local and Global Constraints Modulo Flat Theories - Luis Barguñó; Carles Creus; Guillem Godoy; Florent Jacquemard; Camille Vacher (Log. Methods Comput. Sci., 2013)

Emptiness and Finiteness for Tree Automata with Global Reflexive Disequality Constraints. - Carles Creus; Adrià Gascón; Guillem Godoy (J. Autom. Reason., 2013)

Non-Linear Rewrite Closure and Weak Normalization. - Carles Creus; Guillem Godoy; Francesc Massanes; Ashish Tiwari 001 (J. Autom. Reason., 2013)

Automatic Evaluation of Context-Free Grammars (System Description). - Carles Creus; Guillem Godoy (RTA-TLCA, 2014)

Tree Automata with Height Constraints between Brothers. - Carles Creus; Guillem Godoy (RTA-TLCA, 2014)

Automatic Evaluation of Reductions between NP-Complete Problems. - Carles Creus; Pau Fernández; Guillem Godoy (SAT, 2014)

Excessively duplicating patterns represent non-regular languages. - Carles Creus; Guillem Godoy; Lander Ramos (Inf. Process. Lett., 2014)

Interactive inspection of complex multi-object industrial assemblies. - Oscar Argudo; Isaac Besora; Pere Brunet; Carles Creus; Pedro Hermosilla; Isabel Navazo; Àlvar Vinacua (Comput. Aided Des., 2016)

The HOM Problem is EXPTIME-Complete. - Carles Creus; Adrià Gascón; Guillem Godoy; Lander Ramos (SIAM J. Comput., 2016)

Tree automata with constraints and tree homomorphisms. - Carles Creus (2016)

Using Word Embeddings to Enforce Document-Level Lexical Consistency in Machine Translation. - Eva Martínez Garcia; Carles Creus; Cristina España-Bonet; Lluís Màrquez (Prague Bull. Math. Linguistics, 2017)

Context-Aware Neural Machine Translation Decoding. - Eva Martínez Garcia; Carles Creus; Cristina España-Bonet (DiscoMT@EMNLP, 2019)

Generation of 2.5D Deposition Strategies for LMD-based Additive Manufacturing. - Diego Montoya-Zapata; Carles Creus; Igor Ortiz; Piera Alvarez; Aitor Moreno; Jorge Posada 001; Oscar Ruiz-Salguero (ISM, 2020)

Streamlining XR Technology Into Industrial Training and Maintenance Processes. - Bruno Simões; Carles Creus; María del Puy Carretero; Álvaro Guinea Ochaíta (Web3D, 2020)