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 × Brazil
1 × Cyprus
1 × France
1 × Germany
1 × Serbia
1 × Spain
2 × Italy
Collaborated with:
J.Meseguer F.Durán P.Lincoln M.Clavel N.Martí-Oliet C.L.Talcott J.F.Quesada S.Escobar G.Rosu M.v.d.Brand A.Sridharanarayanan M.Knapp K.Laderoute M.Stehr M.Roldán E.Balland K.T.Kalleberg L.C.L.Kats P.Moreau E.Visser G.Denker T.Serbanuta R.Schevchenko J.Bach J.R.Cordy L.Engelen M.d.Jonge
Talks about:
maud (13) rewrit (6) system (3) logic (3) unif (3) competit (2) variant (2) narrow (2) model (2) equat (2)

Person: Steven Eker

DBLP DBLP: Eker:Steven

Contributed to:

RTA 20112011
WRLA 20102010
RTA 20092009
WRLA 20082009
WRLA 20062007
FME 20032003
RTA 20032003
WRLA 20022002
FASE 20002000
WRLA 20002000
World Congress on Formal Methods 19991999
RTA 19991999
WRLA 19981998
WRLA 19961996
WRLA 19962002
IJCAR 20162016

Wrote 21 papers:

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-DuranRBBBCEEJK #contest
The Third Rewrite Engines Competition (FD, MR, JCB, EB, MvdB, JRC, SE, LE, MdJ, KTK, LCLK, PEM, EV), pp. 243–261.
RTA-2009-ClavelDEELMMT #maude #unification
Unification and Narrowing in Maude 2.4 (MC, FD, SE, SE, PL, NMO, JM, CLT), pp. 380–390.
WRLA-2008-DuranRBBEKKMSV09 #contest
The Second Rewrite Engines Competition (FD, MR, EB, MvdB, SE, KTK, LCLK, PEM, RS, EV), pp. 281–291.
WRLA-2006-DenkerTRBES07 #logic
Rewriting Logic Systems (GD, CLT, GR, MvdB, SE, TFS), pp. 233–247.
FME-2003-RosuELM #equation #proving
Certifying and Synthesizing Membership Equational Proofs (GR, SE, PL, JM), pp. 359–380.
RTA-2003-ClavelDELMMT #maude
The Maude 2.0 System (MC, FD, SE, PL, NMO, JM, CLT), pp. 76–87.
RTA-2003-Eker #commutative #scalability
Associative-Commutative Rewriting on Large Terms (SE), pp. 14–29.
WRLA-2002-EkerKLLT #biology #execution #logic #modelling #network
Pathway Logic: Executable Models of Biological Networks (SE, MK, KL, PL, CLT), pp. 144–161.
WRLA-2002-EkerMS #ltl #maude #model checking
The Maude LTL Model Checker (SE, JM, AS), pp. 162–187.
FASE-2000-ClavelDELMMQ #maude #using
Using Maude (MC, FD, SE, PL, NMO, JM, JFQ), pp. 371–374.
WRLA-2000-ClavelDELMMQ #maude #towards
Towards Maude 2.0 (MC, FD, SE, PL, NMO, JM, JFQ), pp. 294–315.
FM-v2-1999-ClavelDEMS #maude
Maude as a Formal Meta-tool (MC, FD, SE, JM, MOS), pp. 1684–1703.
RTA-1999-ClavelDELMMQ #maude
The Maude System (MC, FD, SE, PL, NMO, JM, JFQ), pp. 240–243.
WRLA-1998-ClavelDELMM #maude
Metalevel computation in Maude (MC, FD, SE, PL, NMO, JM), pp. 331–352.
WRLA-1998-ClavelDELMMQ #maude #metalanguage
Maude as a metalanguage (MC, FD, SE, PL, NMO, JM, JFQ), pp. 147–160.
WRLA-1998-Eker #evaluation #term rewriting
Term rewriting with operator evaluation strategies (SE), pp. 311–330.
RWLW-1996-ClavelELM #maude
Principles of Maude (MC, SE, PL, JM), pp. 65–89.
RWLW-1996-Eker #equation #performance
Fast matching in combinations of regular equational theories (SE), pp. 90–109.
WRLA-J-1996-ClavelDELMMQ02 #logic #maude #named #programming #specification
Maude: specification and programming in rewriting logic (MC, FD, SE, PL, NMO, JM, JFQ), pp. 187–243.
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.

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.