| 2007 |
|---|
| 22 | EE | Josep Silva:
A Program Slicing Based Method to Filter XML/DTD Documents.
SOFSEM (1) 2007: 771-782 |
| 21 | EE | Diego Cheda,
Josep Silva,
Germán Vidal:
Static Slicing of Rewrite Systems.
Electr. Notes Theor. Comput. Sci. 177: 123-136 (2007) |
| 20 | 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) |
| 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 |
