Faster Linear Interpolation. - Steven Eker (Graphics Gems, 1994)

Principles of Maude. - Manuel Clavel; Steven Eker; Patrick Lincoln; José Meseguer 001 (WRLA, 1996)

Fast matching in combinations of regular equational theories. - Steven Eker (WRLA, 1996)

Metalevel computation in Maude. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001 (WRLA, 1998)

Maude as a metalanguage. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Jose F. Quesada (WRLA, 1998)

Term rewriting with operator evaluation strategies. - Steven Eker (WRLA, 1998)

Maude as a Formal Meta-tool. - Manuel Clavel; Francisco Durán 001; Steven Eker; José Meseguer 001; Mark-Oliver Stehr (World Congress on Formal Methods, 1999)

The Maude System. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Jose F. Quesada (RTA, 1999)

Using Maude. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Jose F. Quesada (FASE, 2000)

Principles of Mobile Maude. - Francisco Durán 001; Steven Eker; Patrick Lincoln; José Meseguer 001 (ASA/MA, 2000)

Towards Maude 2.0. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Jose F. Quesada (WRLA, 2000)

Pathway Logic: Symbolic Analysis of Biological Signaling. - Steven Eker; Merrill Knapp; Keith Laderoute; Patrick Lincoln; José Meseguer 001; M. Kemal Sönmez (Pacific Symposium on Biocomputing, 2002)

Pathway Logic: Executable Models of Biological Networks. - Steven Eker; Merrill Knapp; Keith Laderoute; Patrick Lincoln; Carolyn L. Talcott (WRLA, 2002)

The Maude LTL Model Checker. - Steven Eker; José Meseguer 001; Ambarish Sridharanarayanan (WRLA, 2002)

Single Elementary Associative-Commutative Matching. - Steven Eker (J. Autom. Reason., 2002)

Maude: specification and programming in rewriting logic. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Jose F. Quesada (Theor. Comput. Sci., 2002)

Representing and Simulating Protein Functional Domains in Signal Transduction Using Maude. - Steven Eker; Keith Laderoute; Patrick Lincoln; M. G. Sriram; Carolyn L. Talcott (CMSB, 2003)

Pathway Logic Modeling of Protein Functional Domains in Signal Transduction. - Carolyn L. Talcott; Steven Eker; Merrill Knapp; Patrick Lincoln; Keith Laderoute (CSB, 2003)

Certifying and Synthesizing Membership Equational Proofs. - Grigore Rosu; Steven Eker; Patrick Lincoln; José Meseguer 001 (FME, 2003)

The Maude 2.0 System. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (RTA, 2003)

Associative-Commutative Rewriting on Large Terms. - Steven Eker (RTA, 2003)

The Maude LTL Model Checker and Its Implementation. - Steven Eker; José Meseguer 001; Ambarish Sridharanarayanan (SPIN, 2003)

Pathway Logic Helping Biologists Understand and Organize Pathway Information. - Merrill Knapp; Linda Briesemeister; Steven Eker; Patrick Lincoln; Andy Poggio; Carolyn L. Talcott; Keith Laderoute (CSB Workshops, 2005)

Rewriting Logic Systems. - Grit Denker; Carolyn L. Talcott; Grigore Rosu; Mark van den Brand; Steven Eker; Traian-Florin Serbanuta (WRLA, 2006)

Deduction, Strategies, and Rewriting. - Steven Eker; Narciso Martí-Oliet; José Meseguer 001; Alberto Verdejo (STRATEGIES@IJCAR, 2006)

Introduction. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Using Maude. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Syntax and Basic Parsing. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Functional Modules. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

A Hierarchy of Data Types: From Trees to Sets. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

System Modules. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Module Operations. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Predefined Data Modules. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Object-Based Programming. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Model Checking Invariants Through Search. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

LTL Model Checking. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Reflection, Metalevel Computation, and Strategies. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Metaprogramming Applications. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

User Interfaces and Metalanguage Applications. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Full Maude: Extending Core Maude. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Object-Oriented Modules. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

A Sampler of Application Areas. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Debugging and Troubleshooting. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Complete List of Maude Commands. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Core Maude Grammar. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Some Tools. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott; Christiano Braga; Azadeh Farzan; Joe Hendrix; Peter Csaba Ölveczky; Miguel Palomino; et al. (All About Maude, 2007)

Playing with Maude. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott; Miguel Palomino; Alberto Verdejo (All About Maude, 2007)

Specifying Parameterized Data Structures in Maude. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott; Miguel Palomino; Alberto Verdejo (All About Maude, 2007)

Mobile Maude. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott; Adrián Riesco 001; Alberto Verdejo (All About Maude, 2007)

The Second Rewrite Engines Competition. - Francisco Durán 001; Manuel Roldán; Emilie Balland; Mark van den Brand; Steven Eker; Karl Trygve Kalleberg; Lennart C. L. Kats; Pierre-Etienne Moreau; Ruslan Schevchenko; Eelco Visser (WRLA, 2008)

Iteration Learning by Demonstration. - Steven Eker; Thomas J. Lee; Melinda T. Gervasio (AAAI Spring Symposium: Agents that Learn from Human Teachers, 2009)

Unification and Narrowing in Maude 2.4. - Manuel Clavel; Francisco Durán 001; Steven Eker; Santiago Escobar 001; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (RTA, 2009)

The Third Rewrite Engines Competition. - Francisco Durán 001; Manuel Roldán; Jean-Christophe Bach; Emilie Balland; Mark van den Brand; James R. Cordy; Steven Eker; Luc Engelen; Maartje de Jonge; Karl Trygve Kalleberg; Lennart C. L. Kats; Pierre-Etienne Moreau; et al. (WRLA, 2010)

Fast Sort Computations for Order-Sorted Matching and Unification. - Steven Eker (Formal Modeling: Actors, Open Systems, Biological Systems, 2011)

Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6. - Francisco Durán 001; Steven Eker; Santiago Escobar 001; José Meseguer 001; Carolyn L. Talcott (RTA, 2011)

Computing minimal nutrient sets from metabolic networks via linear constraint solving. - Steven Eker; Markus Krummenacker; Alexander Glennon Shearer; Ashish Tiwari 001; Ingrid M. Keseler; Carolyn L. Talcott; Peter D. Karp (BMC Bioinform., 2013)

Two Decades of Maude. - Manuel Clavel; Francisco Durán 001; Steven Eker; Santiago Escobar 001; Patrick Lincoln; Narciso Martí-Oliet; Carolyn L. Talcott (Logic, Rewriting, and Concurrency, 2015)

Built-in Variant Generation and Unification, and Their Applications in Maude 2.7. - Francisco Durán 001; Steven Eker; Santiago Escobar 001; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (IJCAR, 2016)

Associative Unification and Symbolic Reasoning Modulo Associativity in Maude. - Francisco Durán 001; Steven Eker; Santiago Escobar 001; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (WRLA@ETAPS, 2018)

Programming and symbolic computation in Maude. - Francisco Durán 001; Steven Eker; Santiago Escobar 001; Narciso Martí-Oliet; José Meseguer 001; Rubén Rubio; Carolyn L. Talcott (J. Log. Algebraic Methods Program., 2020)

Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description). - Francisco Durán 001; Steven Eker; Santiago Escobar 001; Narciso Martí-Oliet; José Meseguer 001; Rubén Rubio; Carolyn L. Talcott (IJCAR, 2022)

Associative unification in Maude. - Steven Eker (J. Log. Algebraic Methods Program., 2022)

The Maude strategy language. - Steven Eker; Narciso Martí-Oliet; José Meseguer 001; Rubén Rubio; Alberto Verdejo (J. Log. Algebraic Methods Program., 2023)

Programming Open Distributed Systems in Maude. - Francisco Durán 001; Steven Eker; Santiago Escobar 001; Narciso Martí-Oliet; José Meseguer 001; Rubén Rubio; Carolyn L. Talcott (PPDP, 2024)