An Algorithm to Compare OO-Conceptual Schemas. - Josep Silva; Isidro Ramos; José A. Carsí (ICSM, 2002)

Materialización de Vistas Multi-Origen: Vistas Multinivel. - Josep Silva; Jorge Belenguer; Matilde Celma (JISBD, 2002)

Time Equations for Lazy Functional (Logic) Languages. - Elvira Albert; Josep Silva; Germán Vidal (APPIA-GULP-PRODE, 2003)

El aspecto de distribución de PRISMA. - Josep Silva; Nour Hussein; José A. Carsí; Isidro Ramos (JISBD, 2003)

Towards CNC Programming Using Haskell. - Gustavo Arroyo; Claudio Ochoa; Josep Silva; Germán Vidal (IBERAMIA, 2004)

Run-Time Profiling of Functional Logic Programs. - Bernd Brassel; Michael Hanus; Frank Huch; Josep Silva; Germán Vidal (LOPSTR, 2004)

Dynamic slicing based on redex trails. - Claudio Ochoa; Josep Silva; Germán Vidal (PEPM, 2004)

An Embedded Language Approach to Router Specification in Curry. - J. Guadalupe Ramos; Josep Silva; Germán Vidal (SOFSEM, 2004)

Fast narrowing-driven partial evaluation for inductively sequential programs. - J. Guadalupe Ramos; Josep Silva; Germán Vidal (ICFP, 2005)

Lightweight program specialization via dynamic slicing. - Claudio Ochoa; Josep Silva; Germán Vidal (WCFLP, 2005)

An offline partial evaluator for curry programs. - J. Guadalupe Ramos; Josep Silva; Germán Vidal (WCFLP, 2005)

Análisis Teórico-Experimental de Criterios de Comparación de Esquemas Conceptuales Orientados a Objeto. - Josep Silva; José A. Carsí; Isidro Ramos (Computación y Sistemas, 2005)

Slicing XML Documents. - Josep Silva (WWV, 2005)

Multi-source Materialized Views Maintenance: Multi-level Views. - Josep Silva; Jorge Belenguer; Matilde Celma (ADBIS, 2006)

Multi-source materialized views maintenance. - Josep Silva; Jorge Belenguer; Matilde Celma (EDA, 2006)

A Slicing Tool for Lazy Functional Logic Programs. - Claudio Ochoa; Josep Silva; Germán Vidal (JELIA, 2006)

Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs. - Gustavo Arroyo; J. Guadalupe Ramos; Josep Silva; Germán Vidal (LOPSTR, 2006)

A Comparative Study of Algorithmic Debugging Strategies. - Josep Silva (LOPSTR, 2006)

Combining algorithmic debugging and program slicing. - Josep Silva; Olaf Chitil (PPDP, 2006)

Static Slicing of Rewrite Systems. - Diego Cheda; Josep Silva; Germán Vidal (WFLP, 2006)

Preserving Sharing in the Partial Evaluation of Lazy Functional Programs. - Sebastian Fischer 001; Josep Silva; Salvador Tamarit; Germán Vidal (LOPSTR, 2007)

A Program Slicing Based Method to Filter XML/DTD Documents. - Josep Silva (SOFSEM (1), 2007)

Ensuring the quasi-termination of needed narrowing computations. - J. Guadalupe Ramos; Josep Silva; Germán Vidal (Inf. Process. Lett., 2007)

Forward slicing of functional logic programs by partial evaluation. - Josep Silva; Germán Vidal (Theory Pract. Log. Program., 2007)

The MEB and CEB Static Analysis for CSP Specifications. - Michael Leuschel; Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit (LOPSTR, 2008)

Debugging techniques for declarative languages: Profiling, program slicing and algorithmic debugging. - Josep Silva (AI Commun., 2008)

State of the Practice in Algorithmic Debugging. - Diego Cheda; Josep Silva (WFLP, 2008)

Dynamic Slicing Techniques for Petri Nets. - Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit; Germán Vidal (RP, 2008)

Information Filtering and Information Retrieval with the Web Filtering Toolbar. - Josep Silva (WWV, 2008)

Dynamic slicing of lazy functional programs based on redex trails. - Claudio Ochoa; Josep Silva; Germán Vidal (High. Order Symb. Comput., 2008)

A Practical Approach to Modeling and Extracting Information from Semantic Web Based on Microformats. - J. Guadalupe Ramos; Ricardo A. Solís; Héctor Oceguera; Josep Silva (ENC, 2009)

A Technique for Information Retrieval from Microformatted Websites. - J. Guadalupe Ramos; Josep Silva; Gustavo Arroyo; Juan C. Solorio (Ershov Memorial Conference, 2009)

SOC: a slicer for CSP specifications. - Michael Leuschel; Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit (PEPM, 2009)

A New Information Filtering Method for WebPages. - Sergio López; Josep Silva (DEXA Workshops, 2010)

An algorithmic debugger for Java. - David Insa; Josep Silva (ICSM, 2010)

Scaling Up Algorithmic Debugging with Virtual Execution Trees. - David Insa; Josep Silva (LOPSTR, 2010)

Graph Generation to Statically Represent CSP Processes. - Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit (LOPSTR, 2010)

A Tracking Semantics for CSP. - Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit (MPC, 2010)

Translating CSP Specifications to Equivalent Petri Nets. - Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit (PDPTA, 2010)

An algorithm to generate the context-sensitive synchronized control flow graph. - Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit (SAC, 2010)

Domain Specific Languages for Software Requirements Capture. - J. Guadalupe Ramos; Josep Silva; Heriberto Flores; Margarita Torres; Laura E. Mendoza; Juan C. Solorio (Software Engineering Research and Practice, 2010)

Modeling Implicit Knowledge from Microformatted Websites. - J. Guadalupe Ramos; Josep Silva (SWWS, 2010)

Reconstructing Information Retrieved from Multiple Websites. - Héctor Valero; Carlos J. Castillo; Josep Silva (WWV, 2010)

Preface. - Víctor M. Gulías; Josep Silva Galiana (PROLE, 2010)

XQuery optimization based on program slicing. - Jesús Manuel Almendros-Jiménez; Josep Silva; Salvador Tamarit (CIKM, 2011)

Optimal Divide and Query. - David Insa; Josep Silva (EPIA, 2011)

An optimal strategy for algorithmic debugging. - David Insa; Josep Silva (ASE, 2011)

A survey on algorithmic debugging strategies. - Josep Silva (Adv. Eng. Softw., 2011)

Optimal Divide and Query (extended version) - David Insa; Josep Silva (CoRR, 2011)

Implementation of an Optimal Strategy for Algorithmic Debugging. - David Insa; Josep Silva (PROLE, 2011)

Information Extraction from Webpages Based on DOM Distances. - Carlos J. Castillo; Héctor Valero; José Guadalupe Ramos; Josep Silva (CICLing (2), 2012)

System Dependence Graphs in Sequential Erlang. - Josep Silva; Salvador Tamarit; César Tomás (FASE, 2012)

Enhancing Declarative Debugging with Loop Expansion and Tree Compression. - David Insa; Josep Silva; César Tomás (LOPSTR, 2012)

The New Generation of Algorithmic Debuggers (Keynote). - Josep Silva Galiana (SLATE, 2012)

Generating a Petri net from a CSP specification: A semantics-based method. - Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit (Adv. Eng. Softw., 2012)

Using the DOM Tree for Content Extraction - Sergio López; Josep Silva; David Insa (WWV, 2012)

A vocabulary of program slicing-based techniques. - Josep Silva (ACM Comput. Surv., 2012)

Static slicing of explicitly synchronized languages. - Michael Leuschel; Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit (Inf. Comput., 2012)

Content Extraction based on Hierarchical Relations in DOM Structures. - Sergio López; Josep Silva; David Insa (Polibits, 2012)

The influence of students distribution on their grades. - Carlos Herrero; Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit (ITiCSE, 2013)

An empirical analysis of the influence of classmates on the academic performance. - Carlos Herrero; Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit (ITiCSE, 2013)

A New Hybrid Debugging Architecture for Eclipse. - Juan González; David Insa; Josep Silva (LOPSTR, 2013)

Precise explanation of success typing errors. - Konstantinos Sagonas; Josep Silva; Salvador Tamarit (PEPM, 2013)

Speeding Up Algorithmic Debugging Using Balanced Execution Trees. - David Insa; Josep Silva; Adrián Riesco 001 (TAP@STAF, 2013)

Using the words/leafs ratio in the DOM tree for content extraction. - David Insa; Josep Silva; Salvador Tamarit (J. Log. Algebraic Methods Program., 2013)

Special issue on Automated Specification and Verification of Web Systems. - Laura Kovács; Rosario Pugliese; Josep Silva; Francesco Tiezzi 001 (J. Log. Algebraic Methods Program., 2013)

Automatic Detection of Webpages that Share the Same Web Template. - Julián Alarte; David Insa; Josep Silva; Salvador Tamarit (WWV, 2014)

A Benchmark Suite for Template Detection and Content Extraction. - Julián Alarte; David Insa; Josep Silva; Salvador Tamarit (CoRR, 2014)

Web Template Extraction Based on Hyperlink Analysis. - Julián Alarte; David Insa; Josep Silva; Salvador Tamarit (PROLE, 2014)

Transforming while/do/for/foreach-Loops into Recursive Methods. - David Insa; Josep Silva (CoRR, 2014)

Site-Level Web Template Extraction Based on DOM Analysis. - Julián Alarte; David Insa; Josep Silva; Salvador Tamarit (Ershov Memorial Conference, 2015)

Semi-Automatic Assessment of Unrestrained Java Code: A Library, a DSL, and a Workbench to Assess Exams and Exercises. - David Insa; Josep Silva (ITiCSE, 2015)

A Generalized Model for Algorithmic Debugging. - David Insa; Josep Silva (LOPSTR, 2015)

TeMex: The Web Template Extractor. - Julián Alarte; David Insa; Josep Silva; Salvador Tamarit (WWW (Companion Volume), 2015)

Automatic transformation of iterative loops into recursive methods. - David Insa; Josep Silva (Inf. Softw. Technol., 2015)

Editorial for the JLAMP Special Issue on automated specification and verification of web systems. - António Ravara; Josep Silva (J. Log. Algebraic Methods Program., 2015)

Computer assisted self-assessment of programming code: A report on university students experience and opinion. - David Insa; Josep Silva (ITHET, 2016)

Where You Sit MattersHow Classroom Seating Might Affect Marks. - David Insa; Josep Silva; Salvador Tamarit (ITiCSE, 2016)

Dynamic slicing of concurrent specification languages. - Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit (Parallel Comput., 2016)

An Integrated Environment for Petri Net Slicing. - Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit (Petri Nets, 2017)

Analyzing the learning process (in Programming) by using data collected from an online IDE. - Salvador España Boquera; David Guerrero-Lopez; Alvaro Hermida-Perez; Josep Silva; José-Vicente Benlloch-Dualde (ITHET, 2017)

In what order should i correct the exercises? Determining the evaluation order for the automatic assessment of programming exercises. - Salvador España Boquera; David Insa; Josep Silva; Salvador Tamarit (ITHET, 2017)

Erlang Code Evolution Control. - David Insa; Sergio Pérez 001; Josep Silva; Salvador Tamarit (LOPSTR, 2017)

Computing super reduced program slices by composing slicing techniques. - David Insa; Sergio Pérez 001; Josep Silva (SAC, 2017)

Webpage Menu Detection Based on DOM. - Julián Alarte; David Insa; Josep Silva (SOFSEM, 2017)

A Survey of Algorithmic Debugging. - Rafael Caballero 001; Adrián Riesco 001; Josep Silva (ACM Comput. Surv., 2017)

Optimization Techniques for Algorithmic Debugging. - David Insa; Josep Silva (Bull. EATCS, 2017)

Main Content Extraction from Heterogeneous Webpages. - Julián Alarte; David Insa; Josep Silva; Salvador Tamarit (WISE (1), 2018)

Automatic assessment of Java code. - David Insa; Josep Silva (Comput. Lang. Syst. Struct., 2018)

Erlang Code Evolution Control (Use Cases). - David Insa; Sergio Pérez 001; Josep Silva; Salvador Tamarit (CoRR, 2018)

Pre-proceedings of the 26th International Workshop on Functional and Logic Programming (WFLP 2018). - Josep Silva (CoRR, 2018)

Algorithmic debugging generalized. - David Insa; Josep Silva (J. Log. Algebraic Methods Program., 2018)

Behaviour Preservation across Code Versions in Erlang. - David Insa; Sergio Pérez 001; Josep Silva; Salvador Tamarit (Sci. Program., 2018)

Tracking CSP computations. - Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit (J. Log. Algebraic Methods Program., 2019)

Automatic Testing of Program Slicers. - Sergio Pérez 001; Josep Silva; Salvador Tamarit (Sci. Program., 2019)

What Web Template Extractor Should I Use? A Benchmarking and Comparison for Five Template Extractors. - Julián Alarte; Josep Silva; Salvador Tamarit (ACM Trans. Web, 2019)

Slicing Unconditional Jumps with Unnecessary Control Dependencies. - Carlos Galindo 002; Sergio Pérez 001; Josep Silva (LOPSTR, 2020)

ReverCSP: Time-Travelling in CSP Computations. - Carlos Galindo 002; Naoki Nishida 001; Josep Silva; Salvador Tamarit (RC, 2020)

Semiautomatic generation and assessment of Java exercises in engineering education. - David Insa; Sergio Pérez 001; Josep Silva; Salvador Tamarit (Comput. Appl. Eng. Educ., 2021)

Maximal and minimal dynamic Petri net slicing. - Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit (CoRR, 2021)

Page-Level Main Content Extraction From Heterogeneous Webpages. - Julián Alarte; Josep Silva (ACM Trans. Knowl. Discov. Data, 2021)

Reversible CSP Computations. - Carlos Galindo 002; Naoki Nishida 001; Josep Silva; Salvador Tamarit (IEEE Trans. Parallel Distributed Syst., 2021)

Program Slicing Techniques with Support for Unconditional Jumps. - Carlos Galindo 002; Sergio Pérez 001; Josep Silva (ICFEM, 2022)

A Program Slicer for Java (Tool Paper). - Carlos Galindo 002; Sergio Pérez 001; Josep Silva (SEFM, 2022)

HybEx: A Hybrid Tool for Template Extraction. - Julián Alarte; Josep Silva (WWW (Companion Volume), 2022)

Maximal and Minimal Dynamic Petri Net Slicing. - Marisa Llorens; J. Oliver; Josep Silva; Salvador Tamarit (Fundam. Informaticae, 2022)

Slicing Petri Nets to Reduce Their Complexity - Abstract. - Carlos Galindo 002; Marisa Llorens; Sergio Pérez 001; Josep Silva (ATAED/PN4TT@Petri Nets, 2023)

Context-sensitive analysis of data interference for concurrent programs. - Carlos Galindo 002; Marisa Llorens; Sergio Pérez 001; Josep Silva (PNSE@Petri Nets, 2023)

Slicing Shared-Memory Concurrent Programs The Threaded System Dependence Graph Revisited. - Carlos Galindo 002; Marisa Llorens; Sergio Pérez 001; Josep Silva (ICSME, 2023)

Program slicing of Java programs. - Carlos Galindo 002; Sergio Pérez 001; Josep Silva (J. Log. Algebraic Methods Program., 2023)

Exception-sensitive program slicing. - Carlos Galindo 002; Sergio Pérez 001; Josep Silva (J. Log. Algebraic Methods Program., 2023)

RevEx: An Online Consumer Reviews Extraction Tool. - Julián Alarte; Carlos Galindo 002; Carlos Martín; Josep Silva (CIKM, 2024)

Programming Contests as Complementary Activities in University Programming Courses. - Julián Alarte; Carlos Galindo 002; Josep Silva (CSEDU (2), 2024)

DOM-Based Online Store Comments Extraction. - Julián Alarte; Carlos Galindo 002; Carlos Martín; Josep Silva (WEBIST, 2024)

Field-sensitive program slicing. - Carlos Galindo 002; Jens Krinke; Sergio Pérez 001; Josep Silva (J. Syst. Softw., 2024)

The expression dependence graph. - Carlos Galindo 002; Sergio Pérez 001; Josep Silva (J. Log. Algebraic Methods Program., 2025)