Guillem Godoy

	2012
40		Carles Creus, Adria Gascón, Guillem Godoy: One-context Unification with STG-Compressed Terms is in NP. RTA 2012: 149-164
	2011
39		Marta Arias, Carles Creus, Adria Gascón, Guillem Godoy: Learning Theory through Videos - A Teaching Experience in a Theoretical Course based on Self-learning Videos and Problem-solving Sessions. CSEDU (2) 2011: 93-98
38		Adria Gascón, Guillem Godoy, Manfred Schmidt-Schauß: Unification and matching on compressed terms. ACM Trans. Comput. Log. 12(4): 26 (2011)
37		Omer Giménez, Guillem Godoy, Sebastian Maneth: Deciding Regularity of the Set of Instances of a Set of Terms with Regular Constraints is EXPTIME-Complete. SIAM J. Comput. 40(2): 446-464 (2011)
	2010
36		Luis Barguñó, Carles Creus, Guillem Godoy, Florent Jacquemard, Camille Vacher: The Emptiness Problem for Tree Automata with Global Constraints. LICS 2010: 263-272
35		Guillem Godoy, Omer Giménez, Lander Ramos, Carme Àlvarez: The HOM problem is decidable. STOC 2010: 485-494
34		Guillem Godoy: Normalization properties for Shallow TRS and Innermost Rewriting. Appl. Algebra Eng. Commun. Comput. 21(2): 109-129 (2010)
33		Adria Gascón, Guillem Godoy, Manfred Schmidt-Schauß: Unification and Matching on Compressed Terms CoRR abs/1003.1632: (2010)
32		Adria Gascón, Guillem Godoy, Manfred Schmidt-Schauß, Ashish Tiwari: Context unification with one context variable. J. Symb. Comput. 45(2): 173-193 (2010)
31		Luis Barguñó, Guillem Godoy, Eduard Huntingford, Ashish Tiwari: Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories Logical Methods in Computer Science 6(3): (2010)
	2009
30		Carles Creus, Guillem Godoy, Francesc Massanes, Ashish Tiwari: Non-linear Rewrite Closure and Weak Normalization. LICS 2009: 365-374
29		Adria Gascón, Guillem Godoy, Manfred Schmidt-Schauß: Unification with Singleton Tree Grammars. RTA 2009: 365-379
28		Guillem Godoy, Florent Jacquemard: Unique Normalization for Shallow TRS. RTA 2009: 63-77
27		Guillem Godoy, Ashish Tiwari: Invariant Checking for Programs with Procedure Calls. SAS 2009: 326-342
26		Guillem Godoy, Hugo Hernández: Undecidable properties of flat term rewrite systems. Appl. Algebra Eng. Commun. Comput. 20(2): 187-205 (2009)
25		Omer Giménez, Guillem Godoy, Sebastian Maneth: Deciding Regularity of the Set of Instances of a Set of Terms with Regular Constraints is EXPTIME-Complete CoRR abs/0911.3674: (2009)
24		Adria Gascón, Guillem Godoy, Florent Jacquemard: Closure of Tree Automata Languages under Innermost Rewriting. Electr. Notes Theor. Comput. Sci. 237: 23-38 (2009)
	2008
23		Guillem Godoy, Sebastian Maneth, Sophie Tison: Classes of Tree Homomorphisms with Decidable Preservation of Regularity. FoSSaCS 2008: 127-141
22		Adria Gascón, Guillem Godoy, Manfred Schmidt-Schauß: Context Matching for Compressed Terms. LICS 2008: 93-102
	2007
21		Guillem Godoy, Sophie Tison: On the Normalization and Unique Normalization Properties of Term Rewrite Systems. CADE 2007: 247-262
20		Guillem Godoy, Eduard Huntingford: Innermost-Reachability and Innermost-Joinability Are Decidable for Shallow Term Rewrite Systems. RTA 2007: 184-199
19		Guillem Godoy, Eduard Huntingford, Ashish Tiwari: Termination of Rewriting with Right-Flat Rules. RTA 2007: 200-213
	2005
18		Guillem Godoy, Ashish Tiwari: Termination of Rewrite Systems with Shallow Right-Linear, Collapsing, and Right-Ground Rules. CADE 2005: 164-176
17		Guillem Godoy, Ashish Tiwari: Confluence of Shallow Right-Linear Rewrite Systems. CSL 2005: 541-556
16		Mirtha-Lina Fernández, Guillem Godoy, Albert Rubio: Recursive Path Orderings Can Also Be Incremental. LPAR 2005: 230-245
15		Mirtha-Lina Fernández, Guillem Godoy, Albert Rubio: Orderings for Innermost Termination. RTA 2005: 17-31
	2004
14		Guillem Godoy, Ashish Tiwari: Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure. IJCAR 2004: 91-106
13		Guillem Godoy, Robert Nieuwenhuis, Ashish Tiwari: Classes of term rewrite systems with polynomial confluence problems. ACM Trans. Comput. Log. 5(2): 321-331 (2004)
12		Guillem Godoy, Ashish Tiwari, Rakesh M. Verma: Deciding confluence of certain term rewriting systems in polynomial time. Ann. Pure Appl. Logic 130(1-3): 33-59 (2004)
11		Guillem Godoy, Ashish Tiwari, Rakesh M. Verma: Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems. Appl. Algebra Eng. Commun. Comput. 15(1): 13-36 (2004)
10		Guillem Godoy, Robert Nieuwenhuis: Constraint Solving for Term Orderings Compatible with Abelian Semigroups, Monoids and Groups. Constraints 9(3): 167-192 (2004)
9		Guillem Godoy, Robert Nieuwenhuis: Superposition with completely built-in Abelian groups. J. Symb. Comput. 37(1): 1-33 (2004)
	2003
8		Guillem Godoy, Ashish Tiwari, Rakesh M. Verma: On the Confluence of Linear Shallow Term Rewrite Systems. STACS 2003: 85-96
7		Miquel Bofill, Guillem Godoy, Robert Nieuwenhuis, Albert Rubio: Paramodulation and Knuth-Bendix Completion with Nontotal and Nonmonotonic Orderings. J. Autom. Reasoning 30(1): 99-120 (2003)
	2001
6		Hubert Comon, Guillem Godoy, Robert Nieuwenhuis: The Confluence of Ground Term Rewrite Systems is Decidable in Polynomial Time. FOCS 2001: 298-307
5		Miquel Bofill, Guillem Godoy: On the Completeness of Arbitrary Selection Strategies for Paramodulation. ICALP 2001: 951-962
4		Guillem Godoy, Robert Nieuwenhuis: On Ordering Constraints for Deduction with Built-In Abelian Semigroups, Monoids and Groups. LICS 2001: 38-47
	2000
3		Miquel Bofill, Guillem Godoy, Robert Nieuwenhuis, Albert Rubio: Modular Redundancy for Theorem Proving. FroCos 2000: 186-199
2		Guillem Godoy, Robert Nieuwenhuis: Paramodulation with Built-in Abelian Groups. LICS 2000: 413-424
	1999
1		Miquel Bofill, Guillem Godoy, Robert Nieuwenhuis, Albert Rubio: Paramodulation with Non-Monotonic Orderings. LICS 1999: 225-233

Coauthor Index

1	Carme Àlvarez	[35]
2	Marta Arias	[39]
3	Luis Barguñó	[31] [36]
4	Miquel Bofill	[1] [3] [5] [7]
5	Hubert Comon-Lundh (Hubert Comon)	[6]
6	Carles Creus	[30] [36] [39] [40]
7	Mirtha-Lina Fernández	[15] [16]
8	Adria Gascón	[22] [24] [29] [32] [33] [38] [39] [40]
9	Omer Giménez	[25] [35] [37]
10	Hugo Hernández	[26]
11	Eduard Huntingford	[19] [20] [31]
12	Florent Jacquemard	[24] [28] [36]
13	Sebastian Maneth	[23] [25] [37]
14	Francesc Massanes	[30]
15	Robert Nieuwenhuis	[1] [2] [3] [4] [6] [7] [9] [10] [13]
16	Lander Ramos	[35]
17	Albert Rubio	[1] [3] [7] [15] [16]
18	Manfred Schmidt-Schauß	[22] [29] [32] [33] [38]
19	Sophie Tison	[21] [23]
20	Ashish Tiwari	[8] [11] [12] [13] [14] [17] [18] [19] [27] [30] [31] [32]
21	Camille Vacher	[36]
22	Rakesh M. Verma	[8] [11] [12]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page