Carles Creus

Publication Activity (10 Years)

Years Active: 2009-2020
Publications (10 Years): 6

Top Topics

Regular Languages

Automatic Evaluation

Expressive Description Logics

Top Venues

J. Autom. Reason.

Comput. Aided Des.

Publications

Bruno Simões, Carles Creus, María del Puy Carretero, Álvaro Guinea Ochaíta
Streamlining XR Technology Into Industrial Training and Maintenance Processes. Web3D (2020)
Diego Montoya-Zapata, Carles Creus, Igor Ortiz, Piera Alvarez, Aitor Moreno, Jorge Posada, Oscar Ruiz-Salguero
Generation of 2.5D Deposition Strategies for LMD-based Additive Manufacturing. ISM (2020)
Eva Martínez Garcia, Carles Creus, Cristina España-Bonet
Context-Aware Neural Machine Translation Decoding. DiscoMT@EMNLP (2019)
Eva Martínez Garcia, Carles Creus, Cristina España-Bonet, Lluís Màrquez
Using Word Embeddings to Enforce Document-Level Lexical Consistency in Machine Translation. Prague Bull. Math. Linguistics 108 (2017)
Oscar Argudo, Isaac Besora, Pere Brunet, Carles Creus, Pedro Hermosilla, Isabel Navazo, Àlvar Vinacua
Interactive inspection of complex multi-object industrial assemblies. Comput. Aided Des. 79 (2016)
Carles Creus, Adrià Gascón, Guillem Godoy, Lander Ramos
The HOM Problem is EXPTIME-Complete. SIAM J. Comput. 45 (4) (2016)
Carles Creus, Guillem Godoy, Lander Ramos
Excessively duplicating patterns represent non-regular languages. Inf. Process. Lett. 114 (3) (2014)
Carles Creus, Pau Fernández, Guillem Godoy
Automatic Evaluation of Reductions between NP-Complete Problems. SAT (2014)
Carles Creus, Guillem Godoy
Tree Automata with Height Constraints between Brothers. RTA-TLCA (2014)
Carles Creus, Guillem Godoy
Automatic Evaluation of Context-Free Grammars (System Description). RTA-TLCA (2014)
Carles Creus, Guillem Godoy, Francesc Massanes, Ashish Tiwari
Non-Linear Rewrite Closure and Weak Normalization. J. Autom. Reason. 51 (3) (2013)
Luis Barguñó, Carles Creus, Guillem Godoy, Florent Jacquemard, Camille Vacher
Decidable Classes of Tree Automata Mixing Local and Global Constraints Modulo Flat Theories Log. Methods Comput. Sci. 9 (2) (2013)
Carles Creus, Adrià Gascón, Guillem Godoy
Emptiness and Finiteness for Tree Automata with Global Reflexive Disequality Constraints. J. Autom. Reason. 51 (4) (2013)
Carles Creus, Gustavo Patow
: Realistic rain rendering in realtime. Comput. Graph. 37 (1-2) (2013)
Carles Creus, Adrià Gascón, Guillem Godoy
One-context Unification with STG-Compressed Terms is in NP. RTA (2012)
Carles Creus, Adrià Gascón, Guillem Godoy, Lander Ramos
The HOM Problem is EXPTIME-Complete. LICS (2012)
Marta Arias, Carles Creus, Adrià Gascón, Guillem Godoy
Learning Theory through Videos - A Teaching Experience in a Theoretical Course based on Self-learning Videos and Problem-solving Sessions. CSEDU (2) (2011)
Luis Barguñó, Carles Creus, Guillem Godoy, Florent Jacquemard, Camille Vacher
The Emptiness Problem for Tree Automata with Global Constraints. LICS (2010)
Carles Creus, Guillem Godoy, Francesc Massanes, Ashish Tiwari
Non-linear Rewrite Closure and Weak Normalization. LICS (2009)