Josep Silva

2009
30	EE	Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit: SOC: a slicer for CSP specifications. PEPM 2009: 165-168
29	EE	Josep Silva: Information Filtering and Information Retrieval with the Web Filtering Toolbar. Electr. Notes Theor. Comput. Sci. 235: 125-136 (2009)
2008
28	EE	Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit: The MEB and CEB Static Analysis for CSP Specifications. LOPSTR 2008: 103-118
27	EE	Josep Silva: Debugging techniques for declarative languages: Profiling, program slicing and algorithmic debugging. AI Commun. 21(1): 91-92 (2008)
26	EE	Marisa 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)
25	EE	Claudio 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
24	EE	Sebastian Fischer, Josep Silva, Salvador Tamarit, Germán Vidal: Preserving Sharing in the Partial Evaluation of Lazy Functional Programs. LOPSTR 2007: 74-89
23	EE	Josep Silva: A Program Slicing Based Method to Filter XML/DTD Documents. SOFSEM (1) 2007: 771-782
22	EE	Diego Cheda, Josep Silva, Germán Vidal: Static Slicing of Rewrite Systems. Electr. Notes Theor. Comput. Sci. 177: 123-136 (2007)
21	EE	J. Guadalupe Ramos, Josep Silva, Germán Vidal: Ensuring the quasi-termination of needed narrowing computations. Inf. Process. Lett. 101(5): 220-226 (2007)
20	EE	Josep Silva, Germán Vidal: Forward slicing of functional logic programs by partial evaluation. TPLP 7(1-2): 215-247 (2007)
2006
19	EE	Josep Silva, Jorge Belenguer, Matilde Celma: Multi-source Materialized Views Maintenance: Multi-level Views. ADBIS 2006: 71-80
18	EE	Claudio Ochoa, Josep Silva, Germán Vidal: A Slicing Tool for Lazy Functional Logic Programs. JELIA 2006: 498-501
17	EE	Josep Silva: A Comparative Study of Algorithmic Debugging Strategies. LOPSTR 2006: 143-159
16	EE	Gustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Germán Vidal: Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs. LOPSTR 2006: 60-76
15	EE	Josep Silva, Olaf Chitil: Combining algorithmic debugging and program slicing. PPDP 2006: 157-166
14	EE	Josep Silva, Germán Vidal: Forward slicing of functional logic programs by partial evaluation CoRR abs/cs/0601013: (2006)
13	EE	Josep Silva: Slicing XML Documents. Electr. Notes Theor. Comput. Sci. 157(2): 187-192 (2006)
2005
12	EE	J. Guadalupe Ramos, Josep Silva, Germán Vidal: Fast narrowing-driven partial evaluation for inductively sequential programs. ICFP 2005: 228-239
11	EE	Claudio Ochoa, Josep Silva, Germán Vidal: Lightweight program specialization via dynamic slicing. WCFLP 2005: 1-7
10	EE	J. 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
8	EE	Gustavo Arroyo, Claudio Ochoa, Josep Silva, Germán Vidal: Towards CNC Programming Using Haskell. IBERAMIA 2004: 386-396
7	EE	Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal: Run-Time Profiling of Functional Logic Programs. LOPSTR 2004: 182-197
6	EE	Claudio Ochoa, Josep Silva, Germán Vidal: Dynamic slicing based on redex trails. PEPM 2004: 123-134
5	EE	J. 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
2	EE	Josep 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

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