The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Steven Eker: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Steven Eker, Keith Laderoute, Patrick Lincoln, M. G. Sriram, Carolyn L. Talcott
    Representing and Simulating Protein Functional Domains in Signal Transduction Using Maude. [Citation Graph (0, 0)][DBLP]
    CMSB, 2003, pp:164-165 [Conf]
  2. Merrill Knapp, Linda Briesemeister, Steven Eker, Patrick Lincoln, Andy Poggio, Carolyn L. Talcott, Keith Laderoute
    Pathway Logic Helping Biologists Understand and Organize Pathway Information. [Citation Graph (0, 0)][DBLP]
    CSB Workshops, 2005, pp:155-156 [Conf]
  3. Carolyn L. Talcott, Steven Eker, Merrill Knapp, Patrick Lincoln, Keith Laderoute
    Pathway Logic Modeling of Protein Functional Domains in Signal Transduction. [Citation Graph (0, 0)][DBLP]
    CSB, 2003, pp:618-619 [Conf]
  4. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
    Using Maude. [Citation Graph (0, 0)][DBLP]
    FASE, 2000, pp:371-374 [Conf]
  5. Manuel Clavel, Francisco Durán, Steven Eker, José Meseguer, Mark-Oliver Stehr
    Maude as a Formal Meta-tool. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1684-1703 [Conf]
  6. Grigore Rosu, Steven Eker, Patrick Lincoln, José Meseguer
    Certifying and Synthesizing Membership Equational Proofs. [Citation Graph (0, 0)][DBLP]
    FME, 2003, pp:359-380 [Conf]
  7. Francisco Durán, Steven Eker, Patrick Lincoln, José Meseguer
    Principles of Mobile Maude. [Citation Graph (0, 0)][DBLP]
    ASA/MA, 2000, pp:73-85 [Conf]
  8. Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, José Meseguer, M. Kemal Sönmez
    Pathway Logic: Symbolic Analysis of Biological Signaling. [Citation Graph (0, 0)][DBLP]
    Pacific Symposium on Biocomputing, 2002, pp:400-412 [Conf]
  9. Carolyn L. Talcott, Steven Eker, Merrill Knapp, Patrick Lincoln, Keith Laderoute
    Pathway Logic Modeling of Protein Functional Domains in Signal Transduction. [Citation Graph (0, 0)][DBLP]
    Pacific Symposium on Biocomputing, 2004, pp:568-580 [Conf]
  10. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
    The Maude System. [Citation Graph (0, 0)][DBLP]
    RTA, 1999, pp:240-243 [Conf]
  11. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
    The Maude 2.0 System. [Citation Graph (0, 0)][DBLP]
    RTA, 2003, pp:76-87 [Conf]
  12. Steven Eker
    Associative-Commutative Rewriting on Large Terms. [Citation Graph (0, 0)][DBLP]
    RTA, 2003, pp:14-29 [Conf]
  13. Steven Eker, José Meseguer, Ambarish Sridharanarayanan
    The Maude LTL Model Checker and Its Implementation. [Citation Graph (0, 0)][DBLP]
    SPIN, 2003, pp:230-234 [Conf]
  14. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer
    Metalevel computation in Maude. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:15, n:, pp:- [Journal]
  15. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
    Towards Maude 2.0. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:36, n:, pp:- [Journal]
  16. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
    Maude as a metalanguage. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:15, n:, pp:- [Journal]
  17. Manuel Clavel, Steven Eker, Patrick Lincoln, José Meseguer
    Principles of Maude. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:4, n:, pp:- [Journal]
  18. Steven Eker
    Fast matching in combinations of regular equational theories. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:4, n:, pp:- [Journal]
  19. Steven Eker
    Term rewriting with operator evaluation strategies. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:15, n:, pp:- [Journal]
  20. Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, Carolyn L. Talcott
    Pathway Logic: Executable Models of Biological Networks. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal]
  21. Steven Eker, José Meseguer, Ambarish Sridharanarayanan
    The Maude LTL Model Checker. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal]
  22. Steven Eker
    Single Elementary Associative-Commutative Matching. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2002, v:28, n:1, pp:35-51 [Journal]
  23. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
    Maude: specification and programming in rewriting logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:285, n:2, pp:187-243 [Journal]
  24. Steven Eker, Narciso Martí-Oliet, José Meseguer, Alberto Verdejo
    Deduction, Strategies, and Rewriting. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:11, pp:3-25 [Journal]
  25. Grit Denker, Carolyn L. Talcott, Grigore Rosu, Mark van den Brand, Steven Eker, Traian-Florin Serbanuta
    Rewriting Logic Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:4, pp:233-247 [Journal]

  26. Unification and Narrowing in Maude 2.4. [Citation Graph (, )][DBLP]


  27. Introduction. [Citation Graph (, )][DBLP]


  28. Using Maude. [Citation Graph (, )][DBLP]


  29. Syntax and Basic Parsing. [Citation Graph (, )][DBLP]


  30. Functional Modules. [Citation Graph (, )][DBLP]


  31. A Hierarchy of Data Types: From Trees to Sets. [Citation Graph (, )][DBLP]


  32. System Modules. [Citation Graph (, )][DBLP]


  33. Module Operations. [Citation Graph (, )][DBLP]


  34. Predefined Data Modules. [Citation Graph (, )][DBLP]


  35. Object-Based Programming. [Citation Graph (, )][DBLP]


  36. Model Checking Invariants Through Search. [Citation Graph (, )][DBLP]


  37. LTL Model Checking. [Citation Graph (, )][DBLP]


  38. Reflection, Metalevel Computation, and Strategies. [Citation Graph (, )][DBLP]


  39. Metaprogramming Applications. [Citation Graph (, )][DBLP]


  40. User Interfaces and Metalanguage Applications. [Citation Graph (, )][DBLP]


  41. Full Maude: Extending Core Maude. [Citation Graph (, )][DBLP]


  42. Object-Oriented Modules. [Citation Graph (, )][DBLP]


  43. A Sampler of Application Areas. [Citation Graph (, )][DBLP]


  44. Debugging and Troubleshooting. [Citation Graph (, )][DBLP]


  45. Complete List of Maude Commands. [Citation Graph (, )][DBLP]


  46. Core Maude Grammar. [Citation Graph (, )][DBLP]


  47. Some Tools. [Citation Graph (, )][DBLP]


  48. Playing with Maude. [Citation Graph (, )][DBLP]


  49. Specifying Parameterized Data Structures in Maude. [Citation Graph (, )][DBLP]


  50. Mobile Maude. [Citation Graph (, )][DBLP]


  51. The Second Rewrite Engines Competition. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.332secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002