Steven Eker

68 papers A 2B 1C 1Misc 2Journal 8Unranked 28
YearRankTypeTitle / Venue / Authors
2024 C conf
Programming Open Distributed Systems in Maude.
PPDP
Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott
2024 J jnl
The Maude strategy language.
CoRR
Steven Eker, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Alberto Verdejo
2023 J jnl
The Maude strategy language.
J. Log. Algebraic Methods Program.
Steven Eker, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Alberto Verdejo
2022 J jnl
Associative unification in Maude.
J. Log. Algebraic Methods Program.
Steven Eker
2022 A conf
Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description).
IJCAR
Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott
2020 J jnl
Programming and symbolic computation in Maude.
J. Log. Algebraic Methods Program.
Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott
2019 J jnl
Programming and Symbolic Computation in Maude.
CoRR
Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott
2018 — conf
Associative Unification and Symbolic Reasoning Modulo Associativity in Maude.
WRLA
Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2016 A conf
Built-in Variant Generation and Unification, and Their Applications in Maude 2.7.
IJCAR
Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2015 — conf
Two Decades of Maude.
Logic, Rewriting, and Concurrency
Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, Carolyn L. Talcott
2013 J jnl
Computing minimal nutrient sets from metabolic networks via linear constraint solving.
BMC Bioinform.
Steven Eker, Markus Krummenacker, Alexander Glennon Shearer, Ashish Tiwari, Ingrid M. Keseler, Carolyn L. Talcott, Peter D. Karp
2011 — conf
Fast Sort Computations for Order-Sorted Matching and Unification.
Formal Modeling: Actors, Open Systems, Biological Systems
Steven Eker
2011 — conf
Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6.
RTA
Francisco Durán, Steven Eker, Santiago Escobar, José Meseguer, Carolyn L. Talcott
2010 — conf
The Third Rewrite Engines Competition.
WRLA
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
2009 — conf
Iteration Learning by Demonstration.
AAAI Spring Symposium: Agents that Learn from Human Teachers
Steven Eker, Thomas J. Lee, Melinda T. Gervasio
2009 — conf
Unification and Narrowing in Maude 2.4.
RTA
Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2008 — conf
The Second Rewrite Engines Competition.
WRLA
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
2007 — ch.
A Hierarchy of Data Types: From Trees to Sets.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
A Sampler of Application Areas.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — book
All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
Complete List of Maude Commands.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
Core Maude Grammar.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
Debugging and Troubleshooting.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
Full Maude: Extending Core Maude.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
Functional Modules.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
Introduction.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
LTL Model Checking.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
Metaprogramming Applications.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
Mobile Maude.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Adrián Riesco, Alberto Verdejo
2007 — ch.
Model Checking Invariants Through Search.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
Module Operations.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
Object-Based Programming.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
Object-Oriented Modules.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
Playing with Maude.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo
2007 — ch.
Predefined Data Modules.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
Reflection, Metalevel Computation, and Strategies.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
Some Tools.
All About Maude
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
2007 — ch.
Specifying Parameterized Data Structures in Maude.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo
2007 — ch.
Syntax and Basic Parsing.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
System Modules.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
User Interfaces and Metalanguage Applications.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007 — ch.
Using Maude.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2006 — conf
Deduction, Strategies, and Rewriting.
STRATEGIES@IJCAR
Steven Eker, Narciso Martí-Oliet, José Meseguer, Alberto Verdejo
2006 — conf
Rewriting Logic Systems.
WRLA
Grit Denker, Carolyn L. Talcott, Grigore Rosu, Mark van den Brand, Steven Eker, Traian-Florin Serbanuta
2005 — conf
Pathway Logic Helping Biologists Understand and Organize Pathway Information.
CSB Workshops
Merrill Knapp, Linda Briesemeister, Steven Eker, Patrick Lincoln, Andy Poggio, Carolyn L. Talcott, Keith Laderoute
2004 Misc conf
Pathway Logic Modeling of Protein Functional Domains in Signal Transduction.
Pacific Symposium on Biocomputing
Carolyn L. Talcott, Steven Eker, Merrill Knapp, Patrick Lincoln, Keith Laderoute
2003 — conf
Associative-Commutative Rewriting on Large Terms.
RTA
Steven Eker
2003 — conf
Certifying and Synthesizing Membership Equational Proofs.
FME
Grigore Rosu, Steven Eker, Patrick Lincoln, José Meseguer
2003 — conf
Pathway Logic Modeling of Protein Functional Domains in Signal Transduction.
CSB
Carolyn L. Talcott, Steven Eker, Merrill Knapp, Patrick Lincoln, Keith Laderoute
2003 — conf
Representing and Simulating Protein Functional Domains in Signal Transduction Using Maude.
CMSB
Steven Eker, Keith Laderoute, Patrick Lincoln, M. G. Sriram, Carolyn L. Talcott
2003 — conf
The Maude 2.0 System.
RTA
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2003 — conf
The Maude LTL Model Checker and Its Implementation.
SPIN
Steven Eker, José Meseguer, Ambarish Sridharanarayanan
2002 J jnl
Maude: specification and programming in rewriting logic.
Theor. Comput. Sci.
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
2002 — conf
Pathway Logic: Executable Models of Biological Networks.
WRLA
Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, Carolyn L. Talcott
2002 Misc conf
Pathway Logic: Symbolic Analysis of Biological Signaling.
Pacific Symposium on Biocomputing
Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, José Meseguer, M. Kemal Sönmez
2002 J jnl
Single Elementary Associative-Commutative Matching.
J. Autom. Reason.
Steven Eker
2002 — conf
The Maude LTL Model Checker.
WRLA
Steven Eker, José Meseguer, Ambarish Sridharanarayanan
2000 — conf
Principles of Mobile Maude.
ASA/MA
Francisco Durán, Steven Eker, Patrick Lincoln, José Meseguer
2000 — conf
Towards Maude 2.0.
WRLA
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
2000 B conf
Using Maude.
FASE
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
1999 — conf
Maude as a Formal Meta-tool.
World Congress on Formal Methods
Manuel Clavel, Francisco Durán, Steven Eker, José Meseguer, Mark-Oliver Stehr
1999 — conf
The Maude System.
RTA
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
1998 — conf
Maude as a metalanguage.
WRLA
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
1998 — conf
Metalevel computation in Maude.
WRLA
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer
1998 — conf
Term rewriting with operator evaluation strategies.
WRLA
Steven Eker
1996 — conf
Fast matching in combinations of regular equational theories.
WRLA
Steven Eker
1996 — conf
Principles of Maude.
WRLA
Manuel Clavel, Steven Eker, Patrick Lincoln, José Meseguer
1994 — ch.
Faster Linear Interpolation.
Graphics Gems
Steven Eker