| 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 |
| 2010 | STOC | The HOM problem is decidable. | Guillem Godoy, Omer Gimnez, Lander Ramos, Carme lvarez |
| 2009 | LICS | Non-linear Rewrite Closure and Weak Normalization. | Carles Creus, Guillem Godoy, Francesc Massanes, Ashish Tiwari |
| 2009 | SAS | Invariant Checking for Programs with Procedure Calls. | Guillem Godoy, Ashish Tiwari |
| 2008 | FOSSACS | Classes of Tree Homomorphisms with Decidable Preservation of Regularity. | Guillem Godoy, Sebastian Maneth, Sophie Tison |
| 2008 | LICS | Context Matching for Compressed Terms. | Adri Gascn, Guillem Godoy, Manfred Schmidt-Schau |
| 2007 | CADE | On the Normalization and Unique Normalization Properties of Term Rewrite Systems. | Guillem Godoy, Sophie Tison |
| 2005 | CADE | Termination of Rewrite Systems with Shallow Right-Linear, Collapsing, and Right-Ground Rules. | Guillem Godoy, Ashish Tiwari |
| 2005 | CSL | Confluence of Shallow Right-Linear Rewrite Systems. | Guillem Godoy, Ashish Tiwari |
| 2005 | LPAR | Recursive Path Orderings Can Also Be Incremental. | Mirtha-Lina Fernndez, Guillem Godoy, Albert Rubio |
| 2004 | CADE | Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure. | Guillem Godoy, Ashish Tiwari |
| 2003 | STACS | On the Confluence of Linear Shallow Term Rewrite Systems. | Guillem Godoy, Ashish Tiwari, Rakesh M. Verma |
| 2001 | FOCS | The Confluence of Ground Term Rewrite Systems is Decidable in Polynomial Time. | Hubert Comon, Guillem Godoy, Robert Nieuwenhuis |
| 2001 | ICALP | On the Completeness of Arbitrary Selection Strategies for Paramodulation. | Miquel Bofill, Guillem Godoy |
| 2001 | LICS | On Ordering Constraints for Deduction with Built-In Abelian Semigroups, Monoids and Groups. | Guillem Godoy, Robert Nieuwenhuis |
| 2000 | LICS | Paramodulation with Built-in Abelian Groups. | Guillem Godoy, Robert Nieuwenhuis |
| 1999 | LICS | Paramodulation with Non-Monotonic Orderings. | Miquel Bofill, Guillem Godoy, Robert Nieuwenhuis, Albert Rubio |