×

zbMATH — the first resource for mathematics

Eker, Steven

Compute Distance To:
Author ID: eker.steven Recent zbMATH articles by "Eker, Steven"
Published as: Eker, Steven; Eker, S.
Documents Indexed: 20 Publications since 1996, including 1 Book

Publications by Year

Citations contained in zbMATH Open

18 Publications have been cited 363 times in 267 Documents Cited by Year
All about Maude – a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. Zbl 1115.68046
Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn
143
2007
Maude: specification and programming in rewriting logic. Zbl 1001.68059
Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.
67
2002
The Maude 2.0 system. Zbl 1038.68559
Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn
41
2003
Principles of Maude. Zbl 0912.68095
Clavel, M.; Eker, S.; Lincoln, P.; Meseguer, J.
25
1996
The Maude LTL model checker. Zbl 1272.68243
Eker, Steven; Meseguer, José; Sridharanarayanan, Ambarish
16
2004
Metalevel computation in Maude. Zbl 0917.68024
Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.; Meseguer, J.
13
1998
Associative-commutative rewriting on large terms. Zbl 1038.68560
Eker, Steven
10
2003
Towards Maude 2. 0. Zbl 0962.68108
Clavel, M.; Duran, F.; Eker, S.; Lincoln, P.; Marti-Oliet, N.; Meseguer, J.; Quesada, J. F.
9
2000
Deduction, strategies, and rewriting. Zbl 1277.68241
Eker, Steven; Martí-Oliet, Narciso; Meseguer, José; Verdejo, Alberto
8
2007
Term rewriting with operator evaluation strategies. Zbl 0917.68113
Eker, Steven
7
1998
The Maude LTL model checker and its implementation. Zbl 1023.68528
Eker, Steven; Meseguer, José; Sridharanarayanan, Ambarish
5
2003
Variants, unification, narrowing, and symbolic reachability in Maude 2.6. Zbl 1236.68180
Duran, Francisco; Eker, Steven; Escobar, Santiago; Meseguer, Jose; Talcott, Carolyn
4
2011
Maude as a metalanguage. Zbl 0917.68106
Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.; Mesaguer, J.; Quesada, J. F.
4
1998
Single elementary associative-commutative matching. Zbl 0993.68049
Eker, Steven
4
2002
Fast matching in combinations of regular equational theories. Zbl 0912.68057
Eker, S.
3
1996
Built-in variant generation and unification, and their applications in maude 2.7. Zbl 06623261
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn
2
2016
Two decades of Maude. Zbl 1321.68007
Clavel, Manuel; Durán, Francisco; Eker, Steven; Escobar, Santiago; Lincoln, Patrick; Martí-Oliet, Narciso; Talcott, Carolyn
1
2015
Programming and symbolic computation in Maude. Zbl 07161317
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Rubio, Rubén; Talcott, Carolyn
1
2020
Programming and symbolic computation in Maude. Zbl 07161317
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Rubio, Rubén; Talcott, Carolyn
1
2020
Built-in variant generation and unification, and their applications in maude 2.7. Zbl 06623261
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn
2
2016
Two decades of Maude. Zbl 1321.68007
Clavel, Manuel; Durán, Francisco; Eker, Steven; Escobar, Santiago; Lincoln, Patrick; Martí-Oliet, Narciso; Talcott, Carolyn
1
2015
Variants, unification, narrowing, and symbolic reachability in Maude 2.6. Zbl 1236.68180
Duran, Francisco; Eker, Steven; Escobar, Santiago; Meseguer, Jose; Talcott, Carolyn
4
2011
All about Maude – a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. Zbl 1115.68046
Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn
143
2007
Deduction, strategies, and rewriting. Zbl 1277.68241
Eker, Steven; Martí-Oliet, Narciso; Meseguer, José; Verdejo, Alberto
8
2007
The Maude LTL model checker. Zbl 1272.68243
Eker, Steven; Meseguer, José; Sridharanarayanan, Ambarish
16
2004
The Maude 2.0 system. Zbl 1038.68559
Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn
41
2003
Associative-commutative rewriting on large terms. Zbl 1038.68560
Eker, Steven
10
2003
The Maude LTL model checker and its implementation. Zbl 1023.68528
Eker, Steven; Meseguer, José; Sridharanarayanan, Ambarish
5
2003
Maude: specification and programming in rewriting logic. Zbl 1001.68059
Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.
67
2002
Single elementary associative-commutative matching. Zbl 0993.68049
Eker, Steven
4
2002
Towards Maude 2. 0. Zbl 0962.68108
Clavel, M.; Duran, F.; Eker, S.; Lincoln, P.; Marti-Oliet, N.; Meseguer, J.; Quesada, J. F.
9
2000
Metalevel computation in Maude. Zbl 0917.68024
Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.; Meseguer, J.
13
1998
Term rewriting with operator evaluation strategies. Zbl 0917.68113
Eker, Steven
7
1998
Maude as a metalanguage. Zbl 0917.68106
Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.; Mesaguer, J.; Quesada, J. F.
4
1998
Principles of Maude. Zbl 0912.68095
Clavel, M.; Eker, S.; Lincoln, P.; Meseguer, J.
25
1996
Fast matching in combinations of regular equational theories. Zbl 0912.68057
Eker, S.
3
1996
all top 5

Cited by 300 Authors

62 Meseguer Guaita, José
25 Lucas, Salvador
24 Martí-Oliet, Narciso
19 Alpuente, María
15 Escobar, Santiago
15 Roşu, Grigore
13 Durán, Francisco
13 Lucanu, Dorel
12 Talcott, Carolyn L.
11 Verdejo, Alberto
10 Ballis, Demis
9 Olveczky, Peter Csaba
8 Rusu, Vlad
7 Eker, Steven
7 Ogata, Kazuhiro
7 Owe, Olaf
7 Palomino, Miguel
7 Riesco, Adrián
7 Sapiña, Julia
6 Arusoaie, Andrei
6 Clavel, Manuel
6 Frechina, Francisco
6 Futatsugi, Kokichi
6 Gutiérrez, Raúl
6 Johnsen, Einar Broch
6 Kirchner, Hélène
6 Şerbănuţă, Traian Florin
5 Wirsing, Martin
4 Bruni, Roberto
4 Ciobanu, Gabriel
4 Diaconescu, Răzvan
4 Kirchner, Claude
4 Stehr, Mark-Oliver
3 Alarcón, Beatriz
3 Andrei, Oana
3 Caballero, Rafael E.
3 Caltais, Georgiana
3 Gadducci, Fabio
3 Gaĭnă, Daniel
3 Genet, Thomas
3 Gnaedig, Isabelle
3 Goriac, Eugen-Ioan
3 Lincoln, Patrick D.
3 Marché, Claude
3 Martín, Óscar
3 Meadows, Catherine A.
3 Pita, Isabel
3 Rocha, Camilo
3 Schlatte, Rudolf
3 Skeirik, Stephen
2 Aguirre, Luis Antonio
2 Arbab, Farhad
2 Bae, Kyungmin
2 Basin, David A.
2 Bjørner, Dines
2 Boronat, Artur
2 Borovanský, Peter
2 Bouhoula, Adel
2 Cervesato, Iliano
2 Cirstea, Horatiu
2 Codescu, Mihai
2 Colvin, Robert J.
2 Cuenca-Ortega, Angel
2 Dundua, Besik
2 Ellison, Chucky
2 Espert, Javier
2 Falaschi, Moreno
2 Fissore, Olivier
2 Gramlich, Bernhard
2 Grigoraş, Gheorghe
2 Jouannaud, Jean-Pierre
2 Kahramanoğulları, Ozan
2 Katelman, Michael
2 Kieburtz, Richard B.
2 Kitzelmann, Emanuel
2 Kohlhase, Michael
2 Kutsia, Temur
2 Liu, Zhiqiang
2 Lluch Lafuente, Alberto
2 Lynch, Christopher A.
2 Marin, Mircea
2 Montanari, Ugo G.
2 Moreau, Pierre-Etienne
2 Mossakowski, Till
2 Mosses, Peter D.
2 Muñoz, César A.
2 Nigam, Vivek
2 Ojeda, Pedro
2 Rabe, Florian
2 Ren, Shangping
2 Rodriguez, Dilia E.
2 Romero, Daniel M.
2 Rutten, Jan J. M. M.
2 Scedrov, Andre
2 Tapia Tarifa, Silvia Lizeth
2 Thati, Prasanna
2 Urbain, Xavier
2 Villanueva, Alicia
2 Visser, Eelco
1 Aceto, Luca
...and 200 more Authors

Citations by Year