Steven Eker

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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)

Coauthor Index

1 Christiano Braga (Christiano de O. Braga) [29]

2 Mark van den Brand (M. G. J. van den Brand) [24]

3 Linda Briesemeister [23]

4 Manuel Clavel [1] [4] [5] [6] [7] [8] [9] [11] [17] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50]

5 Grit Denker [24]

6 Francisco Durán [4] [5] [6] [7] [8] [9] [10] [11] [17] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50]

7 Azadeh Farzan [29]

8 Joe Hendrix [29]

9 Merrill Knapp [14] [15] [20] [22] [23]

10 Keith Laderoute [14] [15] [20] [21] [22] [23]

11 Patrick Lincoln [1] [4] [5] [7] [8] [9] [10] [11] [14] [15] [17] [19] [20] [21] [22] [23] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50]

12 Narciso Martí-Oliet [4] [5] [7] [8] [9] [11] [17] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50]

13 José Meseguer [1] [4] [5] [6] [7] [8] [9] [10] [11] [13] [15] [16] [17] [19] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50]

14 Peter Csaba Ölveczky [29]

15 Miguel Palomino [29] [43] [46]

16 Andy Poggio [23]

17 Jose F. Quesada [5] [7] [8] [9] [11]

18 Adrián Riesco [35]

19 Grigore Rosu [19] [24]

20 Ralf Sasse [29]

21 Traian-Florin Serbanuta (Traian Serbanuta) [24]

22 M. Kemal Sönmez [15]

23 Ambarish Sridharanarayanan [13] [16]

24 M. G. Sriram [21]

25 Mark-Oliver Stehr [6] [29]

26 Carolyn L. Talcott [14] [17] [20] [21] [22] [23] [24] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50]

27 Alberto Verdejo [25] [29] [35] [43] [46]

1	Christiano Braga (Christiano de O. Braga)	[29]
2	Mark van den Brand (M. G. J. van den Brand)	[24]
3	Linda Briesemeister	[23]
4	Manuel Clavel	[1] [4] [5] [6] [7] [8] [9] [11] [17] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50]
5	Grit Denker	[24]
6	Francisco Durán	[4] [5] [6] [7] [8] [9] [10] [11] [17] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50]
7	Azadeh Farzan	[29]
8	Joe Hendrix	[29]
9	Merrill Knapp	[14] [15] [20] [22] [23]
10	Keith Laderoute	[14] [15] [20] [21] [22] [23]
11	Patrick Lincoln	[1] [4] [5] [7] [8] [9] [10] [11] [14] [15] [17] [19] [20] [21] [22] [23] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50]
12	Narciso Martí-Oliet	[4] [5] [7] [8] [9] [11] [17] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50]
13	José Meseguer	[1] [4] [5] [6] [7] [8] [9] [10] [11] [13] [15] [16] [17] [19] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50]
14	Peter Csaba Ölveczky	[29]
15	Miguel Palomino	[29] [43] [46]
16	Andy Poggio	[23]
17	Jose F. Quesada	[5] [7] [8] [9] [11]
18	Adrián Riesco	[35]
19	Grigore Rosu	[19] [24]
20	Ralf Sasse	[29]
21	Traian-Florin Serbanuta (Traian Serbanuta)	[24]
22	M. Kemal Sönmez	[15]
23	Ambarish Sridharanarayanan	[13] [16]
24	M. G. Sriram	[21]
25	Mark-Oliver Stehr	[6] [29]
26	Carolyn L. Talcott	[14] [17] [20] [21] [22] [23] [24] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50]
27	Alberto Verdejo	[25] [29] [35] [43] [46]