Concepedia

Steven Eker

SE

Statistics

Publications

17

Citations

1.8K

H-Index

15

Active since

1995

Affiliations

SRI International(Current)

Universidad Complutense de Madrid

Universidad de Málaga

University of Illinois Urbana-Champaign

Steven Eker is an author at SRI International specializing in computer science, computing, and formal methods.

Publications per year

1995–2023

17

Publications

17

Maude: specification and programming in rewriting logic

Manuel Clavel, Francisco Durán, Steven Eker et al. · Theoretical Computer Science · 2002 · 772 citations · Full text

Computing, Computer Science, Formal Methods +7

The Maude LTL Model Checker

Steven Eker, José Meseguer, Ambarish Sridharanarayanan · Electronic Notes in Theoretical Computer Science · 2004 · 239 citations · Full text

Computing, Computer Science, Biological Systems Modeling +13

Principles of Maude

Manuel Clavel, Steven Eker, Per Lincoln et al. · Electronic Notes in Theoretical Computer Science · 1996 · 227 citations · Full text

Computing, Computer Science, Formal Methods +13

PATHWAY LOGIC: SYMBOLIC ANALYSIS OF BIOLOGICAL SIGNALING

Steven Eker, Merrill Knapp, Keith R. Laderoute et al. · 2001 · 153 citations

Life Sciences, Molecular Biology, Systems Biology +14

Pathway Logic: Executable Models of Biological Networks

Steven Eker, Merrill Knapp, Keith R. Laderoute et al. · Electronic Notes in Theoretical Computer Science · 2004 · 85 citations · Full text

Life Sciences, Biology, Systems Biology +12

1–5 of 17