BibTeX | Compact BibTeX | - Francisco Durán, Manuel Roldán, Emilie Balland, Mark G. J. van den Brand, Steven Eker, Karl Trygve Kalleberg, Lennart C. L. Kats, Pierre-Etienne Moreau, Ruslan Shevchenko, Eelco Visser. The Second Rewrite Engines Competition. ENTCS, 238(3):281-291, 2009. [doi]
- Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. A Hierarchy of Data Types: From Trees to Sets. maude 2007: 119-129 [doi]
- Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. Functional Modules. maude 2007: 61-118 [doi]
- Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. Using Maude. maude 2007: 31-37 [doi]
- Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. Core Maude Grammar. maude 2007: 751-756 [doi]
- Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Adrián Riesco, Alberto Verdejo. Mobile Maude. maude 2007: 485-522 [doi]
- Steven Eker, Narciso Martí-Oliet, José Meseguer, Alberto Verdejo. Deduction, Strategies, and Rewriting. ENTCS, 174(11):3-25, 2007. [doi]
- Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. Syntax and Basic Parsing. maude 2007: 39-59 [doi]
- Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. User Interfaces and Metalanguage Applications. maude 2007: 523-555 [doi]
- Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. Complete List of Maude Commands. maude 2007: 737-749 [doi]
- Grit Denker, Carolyn L. Talcott, Grigore Rosu, Mark G. J. van den Brand, Steven Eker, Traian-Florin Serbanuta. Rewriting Logic Systems. ENTCS, 176(4):233-247, 2007. [doi]
- Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. Full Maude: Extending Core Maude. maude 2007: 559-597 [doi]
- Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. Model Checking Invariants Through Search. maude 2007: 373-384 [doi]
- Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. A Sampler of Application Areas. maude 2007: 645-665 [doi]
- Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. LTL Model Checking. maude 2007: 385-418 [doi]
- Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. Metaprogramming Applications. maude 2007: 459-483 [doi]
- Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, editors, All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic. Volume 4350 of Lecture Notes in Computer Science, Springer, 2007.
- Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. Object-Based Programming. maude 2007: 339-372 [doi]
- Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo. Specifying Parameterized Data Structures in Maude. maude 2007: 307-338 [doi]
- Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. Reflection, Metalevel Computation, and Strategies. maude 2007: 419-458 [doi]
- Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, Carolyn L. Talcott. Pathway Logic: Executable Models of Biological Networks. ENTCS, 71, 2002. [doi]
- Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada. Maude: specification and programming in rewriting logic. TCS, 285(2):187-243, 2002. [doi]
- Steven Eker. Single Elementary Associative-Commutative Matching. jar, 28(1):35-51, 2002.
- Steven Eker, José Meseguer, Ambarish Sridharanarayanan. The Maude LTL Model Checker. ENTCS, 71, 2002. [doi]
- Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada. Towards Maude 2.0. ENTCS, 36, 2000. [doi]
- Francisco Durán, Steven Eker, Patrick Lincoln, José Meseguer. Principles of Mobile Maude. ma 2000: 73-85
- Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada. The Maude System. RTA 1999: 240-243 [doi]
- Manuel Clavel, Francisco Durán, Steven Eker, José Meseguer, Mark-Oliver Stehr. Maude as a Formal Meta-tool. fm 1999: 1684-1703 [doi]