BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Escobar:Santiago

Facilitated 1 volumes:

WRLA 2014Ed

Contributed to:

PPDP 20142014
CADE 20132013
RTA 20132013
PPDP 20112011
RTA 20112011
WRLA 20102010
WRLA 20102012
RTA 20092009
ICLP 20082008
LOPSTR 20082008
RTA 20082008
WRLA 20082009
RTA 20072007
RTA 20052005
FLOPS 20042004
LOPSTR 20042004
WRLA 20042005
PPDP 20032003
LOPSTR 20022002
WRLA 20022002
IJCAR 20162016
PPDP 20162016

Wrote 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.
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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.