Germán Vidal - RankMe

160 papers A 6B 11C 38Misc 7Journal 59Unranked 35

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Reversible Semantics for Janus. CoRR Ivan Lanese, Germán Vidal
2025	J	`jnl`	A distribution semantics for probabilistic term rewriting. J. Log. Algebraic Methods Program. Germán Vidal
2025	C	`conf`	Choreographies for Program Understanding. FORTE Gabriele Genovese, Ivan Lanese, Cinzia Di Giusto, Emilio Tuosto, Germán Vidal
2025	C	`ed.`	Practical Aspects of Declarative Languages - 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings PADL Esra Erdem, Germán Vidal
2024	J	`jnl`	A Distribution Semantics for Probabilistic Term Rewriting. CoRR Germán Vidal
2024	Misc	`conf`	An Asynchronous Scheme for Rollback Recovery in Message-Passing Concurrent Programming Languages. SAC Germán Vidal
2024	J	`jnl`	An Asynchronous Scheme for Rollback Recovery in Message-Passing Concurrent Programming Languages. CoRR Germán Vidal
2024	J	`jnl`	Causal-Consistent Reversible Debugging: Improving CauDEr. CoRR Juan José González-Abril, Germán Vidal
2024	B	`conf`	Explaining Explanations in Probabilistic Logic Programming. APLAS Germán Vidal
2024	J	`jnl`	Explaining Explanations in Probabilistic Logic Programming. CoRR Germán Vidal
2024	—	`conf`	Reversible Debugging of Erlang Programs in CauDEr. DEBT@ISSTA Ivan Lanese, Germán Vidal
2023	—	`conf`	From Reversible Computation to Checkpoint-Based Rollback Recovery for Message-Passing Concurrent Programs. FACS Germán Vidal
2023	J	`jnl`	From Reversible Computation to Checkpoint-Based Rollback Recovery for Message-Passing Concurrent Programs. CoRR Germán Vidal
2023	—	`conf`	Reversible Debugging in Logic Programming. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Germán Vidal
2023	C	`conf`	Towards a Taxonomy for Reversible Computation Approaches. RC Robert Glück, Ivan Lanese, Claudio Antares Mezzina, Jaroslaw Adam Miszczak, Iain Phillips, Irek Ulidowski, Germán Vidal
2022	C	`conf`	Computing Race Variants in Message-Passing Concurrent Programming with Selective Receives. FORTE Germán Vidal
2022	J	`jnl`	Computing Race Variants in Message-Passing Concurrent Programming with Selective Receives. CoRR Germán Vidal
2022	Misc	`conf`	Explanations as Programs in Probabilistic Logic Programming. FLOPS Germán Vidal
2022	J	`jnl`	Explanations as Programs in Probabilistic Logic Programming. CoRR Germán Vidal
2021	J	`jnl`	A Lightweight Approach to Computing Message Races with an Application to Causal-Consistent Reversible Debugging. CoRR Juan José González-Abril, Germán Vidal
2021	J	`jnl`	A Program Instrumentation for Prefix-Based Tracing in Message-Passing Concurrency. CoRR Juan José González-Abril, Germán Vidal
2021	J	`jnl`	Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs. Fundam. Informaticae Ivan Lanese, Adrián Palacios, Germán Vidal
2021	C	`conf`	Causal-Consistent Reversible Debugging: Improving CauDEr. PADL Juan José González-Abril, Germán Vidal
2021	C	`conf`	Prefix-Based Tracing in Message-Passing Concurrency. LOPSTR Juan José González-Abril, Germán Vidal
2020	—	`ch.`	A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs. Selected Results of the COST Action IC1405 James Hoey, Ivan Lanese, Naoki Nishida, Irek Ulidowski, Germán Vidal
2020	Misc	`conf`	An SMT-Based Concolic Testing Tool for Logic Programs. FLOPS Sophie Fortz, Fred Mesnard, Étienne Payet, Gilles Perrouin, Wim Vanhoof, Germán Vidal
2020	J	`jnl`	An SMT-Based Concolic Testing Tool for Logic Programs. CoRR Sophie Fortz, Fred Mesnard, Étienne Payet, Gilles Perrouin, Wim Vanhoof, Germán Vidal
2020	J	`jnl`	Concolic Testing in CLP. CoRR Fred Mesnard, Étienne Payet, Germán Vidal
2020	J	`jnl`	Concolic Testing in CLP. Theory Pract. Log. Program. Fred Mesnard, Étienne Payet, Germán Vidal
2020	—	`ch.`	Foundations of Reversible Computation. Selected Results of the COST Action IC1405 Bogdan Aman, Gabriel Ciobanu, Robert Glück, Robin Kaarsgaard, Jarkko Kari, Martin Kutrib, Ivan Lanese, Claudio Antares Mezzina, Lukasz Mikulski, Rajagopal Nagarajan, Iain Phillips, G. Michele Pinna, Luca Prigioniero, Irek Ulidowski, Germán Vidal
2020	C	`conf`	Reversible Computations in Logic Programming. RC Germán Vidal
2020	J	`jnl`	Reversible Debugging in Logic Programming. CoRR Germán Vidal
2020	J	`jnl`	Selective Unification in (Constraint) Logic Programming. Fundam. Informaticae Fred Mesnard, Étienne Payet, Germán Vidal
2019	C	`conf`	Causal-Consistent Replay Debugging for Message Passing Programs. FORTE Ivan Lanese, Adrián Palacios, Germán Vidal
2019	C	`conf`	Characterizing Compatible View Updates in Syntactic Bidirectionalization. RC Naoki Nishida, Germán Vidal
2019	J	`jnl`	Introduction to the 35th International Conference on Logic Programming Special Issue. CoRR Esra Erdem, Andrea Formisano, Germán Vidal, Fangkai Yang
2019	J	`jnl`	Introduction to the 35th International Conference on Logic Programming Special Issue. Theory Pract. Log. Program. Esra Erdem, Andrea Formisano, Germán Vidal, Fangkai Yang
2019	—	`ed.`	Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 2019. ICLP Technical Communications Bart Bogaerts, Esra Erdem, Paul Fodor, Andrea Formisano, Giovambattista Ianni, Daniela Inclezan, Germán Vidal, Alicia Villanueva, Marina De Vos, Fangkai Yang
2018	J	`jnl`	A Theory of Reversibility for Erlang. CoRR Ivan Lanese, Naoki Nishida, Adrián Palacios, Germán Vidal
2018	J	`jnl`	A theory of reversibility for Erlang. J. Log. Algebraic Methods Program. Ivan Lanese, Naoki Nishida, Adrián Palacios, Germán Vidal
2018	Misc	`conf`	CauDEr: A Causal-Consistent Reversible Debugger for Erlang. FLOPS Ivan Lanese, Naoki Nishida, Adrián Palacios, Germán Vidal
2018	J	`jnl`	Introduction to the special issue on computational logic for verification. Theory Pract. Log. Program. Germán Vidal
2018	J	`jnl`	Preface for SCP special issue on Principles and Practice of Declarative Programming. Sci. Comput. Program. Germán Vidal
2018	—	`ed.`	Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2018, Oxford, UK, 13th July 2018. HCVS Temesghen Kahsai, Germán Vidal
2018	J	`jnl`	Reversible computation in term rewriting. J. Log. Algebraic Methods Program. Naoki Nishida, Adrián Palacios, Germán Vidal
2018	B	`conf`	Specialization of Distributed Actors by Partial Evaluation. SMC Germán Vidal
2017	J	`jnl`	Relative Termination via Dependency Pairs. J. Autom. Reason. José Iborra, Naoki Nishida, Germán Vidal, Akihisa Yamada
2017	J	`jnl`	Reversible Computation in Term Rewriting. CoRR Naoki Nishida, Adrián Palacios, Germán Vidal
2017	C	`conf`	Selective unification in constraint logic programming. PPDP Fred Mesnard, Étienne Payet, Germán Vidal
2016	C	`conf`	A Reversible Semantics for Erlang. LOPSTR Naoki Nishida, Adrián Palacios, Germán Vidal
2016	C	`conf`	On the Completeness of Selective Unification in Concolic Testing of Logic Programs. LOPSTR Fred Mesnard, Étienne Payet, Germán Vidal
2016	J	`jnl`	On the Completeness of Selective Unification in Concolic Testing of Logic Programs. CoRR Fred Mesnard, Étienne Payet, Germán Vidal
2016	C	`ed.`	Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016 PPDP James Cheney, Germán Vidal
2016	B	`conf`	Reversible Term Rewriting. FSCD Naoki Nishida, Adrián Palacios, Germán Vidal
2016	C	`conf`	Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs. LOPSTR Ginés Moreno, Jaime Penabad, José A. Riaza, Germán Vidal
2016	J	`jnl`	Towards Reversible Computation in Erlang. CoRR Naoki Nishida, Adrián Palacios, Germán Vidal
2016	J	`jnl`	Tuning Fuzzy Logic Programs with Symbolic Execution. CoRR Ginés Moreno, Jaime Penabad, Germán Vidal
2015	J	`jnl`	A framework for computing finite SLD trees. J. Log. Algebraic Methods Program. Naoki Nishida, Germán Vidal
2015	C	`conf`	Concolic Execution in Functional Programming by Program Instrumentation. LOPSTR Adrián Palacios, Germán Vidal
2015	J	`jnl`	Concolic Testing in Logic Programming. CoRR Fred Mesnard, Étienne Payet, Germán Vidal
2015	J	`jnl`	Concolic testing in logic programming. Theory Pract. Log. Program. Fred Mesnard, Étienne Payet, Germán Vidal
2015	A	`conf`	Reducing Relative Termination to Dependency Pair Problems. CADE José Iborra, Naoki Nishida, Germán Vidal, Akihisa Yamada
2015	J	`jnl`	Symbolic execution as a basis for termination analysis. Sci. Comput. Program. Germán Vidal
2015	—	`conf`	Towards Modelling Actor-Based Concurrency in Term Rewriting. WPTE@RDP Adrián Palacios, Germán Vidal
2014	C	`conf`	Concolic Execution and Test Case Generation in Prolog. LOPSTR Germán Vidal
2014	J	`jnl`	Conversion to tail recursion in term rewriting. J. Log. Algebraic Methods Program. Naoki Nishida, Germán Vidal
2014	J	`jnl`	Fast offline partial evaluation of logic programs. Inf. Comput. Michael Leuschel, Germán Vidal
2014	—	`conf`	Towards Symbolic Execution in Erlang. Ershov Memorial Conference Germán Vidal
2013	C	`conf`	A Finite Representation of the Narrowing Space. LOPSTR Naoki Nishida, Germán Vidal
2013	C	`conf`	Towards Erlang Verification by Term Rewriting. LOPSTR Germán Vidal
2012	J	`jnl`	Annotation of Logic Programs for Independent AND-Parallelism by Partial Evaluation CoRR Germán Vidal
2012	J	`jnl`	Annotation of logic programs for independent AND-parallelism by partial evaluation. Theory Pract. Log. Program. Germán Vidal
2012	C	`conf`	Closed Symbolic Execution for Verifying Program Termination. SCAM Germán Vidal
2012	C	`conf`	Computing More Specific Versions of Conditional Rewriting Systems. LOPSTR Naoki Nishida, Germán Vidal
2012	C	`ed.`	Logic-Based Program Synthesis and Transformation - 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers LOPSTR Germán Vidal
2012	J	`jnl`	Preface. Theor. Comput. Sci. Matthias Blume, Germán Vidal
2011	J	`jnl`	Editorial. High. Order Symb. Comput. Julia Lawall, Germán Puebla, Germán Vidal
2011	—	`conf`	Program Inversion for Tail Recursive Functions. RTA Naoki Nishida, Germán Vidal
2010	C	`conf`	A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs. LOPSTR Germán Vidal
2010	Misc	`ed.`	Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings FLOPS Matthias Blume, Naoki Kobayashi, Germán Vidal
2010	J	`jnl`	Proceedings of CICLOPS-WLPE 2010 CoRR Germán Vidal, Neng-Fa Zhou
2010	J	`jnl`	Termination of narrowing via termination of rewriting. Appl. Algebra Eng. Commun. Comput. Naoki Nishida, Germán Vidal
2009	—	`conf`	Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation. WFLP Michael Leuschel, Salvador Tamarit, Germán Vidal
2009	C	`conf`	Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing. LOPSTR José Iborra, Naoki Nishida, Germán Vidal
2009	J	`jnl`	Improving Size-Change Analysis in Offline Partial Evaluation CoRR Michael Leuschel, Salvador Tamarit, Germán Vidal
2009	C	`ed.`	Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009 PEPM Germán Puebla, Germán Vidal
2009	C	`conf`	Towards Scalable Partial Evaluation of Declarative Programs. LOPSTR Germán Vidal
2008	C	`conf`	A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs. LOPSTR Gustavo Arroyo, J. Guadalupe Ramos, Salvador Tamarit, Germán Vidal
2008	—	`conf`	Dynamic Slicing Techniques for Petri Nets. RP Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit, Germán Vidal
2008	J	`jnl`	Dynamic slicing of lazy functional programs based on redex trails. High. Order Symb. Comput. Claudio Ochoa, Josep Silva, Germán Vidal
2008	C	`conf`	Fast Offline Partial Evaluation of Large Logic Programs. LOPSTR Michael Leuschel, Germán Vidal
2008	B	`ed.`	Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings SAS María Alpuente, Germán Vidal
2008	Misc	`conf`	Termination of Narrowing in Left-Linear Constructor Systems. FLOPS Germán Vidal
2008	B	`conf`	Trace Analysis for Predicting the Effectiveness of Partial Evaluation. ICLP Germán Vidal
2007	J	`jnl`	Ensuring the quasi-termination of needed narrowing computations. Inf. Process. Lett. J. Guadalupe Ramos, Josep Silva, Germán Vidal
2007	J	`jnl`	Forward slicing of functional logic programs by partial evaluation. Theory Pract. Log. Program. Josep Silva, Germán Vidal
2007	A	`conf`	Lazy call-by-value evaluation. ICFP Bernd Braßel, Michael Hanus, Sebastian Fischer, Frank Huch, Germán Vidal
2007	C	`conf`	Preserving Sharing in the Partial Evaluation of Lazy Functional Programs. LOPSTR Sebastian Fischer, Josep Silva, Salvador Tamarit, Germán Vidal
2007	C	`conf`	Quasi-terminating logic programs for ensuring the termination of partial evaluation. PEPM Germán Vidal
2006	B	`conf`	A Slicing Tool for Lazy Functional Logic Programs. JELIA Claudio Ochoa, Josep Silva, Germán Vidal
2006	—	`conf`	Automatic Partial Inversion of Inductively Sequential Functions. IFL Jesús Manuel Almendros-Jiménez, Germán Vidal
2006	J	`jnl`	Forward slicing of functional logic programs by partial evaluation CoRR Josep Silva, Germán Vidal
2006	C	`conf`	Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs. LOPSTR Gustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Germán Vidal
2006	—	`conf`	Static Slicing of Rewrite Systems. WFLP Diego Cheda, Josep Silva, Germán Vidal
2005	—	`conf`	An offline partial evaluator for curry programs. WCFLP J. Guadalupe Ramos, Josep Silva, Germán Vidal
2005	A	`conf`	Fast narrowing-driven partial evaluation for inductively sequential programs. ICFP J. Guadalupe Ramos, Josep Silva, Germán Vidal
2005	A	`conf`	Forward Slicing by Conjunctive Partial Deduction and Argument Filtering. ESOP Michael Leuschel, Germán Vidal
2005	—	`conf`	Lightweight program specialization via dynamic slicing. WCFLP Claudio Ochoa, Josep Silva, Germán Vidal
2005	J	`jnl`	Operational semantics for declarative multi-paradigm languages. J. Symb. Comput. Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal
2005	J	`jnl`	Specialization of functional logic programs based on needed narrowing. Theory Pract. Log. Program. María Alpuente, Salvador Lucas, Michael Hanus, Germán Vidal
2004	C	`conf`	A semantics for tracing declarative multi-paradigm programs. PPDP Bernd Brassel, Michael Hanus, Frank Huch, Germán Vidal
2004	B	`conf`	An Embedded Language Approach to Router Specification in Curry. SOFSEM J. Guadalupe Ramos, Josep Silva, Germán Vidal
2004	J	`jnl`	Cost-Augmented Partial Evaluation of Functional Logic Programs. High. Order Symb. Comput. Germán Vidal
2004	C	`conf`	Dynamic slicing based on redex trails. PEPM Claudio Ochoa, Josep Silva, Germán Vidal
2004	J	`jnl`	Rules + strategies for transforming lazy functional logic programs. Theor. Comput. Sci. María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
2004	C	`conf`	Run-Time Profiling of Functional Logic Programs. LOPSTR Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal
2004	J	`jnl`	Specialization of Functional Logic Programs Based on Needed Narrowing CoRR María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal
2004	—	`conf`	Towards CNC Programming Using Haskell. IBERAMIA Gustavo Arroyo, Claudio Ochoa, Josep Silva, Germán Vidal
2003	J	`jnl`	A residualizing semantics for the partial evaluation of functional logic programs. Inf. Process. Lett. Elvira Albert, Michael Hanus, Germán Vidal
2003	—	`conf`	Preface. WFLP Germán Vidal
2003	—	`conf`	Time Equations for Lazy Functional (Logic) Languages. APPIA-GULP-PRODE Elvira Albert, Josep Silva, Germán Vidal
2003	J	`jnl`	Uniform Lazy Narrowing. J. Log. Comput. María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal
2002	—	`conf`	A Deterministic Operational Semantics for Functional Logic Programs. APPIA-GULP-PRODE Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal
2002	J	`jnl`	A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages. J. Funct. Log. Program. Elvira Albert, Michael Hanus, Germán Vidal
2002	—	`conf`	An Operational Semantics for Declarative Multi-Paradigm Languages. WRS Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal
2002	C	`conf`	Cost-augmented narrowing-driven specialization. PEPM Germán Vidal
2002	C	`conf`	Forward Slicing of Multi-paradigm Declarative Programs Based on Partial Evaluation. LOPSTR Germán Vidal
2002	—	`conf`	Operational Semantics for Functional Logic Languages. WFLP Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal
2001	Misc	`conf`	A Practical Partial Evaluator for a Multi-Paradigm Declarative Language. FLOPS Elvira Albert, Michael Hanus, Germán Vidal
2001	C	`conf`	Symbolic Profiling for Multi-paradigm Declarative Languages. LOPSTR Elvira Albert, Germán Vidal
2001	J	`jnl`	The Narrowing-driven Approach to Functional Logic Program Specialization. New Gener. Comput. Elvira Albert, Germán Vidal
2000	—	`conf`	A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation. WFLP Elvira Albert, Sergio Antoy, Germán Vidal
2000	B	`conf`	An Automatic Composition Algorithm for Functional Logic Programs. SOFSEM María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
2000	—	`conf`	Improving Functional Logic Programs by Difference-Lists. ASIAN Elvira Albert, César Ferri, Frank Steiner, Germán Vidal
2000	—	`conf`	List-Processing Optimizations in a Multi-Paradigm Declarative Language. WFLP Elvira Albert, César Ferri, Frank Steiner, Germán Vidal
2000	—	`conf`	Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages. LOPSTR (LNCS 2042: Selected Papers) Elvira Albert, Sergio Antoy, Germán Vidal
2000	C	`conf`	Measuring the Effectiveness of Partial Evaluation. LOPSTR Elvira Albert, Sergio Antoy, Germán Vidal
2000	—	`conf`	Realistic Program Specialization in a Multi-Paradigm Language. WFLP Elvira Albert, Michael Hanus, Germán Vidal
2000	—	`conf`	Using PE to Automate Program Composition. WFLP María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
2000	B	`conf`	Using an Abstract Representation to Specialize Functional Logic Programs. LPAR Elvira Albert, Michael Hanus, Germán Vidal
1999	B	`conf`	A Partial Evaluation Framework for Curry Programs. LPAR Elvira Albert, María Alpuente, Michael Hanus, Germán Vidal
1999	—	`conf`	A Transformation System for Lazy Functional Logic Programs. Fuji International Symposium on Functional and Logic Programming María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
1999	A	`conf`	Specialization of Inductively Sequential Functional Logic Programs. ICFP María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal
1999	J	`jnl`	Un Sistema de Transformación para Programas Multiparadigma. Inteligencia Artif. María Alpuente, Moreno Falaschi, César Ferri, Ginés Moreno, Germán Vidal
1998	J	`jnl`	A Unifying View of Functional and Logic Program Specialization. ACM Comput. Surv. María Alpuente, Moreno Falaschi, Germán Vidal
1998	B	`conf`	Improving Control in Functional Logic Program Specialization. SAS Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal
1998	J	`jnl`	Partial Evaluation of Functional Logic Programs. ACM Trans. Program. Lang. Syst. María Alpuente, Moreno Falaschi, Germán Vidal
1998	—	`conf`	Polygenetic Partial Evaluation of Lazy Functional Logic Programs. APPIA-GULP-PRODE Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal
1997	—	`conf`	Safe Folding/Unfolding with Conditional Narrowing. APPIA-GULP-PRODE María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
1997	—	`conf`	Safe Folding/Unfolding with Conditional Narrowing. ALP/HOA María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
1997	C	`conf`	Specialization of Lazy Functional Logic Programs. PEPM María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal
1996	J	`jnl`	A Compositional Semantic Basis for the Analysis of Equational Horn Programs. Theor. Comput. Sci. María Alpuente, Moreno Falaschi, Germán Vidal
1996	—	`conf`	Call-By Name Partial Evaluation of Functional Logic Programs. APPIA-GULP-PRODE María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal
1996	A	`conf`	Narrowing-Driven Partial Evaluation of Functional Logic Programs. ESOP María Alpuente, Moreno Falaschi, Germán Vidal
1994	—	`conf`	A Compositional Semantics for Conditional Term Rewriting Systems. GULP-PRODE (1) María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal
1994	—	`conf`	A Compositional Semantics for Conditional Term Rewriting Systems. ICCL María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal
1994	—	`conf`	Compositional Analysis for Equational Horn Programs. ALP María Alpuente, Moreno Falaschi, Germán Vidal
1993	—	`conf`	Incremental Equational Constraint Analyses. ILPS María Alpuente, Moreno Falaschi, Germán Vidal
1993	—	`conf`	Narrowing Approximations as an Optimization for Equational Logic Programs. PLILP María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal
1993	—	`conf`	Using Narrowing Approximations to Optimize Equational Logic Programs. GULP María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal