×
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
Co-Authors: 19 Co-Authors with 19 Joint Publications
359 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

20 Publications have been cited 415 times in 292 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
159
2007
Maude: specification and programming in rewriting logic. Zbl 1001.68059
Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.
69
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
44
2003
Principles of Maude. Zbl 0912.68095
Clavel, M.; Eker, S.; Lincoln, P.; Meseguer, J.
26
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
12
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
Reflective metalogical frameworks. Zbl 1407.03045
Basin, David; Clavel, Manuel; Meseguer, José
8
2004
A sufficient completeness reasoning tool for partial specifications. Zbl 1078.68668
Hendrix, Joe; Clavel, Manuel; Meseguer, José
8
2005
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
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
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
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
Strategies and user interfaces in Maude at work. Zbl 1270.68055
Clavel, Manuel
1
2003
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
159
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
12
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é
8
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
Formalizing and proving semantic relations between specifications by reflection. Zbl 1108.68378
Clavel, Manuel; Martí-Oliet, Narciso; 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
44
2003
Strategies and user interfaces in Maude at work. Zbl 1270.68055
Clavel, Manuel
1
2003
Maude: specification and programming in rewriting logic. Zbl 1001.68059
Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.
69
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.
26
1996
Reflection and strategies in rewriting logic. Zbl 0917.68107
Clavel, Manuel; Meseguer, José
13
1996
all top 5

Cited by 328 Authors

64 Meseguer Guaita, José
26 Lucas, Salvador
26 Martí-Oliet, Narciso
18 Alpuente, María
16 Escobar, Santiago
15 Roşu, Grigore
14 Durán, Francisco
13 Lucanu, Dorel
13 Talcott, Carolyn L.
13 Verdejo, Alberto
11 Ballis, Demis
10 Sapiña, Julia
9 Olveczky, Peter Csaba
8 Eker, Steven
8 Owe, Olaf
8 Riesco, Adrián
8 Rusu, Vlad
7 Clavel, Manuel
7 Gutiérrez, Raúl
7 Palomino, Miguel
6 Arusoaie, Andrei
6 Frechina, Francisco
6 Futatsugi, Kokichi
6 Johnsen, Einar Broch
6 Kirchner, Hélène
6 Ogata, Kazuhiro
6 Pita, Isabel
6 Şerbănuţă, Traian Florin
5 Bruni, Roberto
5 Stehr, Mark-Oliver
5 Wirsing, Martin
4 Ciobanu, Gabriel
4 Diaconescu, Răzvan
4 Lincoln, Patrick D.
4 Rocha, Camilo
4 Skeirik, Stephen
3 Alarcón, Beatriz
3 Andrei, Oana
3 Bouhoula, Adel
3 Caballero, Rafael E.
3 Caltais, Georgiana
3 Colvin, Robert J.
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 Rubio, Rubén
3 Schlatte, Rudolf
3 Visser, Eelco
2 Aguirre, Luis Antonio
2 Arbab, Farhad
2 Asăvoae, Irina Măriuca
2 Bae, Kyungmin
2 Basin, David A.
2 Bjørner, Dines
2 Boronat, Artur
2 Borovanský, Peter
2 Cervesato, Iliano
2 Cirstea, Horatiu
2 Codescu, Mihai
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 Moreau, Pierre-Etienne
2 Mosses, Peter D.
2 Muñoz, César A.
2 Nigam, Vivek
2 Ojeda, Pedro
2 Rabe, Florian
2 Ramezanifarkhani, Toktam
2 Ren, Shangping
2 Rodriguez, Dilia E.
2 Romero, Daniel M.
2 Rutten, Jan J. M. M.
2 Salaün, Gwen
2 Scedrov, Andre
2 Tapia Tarifa, Silvia Lizeth
2 Thati, Prasanna
...and 228 more Authors

Citations by Year