Steven Eker

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 9

Top Topics

Equational Theories

Top Venues

J. Log. Algebraic Methods Program.

Publications

Steven Eker, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Alberto Verdejo
The Maude strategy language. CoRR (2024)
Steven Eker, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Alberto Verdejo
The Maude strategy language. J. Log. Algebraic Methods Program. 134 (2023)
Steven Eker
Associative unification in Maude. J. Log. Algebraic Methods Program. 126 (2022)
Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott
Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description). IJCAR (2022)
Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott
Programming and symbolic computation in Maude. J. Log. Algebraic Methods Program. 110 (2020)
Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott
Programming and Symbolic Computation in Maude. CoRR (2019)
Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
Associative Unification and Symbolic Reasoning Modulo Associativity in Maude. WRLA@ETAPS (2018)
Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
Built-in Variant Generation and Unification, and Their Applications in Maude 2.7. IJCAR (2016)
Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, Carolyn L. Talcott
Two Decades of Maude. Logic, Rewriting, and Concurrency (2015)
Steven Eker, Markus Krummenacker, Alexander Glennon Shearer, Ashish Tiwari, Ingrid M. Keseler, Carolyn L. Talcott, Peter D. Karp
Computing minimal nutrient sets from metabolic networks via linear constraint solving. BMC Bioinform. 14 (2013)
Francisco Durán, Steven Eker, Santiago Escobar, José Meseguer, Carolyn L. Talcott
Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6. RTA (2011)
Steven Eker
Fast Sort Computations for Order-Sorted Matching and Unification. Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Francisco Durán, 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, Eelco Visser
The Third Rewrite Engines Competition. WRLA (2010)
Steven Eker, Thomas J. Lee, Melinda T. Gervasio
Iteration Learning by Demonstration. AAAI Spring Symposium: Agents that Learn from Human Teachers (2009)
Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
Unification and Narrowing in Maude 2.4. RTA (2009)
Francisco Durán, 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
The Second Rewrite Engines Competition. WRLA (2008)
Steven Eker, Narciso Martí-Oliet, José Meseguer, Alberto Verdejo
Deduction, Strategies, and Rewriting. Electron. Notes Theor. Comput. Sci. 174 (11) (2007)
Grit Denker, Carolyn L. Talcott, Grigore Rosu, Mark van den Brand, Steven Eker, Traian-Florin Serbanuta
Rewriting Logic Systems. WRLA (2006)
Merrill Knapp, Linda Briesemeister, Steven Eker, Patrick Lincoln, Andy Poggio, Carolyn L. Talcott, Keith Laderoute
Pathway Logic Helping Biologists Understand and Organize Pathway Information. CSB Workshops (2005)
Carolyn L. Talcott, Steven Eker, Merrill Knapp, Patrick Lincoln, Keith Laderoute
Pathway Logic Modeling of Protein Functional Domains in Signal Transduction. Pacific Symposium on Biocomputing (2004)
Grigore Rosu, Steven Eker, Patrick Lincoln, José Meseguer
Certifying and Synthesizing Membership Equational Proofs. FME (2003)
Steven Eker, Keith Laderoute, Patrick Lincoln, M. G. Sriram, Carolyn L. Talcott
Representing and Simulating Protein Functional Domains in Signal Transduction Using Maude. CMSB (2003)
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
The Maude 2.0 System. RTA (2003)
Steven Eker
Associative-Commutative Rewriting on Large Terms. RTA (2003)
Steven Eker, José Meseguer, Ambarish Sridharanarayanan
The Maude LTL Model Checker and Its Implementation. SPIN (2003)
Carolyn L. Talcott, Steven Eker, Merrill Knapp, Patrick Lincoln, Keith Laderoute
Pathway Logic Modeling of Protein Functional Domains in Signal Transduction. CSB (2003)
Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, Carolyn L. Talcott
Pathway Logic: Executable Models of Biological Networks. Electron. Notes Theor. Comput. Sci. 71 (2002)
Steven Eker, José Meseguer, Ambarish Sridharanarayanan
The Maude LTL Model Checker. Electron. Notes Theor. Comput. Sci. 71 (2002)
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
Maude: specification and programming in rewriting logic. Theor. Comput. Sci. 285 (2) (2002)
Steven Eker
Single Elementary Associative-Commutative Matching. J. Autom. Reason. 28 (1) (2002)
Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, José Meseguer, M. Kemal Sönmez
Pathway Logic: Symbolic Analysis of Biological Signaling. Pacific Symposium on Biocomputing (2002)
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
Using Maude. FASE (2000)
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
Towards Maude 2.0. WRLA (2000)
Francisco Durán, Steven Eker, Patrick Lincoln, José Meseguer
Principles of Mobile Maude. ASA/MA (2000)
Manuel Clavel, Francisco Durán, Steven Eker, José Meseguer, Mark-Oliver Stehr
Maude as a Formal Meta-tool. World Congress on Formal Methods (1999)
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
The Maude System. RTA (1999)
Steven Eker
Term rewriting with operator evaluation strategies. WRLA (1998)
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer
Metalevel computation in Maude. WRLA (1998)
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
Maude as a metalanguage. WRLA (1998)
Steven Eker
Fast matching in combinations of regular equational theories. WRLA (1996)
Manuel Clavel, Steven Eker, Patrick Lincoln, José Meseguer
Principles of Maude. WRLA (1996)