Germán Vidal

	2009
74		Germán Puebla, Germán Vidal: Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009 ACM 2009
73		Michael Leuschel, Salvador Tamarit, Germán Vidal: Improving Size-Change Analysis in Offline Partial Evaluation CoRR abs/0903.2202: (2009)
	2008
72		María Alpuente, Germán Vidal: Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings Springer 2008
71		Germán Vidal: Termination of Narrowing in Left-Linear Constructor Systems. FLOPS 2008: 113-129
70		Germán Vidal: Trace Analysis for Predicting the Effectiveness of Partial Evaluation. ICLP 2008: 790-794
69		Michael Leuschel, Germán Vidal: Fast Offline Partial Evaluation of Large Logic Programs. LOPSTR 2008: 119-134
68		Gustavo Arroyo, J. Guadalupe Ramos, Salvador Tamarit, Germán Vidal: A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs. LOPSTR 2008: 40-54
67		Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit, Germán Vidal: Dynamic Slicing Techniques for Petri Nets. Electr. Notes Theor. Comput. Sci. 223: 153-165 (2008)
66		Claudio Ochoa, Josep Silva, Germán Vidal: Dynamic slicing of lazy functional programs based on redex trails. Higher-Order and Symbolic Computation 21(1-2): 147-192 (2008)
	2007
65		Bernd Braßel, Michael Hanus, Sebastian Fischer, Frank Huch, Germán Vidal: Lazy call-by-value evaluation. ICFP 2007: 265-276
64		Sebastian Fischer, Josep Silva, Salvador Tamarit, Germán Vidal: Preserving Sharing in the Partial Evaluation of Lazy Functional Programs. LOPSTR 2007: 74-89
63		Germán Vidal: Quasi-terminating logic programs for ensuring the termination of partial evaluation. PEPM 2007: 51-60
62		Diego Cheda, Josep Silva, Germán Vidal: Static Slicing of Rewrite Systems. Electr. Notes Theor. Comput. Sci. 177: 123-136 (2007)
61		J. Guadalupe Ramos, Josep Silva, Germán Vidal: Ensuring the quasi-termination of needed narrowing computations. Inf. Process. Lett. 101(5): 220-226 (2007)
60		Josep Silva, Germán Vidal: Forward slicing of functional logic programs by partial evaluation. TPLP 7(1-2): 215-247 (2007)
	2006
59		Jesús Manuel Almendros-Jiménez, Germán Vidal: Automatic Partial Inversion of Inductively Sequential Functions. IFL 2006: 253-270
58		Claudio Ochoa, Josep Silva, Germán Vidal: A Slicing Tool for Lazy Functional Logic Programs. JELIA 2006: 498-501
57		Gustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Germán Vidal: Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs. LOPSTR 2006: 60-76
56		Josep Silva, Germán Vidal: Forward slicing of functional logic programs by partial evaluation CoRR abs/cs/0601013: (2006)
	2005
55		Michael Leuschel, Germán Vidal: Forward Slicing by Conjunctive Partial Deduction and Argument Filtering. ESOP 2005: 61-76
54		J. Guadalupe Ramos, Josep Silva, Germán Vidal: Fast narrowing-driven partial evaluation for inductively sequential programs. ICFP 2005: 228-239
53		Claudio Ochoa, Josep Silva, Germán Vidal: Lightweight program specialization via dynamic slicing. WCFLP 2005: 1-7
52		J. Guadalupe Ramos, Josep Silva, Germán Vidal: An offline partial evaluator for curry programs. WCFLP 2005: 49-53
51		Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal: Operational semantics for declarative multi-paradigm languages. J. Symb. Comput. 40(1): 795-829 (2005)
50		María Alpuente, Salvador Lucas, Michael Hanus, Germán Vidal: Specialization of functional logic programs based on needed narrowing. TPLP 5(3): 273-303 (2005)
	2004
49		Gustavo Arroyo, Claudio Ochoa, Josep Silva, Germán Vidal: Towards CNC Programming Using Haskell. IBERAMIA 2004: 386-396
48		Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal: Run-Time Profiling of Functional Logic Programs. LOPSTR 2004: 182-197
47		Claudio Ochoa, Josep Silva, Germán Vidal: Dynamic slicing based on redex trails. PEPM 2004: 123-134
46		Bernd Brassel, Michael Hanus, Frank Huch, Germán Vidal: A semantics for tracing declarative multi-paradigm programs. PPDP 2004: 179-190
45		J. Guadalupe Ramos, Josep Silva, Germán Vidal: An Embedded Language Approach to Router Specification in Curry. SOFSEM 2004: 277-288
44		María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal: Specialization of Functional Logic Programs Based on Needed Narrowing CoRR cs.PL/0403011: (2004)
43		Germán Vidal: Cost-Augmented Partial Evaluation of Functional Logic Programs. Higher-Order and Symbolic Computation 17(1-2): 7-46 (2004)
42		María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal: Rules + strategies for transforming lazy functional logic programs. Theor. Comput. Sci. 311(1-3): 479-525 (2004)
	2003
41		Elvira Albert, Josep Silva, Germán Vidal: Time Equations for Lazy Functional (Logic) Languages. APPIA-GULP-PRODE 2003: 13-24
40		Germán Vidal: Preface. Electr. Notes Theor. Comput. Sci. 86(3): (2003)
39		Elvira Albert, Michael Hanus, Germán Vidal: A residualizing semantics for the partial evaluation of functional logic programs. Inf. Process. Lett. 85(1): 19-25 (2003)
38		María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal: Uniform Lazy Narrowing. J. Log. Comput. 13(2): 287-312 (2003)
	2002
37		Germán Vidal: Forward Slicing of Multi-paradigm Declarative Programs Based on Partial Evaluation. LOPSTR 2002: 219-237
36		Germán Vidal: Cost-augmented narrowing-driven specialization. PEPM 2002: 52-62
35		Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal: An Operational Semantics for Declarative Multi-Paradigm Languages. Electr. Notes Theor. Comput. Sci. 70(6): (2002)
34		Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal: Operational Semantics for Functional Logic Languages. Electr. Notes Theor. Comput. Sci. 76: (2002)
33		Elvira Albert, Michael Hanus, Germán Vidal: A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages. Journal of Functional and Logic Programming 2002: (2002)
	2001
32		Elvira Albert, Michael Hanus, Germán Vidal: A Practical Partial Evaluator for a Multi-Paradigm Declarative Language. FLOPS 2001: 326-342
31		Elvira Albert, Germán Vidal: Symbolic Profiling for Multi-paradigm Declarative Languages. LOPSTR 2001: 148-167
30		Elvira Albert, Germán Vidal: The Narrowing-driven Approach to Functional Logic Program Specialization. New Generation Comput. 20(1): 3-26 (2001)
	2000
29		Elvira Albert, César Ferri, Frank Steiner, Germán Vidal: Improving Functional Logic Programs by Difference-Lists. ASIAN 2000: 237-254
28		Elvira Albert, Sergio Antoy, Germán Vidal: Measuring the Effectiveness of Partial Evaluation. LOPSTR 2000
27		Elvira Albert, Sergio Antoy, Germán Vidal: Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages. LOPSTR (LNCS 2042: Selected Papers) 2000: 103-124
26		Elvira Albert, Michael Hanus, Germán Vidal: Using an Abstract Representation to Specialize Functional Logic Programs. LPAR 2000: 381-398
25		María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal: An Automatic Composition Algorithm for Functional Logic Programs. SOFSEM 2000: 289-297
24		Elvira Albert, Michael Hanus, Germán Vidal: Realistic Program Specialization in a Multi-Paradigm Language. WFLP 2000: 104-119
23		Elvira Albert, Sergio Antoy, Germán Vidal: A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation. WFLP 2000: 120-127
22		María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal: Using PE to Automate Program Composition. WFLP 2000: 169-183
21		Elvira Albert, César Ferri, Frank Steiner, Germán Vidal: List-Processing Optimizations in a Multi-Paradigm Declarative Language. WFLP 2000: 184-194
	1999
20		María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal: A Transformation System for Lazy Functional Logic Programs. Fuji International Symposium on Functional and Logic Programming 1999: 147-162
19		María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal: Specialization of Inductively Sequential Functional Logic Programs. ICFP 1999: 273-283
18		Elvira Albert, María Alpuente, Michael Hanus, Germán Vidal: A Partial Evaluation Framework for Curry Programs. LPAR 1999: 376-395
17		María Alpuente, Moreno Falaschi, César Ferri, Ginés Moreno, Germán Vidal: Un Sistema de Transformación para Programas Multiparadigma. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 8: 27-35 (1999)
	1998
16		Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal: Polygenetic Partial Evaluation of Lazy Functional Logic Programs. APPIA-GULP-PRODE 1998: 151-164
15		Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal: Improving Control in Functional Logic Program Specialization. SAS 1998: 262-277
14		María Alpuente, Moreno Falaschi, Germán Vidal: A Unifying View of Functional and Logic Program Specialization. ACM Comput. Surv. 30(3es): 9 (1998)
13		María Alpuente, Moreno Falaschi, Germán Vidal: Partial Evaluation of Functional Logic Programs. ACM Trans. Program. Lang. Syst. 20(4): 768-844 (1998)
	1997
12		María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal: Safe Folding/Unfolding with Conditional Narrowing. ALP/HOA 1997: 1-15
11		María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal: Safe Folding/Unfolding with Conditional Narrowing. APPIA-GULP-PRODE 1997: 347-358
10		María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal: Specialization of Lazy Functional Logic Programs. PEPM 1997: 151-162
	1996
9		María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal: Call-By Name Partial Evaluation of Functional Logic Programs. APPIA-GULP-PRODE 1996: 17-28
8		María Alpuente, Moreno Falaschi, Germán Vidal: Narrowing-Driven Partial Evaluation of Functional Logic Programs. ESOP 1996: 45-61
7		María Alpuente, Moreno Falaschi, Germán Vidal: A Compositional Semantic Basis for the Analysis of Equational Horn Programs. Theor. Comput. Sci. 165(1): 133-169 (1996)
	1994
6		María Alpuente, Moreno Falaschi, Germán Vidal: Compositional Analysis for Equational Horn Programs. ALP 1994: 77-94
5		María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal: A Compositional Semantics for Conditional Term Rewriting Systems. GULP-PRODE (1) 1994: 62-76
4		María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal: A Compositional Semantics for Conditional Term Rewriting Systems. ICCL 1994: 171-182
	1993
3		María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal: Using Narrowing Approximations to Optimize Equational Logic Programs. GULP 1993: 127-142
2		María Alpuente, Moreno Falaschi, Germán Vidal: Incremental Equational Constraint Analyses. ILPS 1993: 657
1		María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal: Narrowing Approximations as an Optimization for Equational Logic Programs. PLILP 1993: 391-409

Coauthor Index

1	Elvira Albert	[15] [16] [18] [21] [23] [24] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [39] [41] [51]
2	Jesús Manuel Almendros-Jiménez	[59]
3	María Alpuente	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [22] [25] [38] [42] [44] [50] [72]
4	Sergio Antoy	[23] [27] [28]
5	Gustavo Arroyo	[49] [57] [68]
6	Bernd Brassel (Bernd Braßel)	[46] [48] [65]
7	Diego Cheda	[62]
8	Moreno Falaschi	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [20] [22] [25] [38] [42]
9	César Ferri (Cèsar Ferri Ramirez)	[17] [21] [29]
10	Sebastian Fischer	[64] [65]
11	Michael Hanus	[18] [19] [24] [26] [32] [33] [34] [35] [39] [44] [46] [48] [50] [51] [65]
12	Frank Huch	[34] [35] [46] [48] [51] [65]
13	Pascual Julián Iranzo (Pascual Julián)	[9] [10] [15] [16] [38]
14	Michael Leuschel	[55] [69] [73]
15	Marisa Llorens	[67]
16	Salvador Lucas	[19] [44] [50]
17	Ginés Moreno	[11] [12] [17] [20] [22] [25] [42]
18	Claudio Ochoa	[47] [49] [53] [58] [66]
19	Javier Oliver	[34] [35] [51] [67]
20	Germán Puebla (German Puebla)	[74]
21	María José Ramis	[1] [3] [4] [5]
22	J. Guadalupe Ramos	[45] [52] [54] [57] [61] [68]
23	Josep Silva	[41] [45] [47] [48] [49] [52] [53] [54] [56] [57] [58] [60] [61] [62] [64] [66] [67]
24	Frank Steiner	[21] [29]
25	Salvador Tamarit	[64] [67] [68] [73]

Colors in the list of coauthors