Utilización de Maude desde Eclipse Modeling Framework para la Gestión de Modelos. - Artur Boronat; José Iborra; José A. Carsí; Isidro Ramos; Abel Gómez 001 (DSDM, 2005)

Del método formal a la aplicación industrial en Gestión de Modelos: Maude aplicado a Eclipse Modeling Framework. - Artur Boronat; José Iborra; José A. Carsí; Isidro Ramos; Abel Gómez 001 (JISBD, 2005)

Proving Termination of Context-Sensitive Rewriting with MU-TERM. - Beatriz Alarcón; Raúl Gutiérrez; José Iborra; Salvador Lucas (PROLE, 2006)

Modeling for Users. - Emilio Iborra; José Iborra (AmI Workshops, 2007)

A lightweight interactive debugger for haskell. - Simon Marlow; José Iborra; Bernard J. Pope; Andy Gill (Haskell, 2007)

Role of Wet Experiment Design in Data Generation: From in Vivo to in Silico and Back. - Manuel Cánovas; Vicente Bernal; Ángel Sevilla; José Iborra (Silico Biol., 2007)

Termination of Narrowing Using Dependency Pairs. - María Alpuente; Santiago Escobar 001; José Iborra (ICLP, 2008)

Modular Termination of Basic Narrowing. - María Alpuente; Santiago Escobar 001; José Iborra (RTA, 2008)

Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing. - José Iborra; Naoki Nishida 001; Germán Vidal (LOPSTR, 2009)

Termination of narrowing revisited. - María Alpuente; Santiago Escobar 001; José Iborra (Theor. Comput. Sci., 2009)

Explicitly Typed Exceptions for Haskell. - José Iborra (PADL, 2010)

A compact fixpoint semantics for term rewriting systems. - María Alpuente; Marco Comini; Santiago Escobar 001; Moreno Falaschi; José Iborra (Theor. Comput. Sci., 2010)

Modular termination of basic narrowing and equational unification. - María Alpuente; Santiago Escobar 001; José Iborra (Log. J. IGPL, 2011)

Reducing Relative Termination to Dependency Pair Problems. - José Iborra; Naoki Nishida 001; Germán Vidal; Akihisa Yamada 002 (CADE, 2015)

Relative Termination via Dependency Pairs. - José Iborra; Naoki Nishida 001; Germán Vidal; Akihisa Yamada 002 (J. Autom. Reason., 2017)