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

A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs. - Gustavo Arroyo; J. Guadalupe Ramos; Salvador Tamarit; Germán Vidal (LOPSTR, 2008)

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

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

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

Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation. - Michael Leuschel; Salvador Tamarit; Germán Vidal (WFLP, 2009)

Improving Size-Change Analysis in Offline Partial Evaluation - Michael Leuschel; Salvador Tamarit; Germán Vidal (CoRR, 2009)

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)

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

System Dependence Graphs in Sequential Erlang. - Josep Silva; Salvador Tamarit; César Tomás (FASE, 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)

Static slicing of explicitly synchronized languages. - Michael Leuschel; Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit (Inf. Comput., 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)

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

A Declarative Debugger for Sequential Erlang Programs. - Rafael Caballero 001; Enrique Martin-Martin; Adrián Riesco 001; Salvador Tamarit (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)

EDD: A Declarative Debugger for Sequential Erlang Programs. - Rafael Caballero 001; Enrique Martin-Martin; Adrián Riesco 001; Salvador Tamarit (TACAS, 2014)

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)

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

A Haskell Implementation of a Rule-Based Program Transformation for C Programs. - Salvador Tamarit; Guillermo Vigueras; Manuel Carro; Julio Mariño (PADL, 2015)

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

A zoom-declarative debugger for sequential Erlang programs. - Rafael Caballero 001; Enrique Martin-Martin; Adrián Riesco 001; Salvador Tamarit (Sci. Comput. Program., 2015)

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

Debugging Meets Testing in Erlang. - Salvador Tamarit; Adrián Riesco 001; Enrique Martin-Martin; Rafael Caballero 001 (TAP@STAF, 2016)

Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems. - Salvador Tamarit; Julio Mariño; Guillermo Vigueras; Manuel Carro (CoRR, 2016)

Proceedings of the First Workshop on Program Transformation for Programmability in Heterogeneous Architectures. - Salvador Tamarit; Julio Mariño; Guillermo Vigueras; Manuel Carro (CoRR, 2016)

Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems. - Salvador Tamarit; Julio Mariño; Guillermo Vigueras; Manuel Carro (PROLE, 2016)

Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code. - Guillermo Vigueras; Manuel Carro; Salvador Tamarit; Julio Mariño (PROLE, 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)

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)

Enhancing POI Testing Through the Use of Additional Information. - Sergio Pérez 001; Salvador Tamarit (WFLP, 2018)

Runtime Verification in Erlang by Using Contracts. - Lars-Åke Fredlund; Julio Mariño; Sergio Pérez 001; Salvador Tamarit (WFLP, 2018)

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

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

Enhancing POI testing approach through the use of additional information. - Sergio Pérez 001; Salvador Tamarit (CoRR, 2018)

Declarative debugging of concurrent Erlang programs. - Rafael Caballero 001; Enrique Martin-Martin; Adrián Riesco 001; Salvador Tamarit (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)

A core Erlang semantics for declarative debugging. - Rafael Caballero 001; Enrique Martin-Martin; Adrián Riesco 001; Salvador Tamarit (J. Log. Algebraic Methods Program., 2019)

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)

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)

A unified framework for declarative debugging and testing. - Rafael Caballero 001; Enrique Martin-Martin; Adrián Riesco 001; Salvador Tamarit (Inf. Softw. Technol., 2021)

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

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