José Iborra

Publication Activity (10 Years)

Years Active: 2005-2017
Publications (10 Years): 1

Top Topics

Mathematical Programming

Top Venues

J. Autom. Reason.

Publications

José Iborra, Naoki Nishida, Germán Vidal, Akihisa Yamada
Relative Termination via Dependency Pairs. J. Autom. Reason. 58 (3) (2017)
José Iborra, Naoki Nishida, Germán Vidal, Akihisa Yamada
Reducing Relative Termination to Dependency Pair Problems. CADE (2015)
María Alpuente, Santiago Escobar, José Iborra
Modular termination of basic narrowing and equational unification. Log. J. IGPL 19 (6) (2011)
María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, José Iborra
A compact fixpoint semantics for term rewriting systems. Theor. Comput. Sci. 411 (37) (2010)
José Iborra
Explicitly Typed Exceptions for Haskell. PADL (2010)
María Alpuente, Santiago Escobar, José Iborra
Termination of narrowing revisited. Theor. Comput. Sci. 410 (46) (2009)
José Iborra, Naoki Nishida, Germán Vidal
Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing. LOPSTR (2009)
María Alpuente, Santiago Escobar, José Iborra
Termination of Narrowing Using Dependency Pairs. ICLP (2008)
María Alpuente, Santiago Escobar, José Iborra
Modular Termination of Basic Narrowing. RTA (2008)
Emilio Iborra, José Iborra
Modeling for Users. AmI Workshops (2007)
Beatriz Alarcón, Raúl Gutiérrez, José Iborra, Salvador Lucas
Proving Termination of Context-Sensitive Rewriting with MU-TERM. Electron. Notes Theor. Comput. Sci. 188 (2007)
Simon Marlow, José Iborra, Bernard J. Pope, Andy Gill
A lightweight interactive debugger for haskell. Haskell (2007)
Manuel Cánovas, Vicente Bernal, Ángel Sevilla, José Iborra
Role of Wet Experiment Design in Data Generation: From in Vivo to in Silico and Back. Silico Biol. 7 (6) (2007)
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)
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)