José Iborra

According to our database, José Iborra authored at least 15 papers between 2005 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2017

Relative Termination via Dependency Pairs.

José Iborra, Naoki Nishida, Germán Vidal, Akihisa Yamada

J. Autom. Reason., 2017

2015

Reducing Relative Termination to Dependency Pair Problems.

José Iborra, Naoki Nishida, Germán Vidal, Akihisa Yamada

Proceedings of the Automated Deduction - CADE-25, 2015

2011

Modular termination of basic narrowing and equational unification.

María Alpuente, Santiago Escobar, José Iborra

Log. J. IGPL, 2011

2010

A compact fixpoint semantics for term rewriting systems.

María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, José Iborra

Theor. Comput. Sci., 2010

Explicitly Typed Exceptions for Haskell.

José Iborra

Proceedings of the Practical Aspects of Declarative Languages, 2010

2009

Termination of narrowing revisited.

María Alpuente, Santiago Escobar, José Iborra

Theor. Comput. Sci., 2009

Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing.

José Iborra, Naoki Nishida, Germán Vidal

Proceedings of the Logic-Based Program Synthesis and Transformation, 2009

2008

Modular Termination of Basic Narrowing.

María Alpuente, Santiago Escobar, José Iborra

Proceedings of the Rewriting Techniques and Applications, 19th International Conference, 2008

Termination of Narrowing Using Dependency Pairs.

María Alpuente, Santiago Escobar, José Iborra

Proceedings of the Logic Programming, 24th International Conference, 2008

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

A lightweight interactive debugger for haskell.

Simon Marlow, José Iborra, Bernard J. Pope, Andy Gill

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2007

Modeling for Users.

Emilio Iborra, José Iborra

Proceedings of the Constructing Ambient Intelligence, 2007

2006

Proving Termination of Context-Sensitive Rewriting with MU-TERM.

Beatriz Alarcón, Raúl Gutiérrez, José Iborra, Salvador Lucas

Proceedings of the Sixth Spanish Conference on Programming and Languages, 2006

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

Proceedings of the Actas de las X Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2005), 2005

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

Proceedings of the Actas del Taller sobre Desarrollo Dirigido por Modelos, 2005