Carles Creus
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2009–2014
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | SAT | Automatic Evaluation of Reductions between NP-Complete Problems. | Carles Creus, Pau Fernndez, Guillem Godoy |
| 2012 | LICS | The HOM Problem is EXPTIME-Complete. | Carles Creus, Adri Gascn, Guillem Godoy, Lander Ramos |
| 2011 | CSEDU | 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 Gascn, Guillem Godoy |
| 2010 | LICS | The Emptiness Problem for Tree Automata with Global Constraints. | Luis Bargu, Carles Creus, Guillem Godoy, Florent Jacquemard, Camille Vacher |
| 2009 | LICS | Non-linear Rewrite Closure and Weak Normalization. | Carles Creus, Guillem Godoy, Francesc Massanes, Ashish Tiwari |