2007 |
50 | | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic
Springer 2007 |
49 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Introduction.
All About Maude 2007: 1-28 |
48 | EE | 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.
All About Maude 2007: 119-129 |
47 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
System Modules.
All About Maude 2007: 131-157 |
46 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott,
Miguel Palomino,
Alberto Verdejo:
Playing with Maude.
All About Maude 2007: 159-184 |
45 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Module Operations.
All About Maude 2007: 185-230 |
44 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Predefined Data Modules.
All About Maude 2007: 231-305 |
43 | EE | 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.
All About Maude 2007: 307-338 |
42 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Using Maude.
All About Maude 2007: 31-37 |
41 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Object-Based Programming.
All About Maude 2007: 339-372 |
40 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Model Checking Invariants Through Search.
All About Maude 2007: 373-384 |
39 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
LTL Model Checking.
All About Maude 2007: 385-418 |
38 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Syntax and Basic Parsing.
All About Maude 2007: 39-59 |
37 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Reflection, Metalevel Computation, and Strategies.
All About Maude 2007: 419-458 |
36 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Metaprogramming Applications.
All About Maude 2007: 459-483 |
35 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott,
Adrián Riesco,
Alberto Verdejo:
Mobile Maude.
All About Maude 2007: 485-522 |
34 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
User Interfaces and Metalanguage Applications.
All About Maude 2007: 523-555 |
33 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Full Maude: Extending Core Maude.
All About Maude 2007: 559-597 |
32 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Object-Oriented Modules.
All About Maude 2007: 599-642 |
31 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Functional Modules.
All About Maude 2007: 61-118 |
30 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
A Sampler of Application Areas.
All About Maude 2007: 645-665 |
29 | EE | 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:
Some Tools.
All About Maude 2007: 667-693 |
28 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Debugging and Troubleshooting.
All About Maude 2007: 697-736 |
27 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Complete List of Maude Commands.
All About Maude 2007: 737-749 |
26 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Core Maude Grammar.
All About Maude 2007: 751-756 |
25 | EE | Steven Eker,
Narciso Martí-Oliet,
José Meseguer,
Alberto Verdejo:
Deduction, Strategies, and Rewriting.
Electr. Notes Theor. Comput. Sci. 174(11): 3-25 (2007) |
24 | EE | Grit Denker,
Carolyn L. Talcott,
Grigore Rosu,
Mark van den Brand,
Steven Eker,
Traian-Florin Serbanuta:
Rewriting Logic Systems.
Electr. Notes Theor. Comput. Sci. 176(4): 233-247 (2007) |
2005 |
23 | EE | Merrill Knapp,
Linda Briesemeister,
Steven Eker,
Patrick Lincoln,
Andy Poggio,
Carolyn L. Talcott,
Keith Laderoute:
Pathway Logic Helping Biologists Understand and Organize Pathway Information.
CSB Workshops 2005: 155-156 |
2004 |
22 | EE | Carolyn L. Talcott,
Steven Eker,
Merrill Knapp,
Patrick Lincoln,
Keith Laderoute:
Pathway Logic Modeling of Protein Functional Domains in Signal Transduction.
Pacific Symposium on Biocomputing 2004: 568-580 |
2003 |
21 | EE | Steven Eker,
Keith Laderoute,
Patrick Lincoln,
M. G. Sriram,
Carolyn L. Talcott:
Representing and Simulating Protein Functional Domains in Signal Transduction Using Maude.
CMSB 2003: 164-165 |
20 | EE | Carolyn L. Talcott,
Steven Eker,
Merrill Knapp,
Patrick Lincoln,
Keith Laderoute:
Pathway Logic Modeling of Protein Functional Domains in Signal Transduction.
CSB 2003: 618-619 |
19 | EE | Grigore Rosu,
Steven Eker,
Patrick Lincoln,
José Meseguer:
Certifying and Synthesizing Membership Equational Proofs.
FME 2003: 359-380 |
18 | EE | Steven Eker:
Associative-Commutative Rewriting on Large Terms.
RTA 2003: 14-29 |
17 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
The Maude 2.0 System.
RTA 2003: 76-87 |
16 | EE | Steven Eker,
José Meseguer,
Ambarish Sridharanarayanan:
The Maude LTL Model Checker and Its Implementation.
SPIN 2003: 230-234 |
2002 |
15 | EE | Steven Eker,
Merrill Knapp,
Keith Laderoute,
Patrick Lincoln,
José Meseguer,
M. Kemal Sönmez:
Pathway Logic: Symbolic Analysis of Biological Signaling.
Pacific Symposium on Biocomputing 2002: 400-412 |
14 | EE | Steven Eker,
Merrill Knapp,
Keith Laderoute,
Patrick Lincoln,
Carolyn L. Talcott:
Pathway Logic: Executable Models of Biological Networks.
Electr. Notes Theor. Comput. Sci. 71: (2002) |
13 | EE | Steven Eker,
José Meseguer,
Ambarish Sridharanarayanan:
The Maude LTL Model Checker.
Electr. Notes Theor. Comput. Sci. 71: (2002) |
12 | | Steven Eker:
Single Elementary Associative-Commutative Matching.
J. Autom. Reasoning 28(1): 35-51 (2002) |
11 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Jose F. Quesada:
Maude: specification and programming in rewriting logic.
Theor. Comput. Sci. 285(2): 187-243 (2002) |
2000 |
10 | | Francisco Durán,
Steven Eker,
Patrick Lincoln,
José Meseguer:
Principles of Mobile Maude.
ASA/MA 2000: 73-85 |
9 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Jose F. Quesada:
Using Maude.
FASE 2000: 371-374 |
8 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Jose F. Quesada:
Towards Maude 2.0.
Electr. Notes Theor. Comput. Sci. 36: (2000) |
1999 |
7 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Jose F. Quesada:
The Maude System.
RTA 1999: 240-243 |
6 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
José Meseguer,
Mark-Oliver Stehr:
Maude as a Formal Meta-tool.
World Congress on Formal Methods 1999: 1684-1703 |
1998 |
5 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Jose F. Quesada:
Maude as a metalanguage.
Electr. Notes Theor. Comput. Sci. 15: (1998) |
4 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer:
Metalevel computation in Maude.
Electr. Notes Theor. Comput. Sci. 15: (1998) |
3 | EE | Steven Eker:
Term rewriting with operator evaluation strategies.
Electr. Notes Theor. Comput. Sci. 15: (1998) |
1996 |
2 | EE | Steven Eker:
Fast matching in combinations of regular equational theories.
Electr. Notes Theor. Comput. Sci. 4: (1996) |
1 | EE | Manuel Clavel,
Steven Eker,
Patrick Lincoln,
José Meseguer:
Principles of Maude.
Electr. Notes Theor. Comput. Sci. 4: (1996) |