Steven Eker - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

2009

2007

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]

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]

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

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]

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]

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]

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]

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.

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

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]

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

2002

2000

Towards Maude 2.0Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada. ENTCS, 36, 2000. [doi]

Principles of Mobile MaudeFrancisco Durán, Steven Eker, Patrick Lincoln, José Meseguer. ma 2000: 73-85

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

Metalevel computation in MaudeManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer. ENTCS, 15, 1998. [doi]

Term rewriting with operator evaluation strategiesSteven Eker. ENTCS, 15, 1998. [doi]

1996

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