Carles Creus

发表

Ashish Tiwari, Francesc Massanes, Guillem Godoy, 2009, 2009 24th Annual IEEE Symposium on Logic In Computer Science.

Guillem Godoy, Carles Creus, Pau Fernández, 2014, SAT.

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

Guillem Godoy, Adrià Gascón, Carles Creus, 2016, SIAM J. Comput..

Guillem Godoy, Adrià Gascón, Carles Creus, 2013, Journal of Automated Reasoning.

Eva Martínez Garcia, Lluís Màrquez i Villodre, Cristina España-Bonet, 2017, Prague Bull. Math. Linguistics.

Ashish Tiwari, Francesc Massanes, Guillem Godoy, 2009, LICS.

Carles Creus, Bruno Simões, María del Puy Carretero, 2020, Web3D.

Guillem Godoy, Adrià Gascón, Carles Creus, 2012, 2012 27th Annual IEEE Symposium on Logic in Computer Science.

Guillem Godoy, Carles Creus, Lander Ramos, 2014, Inf. Process. Lett..

Guillem Godoy, Carles Creus, Nil Mamano, 2016 .

Guillem Godoy, Carles Creus, 2014, RTA-TLCA.

Guillem Godoy, Adrià Gascón, Carles Creus, 2012, RTA.

Gustavo Patow, Carles Creus, G. Patow, 2013, Comput. Graph..

Guillem Godoy, Florent Jacquemard, Carles Creus, 2010, 2010 25th Annual IEEE Symposium on Logic in Computer Science.

Guillem Godoy, Florent Jacquemard, Carles Creus, 2013, Log. Methods Comput. Sci..

Pere Brunet, Oscar Argudo, Isabel Navazo, 2016, Comput. Aided Des..