×
Edit Profile (opens in new tab)

Eker, Steven

Co-Author Distance
Author ID: eker.steven Recent zbMATH articles by "Eker, Steven"
Published as: Eker, Steven; Eker, S.
Documents Indexed: 23 Publications since 1996, including 1 Book
Co-Authors: 25 Co-Authors with 19 Joint Publications
294 Co-Co-Authors
all top 5

Co-Authors

4 single-authored
14 Meseguer Guaita, José
13 Durán, Francisco
13 Martí-Oliet, Narciso
9 Lincoln, Patrick D.
9 Talcott, Carolyn L.
8 Clavel, Manuel
6 Escobar, Santiago
3 Rubio, Rubén
2 Quesada, José F.
2 Sridharanarayanan, Ambarish
2 Verdejo, Alberto
1 Bach, Jean-Christophe
1 Balland, Emilie
1 Cordy, James R.
1 de Jonge, Maartje
1 Engelen, Luc
1 Kalleberg, Karl Trygve
1 Kats, Lennart C. L.
1 Laderoute, Keith
1 Mesaguer, J.
1 Moreau, Pierre-Etienne
1 Roldán, Manuel
1 Sriram, M. G.
1 van den Brand, Mark G. J.
1 Visser, Eelco

Serials

2 Journal of Logical and Algebraic Methods in Programming
1 Theoretical Computer Science
1 Journal of Automated Reasoning
1 Lecture Notes in Computer Science

Fields

23 Computer science (68-XX)
3 Mathematical logic and foundations (03-XX)
1 History and biography (01-XX)
1 Biology and other natural sciences (92-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

20 Publications have been cited 547 times in 384 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
227
2007
Maude: specification and programming in rewriting logic. Zbl 1001.68059
Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.
84
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
48
2003
Principles of Maude. Zbl 0912.68095
Clavel, M.; Eker, S.; Lincoln, P.; Meseguer, J.
31
1996
The Maude LTL model checker. Zbl 1272.68243
Eker, Steven; Meseguer, José; Sridharanarayanan, Ambarish
26
2004
Programming and symbolic computation in Maude. Zbl 1494.68109
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Rubio, Rubén; Talcott, Carolyn
22
2020
Towards Maude 2. 0. Zbl 0962.68108
Clavel, M.; Duran, F.; Eker, S.; Lincoln, P.; Marti-Oliet, N.; Meseguer, J.; Quesada, J. F.
17
2000
Deduction, strategies, and rewriting. Zbl 1277.68241
Eker, Steven; Martí-Oliet, Narciso; Meseguer, José; Verdejo, Alberto
14
2007
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
11
2003
Term rewriting with operator evaluation strategies. Zbl 0917.68113
Eker, Steven
11
1998
The Maude LTL model checker and its implementation. Zbl 1023.68528
Eker, Steven; Meseguer, José; Sridharanarayanan, Ambarish
8
2003
Built-in variant generation and unification, and their applications in Maude 2.7. Zbl 1475.68046
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn
8
2016
Single elementary associative-commutative matching. Zbl 0993.68049
Eker, Steven
6
2002
Associative unification and symbolic reasoning modulo associativity in Maude. Zbl 1517.68158
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn
6
2018
Variants, unification, narrowing, and symbolic reachability in Maude 2.6. Zbl 1236.68180
Duran, Francisco; Eker, Steven; Escobar, Santiago; Meseguer, Jose; Talcott, Carolyn
5
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
Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description). Zbl 07628207
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Rubio, Rubén; Talcott, Carolyn
4
2022
Fast matching in combinations of regular equational theories. Zbl 0912.68057
Eker, S.
3
1996
Two decades of Maude. Zbl 1321.68007
Clavel, Manuel; Durán, Francisco; Eker, Steven; Escobar, Santiago; Lincoln, Patrick; Martí-Oliet, Narciso; Talcott, Carolyn
2
2015
Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description). Zbl 07628207
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Rubio, Rubén; Talcott, Carolyn
4
2022
Programming and symbolic computation in Maude. Zbl 1494.68109
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Rubio, Rubén; Talcott, Carolyn
22
2020
Associative unification and symbolic reasoning modulo associativity in Maude. Zbl 1517.68158
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn
6
2018
Built-in variant generation and unification, and their applications in Maude 2.7. Zbl 1475.68046
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn
8
2016
Two decades of Maude. Zbl 1321.68007
Clavel, Manuel; Durán, Francisco; Eker, Steven; Escobar, Santiago; Lincoln, Patrick; Martí-Oliet, Narciso; Talcott, Carolyn
2
2015
Variants, unification, narrowing, and symbolic reachability in Maude 2.6. Zbl 1236.68180
Duran, Francisco; Eker, Steven; Escobar, Santiago; Meseguer, Jose; Talcott, Carolyn
5
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
227
2007
Deduction, strategies, and rewriting. Zbl 1277.68241
Eker, Steven; Martí-Oliet, Narciso; Meseguer, José; Verdejo, Alberto
14
2007
The Maude LTL model checker. Zbl 1272.68243
Eker, Steven; Meseguer, José; Sridharanarayanan, Ambarish
26
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
48
2003
Associative-commutative rewriting on large terms. Zbl 1038.68560
Eker, Steven
11
2003
The Maude LTL model checker and its implementation. Zbl 1023.68528
Eker, Steven; Meseguer, José; Sridharanarayanan, Ambarish
8
2003
Maude: specification and programming in rewriting logic. Zbl 1001.68059
Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.
84
2002
Single elementary associative-commutative matching. Zbl 0993.68049
Eker, Steven
6
2002
Towards Maude 2. 0. Zbl 0962.68108
Clavel, M.; Duran, F.; Eker, S.; Lincoln, P.; Marti-Oliet, N.; Meseguer, J.; Quesada, J. F.
17
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
11
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.
31
1996
Fast matching in combinations of regular equational theories. Zbl 0912.68057
Eker, S.
3
1996
all cited Publications top 5 cited Publications
all top 5

Cited by 425 Authors

79 Meseguer Guaita, José
36 Martí-Oliet, Narciso
30 Lucas, Salvador
27 Alpuente, María
27 Escobar, Santiago
20 Verdejo, Alberto
19 Durán, Francisco
19 Talcott, Carolyn L.
18 Roşu, Grigore
17 Olveczky, Peter Csaba
15 Ballis, Demis
15 Sapiña, Julia
13 Lucanu, Dorel
11 Riesco, Adrián
10 Ogata, Kazuhiro
10 Pita, Isabel
10 Rubio, Rubén
9 Eker, Steven
9 Johnsen, Einar Broch
9 Owe, Olaf
9 Rusu, Vlad
8 Gutiérrez, Raúl
8 Palomino, Miguel
8 Şerbănuţă, Traian Florin
7 Futatsugi, Kokichi
6 Arusoaie, Andrei
6 Bruni, Roberto
6 Clavel, Manuel
6 Diaconescu, Răzvan
6 Frechina, Francisco
6 Kirchner, Hélène
6 Rocha, Camilo
5 Nigam, Vivek
5 Skeirik, Stephen
5 Stehr, Mark-Oliver
5 Wirsing, Martin
4 Arbab, Farhad
4 Bae, Kyungmin
4 Caballero, Rafael E.
4 Caltais, Georgiana
4 Ciobanu, Gabriel
4 Colvin, Robert J.
4 Gadducci, Fabio
4 Genet, Thomas
4 Kirchner, Claude
4 Lynch, Christopher A.
4 Moreau, Pierre-Etienne
4 Schlatte, Rudolf
3 Aguirre, Luis Antonio
3 Alarcón, Beatriz
3 Andrei, Oana
3 Asăvoae, Irina Măriuca
3 Cirstea, Horatiu
3 Espert, Javier
3 Falaschi, Moreno
3 Gaĭnă, Daniel
3 Gnaedig, Isabelle
3 Goriac, Eugen-Ioan
3 Kutsia, Temur
3 Lincoln, Patrick D.
3 Lion, Benjamin
3 Liu, Si
3 Lluch Lafuente, Alberto
3 Marché, Claude
3 Martín, Óscar
3 Montanari, Ugo G.
3 Mossakowski, Till
3 Mosses, Peter D.
3 Muñoz, César A.
3 Olarte, Carlos
3 Rabe, Florian
3 Ščedrov, Andrej
3 Visser, Eelco
3 Zhang, Min
2 Aichernig, Bernhard K.
2 Akutsu, Tatsuya
2 Arias, Jaime
2 Ban Kirigin, Tajana
2 Basin, David A.
2 Bjørner, Dines
2 Boronat, Artur
2 Borovanský, Peter
2 Bouhoula, Adel
2 Capra, Lorenzo
2 Cervesato, Iliano
2 Codescu, Mihai
2 Cuenca-Ortega, Angel
2 de Boer, Frank S.
2 Din, Crystal Chang
2 Dundua, Besik
2 Ellison, Chucky
2 Fernández, Maribel
2 Fissore, Olivier
2 Gnesi, Stefania
2 González-Burgueño, Antonio
2 Gramlich, Bernhard
2 Griesmayer, Andreas
2 Grigoraş, Gheorghe
2 Groote, Jan Friso
2 Iborra, José
...and 325 more Authors
all top 5

Cited in 33 Serials

52 Journal of Logical and Algebraic Methods in Programming
41 Theoretical Computer Science
14 Information and Computation
13 The Journal of Logic and Algebraic Programming
11 Formal Aspects of Computing
8 Journal of Symbolic Computation
6 Science of Computer Programming
6 Higher-Order and Symbolic Computation
5 Journal of Automated Reasoning
5 Theory and Practice of Logic Programming
4 Fundamenta Informaticae
3 Information Processing Letters
3 Mathematical Structures in Computer Science
2 Cybernetics and Systems Analysis
2 Formal Methods in System Design
2 Mathematics in Computer Science
1 Acta Informatica
1 Artificial Intelligence
1 Applied Mathematics and Computation
1 Information Sciences
1 Journal of Computer and System Sciences
1 International Journal of Foundations of Computer Science
1 International Journal of Computer Mathematics
1 Journal of Functional Programming
1 Annals of Mathematics and Artificial Intelligence
1 LMS Journal of Computation and Mathematics
1 Computer Languages, Systems & Structures
1 Journal of Algebra and its Applications
1 Logica Universalis
1 Logical Methods in Computer Science
1 Acta Universitatis Sapientiae. Informatica
1 Journal of Theoretical Biology
1 Journal of Membrane Computing
all top 5

Cited in 17 Fields

377 Computer science (68-XX)
77 Mathematical logic and foundations (03-XX)
13 Information and communication theory, circuits (94-XX)
6 Category theory; homological algebra (18-XX)
4 Biology and other natural sciences (92-XX)
3 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
2 History and biography (01-XX)
2 Operations research, mathematical programming (90-XX)
2 Systems theory; control (93-XX)
1 General and overarching topics; collections (00-XX)
1 Combinatorics (05-XX)
1 General algebraic systems (08-XX)
1 Algebraic geometry (14-XX)
1 Group theory and generalizations (20-XX)
1 Partial differential equations (35-XX)
1 Geometry (51-XX)
1 Numerical analysis (65-XX)

Citations by Year