dblp.uni-trier.dewww.uni-trier.de

Josep Silva

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
30EEMichael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit: SOC: a slicer for CSP specifications. PEPM 2009: 165-168
29EEJosep Silva: Information Filtering and Information Retrieval with the Web Filtering Toolbar. Electr. Notes Theor. Comput. Sci. 235: 125-136 (2009)
2008
28EEMichael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit: The MEB and CEB Static Analysis for CSP Specifications. LOPSTR 2008: 103-118
27EEJosep Silva: Debugging techniques for declarative languages: Profiling, program slicing and algorithmic debugging. AI Commun. 21(1): 91-92 (2008)
26EEMarisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit, Germán Vidal: Dynamic Slicing Techniques for Petri Nets. Electr. Notes Theor. Comput. Sci. 223: 153-165 (2008)
25EEClaudio Ochoa, Josep Silva, Germán Vidal: Dynamic slicing of lazy functional programs based on redex trails. Higher-Order and Symbolic Computation 21(1-2): 147-192 (2008)
2007
24EESebastian Fischer, Josep Silva, Salvador Tamarit, Germán Vidal: Preserving Sharing in the Partial Evaluation of Lazy Functional Programs. LOPSTR 2007: 74-89
23EEJosep Silva: A Program Slicing Based Method to Filter XML/DTD Documents. SOFSEM (1) 2007: 771-782
22EEDiego Cheda, Josep Silva, Germán Vidal: Static Slicing of Rewrite Systems. Electr. Notes Theor. Comput. Sci. 177: 123-136 (2007)
21EEJ. Guadalupe Ramos, Josep Silva, Germán Vidal: Ensuring the quasi-termination of needed narrowing computations. Inf. Process. Lett. 101(5): 220-226 (2007)
20EEJosep Silva, Germán Vidal: Forward slicing of functional logic programs by partial evaluation. TPLP 7(1-2): 215-247 (2007)
2006
19EEJosep Silva, Jorge Belenguer, Matilde Celma: Multi-source Materialized Views Maintenance: Multi-level Views. ADBIS 2006: 71-80
18EEClaudio Ochoa, Josep Silva, Germán Vidal: A Slicing Tool for Lazy Functional Logic Programs. JELIA 2006: 498-501
17EEJosep Silva: A Comparative Study of Algorithmic Debugging Strategies. LOPSTR 2006: 143-159
16EEGustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Germán Vidal: Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs. LOPSTR 2006: 60-76
15EEJosep Silva, Olaf Chitil: Combining algorithmic debugging and program slicing. PPDP 2006: 157-166
14EEJosep Silva, Germán Vidal: Forward slicing of functional logic programs by partial evaluation CoRR abs/cs/0601013: (2006)
13EEJosep Silva: Slicing XML Documents. Electr. Notes Theor. Comput. Sci. 157(2): 187-192 (2006)
2005
12EEJ. Guadalupe Ramos, Josep Silva, Germán Vidal: Fast narrowing-driven partial evaluation for inductively sequential programs. ICFP 2005: 228-239
11EEClaudio Ochoa, Josep Silva, Germán Vidal: Lightweight program specialization via dynamic slicing. WCFLP 2005: 1-7
10EEJ. Guadalupe Ramos, Josep Silva, Germán Vidal: An offline partial evaluator for curry programs. WCFLP 2005: 49-53
9 Josep Silva: Slicing XML Documents. WWV 2005: 121-125
2004
8EEGustavo Arroyo, Claudio Ochoa, Josep Silva, Germán Vidal: Towards CNC Programming Using Haskell. IBERAMIA 2004: 386-396
7EEBernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal: Run-Time Profiling of Functional Logic Programs. LOPSTR 2004: 182-197
6EEClaudio Ochoa, Josep Silva, Germán Vidal: Dynamic slicing based on redex trails. PEPM 2004: 123-134
5EEJ. Guadalupe Ramos, Josep Silva, Germán Vidal: An Embedded Language Approach to Router Specification in Curry. SOFSEM 2004: 277-288
2003
4 Elvira Albert, Josep Silva, Germán Vidal: Time Equations for Lazy Functional (Logic) Languages. APPIA-GULP-PRODE 2003: 13-24
3 Josep Silva, Nour Hussein, José A. Carsí, Isidro Ramos: El aspecto de distribución de PRISMA. JISBD 2003: 127-136
2002
2EEJosep Silva, Isidro Ramos, José A. Carsí: An Algorithm to Compare OO-Conceptual Schemas. ICSM 2002: 351-358
1 Josep Silva, Jorge Belenguer, Matilde Celma: Materialización de Vistas Multi-Origen: Vistas Multinivel. JISBD 2002: 25-34

Coauthor Index

1Elvira Albert [4]
2Nour Ali (Nour Hussein) [3]
3Gustavo Arroyo [8] [16]
4Jorge Belenguer [1] [19]
5Bernd Brassel (Bernd Braßel) [7]
6José A. Carsí [2] [3]
7Matilde Celma [1] [19]
8Diego Cheda [22]
9Olaf Chitil [15]
10Sebastian Fischer [24]
11Michael Hanus [7]
12Frank Huch [7]
13Michael Leuschel [28] [30]
14Marisa Llorens [26] [28] [30]
15Claudio Ochoa [6] [8] [11] [18] [25]
16Javier Oliver [26] [28] [30]
17Isidro Ramos [2] [3]
18J. Guadalupe Ramos [5] [10] [12] [16] [21]
19Salvador Tamarit [24] [26] [28] [30]
20Germán Vidal [4] [5] [6] [7] [8] [10] [11] [12] [14] [16] [18] [20] [21] [22] [24] [25] [26]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)