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: Eker:Steven
Contributed to:
2011
2010200920092007
200320032002
2000200019991999199819962002
2016Wrote 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.