Santiago Escobar

	2009
43		Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Unification and Narrowing in Maude 2.4. RTA 2009: 380-390
42		Daniel J. Dougherty, Santiago Escobar: Preface. Electr. Notes Theor. Comput. Sci. 234: 1-2 (2009)
41		Demis Ballis, Santiago Escobar: Preface. Electr. Notes Theor. Comput. Sci. 235: 1-2 (2009)
40		Santiago Escobar, José Meseguer, Ralf Sasse: Variant Narrowing and Equational Unification. Electr. Notes Theor. Comput. Sci. 238(3): 103-119 (2009)
	2008
39		Santiago Escobar, Catherine Meadows, José Meseguer: State Space Reduction in the Maude-NRL Protocol Analyzer. ESORICS 2008: 548-562
38		Mauricio Alba-Castro, María Alpuente, Santiago Escobar: Automated Certification of Non-Interference in Rewriting Logic. FMICS 2008: 182-198
37		María Alpuente, Santiago Escobar, José Iborra: Termination of Narrowing Using Dependency Pairs. ICLP 2008: 317-331
36		María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda: A Modular Equational Generalization Algorithm. LOPSTR 2008: 24-39
35		Michael Katelman, José Meseguer, Santiago Escobar: Directed-Logical Testing for Functional Verification of Microprocessors. MEMOCODE 2008: 89-100
34		María Alpuente, Santiago Escobar, José Iborra: Modular Termination of Basic Narrowing. RTA 2008: 1-16
33		Santiago Escobar, José Meseguer, Ralf Sasse: Effectively Checking the Finite Variant Property. RTA 2008: 79-93
32		Demis Ballis, Santiago Escobar, Massimo Marchiori: Preface. Electr. Notes Theor. Comput. Sci. 200(3): 1-2 (2008)
	2007
31		Mauricio Alba-Castro, María Alpuente, Santiago Escobar: Automatic Certification of Java Source Code in Rewriting Logic. FMICS 2007: 200-217
30		Santiago Escobar, Catherine Meadows, José Meseguer: Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties. FOSAD 2007: 1-50
29		Santiago Escobar, José Meseguer: Symbolic Model Checking of Infinite-State Systems Using Narrowing. RTA 2007: 153-168
28		Santiago Escobar, Catherine Meadows, José Meseguer: Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer. Electr. Notes Theor. Comput. Sci. 171(4): 23-36 (2007)
27		Santiago Escobar, José Meseguer, Prasanna Thati: Narrowing and Rewriting Logic: from Foundations to Applications. Electr. Notes Theor. Comput. Sci. 177: 5-33 (2007)
26		María Alpuente, Santiago Escobar, Salvador Lucas: Removing redundant arguments automatically. TPLP 7(1-2): 3-35 (2007)
	2006
25		María Alpuente, Santiago Escobar, Salvador Lucas: Removing Redundant Arguments Automatically CoRR abs/cs/0601039: (2006)
24		María Alpuente, Santiago Escobar, Moreno Falaschi: Preface. Electr. Notes Theor. Comput. Sci. 157(2): 1-2 (2006)
23		Santiago Escobar, Catherine Meadows, José Meseguer: A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties. Theor. Comput. Sci. 367(1-2): 162-202 (2006)
	2005
22		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
21		Santiago Escobar, Catherine Meadows, José Meseguer: A rewriting-based inference system for the NRL protocol analyzer: grammar generation. FMSE 2005: 1-12
20		Santiago Escobar, José Meseguer, Prasanna Thati: Natural Narrowing for General Term Rewriting Systems. RTA 2005: 279-293
19		María Alpuente, Santiago Escobar, Moreno Falaschi: Preface. WWV 2005
18		Francisco Durán, Santiago Escobar, Salvador Lucas: New Evaluation Commands for Maude Within Full Maude. Electr. Notes Theor. Comput. Sci. 117: 263-284 (2005)
17		Francisco Durán, Santiago Escobar, Salvador Lucas: On-demand Evaluation for Maude. Electr. Notes Theor. Comput. Sci. 124(1): 25-39 (2005)
	2004
16		Santiago Escobar: Implementing Natural Rewriting and Narrowing Efficiently. FLOPS 2004: 147-162
15		Santiago Escobar, José Meseguer, Prasanna Thati: Natural Rewriting for General Term Rewriting Systems. LOPSTR 2004: 101-116
14		Santiago Escobar: Thesis: Strategies and analysis techniques in functional program optimization. AI Commun. 17(1): 35-37 (2004)
	2003
13		María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas: Abstract Correction of OBJ-like Programs. APPIA-GULP-PRODE 2003: 422-433
12		Santiago Escobar: Refining weakly outermost-needed rewriting and narrowing. PPDP 2003: 113-123
11		María Alpuente, Santiago Escobar, Salvador Lucas: On-demand Evaluation by Program Transformation. Electr. Notes Theor. Comput. Sci. 86(2): (2003)
10		María Alpuente, Santiago Escobar, Salvador Lucas: OnDemandOBJ: A Laboratory for Strategy Annotations. Electr. Notes Theor. Comput. Sci. 86(2): (2003)
9		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): (2003)
	2002
8		María Alpuente, Santiago Escobar, Salvador Lucas: Removing Redundant Arguments of Functions. AMAST 2002: 117-131
7		María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas: Abstract Diagnosis of Functional Programs. LOPSTR 2002: 1-16
6		María Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas: Improving On-Demand Strategy Annotations. LPAR 2002: 1-18
5		María Alpuente, Santiago Escobar, Salvador Lucas: Correct and Complete (Positive) Strategy Annotations for OBJ. Electr. Notes Theor. Comput. Sci. 71: (2002)
4		María Alpuente, Rachid Echahed, Santiago Escobar, Salvador Lucas: Redundancy of Arguments Reduced to Induction. Electr. Notes Theor. Comput. Sci. 76: (2002)
	2000
3		María Alpuente, Santiago Escobar, Salvador Lucas: Redundancy Analyses in Term Rewriting. WFLP 2000: 309-323
	1999
2		María Alpuente, Salvador Lucas, Santiago Escobar: An Incremental Needed Narrowing Calculus for Curry. APPIA-GULP-PRODE 1999: 75-88
1		María Alpuente, Santiago Escobar, Salvador Lucas: UPV-CURRY: An Incremental CURRY Interpreter. SOFSEM 1999: 331-339

Coauthor Index

1	Mauricio Alba-Castro	[31] [38]
2	María Alpuente	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [13] [19] [22] [24] [25] [26] [31] [34] [36] [37] [38]
3	Demis Ballis	[9] [13] [32] [41]
4	Manuel Clavel	[43]
5	Marco Comini	[7]
6	Daniel J. Dougherty	[42]
7	Francisco Durán	[17] [18] [43]
8	Rachid Echahed	[4]
9	Steven Eker	[43]
10	Moreno Falaschi	[7] [9] [13] [19] [22] [24]
11	Bernhard Gramlich	[6]
12	José Iborra	[34] [37]
13	Michael Katelman	[35]
14	Patrick Lincoln	[43]
15	Salvador Lucas	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [13] [17] [18] [25] [26]
16	Massimo Marchiori	[32]
17	Narciso Martí-Oliet	[43]
18	Catherine Meadows	[21] [23] [28] [30] [39]
19	José Meseguer	[15] [20] [21] [23] [27] [28] [29] [30] [33] [35] [36] [39] [40] [43]
20	Pedro Ojeda	[36]
21	Ralf Sasse	[33] [40]
22	Carolyn L. Talcott	[43]
23	Prasanna Thati (Prasannaa Thati)	[15] [20] [27]

Colors in the list of coauthors