Santiago Escobar

Identifiers

• name variant Santiago Escobar 0.60 · backfill

Papers (9)

1. Symbolic Analysis of Maude Theories with Narval cs.LO · 2019 · author #3
2. Strand Spaces with Choice via a Process Algebra Semantics cs.CR · 2019 · author #2
3. Homeomorphic Embedding modulo Combinations of Associativity and Commutativity Axioms cs.PL · 2018 · author #3
4. Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA cs.CR · 2018 · author #3
5. Inspecting Maude Variants with GLINTS cs.LO · 2017 · author #3
6. Partial Evaluation of Order-sorted Equational Programs modulo Axioms cs.PL · 2016 · author #3
7. Effective Sequential Protocol Composition in Maude-NPA cs.CR · 2016 · author #2
8. State Space Reduction in the Maude-NRL Protocol Analyzer cs.CR · 2011 · author #1
9. Removing Redundant Arguments Automatically cs.PL · 2006 · author #2

Mentions

• 1105.5282 #1 · backfill · confidence 0.70 Santiago Escobar

Frequent Coauthors

• Catherine Meadows 4 shared papers
• Jos\'e Meseguer 4 shared papers
• Mar\'ia Alpuente 3 shared papers
• Angel Cuenca-Ortega 2 shared papers
• Jose Meseguer 2 shared papers
• Julia Sapi\~na 2 shared papers
• Maria Alpuente 2 shared papers
• Angel Cuenca 1 shared papers
• Antonio Gonz\'alez-Burgue\~no 1 shared papers
• Dami\'an Aparicio 1 shared papers
• Demis Ballis 1 shared papers
• Fan Yang 1 shared papers
• Salvador Lucas 1 shared papers
• Sonia Santiago 1 shared papers