×

zbMATH — the first resource for mathematics

Clavel, Manuel

Compute Distance To:
Author ID: clavel.manuel Recent zbMATH articles by "Clavel, Manuel"
Published as: Clavel, Manuel; Clavel, M.
Documents Indexed: 22 Publications since 1996, including 2 Books

Publications by Year

Citations contained in zbMATH Open

19 Publications have been cited 389 times in 270 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
Reflection in rewriting logic. Metalogical foundations and metaprogramming applications. Zbl 1003.03032
Clavel, Manuel
17
2000
Reflection in conditional rewriting logic. Zbl 1001.68060
Clavel, Manuel; Meseguer, José
15
2002
Reflection and strategies in rewriting logic. Zbl 0917.68107
Clavel, Manuel; Meseguer, José
13
1996
Metalevel computation in Maude. Zbl 0917.68024
Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.; Meseguer, J.
13
1998
Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic. Zbl 1111.03034
Clavel, Manuel; Meseguer, José; Palomino, Miguel
10
2007
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
A sufficient completeness reasoning tool for partial specifications. Zbl 1078.68668
Hendrix, Joe; Clavel, Manuel; Meseguer, José
8
2005
Reflective metalogical frameworks. Zbl 1407.03045
Basin, David; Clavel, Manuel; Meseguer, José
7
2004
Rewriting logic as a metalogical framework. Zbl 1044.03020
Basin, David; Clavel, Manuel; Meseguer, José
6
2000
Polytypic programming in Maude. Zbl 0962.68030
Clavel, M.; Duran, F.; Marti-Oliet, N.
4
2000
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
Formalizing and proving semantic relations between specifications by reflection. Zbl 1108.68378
Clavel, Manuel; Martí-Oliet, Narciso; Palomino, Miguel
2
2004
Reflection in general logics, rewriting logic, and Maude. Zbl 0917.68108
Clavel, Manuel
2
1998
Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic. Zbl 1272.03137
Clavel, Manuel; Meseguer, José; Palomino, Miguel
2
2004
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
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
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
Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic. Zbl 1111.03034
Clavel, Manuel; Meseguer, José; Palomino, Miguel
10
2007
A sufficient completeness reasoning tool for partial specifications. Zbl 1078.68668
Hendrix, Joe; Clavel, Manuel; Meseguer, José
8
2005
Reflective metalogical frameworks. Zbl 1407.03045
Basin, David; Clavel, Manuel; Meseguer, José
7
2004
Formalizing and proving semantic relations between specifications by reflection. Zbl 1108.68378
Clavel, Manuel; Martí-Oliet, Narciso; Palomino, Miguel
2
2004
Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic. Zbl 1272.03137
Clavel, Manuel; Meseguer, José; Palomino, Miguel
2
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
Maude: specification and programming in rewriting logic. Zbl 1001.68059
Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.
67
2002
Reflection in conditional rewriting logic. Zbl 1001.68060
Clavel, Manuel; Meseguer, José
15
2002
Reflection in rewriting logic. Metalogical foundations and metaprogramming applications. Zbl 1003.03032
Clavel, Manuel
17
2000
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
Rewriting logic as a metalogical framework. Zbl 1044.03020
Basin, David; Clavel, Manuel; Meseguer, José
6
2000
Polytypic programming in Maude. Zbl 0962.68030
Clavel, M.; Duran, F.; Marti-Oliet, N.
4
2000
Metalevel computation in Maude. Zbl 0917.68024
Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.; Meseguer, J.
13
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
Reflection in general logics, rewriting logic, and Maude. Zbl 0917.68108
Clavel, Manuel
2
1998
Principles of Maude. Zbl 0912.68095
Clavel, M.; Eker, S.; Lincoln, P.; Meseguer, J.
25
1996
Reflection and strategies in rewriting logic. Zbl 0917.68107
Clavel, Manuel; Meseguer, José
13
1996
all top 5

Cited by 304 Authors

64 Meseguer Guaita, José
24 Lucas, Salvador
23 Martí-Oliet, Narciso
17 Alpuente, María
15 Roşu, Grigore
13 Durán, Francisco
13 Escobar, Santiago
13 Lucanu, Dorel
12 Talcott, Carolyn L.
10 Ballis, Demis
10 Verdejo, Alberto
9 Olveczky, Peter Csaba
8 Eker, Steven
8 Rusu, Vlad
7 Clavel, Manuel
7 Owe, Olaf
7 Palomino, Miguel
7 Riesco, Adrián
7 Sapiña, Julia
6 Arusoaie, Andrei
6 Frechina, Francisco
6 Futatsugi, Kokichi
6 Gutiérrez, Raúl
6 Johnsen, Einar Broch
6 Kirchner, Hélène
6 Ogata, Kazuhiro
6 Şerbănuţă, Traian Florin
5 Bruni, Roberto
5 Wirsing, Martin
4 Ciobanu, Gabriel
4 Diaconescu, Răzvan
4 Lincoln, Patrick D.
4 Skeirik, Stephen
4 Stehr, Mark-Oliver
3 Alarcón, Beatriz
3 Andrei, Oana
3 Bouhoula, Adel
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 Kirchner, Claude
3 Marché, Claude
3 Meadows, Catherine A.
3 Montanari, Ugo G.
3 Mossakowski, Till
3 Pita, Isabel
3 Rocha, Camilo
3 Schlatte, Rudolf
3 Visser, Eelco
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 Cervesato, Iliano
2 Codescu, Mihai
2 Colvin, Robert J.
2 Dundua, Besik
2 Ellison, Chucky
2 Espert, Javier
2 Falaschi, Moreno
2 Fissore, Olivier
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 Lämmel, Ralf
2 Liu, Zhiqiang
2 Lluch Lafuente, Alberto
2 Lynch, Christopher A.
2 Marin, Mircea
2 Martín, Óscar
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
1 Aceto, Luca
1 Agrigoroaiei, Oana
1 Aguilera, Gabriel
1 Aichernig, Bernhard K.
...and 204 more Authors

Citations by Year