Steven Eker - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6Francisco Durán, Steven Eker, Santiago Escobar, José Meseguer, Carolyn L. Talcott. RTA 2011: 31-40 [doi]

2010

The Third Rewrite Engines CompetitionFrancisco Durán, Manuel Roldán, Jean-Christophe Bach, Emilie Balland, Mark G. J. 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. wrla 2010: 243-261 [doi]

2009

2007

Debugging and TroubleshootingManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 697-736 [doi]

A Hierarchy of Data Types: From Trees to SetsManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 119-129 [doi]

Core Maude GrammarManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 751-756 [doi]

IntroductionManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 1-28 [doi]

User Interfaces and Metalanguage ApplicationsManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 523-555 [doi]

Some ToolsManuel 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. maude 2007: 667-693 [doi]

Full Maude: Extending Core MaudeManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 559-597 [doi]

Model Checking Invariants Through SearchManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 373-384 [doi]

Object-Oriented ModulesManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 599-642 [doi]

A Sampler of Application AreasManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 645-665 [doi]

System ModulesManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 131-157 [doi]

Functional ModulesManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 61-118 [doi]

Using MaudeManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 31-37 [doi]

Mobile MaudeManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Adrián Riesco, Alberto Verdejo. maude 2007: 485-522 [doi]

Syntax and Basic ParsingManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 39-59 [doi]

Predefined Data ModulesManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 231-305 [doi]

Complete List of Maude CommandsManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 737-749 [doi]

LTL Model CheckingManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 385-418 [doi]

Metaprogramming ApplicationsManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 459-483 [doi]

All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting LogicManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, editors, Volume 4350 of Lecture Notes in Computer Science, Springer, 2007.

Playing with MaudeManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo. maude 2007: 159-184 [doi]

Object-Based ProgrammingManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 339-372 [doi]

Reflection, Metalevel Computation, and StrategiesManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 419-458 [doi]

Specifying Parameterized Data Structures in MaudeManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo. maude 2007: 307-338 [doi]

Module OperationsManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 185-230 [doi]

Rewriting Logic SystemsGrit Denker, Carolyn L. Talcott, Grigore Rosu, Mark G. J. van den Brand, Steven Eker, Traian-Florin Serbanuta. ENTCS, 176(4):233-247, 2007. [doi]

Deduction, Strategies, and RewritingSteven Eker, Narciso Martí-Oliet, José Meseguer, Alberto Verdejo. ENTCS, 174(11):3-25, 2007. [doi]

2005

Pathway Logic Helping Biologists Understand and Organize Pathway InformationMerrill Knapp, Linda Briesemeister, Steven Eker, Patrick Lincoln, Andy Poggio, Carolyn L. Talcott, Keith Laderoute. csb 2005: 155-156 [doi]

2004

Pathway Logic Modeling of Protein Functional Domains in Signal TransductionCarolyn L. Talcott, Steven Eker, Merrill Knapp, Patrick Lincoln, Keith Laderoute. psb 2004: 568-580 [doi]

2003

The Maude 2.0 SystemManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. RTA 2003: 76-87 [doi]

Representing and Simulating Protein Functional Domains in Signal Transduction Using MaudeSteven Eker, Keith Laderoute, Patrick Lincoln, M. G. Sriram, Carolyn L. Talcott. cmsb 2003: 164-165 [doi]

The Maude LTL Model Checker and Its ImplementationSteven Eker, José Meseguer, Ambarish Sridharanarayanan. spin 2003: 230-234 [doi]

Associative-Commutative Rewriting on Large TermsSteven Eker. RTA 2003: 14-29 [doi]

Certifying and Synthesizing Membership Equational ProofsGrigore Rosu, Steven Eker, Patrick Lincoln, José Meseguer. fm 2003: 359-380 [doi]

Pathway Logic Modeling of Protein Functional Domains in Signal TransductionCarolyn L. Talcott, Steven Eker, Merrill Knapp, Patrick Lincoln, Keith Laderoute. csb 2003: 618-619 [doi]

2002

2000

1999

The Maude SystemManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada. RTA 1999: 240-243 [doi]

Maude as a Formal Meta-toolManuel Clavel, Francisco Durán, Steven Eker, José Meseguer, Mark-Oliver Stehr. fm 1999: 1684-1703 [doi]

1998

1996

Principles of MaudeManuel Clavel, Steven Eker, Patrick Lincoln, José Meseguer. ENTCS, 4, 1996. [doi]

Fast matching in combinations of regular equational theoriesSteven Eker. ENTCS, 4, 1996. [doi]