Steven Eker

According to our database, Steven Eker authored at least 63 papers between 1994 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

The Maude strategy language.

Steven Eker, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Alberto Verdejo

J. Log. Algebraic Methods Program., August, 2023

2022

Associative unification in Maude.

Steven Eker

J. Log. Algebraic Methods Program., 2022

Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description).

Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2020

Programming and symbolic computation in Maude.

Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott

J. Log. Algebraic Methods Program., 2020

2018

Associative Unification and Symbolic Reasoning Modulo Associativity in Maude.

Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018

2016

Built-in Variant Generation and Unification, and Their Applications in Maude 2.7.

Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

2015

Two Decades of Maude.

Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, Carolyn L. Talcott

Proceedings of the Logic, Rewriting, and Concurrency, 2015

2013

Computing minimal nutrient sets from metabolic networks via linear constraint solving.

Steven Eker, Markus Krummenacker, Alexander Glennon Shearer, Ashish Tiwari, Ingrid M. Keseler, Carolyn L. Talcott, Peter D. Karp

BMC Bioinform., 2013

2011

Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6.

Francisco Durán, Steven Eker, Santiago Escobar, José Meseguer, Carolyn L. Talcott

Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011

Fast Sort Computations for Order-Sorted Matching and Unification.

Steven Eker

Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011

2010

The Third Rewrite Engines Competition.

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

Proceedings of the Rewriting Logic and Its Applications - 8th International Workshop, 2010

2009

Unification and Narrowing in Maude 2.4.

Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the Rewriting Techniques and Applications, 20th International Conference, 2009

Iteration Learning by Demonstration.

Steven Eker, Thomas J. Lee, Melinda T. Gervasio

Proceedings of the Agents that Learn from Human Teachers, 2009

2008

The Second Rewrite Engines Competition.

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

Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008

2007

Mobile Maude.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Adrián Riesco, Alberto Verdejo

Proceedings of the All About Maude, 2007

Specifying Parameterized Data Structures in Maude.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo

Proceedings of the All About Maude, 2007

Playing with Maude.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo

Proceedings of the All About Maude, 2007

Some Tools.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Christiano Braga, Azadeh Farzan, Joe Hendrix, Peter Csaba Ölveczky, Miguel Palomino, Ralf Sasse, Mark-Oliver Stehr, Alberto Verdejo

Proceedings of the All About Maude, 2007

Core Maude Grammar.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

Complete List of Maude Commands.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

Debugging and Troubleshooting.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

A Sampler of Application Areas.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

Object-Oriented Modules.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

Full Maude: Extending Core Maude.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

User Interfaces and Metalanguage Applications.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

Metaprogramming Applications.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

Reflection, Metalevel Computation, and Strategies.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

LTL Model Checking.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

Model Checking Invariants Through Search.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

Object-Based Programming.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

Predefined Data Modules.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

Module Operations.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

System Modules.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

A Hierarchy of Data Types: From Trees to Sets.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

Functional Modules.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

Syntax and Basic Parsing.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

Using Maude.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

Introduction.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

2006

Deduction, Strategies, and Rewriting.

Steven Eker, Narciso Martí-Oliet, José Meseguer, Alberto Verdejo

Proceedings of the 6th International Workshop on Strategies in Automated Deduction, 2006

Rewriting Logic Systems.

Grit Denker, Carolyn L. Talcott, Grigore Rosu, Mark van den Brand, Steven Eker, Traian-Florin Serbanuta

Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, 2006

2005

Pathway Logic Helping Biologists Understand and Organize Pathway Information.

Merrill Knapp, Linda Briesemeister, Steven Eker, Patrick Lincoln, Andy Poggio, Carolyn L. Talcott, Keith Laderoute

Proceedings of the Fourth International IEEE Computer Society Computational Systems Bioinformatics Conference Workshops & Poster Abstracts, 2005

2004

Pathway Logic Modeling of Protein Functional Domains in Signal Transduction.

Carolyn L. Talcott, Steven Eker, Merrill Knapp, Patrick Lincoln, Keith Laderoute

Proceedings of the Biocomputing 2004, 2004

2003

The Maude LTL Model Checker and Its Implementation.

Steven Eker, José Meseguer, Ambarish Sridharanarayanan

Proceedings of the Model Checking Software, 2003

Associative-Commutative Rewriting on Large Terms.

Steven Eker

Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003

The Maude 2.0 System.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003

Certifying and Synthesizing Membership Equational Proofs.

Grigore Rosu, Steven Eker, Patrick Lincoln, José Meseguer

Proceedings of the FME 2003: Formal Methods, 2003

Representing and Simulating Protein Functional Domains in Signal Transduction Using Maude.

Steven Eker, Keith Laderoute, Patrick Lincoln, M. G. Sriram, Carolyn L. Talcott

Proceedings of the Computational Methods in Systems Biology, First International Workshop, 2003

2002

Maude: specification and programming in rewriting logic.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada

Theor. Comput. Sci., 2002

Single Elementary Associative-Commutative Matching.

Steven Eker

J. Autom. Reason., 2002

The Maude LTL Model Checker.

Steven Eker, José Meseguer, Ambarish Sridharanarayanan

Proceedings of the Fourth International Workshop on Rewriting logic and Its Applications, 2002

Pathway Logic: Executable Models of Biological Networks.

Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, Carolyn L. Talcott

Proceedings of the Fourth International Workshop on Rewriting logic and Its Applications, 2002

Pathway Logic: Symbolic Analysis of Biological Signaling.

Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, José Meseguer, M. Kemal Sönmez

Proceedings of the 7th Pacific Symposium on Biocomputing, 2002

2000

Towards Maude 2.0.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada

Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 2000

Principles of Mobile Maude.

Francisco Durán, Steven Eker, Patrick Lincoln, José Meseguer

Proceedings of the Agent Systems, 2000

Using Maude.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada

Proceedings of the Fundamental Approaches to Software Engineering, 2000

1999

The Maude System.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada

Proceedings of the Rewriting Techniques and Applications, 10th International Conference, 1999

Maude as a Formal Meta-tool.

Manuel Clavel, Francisco Durán, Steven Eker, José Meseguer, Mark-Oliver Stehr

Proceedings of the FM'99 - Formal Methods, 1999

1998

Term rewriting with operator evaluation strategies.

Steven Eker

Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

Maude as a metalanguage.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada

Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

Metalevel computation in Maude.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer

Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

1996

Fast matching in combinations of regular equational theories.

Steven Eker

Proceedings of the First International Workshop on Rewriting Logic and its Applications, 1996

Principles of Maude.

Manuel Clavel, Steven Eker, Patrick Lincoln, José Meseguer

Proceedings of the First International Workshop on Rewriting Logic and its Applications, 1996

1994

Faster Linear Interpolation.

Steven Eker

Proceedings of the Graphics Gems, 1994