The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

José Iborra: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  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. [Citation Graph (0, 0)][DBLP]
    JISBD, 2005, pp:253-258 [Conf]
  2. Simon Marlow, José Iborra, Bernard Pope, Andy Gill
    A lightweight interactive debugger for haskell. [Citation Graph (0, 0)][DBLP]
    Haskell, 2007, pp:13-24 [Conf]
  3. Beatriz Alarcón, Raúl Gutiérrez, José Iborra, Salvador Lucas
    Proving Termination of Context-Sensitive Rewriting with MU-TERM. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:188, n:, pp:105-115 [Journal]

  4. Termination of Narrowing Using Dependency Pairs. [Citation Graph (, )][DBLP]


  5. Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing. [Citation Graph (, )][DBLP]


  6. Explicitly Typed Exceptions for Haskell. [Citation Graph (, )][DBLP]


  7. Modular Termination of Basic Narrowing. [Citation Graph (, )][DBLP]


  8. Utilización de Maude desde Eclipse Modeling Framework para la Gestión de Modelos. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002