Santiago Escobar

Folding variant narrowing and optimal variant termination

Santiago Escobar, Ralf Sasse, José Meseguer · The Journal of Logic and Algebraic Programming · 2012 · 119 citations · Full text

Computing, Computer Science, Protein Folding +1

A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties

Santiago Escobar, Catherine Meadows, José Meseguer · Theoretical Computer Science · 2006 · 118 citations

Computing, Computer Science, Formal Methods +15

Abstract Logical Model Checking of Infinite-State Systems Using Narrowing

Kyungmin Bae, Santiago Escobar, José Meseguer · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2013 · 56 citations · Full text

Computing, Computer Science, Formal Methods +14

A modular order-sorted equational generalization algorithm

Marı́a Alpuente, Santiago Escobar, Javier Espert et al. · Information and Computation · 2014 · 47 citations · Full text

Computing, Computer Science, Algorithms +10

State space reduction in the Maude-NRL Protocol Analyzer

Santiago Escobar, Catherine Meadows, José Meseguer et al. · Information and Computation · 2014 · 45 citations · Full text

Computing, Computer Engineering, Computer Science +13