Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Santiago Escobar
2010 – today
- 2013
[c34]Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse: Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis. CADE 2013: 231-248- [c33]Kyungmin Bae, Santiago Escobar, José Meseguer: Abstract Logical Model Checking of Infinite-State Systems Using Narrowing. RTA 2013: 81-96
- 2012
- [j25]Santiago Escobar, Ralf Sasse, José Meseguer: Folding variant narrowing and optimal variant termination. J. Log. Algebr. Program. 81(7-8): 898-928 (2012)
- [c32]Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse: Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions. ESORICS 2012: 73-90
- 2011
- [j24]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)
- [c31]Santiago 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
- [c30]Francisco 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
- [e3]
- [i3]Santiago Escobar, Catherine Meadows, José Meseguer: State Space Reduction in the Maude-NRL Protocol Analyzer. CoRR abs/1105.5282 (2011)
- 2010
- [j23]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)
- [j22]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)
- [c29]Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago: Sequential Protocol Composition in Maude-NPA. ESORICS 2010: 303-318
- [c28]Ralf Sasse, Santiago Escobar, Catherine Meadows, José Meseguer: Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA. STM 2010: 163-178
- [c27]Mauricio Alba-Castro, María Alpuente, Santiago Escobar: Approximating Non-interference and Erasure in Rewriting Logic. SYNASC 2010: 124-132
- [c26]Santiago Escobar, Ralf Sasse, José Meseguer: Folding Variant Narrowing and Optimal Variant Termination. WRLA 2010: 52-68
- [e2]Santiago Escobar (Ed.): Functional and Constraint Logic Programming, 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers. Lecture Notes in Computer Science 5979, Springer 2010, ISBN 978-3-642-11998-9
- [i2]Mauricio Alba-Castro, María Alpuente, Santiago Escobar: Abstract Certification of Global Non-Interference in Rewriting Logic. CoRR abs/1006.4304 (2010)
2000 – 2009
- 2009
- [j21]
- [j20]
- [j19]Santiago Escobar, José Meseguer, Ralf Sasse: Variant Narrowing and Equational Unification. Electr. Notes Theor. Comput. Sci. 238(3): 103-119 (2009)
- [j18]María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda: Order-Sorted Generalization. Electr. Notes Theor. Comput. Sci. 246: 27-38 (2009)
- [j17]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)
- [j16]Sonia 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)
- [j15]María Alpuente, Santiago Escobar, José Iborra: Termination of narrowing revisited. Theor. Comput. Sci. 410(46): 4608-4625 (2009)
- [c25]Mauricio Alba-Castro, María Alpuente, Santiago Escobar: Abstract Certification of Global Non-interference in Rewriting Logic. FMCO 2009: 105-124
- [c24]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
- 2008
- [j14]Demis Ballis, Santiago Escobar, Massimo Marchiori: Preface. Electr. Notes Theor. Comput. Sci. 200(3): 1-2 (2008)
- [c23]Santiago Escobar, Catherine Meadows, José Meseguer: State Space Reduction in the Maude-NRL Protocol Analyzer. ESORICS 2008: 548-562
- [c22]Mauricio Alba-Castro, María Alpuente, Santiago Escobar: Automated Certification of Non-Interference in Rewriting Logic. FMICS 2008: 182-198
- [c21]María Alpuente, Santiago Escobar, José Iborra: Termination of Narrowing Using Dependency Pairs. ICLP 2008: 317-331
- [c20]María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda: A Modular Equational Generalization Algorithm. LOPSTR 2008: 24-39
- [c19]Michael Katelman, José Meseguer, Santiago Escobar: Directed-Logical Testing for Functional Verification of Microprocessors. MEMOCODE 2008: 89-100
- [c18]María Alpuente, Santiago Escobar, José Iborra: Modular Termination of Basic Narrowing. RTA 2008: 1-16
- [c17]Santiago Escobar, José Meseguer, Ralf Sasse: Effectively Checking the Finite Variant Property. RTA 2008: 79-93
- 2007
- [j13]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)
- [j12]Santiago Escobar, José Meseguer, Prasanna Thati: Narrowing and Rewriting Logic: from Foundations to Applications. Electr. Notes Theor. Comput. Sci. 177: 5-33 (2007)
- [j11]María Alpuente, Santiago Escobar, Salvador Lucas: Removing redundant arguments automatically. TPLP 7(1-2): 3-35 (2007)
- [c16]Mauricio Alba-Castro, María Alpuente, Santiago Escobar: Automatic Certification of Java Source Code in Rewriting Logic. FMICS 2007: 200-217
- [c15]Santiago Escobar, Catherine Meadows, José Meseguer: Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties. FOSAD 2007: 1-50
- [c14]Santiago Escobar, José Meseguer: Symbolic Model Checking of Infinite-State Systems Using Narrowing. RTA 2007: 153-168
- 2006
- [j10]María Alpuente, Santiago Escobar, Moreno Falaschi: Preface. Electr. Notes Theor. Comput. Sci. 157(2): 1-2 (2006)
- [j9]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)
- [i1]María Alpuente, Santiago Escobar, Salvador Lucas: Removing Redundant Arguments Automatically. CoRR abs/cs/0601039 (2006)
- 2005
- [j8]Francisco Durán, Santiago Escobar, Salvador Lucas: New Evaluation Commands for Maude Within Full Maude. Electr. Notes Theor. Comput. Sci. 117: 263-284 (2005)
- [j7]Francisco Durán, Santiago Escobar, Salvador Lucas: On-demand Evaluation for Maude. Electr. Notes Theor. Comput. Sci. 124(1): 25-39 (2005)
- [c13]Santiago Escobar, Catherine Meadows, José Meseguer: A rewriting-based inference system for the NRL protocol analyzer: grammar generation. FMSE 2005: 1-12
- [c12]Santiago Escobar, José Meseguer, Prasanna Thati: Natural Narrowing for General Term Rewriting Systems. RTA 2005: 279-293
- [c11]
- [e1]María Alpuente, Santiago Escobar, Moreno Falaschi (Eds.): 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
- 2004
- [j6]Santiago Escobar: Thesis: Strategies and analysis techniques in functional program optimization. AI Commun. 17(1): 35-37 (2004)
- [c10]
- [c9]Santiago Escobar, José Meseguer, Prasanna Thati: Natural Rewriting for General Term Rewriting Systems. LOPSTR 2004: 101-116
- 2003
- [j5]María Alpuente, Santiago Escobar, Salvador Lucas: OnDemandOBJ: A Laboratory for Strategy Annotations. Electr. Notes Theor. Comput. Sci. 86(2): 1-27 (2003)
- [j4]María Alpuente, Santiago Escobar, Salvador Lucas: On-demand Evaluation by Program Transformation. Electr. Notes Theor. Comput. Sci. 86(2): 92-118 (2003)
- [j3]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)
- [c8]María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas: Abstract Correction of OBJ-like Programs. APPIA-GULP-PRODE 2003: 422-433
- [c7]
- 2002
- [j2]María Alpuente, Santiago Escobar, Salvador Lucas: Correct and Complete (Positive) Strategy Annotations for OBJ. Electr. Notes Theor. Comput. Sci. 71: 70-89 (2002)
- [j1]María Alpuente, Rachid Echahed, Santiago Escobar, Salvador Lucas: Redundancy of Arguments Reduced to Induction. Electr. Notes Theor. Comput. Sci. 76: 20-41 (2002)
- [c6]María Alpuente, Santiago Escobar, Salvador Lucas: Removing Redundant Arguments of Functions. AMAST 2002: 117-131
- [c5]María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas: Abstract Diagnosis of Functional Programs. LOPSTR 2002: 1-16
- [c4]María Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas: Improving On-Demand Strategy Annotations. LPAR 2002: 1-18
- 2000
- [c3]María Alpuente, Santiago Escobar, Salvador Lucas: Redundancy Analyses in Term Rewriting. WFLP 2000: 309-323
1990 – 1999
- 1999
- [c2]María Alpuente, Salvador Lucas, Santiago Escobar: An Incremental Needed Narrowing Calculus for Curry. APPIA-GULP-PRODE 1999: 75-88
- [c1]María Alpuente, Santiago Escobar, Salvador Lucas: UPV-CURRY: An Incremental CURRY Interpreter. SOFSEM 1999: 331-339
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:23 CEST by the dblp team