MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Steven Eker" – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 11 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Principles of Mobile Maude  
  • by Francisco Duran, Steven Eker, Patrick Lincoln, Jose Meseguer — 2000 — Agent Systems, Mobile Agents, and Applications, Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents, ASA/MA 2000, LNCS 1882
  • …Principles of Mobile Maude Francisco Duran, Steven Eker, Patrick Lincoln, and Jose Meseguer SRI…
  • Cited by 10 (3 self)Add To MetaCart
  • The Maude LTL Model Checker  
  • by Steven Eker, José Meseguer, Ambarish Sridharanarayanan — 2002
  • …://www.elsevier.nl/locate/entcs/volume71.html 26 pages The Maude LTL Model Checker Steven Eker a Jose Meseguer b Ambarish Sridharanarayanan…
  • Cited by 39 (12 self)Add To MetaCart
  • Electronic Notes in Theoretical Computer Science 5 (1998) to appear  
  • by Term Rewriting With, Steven Eker — 1998 — Proc. of 2nd International Workshop on Rewriting Logic and its Applications, WRLA'98, Electronic Notes in Computer Science
  • … Evaluation Strategies 1 Steven Eker Computer Science Laboratory, SRI International Menlo Park, CA 94025…
  • Add To MetaCart
  • Pathway Logic: Executable Models of Biological Networks  
  • by Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, Carolyn Talcott — 2002 — In Fourth International Workshop on Rewriting Logic and Its Applications (WRLA’2002
  • …://www.elsevier.nl/locate/entcs/volume71.html 18 pages Pathway Logic: Executable Models of Biological Networks Steven Eker, Merrill Knapp…
  • Cited by 26 (9 self)Add To MetaCart
  • The Maude 2.0 system  
  • by Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-oliet, José Meseguer, Carolyn Talcott — 2003 — Rewriting Techniques and Applications, Proceedings of the 14th International Conference
  • …The Maude 2.0 System ⋆ Manuel Clavel 1 , Francisco Durán 2 , Steven Eker 3 , Patrick Lincoln 3…
  • Cited by 55 (14 self)Add To MetaCart
  • Pathway logic: Symbolic analysis of biological signaling  
  • by Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, Jose Meseguer, Kemal Sonmez — 2002 — In Proceedings of the Pacific Symposium on Biocomputing
  • … OF BIOLOGICAL SIGNALING STEVEN EKER, MERRILL KNAPP, KEITH LADEROUTE, PATRICK LINCOLN, JOSE MESEGUER, AND KEMAL…
  • Cited by 46 (8 self)Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB