Carles Creus

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