dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Santiago Escobar Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago Escobar: Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming WRS 2011
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago Escobar, Deepak Kapur, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Ralf Sasse: Protocol analysis in Maude-NPA using unification modulo homomorphic encryption. PPDP 2011: 65-76
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco Durán, Steven Eker, Santiago Escobar, José Meseguer, Carolyn L. Talcott: Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6. RTA 2011: 31-40
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago Escobar, Catherine Meadows, José Meseguer: State Space Reduction in the Maude-NRL Protocol Analyzer CoRR abs/1105.5282: (2011)
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarí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
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago Escobar: Functional and Constraint Logic Programming, 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers Springer 2010
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago: Sequential Protocol Composition in Maude-NPA. ESORICS 2010: 303-318
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf Sasse, Santiago Escobar, Catherine Meadows, José Meseguer: Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA. STM 2010: 163-178
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauricio Alba-Castro, María Alpuente, Santiago Escobar: Approximating Non-interference and Erasure in Rewriting Logic. SYNASC 2010: 124-132
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago Escobar, Ralf Sasse, José Meseguer: Folding Variant Narrowing and Optimal Variant Termination. WRLA 2010: 52-68
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauricio Alba-Castro, María Alpuente, Santiago Escobar: Abstract Certification of Global Non-Interference in Rewriting Logic CoRR abs/1006.4304: (2010)
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarí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)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarí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)
2009
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauricio Alba-Castro, María Alpuente, Santiago Escobar: Abstract Certification of Global Non-interference in Rewriting Logic. FMCO 2009: 105-124
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel 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
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel J. Dougherty, Santiago Escobar: Preface. Electr. Notes Theor. Comput. Sci. 234: 1-2 (2009)
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDemis Ballis, Santiago Escobar: Preface. Electr. Notes Theor. Comput. Sci. 235: 1-2 (2009)
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago Escobar, José Meseguer, Ralf Sasse: Variant Narrowing and Equational Unification. Electr. Notes Theor. Comput. Sci. 238(3): 103-119 (2009)
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda: Order-Sorted Generalization. Electr. Notes Theor. Comput. Sci. 246: 27-38 (2009)
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauricio 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)
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSonia Santiago, Carolyn L. Talcott, Santiago Escobar, Catherine Meadows, José Meseguer: A Graphical User Interface for Maude-NPA. Electr. Notes Theor. Comput. Sci. 258(1): 3-20 (2009)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Alpuente, Santiago Escobar, José Iborra: Termination of narrowing revisited. Theor. Comput. Sci. 410(46): 4608-4625 (2009)
2008
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago Escobar, Catherine Meadows, José Meseguer: State Space Reduction in the Maude-NRL Protocol Analyzer. ESORICS 2008: 548-562
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauricio Alba-Castro, María Alpuente, Santiago Escobar: Automated Certification of Non-Interference in Rewriting Logic. FMICS 2008: 182-198
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Alpuente, Santiago Escobar, José Iborra: Termination of Narrowing Using Dependency Pairs. ICLP 2008: 317-331
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda: A Modular Equational Generalization Algorithm. LOPSTR 2008: 24-39
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Katelman, José Meseguer, Santiago Escobar: Directed-Logical Testing for Functional Verification of Microprocessors. MEMOCODE 2008: 89-100
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Alpuente, Santiago Escobar, José Iborra: Modular Termination of Basic Narrowing. RTA 2008: 1-16
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago Escobar, José Meseguer, Ralf Sasse: Effectively Checking the Finite Variant Property. RTA 2008: 79-93
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDemis Ballis, Santiago Escobar, Massimo Marchiori: Preface. Electr. Notes Theor. Comput. Sci. 200(3): 1-2 (2008)
2007
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauricio Alba-Castro, María Alpuente, Santiago Escobar: Automatic Certification of Java Source Code in Rewriting Logic. FMICS 2007: 200-217
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago Escobar, Catherine Meadows, José Meseguer: Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties. FOSAD 2007: 1-50
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago Escobar, José Meseguer: Symbolic Model Checking of Infinite-State Systems Using Narrowing. RTA 2007: 153-168
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago Escobar, Catherine Meadows, José Meseguer: Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer. Electr. Notes Theor. Comput. Sci. 171(4): 23-36 (2007)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago Escobar, José Meseguer, Prasanna Thati: Narrowing and Rewriting Logic: from Foundations to Applications. Electr. Notes Theor. Comput. Sci. 177: 5-33 (2007)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Alpuente, Santiago Escobar, Salvador Lucas: Removing redundant arguments automatically. TPLP 7(1-2): 3-35 (2007)
2006
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Alpuente, Santiago Escobar, Salvador Lucas: Removing Redundant Arguments Automatically CoRR abs/cs/0601039: (2006)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Alpuente, Santiago Escobar, Moreno Falaschi: Preface. Electr. Notes Theor. Comput. Sci. 157(2): 1-2 (2006)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago 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
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarí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
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago Escobar, Catherine Meadows, José Meseguer: A rewriting-based inference system for the NRL protocol analyzer: grammar generation. FMSE 2005: 1-12
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago Escobar, José Meseguer, Prasanna Thati: Natural Narrowing for General Term Rewriting Systems. RTA 2005: 279-293
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Alpuente, Santiago Escobar, Moreno Falaschi: Preface. WWV 2005
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco Durán, Santiago Escobar, Salvador Lucas: New Evaluation Commands for Maude Within Full Maude. Electr. Notes Theor. Comput. Sci. 117: 263-284 (2005)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco Durán, Santiago Escobar, Salvador Lucas: On-demand Evaluation for Maude. Electr. Notes Theor. Comput. Sci. 124(1): 25-39 (2005)
2004
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago Escobar: Implementing Natural Rewriting and Narrowing Efficiently. FLOPS 2004: 147-162
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago Escobar, José Meseguer, Prasanna Thati: Natural Rewriting for General Term Rewriting Systems. LOPSTR 2004: 101-116
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago Escobar: Thesis: Strategies and analysis techniques in functional program optimization. AI Commun. 17(1): 35-37 (2004)
2003
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas: Abstract Correction of OBJ-like Programs. APPIA-GULP-PRODE 2003: 422-433
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago Escobar: Refining weakly outermost-needed rewriting and narrowing. PPDP 2003: 113-123
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Alpuente, Santiago Escobar, Salvador Lucas: OnDemandOBJ: A Laboratory for Strategy Annotations. Electr. Notes Theor. Comput. Sci. 86(2): 1-27 (2003)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Alpuente, Santiago Escobar, Salvador Lucas: On-demand Evaluation by Program Transformation. Electr. Notes Theor. Comput. Sci. 86(2): 92-118 (2003)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarí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)
2002
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Alpuente, Santiago Escobar, Salvador Lucas: Removing Redundant Arguments of Functions. AMAST 2002: 117-131
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas: Abstract Diagnosis of Functional Programs. LOPSTR 2002: 1-16
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas: Improving On-Demand Strategy Annotations. LPAR 2002: 1-18
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Alpuente, Santiago Escobar, Salvador Lucas: Correct and Complete (Positive) Strategy Annotations for OBJ. Electr. Notes Theor. Comput. Sci. 71: 70-89 (2002)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Alpuente, Rachid Echahed, Santiago Escobar, Salvador Lucas: Redundancy of Arguments Reduced to Induction. Electr. Notes Theor. Comput. Sci. 76: 20-41 (2002)
2000
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Alpuente, Santiago Escobar, Salvador Lucas: Redundancy Analyses in Term Rewriting. WFLP 2000: 309-323
1999
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Alpuente, Salvador Lucas, Santiago Escobar: An Incremental Needed Narrowing Calculus for Curry. APPIA-GULP-PRODE 1999: 75-88
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Alpuente, Santiago Escobar, Salvador Lucas: UPV-CURRY: An Incremental CURRY Interpreter. SOFSEM 1999: 331-339

Coauthor Index

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

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page