Travelled to:1 × Austria
1 × Brazil
1 × Cyprus
1 × Denmark
1 × France
1 × Serbia
1 × Sweden
1 × The Netherlands
1 × USA
1 × United Kingdom
2 × Italy
2 × Japan
2 × Spain
Collaborated with:J.Meseguer R.Sasse M.Alpuente ∅ S.Lucas F.Durán J.Iborra P.Thati S.Eker C.L.Talcott C.Meadows P.Narendran F.Yang K.Bae S.Santiago N.Martí-Oliet P.Ojeda D.Kapur C.Lynch M.Comini M.Falaschi Catherine A. Meadows M.Clavel P.Lincoln S.Erbatur Z.Liu
Talks about:narrow (12) variant (9) unif (8) maud (6) rewrit (5) termin (4) system (4) use (4) general (3) natur (3)
Person: Santiago Escobar
DBLP: Escobar:Santiago
Facilitated 1 volumes:
EdContributed to:
2014
2013
201320112011201020122009
2008
20082008200920072005
200420042005200320022002
20162016Wrote 23 papers:
- PPDP-2014-YangEMMN #encryption #finite #unification
- Theories of Homomorphic Encryption, Unification, and the Finite Variant Property (FY, SE, CM, JM, PN), pp. 123–133.
- CADE-2013-ErbaturEKLLMMNSS #analysis #encryption #paradigm #protocol #symmetry #unification
- Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis (SE, SE, DK, ZL, CL, CM, JM, PN, SS, RS), pp. 231–248.
- RTA-2013-BaeEM #infinity #logic #model checking #using
- Abstract Logical Model Checking of Infinite-State Systems Using Narrowing (KB, SE, JM), pp. 81–96.
- PPDP-2011-EscobarKLMMNS #analysis #encryption #protocol #unification #using
- Protocol analysis in Maude-NPA using unification modulo homomorphic encryption (SE, DK, CL, CM, JM, PN, RS), pp. 65–76.
- RTA-2011-DuranEEMT #maude #reachability #unification
- Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6 (FD, SE, SE, JM, CLT), pp. 31–40.
- WRLA-2010-EscobarSM #termination
- Folding Variant Narrowing and Optimal Variant Termination (SE, RS, JM), pp. 52–68.
- WRLA-J-2010-EscobarSM12 #termination
- Folding variant narrowing and optimal variant termination (SE, RS, JM), pp. 898–928.
- RTA-2009-ClavelDEELMMT #maude #unification
- Unification and Narrowing in Maude 2.4 (MC, FD, SE, SE, PL, NMO, JM, CLT), pp. 380–390.
- ICLP-2008-AlpuenteEI #dependence #termination #using
- Termination of Narrowing Using Dependency Pairs (MA, SE, JI), pp. 317–331.
- LOPSTR-2008-AlpuenteEMO #algorithm #composition #equation
- A Modular Equational Generalization Algorithm (MA, SE, JM, PO), pp. 24–39.
- RTA-2008-AlpuenteEI #composition #termination
- Modular Termination of Basic Narrowing (MA, SE, JI), pp. 1–16.
- RTA-2008-EscobarMS #effectiveness #finite
- Effectively Checking the Finite Variant Property (SE, JM, RS), pp. 79–93.
- WRLA-2008-EscobarMS09 #equation #unification
- Variant Narrowing and Equational Unification (SE, JM, RS), pp. 103–119.
- RTA-2007-EscobarM #infinity #model checking #using
- Symbolic Model Checking of Infinite-State Systems Using Narrowing (SE, JM), pp. 153–168.
- RTA-2005-EscobarMT #term rewriting
- Natural Narrowing for General Term Rewriting Systems (SE, JM, PT), pp. 279–293.
- FLOPS-2004-Escobar #implementation
- Implementing Natural Rewriting and Narrowing Efficiently (SE), pp. 147–162.
- LOPSTR-2004-EscobarMT #term rewriting
- Natural Rewriting for General Term Rewriting Systems (SE, JM, PT), pp. 101–116.
- WRLA-2004-DuranEL05 #evaluation #maude
- New Evaluation Commands for Maude Within Full Maude (FD, SE, SL), pp. 263–284.
- PPDP-2003-Escobar
- Refining weakly outermost-needed rewriting and narrowing (SE), pp. 113–123.
- LOPSTR-2002-AlpuenteCEFL #functional #source code
- Abstract Diagnosis of Functional Programs (MA, MC, SE, MF, SL), pp. 1–16.
- WRLA-2002-AlpuenteEL
- Correct and Complete (Positive) Strategy Annotations for OBJ (MA, SE, SL), pp. 70–89.
- IJCAR-2016-DuranEEMMT #generative #maude #unification
- Built-in Variant Generation and Unification, and Their Applications in Maude 2.7 (FD, SE, SE, NMO, JM, CLT), pp. 183–192.
- PPDP-2016-YangEMMS #algebra #process #semantics
- Strand spaces with choice via a process algebra semantics (FY, SE, CAM, JM, SS), pp. 76–89.