María Alpuente

	2012
103		María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero: Backward Trace Slicing for Conditional Rewrite Theories. LPAR 2012: 62-76
	2011
102		María Alpuente: Logic-Based Program Synthesis and Transformation - 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers Springer 2011
101		María Alpuente, Demis Ballis, Javier Espert, Daniel Romero: Backward Trace Slicing for Rewriting Logic Theories. CADE 2011: 34-48
100		María Alpuente, Demis Ballis, Javier Espert, Francisco Frechina, Daniel Romero: Debugging of Web Applications with Web-TLR WWV 2011: 66-80
99		María Alpuente, Demis Ballis, Javier Espert, Daniel Romero: Dynamic Backward Slicing of Rewriting Logic Computations CoRR abs/1105.2665: (2011)
98		María Alpuente, Santiago Escobar, José Iborra: Modular termination of basic narrowing and equational unification. Logic Journal of the IGPL 19(6): 731-762 (2011)
	2010
97		María Alpuente, Demis Ballis, Moreno Falaschi: Transformation and Debugging of Functional Logic Programs. 25 Years GULP 2010: 271-299
96		María Alpuente, Demis Ballis, Javier Espert, Daniel Romero: Model-Checking Web Applications with Web-TLR. ATVA 2010: 341-346
95		María Alpuente, Marco Antonio Feliú, Christophe Joubert, Alicia Villanueva: Datalog-Based Program Analysis with BES and RWL. Datalog 2010: 1-20
94		María Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi: A fold/unfold transformation framework for rewrite theories extended to CCT. PEPM 2010: 43-52
93		María Alpuente, Daniel Romero: A Tool for Computing the Visual Similarity of Web Pages. SAINT 2010: 45-51
92		María Alpuente, Michele Baggi, Moreno Falaschi, Demis Ballis: Completeness of Unfolding for Rewriting Logic Theories. SYNASC 2010: 116-123
91		Mauricio Alba-Castro, María Alpuente, Santiago Escobar: Approximating Non-interference and Erasure in Rewriting Logic. SYNASC 2010: 124-132
90		Mauricio Alba-Castro, María Alpuente, Santiago Escobar: Abstract Certification of Global Non-Interference in Rewriting Logic CoRR abs/1006.4304: (2010)
89		María Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas: On-demand strategy annotations revisited: An improved on-demand evaluation strategy. Theor. Comput. Sci. 411(2): 504-541 (2010)
88		María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, José Iborra: A compact fixpoint semantics for term rewriting systems. Theor. Comput. Sci. 411(37): 3348-3371 (2010)
87		María Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi: An integrated framework for the diagnosis and correction of rule-based programs. Theor. Comput. Sci. 411(47): 4055-4101 (2010)
	2009
86		María Alpuente, Byron Cook, Christophe Joubert: Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings Springer 2009
85		María Alpuente, Demis Ballis, Daniel Romero: Specification and Verification of Web Applications in Rewriting Logic. FM 2009: 790-805
84		Mauricio Alba-Castro, María Alpuente, Santiago Escobar: Abstract Certification of Global Non-interference in Rewriting Logic. FMCO 2009: 105-124
83		María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva: Defining Datalog in Rewriting Logic. LOPSTR 2009: 188-204
82		María Alpuente, Daniel Romero: A Visual Technique for Web Pages Comparison. Electr. Notes Theor. Comput. Sci. 235: 3-18 (2009)
81		María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda: Order-Sorted Generalization. Electr. Notes Theor. Comput. Sci. 246: 27-38 (2009)
80		Mauricio Alba-Castro, María Alpuente, Santiago Escobar, Pedro Ojeda, Daniel Romero: A Tool for Automated Certification of Java Source Code in Maude. Electr. Notes Theor. Comput. Sci. 248: 19-29 (2009)
79		María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva: DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer. Electr. Notes Theor. Comput. Sci. 248: 57-66 (2009)
78		María Alpuente, Santiago Escobar, José Iborra: Termination of narrowing revisited. Theor. Comput. Sci. 410(46): 4608-4625 (2009)
	2008
77		María Alpuente, Germán Vidal: Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings Springer 2008
76		María Alpuente, Michele Baggi, Demis Ballis, Moreno Falaschi: Semantic Verification of Web System Contents. ER Workshops 2008: 437-446
75		Mauricio Alba-Castro, María Alpuente, Santiago Escobar: Automated Certification of Non-Interference in Rewriting Logic. FMICS 2008: 182-198
74		María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva: Using Datalog and Boolean Equation Systems for Program Analysis. FMICS 2008: 215-231
73		María Alpuente, Santiago Escobar, José Iborra: Termination of Narrowing Using Dependency Pairs. ICLP 2008: 317-331
72		María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda: A Modular Equational Generalization Algorithm. LOPSTR 2008: 24-39
71		María Alpuente, Santiago Escobar, José Iborra: Modular Termination of Basic Narrowing. RTA 2008: 1-16
70		María Alpuente, Pedro Ojeda, Daniel Romero, Demis Ballis, Moreno Falaschi: An Abstract Generic Framework for Web Site Verification. SAINT 2008: 104-110
69		María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva: An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation. Electr. Notes Theor. Comput. Sci. 206: 3-21 (2008)
	2007
68		Mauricio Alba-Castro, María Alpuente, Santiago Escobar: Automatic Certification of Java Source Code in Rewriting Logic. FMICS 2007: 200-217
67		María Alpuente, Demis Ballis, Moreno Falaschi, Pedro Ojeda, Daniel Romero: A Fast Algebraic Web Verification Service. RR 2007: 239-248
66		María Alpuente, Bernhard Gramlich, Alicia Villanueva: A Framework for Timed Concurrent Constraint Programming with External Functions. Electr. Notes Theor. Comput. Sci. 188: 143-155 (2007)
65		María Alpuente, Santiago Escobar, Salvador Lucas: Removing redundant arguments automatically. TPLP 7(1-2): 3-35 (2007)
	2006
64		María Alpuente, Demis Ballis, Moreno Falaschi, Daniel Romero: A Semi-Automatic Methodology for Repairing FaultyWeb Sites. SEFM 2006: 31-40
63		María Alpuente, Santiago Escobar, Salvador Lucas: Removing Redundant Arguments Automatically CoRR abs/cs/0601039: (2006)
62		María Alpuente, Santiago Escobar, Moreno Falaschi: Preface. Electr. Notes Theor. Comput. Sci. 157(2): 1-2 (2006)
61		María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva: Verifying Real-Time Properties of tccp Programs. J. UCS 12(11): 1551-1573 (2006)
60		María Alpuente, Demis Ballis, Moreno Falaschi: Rule-based verification of Web sites. STTT 8(6): 565-585 (2006)
	2005
59		María Alpuente, Santiago Escobar, Moreno Falaschi: First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia 2005
58		María Alpuente, Santiago Escobar, Moreno Falaschi: Preface. WWV 2005
57		María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva: Abstract Model Checking of tccp programs. Electr. Notes Theor. Comput. Sci. 112: 19-36 (2005)
56		María Alpuente, Demis Ballis, Moreno Falaschi: A Rewriting-based Framework for Web Sites Verification. Electr. Notes Theor. Comput. Sci. 124(1): 41-61 (2005)
55		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)
54		María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva: A semantic framework for the abstract model checking of tccp programs. Theor. Comput. Sci. 346(1): 58-95 (2005)
	2004
53		María Alpuente, Demis Ballis, Moreno Falaschi: Automated Verification of Web Sites Using Partial Rewriting. ISoLA (Preliminary proceedings) 2004: 81-88
52		María Alpuente, Demis Ballis, Moreno Falaschi: Verdi: An Automated Tool for Web Sites Verification. JELIA 2004: 726-729
51		María Alpuente, Moreno Falaschi, Alicia Villanueva: A Symbolic Model Checker for tccp Programs. RISE 2004: 45-56
50		María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal: Specialization of Functional Logic Programs Based on Needed Narrowing CoRR cs.PL/0403011: (2004)
49		María Alpuente, Francisco J. Correa: Un Depurador Abstracto, Inductivo y Paramétrico para Programas Multiparadigma. Revista Colombiana de Computación 5(2): (2004)
48		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
47		María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas: Abstract Correction of OBJ-like Programs. APPIA-GULP-PRODE 2003: 422-433
46		María Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi: Correction of Functional Logic Programs. ESOP 2003: 54-68
45		María Alpuente, Santiago Escobar, Salvador Lucas: OnDemandOBJ: A Laboratory for Strategy Annotations. Electr. Notes Theor. Comput. Sci. 86(2): 1-27 (2003)
44		María Alpuente, Santiago Escobar, Salvador Lucas: On-demand Evaluation by Program Transformation. Electr. Notes Theor. Comput. Sci. 86(2): 92-118 (2003)
43		María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas: Abstract correction of first-order functional programs. Electr. Notes Theor. Comput. Sci. 86(3): 105-122 (2003)
42		María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal: Uniform Lazy Narrowing. J. Log. Comput. 13(2): 287-312 (2003)
	2002
41		María Alpuente, Santiago Escobar, Salvador Lucas: Removing Redundant Arguments of Functions. AMAST 2002: 117-131
40		María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas: Abstract Diagnosis of Functional Programs. LOPSTR 2002: 1-16
39		María Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas: Improving On-Demand Strategy Annotations. LPAR 2002: 1-18
38		María Alpuente, Francisco J. Correa, Moreno Falaschi: A Debugging Scheme for Functional Logic Programs. Electr. Notes Theor. Comput. Sci. 64: 18-55 (2002)
37		María Alpuente, Santiago Escobar, Salvador Lucas: Correct and Complete (Positive) Strategy Annotations for OBJ. Electr. Notes Theor. Comput. Sci. 71: 70-89 (2002)
36		María Alpuente, Rachid Echahed, Santiago Escobar, Salvador Lucas: Redundancy of Arguments Reduced to Induction. Electr. Notes Theor. Comput. Sci. 76: 20-41 (2002)
	2001
35		María Alpuente, Francisco J. Correa, Moreno Falaschi: Declarative Debugging of Functional Logic Programs. Electr. Notes Theor. Comput. Sci. 57: 17-40 (2001)
	2000
34		María Alpuente: 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000 WFLP 2000
33		María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal: An Automatic Composition Algorithm for Functional Logic Programs. SOFSEM 2000: 289-297
32		María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal: Using PE to Automate Program Composition. WFLP 2000: 169-183
31		María Alpuente, Santiago Escobar, Salvador Lucas: Redundancy Analyses in Term Rewriting. WFLP 2000: 309-323
	1999
30		María Alpuente, Salvador Lucas, Santiago Escobar: An Incremental Needed Narrowing Calculus for Curry. APPIA-GULP-PRODE 1999: 75-88
29		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
28		María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal: Specialization of Inductively Sequential Functional Logic Programs. ICFP 1999: 273-283
27		Elvira Albert, María Alpuente, Michael Hanus, Germán Vidal: A Partial Evaluation Framework for Curry Programs. LPAR 1999: 376-395
26		María Alpuente, Santiago Escobar, Salvador Lucas: UPV-CURRY: An Incremental CURRY Interpreter. SOFSEM 1999: 331-339
25		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 3(8): 27-35 (1999)
	1998
24		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
23		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
22		María Alpuente, Moreno Falaschi, Germán Vidal: A Unifying View of Functional and Logic Program Specialization. ACM Comput. Surv. 30(3es): 9 (1998)
21		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
20		María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal: Safe Folding/Unfolding with Conditional Narrowing. ALP/HOA 1997: 1-15
19		María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal: Safe Folding/Unfolding with Conditional Narrowing. APPIA-GULP-PRODE 1997: 347-358
18		María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal: Specialization of Lazy Functional Logic Programs. PEPM 1997: 151-162
	1996
17		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
16		María Alpuente, Moreno Falaschi, Germán Vidal: Narrowing-Driven Partial Evaluation of Functional Logic Programs. ESOP 1996: 45-61
15		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)
	1995
14		María Alpuente, Maria I. Sessa: 1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina di Vietri, Italy, September 11-14, 1995 GULP-PRODE 1995
13		María Alpuente, Moreno Falaschi, Ferdinando Manzo: Analyses of Unsatisfiability for Equational Logic Programming. J. Log. Program. 22(3): 223-254 (1995)
12		María Alpuente, Moreno Falaschi, Giorgio Levi: Incremental Constraint Satisfaction for Equational Logic Programming. Theor. Comput. Sci. 142(1): 27-57 (1995)
	1994
11		María Alpuente, Roberto Barbuti, Isidro Ramos: 1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Peñiscola, Spain, September 19-22, 1994, Volume 1 GULP-PRODE (1) 1994
10		María Alpuente, Roberto Barbuti, Isidro Ramos: 1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Peñiscola, Spain, September 19-22, 1994, Volume 2 GULP-PRODE (2) 1994
9		María Alpuente, Moreno Falaschi, Germán Vidal: Compositional Analysis for Equational Horn Programs. ALP 1994: 77-94
8		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
7		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
6		María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal: Using Narrowing Approximations to Optimize Equational Logic Programs. GULP 1993: 127-142
5		María Alpuente, Moreno Falaschi, Germán Vidal: Incremental Equational Constraint Analyses. ILPS 1993: 657
4		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
	1992
3		María Alpuente, María José Ramírez: An Equational Constraint Logic Approach to Database Design. DEXA 1992: 26-31
2		María Alpuente, Moreno Falaschi, Ferdinando Manzo: Analyses of Inconsistency for Incremental Equational Logic Programming. PLILP 1992: 443-457
	1991
1		María Alpuente, Moreno Falaschi: Narrowing as an Incremental Constraint Satisfaction Algorithm. PLILP 1991: 111-122

Coauthor Index

1	Mauricio Alba-Castro	[68] [75] [80] [84] [90] [91]
2	Elvira Albert	[23] [24] [27]
3	Michele Baggi	[76] [92] [94]
4	Demis Ballis	[43] [46] [47] [52] [53] [56] [60] [64] [67] [70] [76] [85] [87] [92] [94] [96] [97] [99] [100] [101] [103]
5	Roberto Barbuti	[10] [11]
6	Marco Comini	[40] [88]
7	Byron Cook	[86]
8	Francisco J. Correa	[35] [38] [46] [49] [87]
9	Rachid Echahed	[36]
10	Santiago Escobar	[26] [30] [31] [36] [37] [39] [40] [41] [43] [44] [45] [47] [58] [59] [62] [63] [65] [68] [71] [72] [73] [75] [78] [80] [81] [84] [88] [89] [90] [91] [98]
11	Javier Espert	[96] [99] [100] [101]
12	Moreno Falaschi	[1] [2] [4] [5] [6] [7] [8] [9] [12] [13] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [29] [32] [33] [35] [38] [40] [42] [43] [46] [47] [48] [51] [52] [53] [56] [58] [59] [60] [62] [64] [67] [70] [76] [87] [88] [92] [94] [97]
13	Marco A. Feliú (Marco Antonio Feliú)	[74] [79] [83] [95]
14	César Ferri (Cèsar Ferri Ramirez)	[25]
15	Francisco Frechina	[100] [103]
16	María-del-Mar Gallardo	[54] [57] [61] [69]
17	Bernhard Gramlich	[39] [66] [89]
18	Michael Hanus	[27] [28] [50] [55]
19	José Iborra	[71] [73] [78] [88] [98]
20	Pascual Julián Iranzo (Pascual Julián)	[17] [18] [23] [24] [42]
21	Christophe Joubert	[74] [79] [83] [86] [95]
22	Giorgio Levi	[12]
23	Salvador Lucas	[26] [28] [30] [31] [36] [37] [39] [40] [41] [43] [44] [45] [47] [50] [55] [63] [65] [89]
24	Ferdinando Manzo	[2] [13]
25	José Meseguer	[72] [81]
26	Ginés Moreno	[19] [20] [25] [29] [32] [33] [48]
27	Pedro Ojeda	[67] [70] [72] [80] [81]
28	Ernesto Pimentel	[54] [57] [61] [69]
29	M. José Ramírez-Quintana (María José Ramírez)	[3]
30	María José Ramis	[4] [6] [7] [8]
31	Isidro Ramos	[10] [11]
32	Daniel Romero (Daniel Omar Romero)	[64] [67] [70] [80] [82] [85] [93] [96] [99] [100] [101] [103]
33	Maria I. Sessa	[14]
34	Germán Vidal	[4] [5] [6] [7] [8] [9] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [27] [28] [29] [32] [33] [42] [48] [50] [55] [77]
35	Alicia Villanueva	[51] [54] [57] [61] [66] [69] [74] [79] [83] [95]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page