Using Narrowing Approximations to Optimize Equational Logic Programs. - María Alpuente; Moreno Falaschi; María José Ramis; Germán Vidal (GULP, 1993)

Narrowing Approximations as an Optimization for Equational Logic Programs. - María Alpuente; Moreno Falaschi; María José Ramis; Germán Vidal (PLILP, 1993)

Incremental Equational Constraint Analyses. - María Alpuente; Moreno Falaschi; Germán Vidal (ILPS, 1993)

A Compositional Semantics for Conditional Term Rewriting Systems. - María Alpuente; Moreno Falaschi; María José Ramis; Germán Vidal (GULP-PRODE (1), 1994)

Compositional Analysis for Equational Horn Programs. - María Alpuente; Moreno Falaschi; Germán Vidal (ALP, 1994)

Call-By Name Partial Evaluation of Functional Logic Programs. - María Alpuente; Moreno Falaschi; Pascual Julián Iranzo; Germán Vidal (APPIA-GULP-PRODE, 1996)

Narrowing-Driven Partial Evaluation of Functional Logic Programs. - María Alpuente; Moreno Falaschi; Germán Vidal (ESOP, 1996)

A Compositional Semantic Basis for the Analysis of Equational Horn Programs. - María Alpuente; Moreno Falaschi; Germán Vidal (Theor. Comput. Sci., 1996)

Safe Folding/Unfolding with Conditional Narrowing. - María Alpuente; Moreno Falaschi; Ginés Moreno; Germán Vidal (APPIA-GULP-PRODE, 1997)

Specialization of Lazy Functional Logic Programs. - María Alpuente; Moreno Falaschi; Pascual Julián Iranzo; Germán Vidal (PEPM, 1997)

Polygenetic Partial Evaluation of Lazy Functional Logic Programs. - Elvira Albert; María Alpuente; Moreno Falaschi; Pascual Julián Iranzo; Germán Vidal (APPIA-GULP-PRODE, 1998)

Improving Control in Functional Logic Program Specialization. - Elvira Albert; María Alpuente; Moreno Falaschi; Pascual Julián Iranzo; Germán Vidal (SAS, 1998)

A Unifying View of Functional and Logic Program Specialization. - María Alpuente; Moreno Falaschi; Germán Vidal (ACM Comput. Surv., 1998)

Partial Evaluation of Functional Logic Programs. - María Alpuente; Moreno Falaschi; Germán Vidal (ACM Trans. Program. Lang. Syst., 1998)

A Transformation System for Lazy Functional Logic Programs. - María Alpuente; Moreno Falaschi; Ginés Moreno; Germán Vidal (Fuji International Symposium on Functional and Logic Programming, 1999)

Specialization of Inductively Sequential Functional Logic Programs. - María Alpuente; Michael Hanus; Salvador Lucas; Germán Vidal (ICFP, 1999)

A Partial Evaluation Framework for Curry Programs. - Elvira Albert; María Alpuente; Michael Hanus; Germán Vidal (LPAR, 1999)

Un Sistema de Transformación para Programas Multiparadigma. - María Alpuente; Moreno Falaschi; César Ferri; Ginés Moreno; Germán Vidal (Inteligencia Artif., 1999)

Improving Functional Logic Programs by Difference-Lists. - Elvira Albert; César Ferri; Frank Steiner; Germán Vidal (ASIAN, 2000)

Measuring the Effectiveness of Partial Evaluation. - Elvira Albert; Sergio Antoy; Germán Vidal (LOPSTR, 2000)

Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages. - Elvira Albert; Sergio Antoy; Germán Vidal (LOPSTR (LNCS 2042: Selected Papers), 2000)

Using an Abstract Representation to Specialize Functional Logic Programs. - Elvira Albert; Michael Hanus; Germán Vidal (LPAR, 2000)

An Automatic Composition Algorithm for Functional Logic Programs. - María Alpuente; Moreno Falaschi; Ginés Moreno; Germán Vidal (SOFSEM, 2000)

A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation. - Elvira Albert; Sergio Antoy; Germán Vidal (WFLP, 2000)

List-Processing Optimizations in a Multi-Paradigm Declarative Language. - Elvira Albert; César Ferri; Frank Steiner; Germán Vidal (WFLP, 2000)

Realistic Program Specialization in a Multi-Paradigm Language. - Elvira Albert; Michael Hanus; Germán Vidal (WFLP, 2000)

Using PE to Automate Program Composition. - María Alpuente; Moreno Falaschi; Ginés Moreno; Germán Vidal (WFLP, 2000)

A Practical Partial Evaluator for a Multi-Paradigm Declarative Language. - Elvira Albert; Michael Hanus; Germán Vidal (FLOPS, 2001)

Symbolic Profiling for Multi-paradigm Declarative Languages. - Elvira Albert; Germán Vidal (LOPSTR, 2001)

The Narrowing-driven Approach to Functional Logic Program Specialization. - Elvira Albert; Germán Vidal (New Gener. Comput., 2001)

A Deterministic Operational Semantics for Functional Logic Programs. - Elvira Albert; Michael Hanus; Frank Huch; Javier Oliver 001; Germán Vidal (APPIA-GULP-PRODE, 2002)

Forward Slicing of Multi-paradigm Declarative Programs Based on Partial Evaluation. - Germán Vidal (LOPSTR, 2002)

Cost-augmented narrowing-driven specialization. - Germán Vidal (PEPM, 2002)

An Operational Semantics for Declarative Multi-Paradigm Languages. - Elvira Albert; Michael Hanus; Frank Huch; Javier Oliver 001; Germán Vidal (WRS, 2002)

Operational Semantics for Functional Logic Languages. - Elvira Albert; Michael Hanus; Frank Huch; Javier Oliver 001; Germán Vidal (WFLP, 2002)

A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages. - Elvira Albert; Michael Hanus; Germán Vidal (J. Funct. Log. Program., 2002)

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

Preface. - Germán Vidal (WFLP, 2003)

A residualizing semantics for the partial evaluation of functional logic programs. - Elvira Albert; Michael Hanus; Germán Vidal (Inf. Process. Lett., 2003)

Uniform Lazy Narrowing. - María Alpuente; Moreno Falaschi; Pascual Julián Iranzo; Germán Vidal (J. Log. Comput., 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)

A semantics for tracing declarative multi-paradigm programs. - Bernd Brassel; Michael Hanus; Frank Huch; Germán Vidal (PPDP, 2004)

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

Cost-Augmented Partial Evaluation of Functional Logic Programs. - Germán Vidal (High. Order Symb. Comput., 2004)

Rules + strategies for transforming lazy functional logic programs. - María Alpuente; Moreno Falaschi; Ginés Moreno; Germán Vidal (Theor. Comput. Sci., 2004)

Forward Slicing by Conjunctive Partial Deduction and Argument Filtering. - Michael Leuschel; Germán Vidal (ESOP, 2005)

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)

Operational semantics for declarative multi-paradigm languages. - Elvira Albert; Michael Hanus; Frank Huch; Javier Oliver 001; Germán Vidal (J. Symb. Comput., 2005)

Specialization of functional logic programs based on needed narrowing. - María Alpuente; Salvador Lucas; Michael Hanus; Germán Vidal (Theory Pract. Log. Program., 2005)

Automatic Partial Inversion of Inductively Sequential Functions. - Jesús Manuel Almendros-Jiménez; Germán Vidal (IFL, 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)

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

Lazy call-by-value evaluation. - Bernd Braßel; Michael Hanus; Sebastian Fischer 001; Frank Huch; Germán Vidal (ICFP, 2007)

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

Quasi-terminating logic programs for ensuring the termination of partial evaluation. - Germán Vidal (PEPM, 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)

Termination of Narrowing in Left-Linear Constructor Systems. - Germán Vidal (FLOPS, 2008)

Trace Analysis for Predicting the Effectiveness of Partial Evaluation. - Germán Vidal (ICLP, 2008)

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

Fast Offline Partial Evaluation of Large Logic Programs. - Michael Leuschel; Germán Vidal (LOPSTR, 2008)

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

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

Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing. - José Iborra; Naoki Nishida 001; Germán Vidal (LOPSTR, 2009)

Towards Scalable Partial Evaluation of Declarative Programs. - Germán Vidal (LOPSTR, 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)

A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs. - Germán Vidal (LOPSTR, 2010)

Termination of narrowing via termination of rewriting. - Naoki Nishida 001; Germán Vidal (Appl. Algebra Eng. Commun. Comput., 2010)

Proceedings of CICLOPS-WLPE 2010 - Germán Vidal; Neng-Fa Zhou (CoRR, 2010)

Program Inversion for Tail Recursive Functions. - Naoki Nishida 001; Germán Vidal (RTA, 2011)

Editorial. - Julia Lawall; Germán Puebla; Germán Vidal (High. Order Symb. Comput., 2011)

Computing More Specific Versions of Conditional Rewriting Systems. - Naoki Nishida 001; Germán Vidal (LOPSTR, 2012)

Closed Symbolic Execution for Verifying Program Termination. - Germán Vidal (SCAM, 2012)

Preface. - Matthias Blume; Germán Vidal (Theor. Comput. Sci., 2012)

Annotation of logic programs for independent AND-parallelism by partial evaluation. - Germán Vidal (Theory Pract. Log. Program., 2012)

A Finite Representation of the Narrowing Space. - Naoki Nishida 001; Germán Vidal (LOPSTR, 2013)

Towards Erlang Verification by Term Rewriting. - Germán Vidal (LOPSTR, 2013)

Towards Symbolic Execution in Erlang. - Germán Vidal (Ershov Memorial Conference, 2014)

Concolic Execution and Test Case Generation in Prolog. - Germán Vidal (LOPSTR, 2014)

Fast offline partial evaluation of logic programs. - Michael Leuschel; Germán Vidal (Inf. Comput., 2014)

Conversion to tail recursion in term rewriting. - Naoki Nishida 001; Germán Vidal (J. Log. Algebraic Methods Program., 2014)

Reducing Relative Termination to Dependency Pair Problems. - José Iborra; Naoki Nishida 001; Germán Vidal; Akihisa Yamada 002 (CADE, 2015)

Concolic Execution in Functional Programming by Program Instrumentation. - Adrián Palacios; Germán Vidal (LOPSTR, 2015)

Towards Modelling Actor-Based Concurrency in Term Rewriting. - Adrián Palacios; Germán Vidal (WPTE@RDP, 2015)

A framework for computing finite SLD trees. - Naoki Nishida 001; Germán Vidal (J. Log. Algebraic Methods Program., 2015)

Symbolic execution as a basis for termination analysis. - Germán Vidal (Sci. Comput. Program., 2015)

Concolic testing in logic programming. - Fred Mesnard; Étienne Payet; Germán Vidal (Theory Pract. Log. Program., 2015)

A Reversible Semantics for Erlang. - Naoki Nishida 001; Adrián Palacios; Germán Vidal (LOPSTR, 2016)

On the Completeness of Selective Unification in Concolic Testing of Logic Programs. - Fred Mesnard; Étienne Payet; Germán Vidal (LOPSTR, 2016)

Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs. - Ginés Moreno; Jaime Penabad; José A. Riaza; Germán Vidal (LOPSTR, 2016)

Reversible Term Rewriting. - Naoki Nishida 001; Adrián Palacios; Germán Vidal (FSCD, 2016)

Towards Reversible Computation in Erlang. - Naoki Nishida 001; Adrián Palacios; Germán Vidal (CoRR, 2016)

Tuning Fuzzy Logic Programs with Symbolic Execution. - Ginés Moreno; Jaime Penabad; Germán Vidal (CoRR, 2016)

Relative Termination via Dependency Pairs. - José Iborra; Naoki Nishida 001; Germán Vidal; Akihisa Yamada 002 (J. Autom. Reason., 2017)

CauDEr: A Causal-Consistent Reversible Debugger for Erlang. - Ivan Lanese; Naoki Nishida 001; Adrián Palacios; Germán Vidal (FLOPS, 2018)

Specialization of Distributed Actors by Partial Evaluation. - Germán Vidal (SMC, 2018)

A theory of reversibility for Erlang. - Ivan Lanese; Naoki Nishida 001; Adrián Palacios; Germán Vidal (J. Log. Algebraic Methods Program., 2018)

Reversible computation in term rewriting. - Naoki Nishida 001; Adrián Palacios; Germán Vidal (J. Log. Algebraic Methods Program., 2018)

Preface for SCP special issue on Principles and Practice of Declarative Programming. - Germán Vidal (Sci. Comput. Program., 2018)

Introduction to the special issue on computational logic for verification. - Germán Vidal (Theory Pract. Log. Program., 2018)

Causal-Consistent Replay Debugging for Message Passing Programs. - Ivan Lanese; Adrián Palacios; Germán Vidal (FORTE, 2019)

Characterizing Compatible View Updates in Syntactic Bidirectionalization. - Naoki Nishida 001; Germán Vidal (RC, 2019)

Introduction to the 35th International Conference on Logic Programming Special Issue. - Esra Erdem 001; Andrea Formisano 001; Germán Vidal; Fangkai Yang (Theory Pract. Log. Program., 2019)

An SMT-Based Concolic Testing Tool for Logic Programs. - Sophie Fortz; Fred Mesnard; Étienne Payet; Gilles Perrouin; Wim Vanhoof; Germán Vidal (FLOPS, 2020)

Reversible Computations in Logic Programming. - Germán Vidal (RC, 2020)

Selective Unification in (Constraint) Logic Programming. - Fred Mesnard; Étienne Payet; Germán Vidal (Fundam. Informaticae, 2020)

Concolic Testing in CLP. - Fred Mesnard; Étienne Payet; Germán Vidal (Theory Pract. Log. Program., 2020)

Foundations of Reversible Computation. - Bogdan Aman; Gabriel Ciobanu; Robert Glück; Robin Kaarsgaard; Jarkko Kari; Martin Kutrib; Ivan Lanese; Claudio Antares Mezzina; Lukasz Mikulski; Rajagopal Nagarajan; Iain C. C. Phillips; G. Michele Pinna; et al. (Selected Results of the COST Action IC1405, 2020)

A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs. - James Hoey; Ivan Lanese; Naoki Nishida 001; Irek Ulidowski; Germán Vidal (Selected Results of the COST Action IC1405, 2020)

Prefix-Based Tracing in Message-Passing Concurrency. - Juan José González-Abril; Germán Vidal (LOPSTR, 2021)

Causal-Consistent Reversible Debugging: Improving CauDEr. - Juan José González-Abril; Germán Vidal (PADL, 2021)

A Program Instrumentation for Prefix-Based Tracing in Message-Passing Concurrency. - Juan José González-Abril; Germán Vidal (CoRR, 2021)

A Lightweight Approach to Computing Message Races with an Application to Causal-Consistent Reversible Debugging. - Juan José González-Abril; Germán Vidal (CoRR, 2021)

Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs. - Ivan Lanese; Adrián Palacios; Germán Vidal (Fundam. Informaticae, 2021)

Explanations as Programs in Probabilistic Logic Programming. - Germán Vidal (FLOPS, 2022)

Computing Race Variants in Message-Passing Concurrent Programming with Selective Receives. - Germán Vidal (FORTE, 2022)

Reversible Debugging in Logic Programming. - Germán Vidal (Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023)

From Reversible Computation to Checkpoint-Based Rollback Recovery for Message-Passing Concurrent Programs. - Germán Vidal (FACS, 2023)

Towards a Taxonomy for Reversible Computation Approaches. - Robert Glück; Ivan Lanese; Claudio Antares Mezzina; Jaroslaw Adam Miszczak; Iain C. C. Phillips; Irek Ulidowski; Germán Vidal (RC, 2023)

Explaining Explanations in Probabilistic Logic Programming. - Germán Vidal (APLAS, 2024)

Reversible Debugging of Erlang Programs in CauDEr. - Ivan Lanese; Germán Vidal (DEBT@ISSTA, 2024)

An Asynchronous Scheme for Rollback Recovery in Message-Passing Concurrent Programming Languages. - Germán Vidal (SAC, 2024)

Choreographies for Program Understanding. - Gabriele Genovese; Ivan Lanese; Cinzia Di Giusto; Emilio Tuosto; Germán Vidal (FORTE, 2025)

A distribution semantics for probabilistic term rewriting. - Germán Vidal (J. Log. Algebraic Methods Program., 2025)