The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jesús Correas: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jesús Correas, J. M. Gómez, Manuel Carro, Daniel Cabeza Gras, Manuel V. Hermenegildo
    A Generic Persistence Model for (C)LP Systems. [Citation Graph (0, 0)][DBLP]
    ICLP, 2003, pp:481-482 [Conf]
  2. Jesús Correas, Germán Puebla, Manuel V. Hermenegildo, Francisco Bueno
    Experiments in Context-Sensitive Analysis of Modular Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2005, pp:163-178 [Conf]
  3. Germán Puebla, Jesús Correas, Manuel V. Hermenegildo, Francisco Bueno, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey
    A Generic Framework for Context-Sensitive Analysis of Modular Programs. [Citation Graph (0, 0)][DBLP]
    Program Development in Computational Logic, 2004, pp:233-260 [Conf]
  4. Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo
    Context-Sensitive Multivariant Assertion Checking in Modular Programs. [Citation Graph (0, 0)][DBLP]
    LPAR, 2006, pp:392-406 [Conf]
  5. Jesús Correas, J. M. Gómez, Manuel Carro, Daniel Cabeza, Manuel V. Hermenegildo
    A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations). [Citation Graph (0, 0)][DBLP]
    PADL, 2004, pp:104-119 [Conf]

  6. A practical type analysis for verification of modular prolog programs. [Citation Graph (, )][DBLP]


Search in 0.018secs, Finished in 0.019secs
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