PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Creus, Carles"

Author of the publication

copydeleteadd this publication to your clipboard
Learning Theory through Videos - A Teaching Experience in a Theoretical Course based on Self-learning Videos and Problem-solving Sessions.

, , , and . CSEDU (2), page 93-98. SciTePress, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Creus, Carles
add a person with the name Creus, Carles
 

Other publications of authors with the same name

The HOM Problem is EXPTIME-Complete., , , and . SIAM J. Comput., 45 (4): 1230-1260 (2016)Context-Aware Neural Machine Translation Decoding., , and . DiscoMT@EMNLP, page 13-23. Association for Computational Linguistics, (2019)Decidable Classes of Tree Automata Mixing Local and Global Constraints Modulo Flat Theories, , , , and . Logical Methods in Computer Science, (2013)One-context Unification with STG-Compressed Terms is in NP., , and . RTA, volume 15 of LIPIcs, page 149-164. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2012)Emptiness and Finiteness for Tree Automata with Global Reflexive Disequality Constraints., , and . J. Autom. Reasoning, 51 (4): 371-400 (2013)Using Word Embeddings to Enforce Document-Level Lexical Consistency in Machine Translation., , , and . Prague Bull. Math. Linguistics, (2017)Automatic Evaluation of Context-Free Grammars (System Description)., and . RTA-TLCA, volume 8560 of Lecture Notes in Computer Science, page 139-148. Springer, (2014)Interactive inspection of complex multi-object industrial assemblies., , , , , , and . Computer-Aided Design, (2016)Non-Linear Rewrite Closure and Weak Normalization., , , and . J. Autom. Reasoning, 51 (3): 281-324 (2013)The Emptiness Problem for Tree Automata with Global Constraints., , , , and . LICS, page 263-272. IEEE Computer Society, (2010)