Dr. Steven Eker (original) (raw)
| | | | | |
| ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | | | |
| | 
Dr. Steven Eker Senior Software Engineer 
Projects: Bio Informatics Maude Mobile Maude Next Generation (XG) Pathway Logic PHD: Predicting Health and Disease (PHD) Papers: Pathway Logic: Modeling of Protein Functional Domains in Signal Transduction (2004) The Maude LTL Model Checker and Its Implementation (2003) The Maude 2.0 System (2003) Certifying and Synthesizing Membership Equational Proofs (2003) Pathway Logic: Symbolic Analysis of Biological Signaling (2002) The Maude LTL Model Checker (2002) Maude: Specification and Programming in Rewriting Logic (1999) Design and Implementation od the Cafe Prover and Church-Rosser Checker Tools (1998) Principles of Maude (1997) Current Design and Implementation of the Cafe Prover and Knuth-Bendix Checker Tools (1997) Pathway Logic: Executable Models of Biological Networks Maude as a Formal Meta-Tool Building Equational Proving Tools by Reflection in Rewriting Logic Associative-Commutative Rewriting on Large Terms | | | |
About Us 
R&D Divisions Careers Newsroom Contact Us
© 2025 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy