José Iborra

	2011
11		María Alpuente, Santiago Escobar, José Iborra: Modular termination of basic narrowing and equational unification. Logic Journal of the IGPL 19(6): 731-762 (2011)
	2010
10		José Iborra: Explicitly Typed Exceptions for Haskell. PADL 2010: 43-57
9		María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, José Iborra: A compact fixpoint semantics for term rewriting systems. Theor. Comput. Sci. 411(37): 3348-3371 (2010)
	2009
8		José Iborra, Naoki Nishida, Germán Vidal: Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing. LOPSTR 2009: 52-66
7		María Alpuente, Santiago Escobar, José Iborra: Termination of narrowing revisited. Theor. Comput. Sci. 410(46): 4608-4625 (2009)
	2008
6		María Alpuente, Santiago Escobar, José Iborra: Termination of Narrowing Using Dependency Pairs. ICLP 2008: 317-331
5		María Alpuente, Santiago Escobar, José Iborra: Modular Termination of Basic Narrowing. RTA 2008: 1-16
	2007
4		Simon Marlow, José Iborra, Bernard Pope, Andy Gill: A lightweight interactive debugger for haskell. Haskell 2007: 13-24
3		Beatriz Alarcón, Raúl Gutiérrez, José Iborra, Salvador Lucas: Proving Termination of Context-Sensitive Rewriting with MU-TERM. Electr. Notes Theor. Comput. Sci. 188: 105-115 (2007)
	2005
2		Artur Boronat, José Iborra, José A. Carsí, Isidro Ramos, Abel Gómez: Utilización de Maude desde Eclipse Modeling Framework para la Gestión de Modelos. DSDM 2005
1		Artur Boronat, José Iborra, José A. Carsí, Isidro Ramos, Abel Gómez: Del método formal a la aplicación industrial en Gestión de Modelos: Maude aplicado a Eclipse Modeling Framework. JISBD 2005: 253-258

Coauthor Index

1	Beatriz Alarcón	[3]
2	María Alpuente	[5] [6] [7] [9] [11]
3	Artur Boronat	[1] [2]
4	José A. Carsí	[1] [2]
5	Marco Comini	[9]
6	Santiago Escobar	[5] [6] [7] [9] [11]
7	Moreno Falaschi	[9]
8	Andy Gill	[4]
9	Abel Gómez	[1] [2]
10	Raúl Gutiérrez	[3]
11	Salvador Lucas	[3]
12	Simon Marlow	[4]
13	Naoki Nishida	[8]
14	Bernard Pope	[4]
15	Isidro Ramos	[1] [2]
16	Germán Vidal	[8]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page