José Iborra

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
Relative Termination via Dependency Pairs.
J. Autom. Reason., 2017

2015
Reducing Relative Termination to Dependency Pair Problems.
Proceedings of the Automated Deduction - CADE-25, 2015

2011
Modular termination of basic narrowing and equational unification.
Log. J. IGPL, 2011

2010
A compact fixpoint semantics for term rewriting systems.
Theor. Comput. Sci., 2010

Explicitly Typed Exceptions for Haskell.
Proceedings of the Practical Aspects of Declarative Languages, 2010

2009
Termination of narrowing revisited.
Theor. Comput. Sci., 2009

Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2009

2008
Modular Termination of Basic Narrowing.
Proceedings of the Rewriting Techniques and Applications, 19th International Conference, 2008

Termination of Narrowing Using Dependency Pairs.
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.
Silico Biol., 2007

A lightweight interactive debugger for haskell.
Proceedings of the ACM SIGPLAN Workshop on Haskell, 2007

Modeling for Users.
Proceedings of the Constructing Ambient Intelligence, 2007

2006
Proving Termination of Context-Sensitive Rewriting with MU-TERM.
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.
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.
Proceedings of the Actas del Taller sobre Desarrollo Dirigido por Modelos, 2005


  Loading...