The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Josep Silva: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Josep Silva, Jorge Belenguer, Matilde Celma
    Multi-source Materialized Views Maintenance: Multi-level Views. [Citation Graph (0, 0)][DBLP]
    ADBIS, 2006, pp:71-80 [Conf]
  2. Elvira Albert, Josep Silva, Germán Vidal
    Time Equations for Lazy Functional (Logic) Languages. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 2003, pp:13-24 [Conf]
  3. Gustavo Arroyo, Claudio Ochoa, Josep Silva, Germán Vidal
    Towards CNC Programming Using Haskell. [Citation Graph (0, 0)][DBLP]
    IBERAMIA, 2004, pp:386-396 [Conf]
  4. J. Guadalupe Ramos, Josep Silva, Germán Vidal
    Fast narrowing-driven partial evaluation for inductively sequential programs. [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:228-239 [Conf]
  5. Josep Silva, Isidro Ramos, José A. Carsí
    An Algorithm to Compare OO-Conceptual Schemas. [Citation Graph (0, 0)][DBLP]
    ICSM, 2002, pp:351-358 [Conf]
  6. Claudio Ochoa, Josep Silva, Germán Vidal
    A Slicing Tool for Lazy Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    JELIA, 2006, pp:498-501 [Conf]
  7. Josep Silva, Jorge Belenguer, Matilde Celma
    Materialización de Vistas Multi-Origen: Vistas Multinivel. [Citation Graph (0, 0)][DBLP]
    JISBD, 2002, pp:25-34 [Conf]
  8. Josep Silva, Nour Hussein, José A. Carsí, Isidro Ramos
    El aspecto de distribución de PRISMA. [Citation Graph (0, 0)][DBLP]
    JISBD, 2003, pp:127-136 [Conf]
  9. Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal
    Run-Time Profiling of Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2004, pp:182-197 [Conf]
  10. Gustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Germán Vidal
    Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2006, pp:60-76 [Conf]
  11. Josep Silva
    A Comparative Study of Algorithmic Debugging Strategies. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2006, pp:143-159 [Conf]
  12. Claudio Ochoa, Josep Silva, Germán Vidal
    Dynamic slicing based on redex trails. [Citation Graph (0, 0)][DBLP]
    PEPM, 2004, pp:123-134 [Conf]
  13. Josep Silva, Olaf Chitil
    Combining algorithmic debugging and program slicing. [Citation Graph (0, 0)][DBLP]
    PPDP, 2006, pp:157-166 [Conf]
  14. J. Guadalupe Ramos, Josep Silva, Germán Vidal
    An Embedded Language Approach to Router Specification in Curry. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 2004, pp:277-288 [Conf]
  15. Josep Silva
    Slicing XML Documents. [Citation Graph (0, 0)][DBLP]
    WWV, 2005, pp:121-125 [Conf]
  16. Josep Silva
    Slicing XML Documents. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:157, n:2, pp:187-192 [Journal]
  17. Diego Cheda, Josep Silva, Germán Vidal
    Static Slicing of Rewrite Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:177, n:, pp:123-136 [Journal]
  18. J. Guadalupe Ramos, Josep Silva, Germán Vidal
    Ensuring the quasi-termination of needed narrowing computations. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2007, v:101, n:5, pp:220-226 [Journal]
  19. Josep Silva
    A Program Slicing Based Method to Filter XML/DTD Documents. [Citation Graph (0, 0)][DBLP]
    SOFSEM (1), 2007, pp:771-782 [Conf]
  20. Claudio Ochoa, Josep Silva, Germán Vidal
    Lightweight program specialization via dynamic slicing. [Citation Graph (0, 0)][DBLP]
    WCFLP, 2005, pp:1-7 [Conf]
  21. J. Guadalupe Ramos, Josep Silva, Germán Vidal
    An offline partial evaluator for curry programs. [Citation Graph (0, 0)][DBLP]
    WCFLP, 2005, pp:49-53 [Conf]
  22. Josep Silva, Germán Vidal
    Forward slicing of functional logic programs by partial evaluation [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]

  23. A Technique for Information Retrieval from Microformatted Websites. [Citation Graph (, )][DBLP]


  24. Preserving Sharing in the Partial Evaluation of Lazy Functional Programs. [Citation Graph (, )][DBLP]


  25. The MEB and CEB Static Analysis for CSP Specifications. [Citation Graph (, )][DBLP]


  26. A Tracking Semantics for CSP. [Citation Graph (, )][DBLP]


  27. SOC: a slicer for CSP specifications. [Citation Graph (, )][DBLP]


  28. An algorithm to generate the context-sensitive synchronized control flow graph. [Citation Graph (, )][DBLP]


  29. Debugging techniques for declarative languages: Profiling, program slicing and algorithmic debugging. [Citation Graph (, )][DBLP]


  30. Dynamic Slicing Techniques for Petri Nets. [Citation Graph (, )][DBLP]


  31. Information Filtering and Information Retrieval with the Web Filtering Toolbar. [Citation Graph (, )][DBLP]


  32. State of the Practice in Algorithmic Debugging. [Citation Graph (, )][DBLP]


Search in 0.010secs, Finished in 0.011secs
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