Carles Creus

According to our database, Carles Creus authored at least 18 papers between 2010 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Streamlining XR Technology Into Industrial Training and Maintenance Processes.

Bruno Simões, Carles Creus, María del Puy Carretero, Álvaro Guinea Ochaíta

Proceedings of the Web3D '20: The 25th International Conference on 3D Web Technology, 2020

Generation of 2.5D Deposition Strategies for LMD-based Additive Manufacturing.

Diego Montoya-Zapata, Carles Creus, Igor Ortiz, Piera Alvarez, Aitor Moreno, Jorge Posada, Oscar Ruiz-Salguero

Proceedings of the 2nd International Conference on Industry 4.0 and Smart Manufacturing (ISM 2020), 2020

2019

Context-Aware Neural Machine Translation Decoding.

Eva Martínez Garcia, Carles Creus, Cristina España-Bonet

Proceedings of the Fourth Workshop on Discourse in Machine Translation, 2019

2017

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

2016

Tree automata with constraints and tree homomorphisms.

Carles Creus

PhD thesis, 2016

The HOM Problem is EXPTIME-Complete.

Carles Creus, Adrià Gascón, Guillem Godoy, Lander Ramos

SIAM J. Comput., 2016

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

2014

Excessively duplicating patterns represent non-regular languages.

Carles Creus, Guillem Godoy, Lander Ramos

Inf. Process. Lett., 2014

Automatic Evaluation of Reductions between NP-Complete Problems.

Carles Creus, Pau Fernández, Guillem Godoy

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014

Tree Automata with Height Constraints between Brothers.

Carles Creus, Guillem Godoy

Proceedings of the Rewriting and Typed Lambda Calculi - Joint International Conference, 2014

Automatic Evaluation of Context-Free Grammars (System Description).

Carles Creus, Guillem Godoy

Proceedings of the Rewriting and Typed Lambda Calculi - Joint International Conference, 2014

2013

Non-Linear Rewrite Closure and Weak Normalization.

Carles Creus, Guillem Godoy, Francesc Massanes, Ashish Tiwari

J. Autom. Reason., 2013

Emptiness and Finiteness for Tree Automata with Global Reflexive Disequality Constraints.

Carles Creus, Adrià Gascón, Guillem Godoy

J. Autom. Reason., 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

R⁴: Realistic rain rendering in realtime.

Carles Creus, Gustavo Patow

Comput. Graph., 2013

2012

One-context Unification with STG-Compressed Terms is in NP.

Carles Creus, Adrià Gascón, Guillem Godoy

Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , 2012

2011

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

Proceedings of the CSEDU 2011, 2011

2010

The Emptiness Problem for Tree Automata with Global Constraints.

Luis Barguñó, Carles Creus, Guillem Godoy, Florent Jacquemard, Camille Vacher

Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010