×

Martí-Oliet, Narciso

Compute Distance To:
Author ID: marti-oliet.narciso Recent zbMATH articles by "Martí-Oliet, Narciso"
Published as: Martí-Oliet, Narciso; Martí-Oliet, N.; Marti-Oliet, N.; Martí-Orliet, Narciso; Marti-Oliet, Narciso

Publications by Year

Citations contained in zbMATH Open

59 Publications have been cited 567 times in 341 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
Rewriting logic: Roadmap and bibliography. Zbl 1027.68613
Martí-Oliet, Narciso; Meseguer, José
27
2002
Rewriting logic as a logical and semantic framework. Zbl 0912.68096
Martí-Oliet, Narciso; Meseguer, José
21
1996
From Petri nets to linear logic. Zbl 0746.03057
Martí-Oliet, Narciso; Meseguer, José
15
1991
Equational abstractions. Zbl 1155.68050
Meseguer, José; Palomino, Miguel; Martí-Oliet, Narciso
13
2008
Metalevel computation in Maude. Zbl 0917.68024
Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.; Meseguer, J.
13
1998
Executable structural operational semantics in Maude. Zbl 1088.68095
Verdejo, Alberto; Martí-Oliet, Narciso
12
2006
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
Two case studies of semantics execution in Maude: CCS and LOTOS. Zbl 1086.68552
Verdejo, Alberto; Martí-Oliet, Narciso
9
2005
An executable specification of asynchronous pi-calculus semantics and may testing in Maude 2.0. Zbl 1272.68322
Thati, Prasanna; Sen, Koushik; Martí-Oliet, Narciso
9
2004
Deduction, strategies, and rewriting. Zbl 1277.68241
Eker, Steven; Martí-Oliet, Narciso; Meseguer, José; Verdejo, Alberto
9
2007
A rewriting semantics for Maude strategies. Zbl 1347.68199
Martí-Oliet, Narciso; Meseguer, José; Verdejo, Alberto
8
2009
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
7
2020
From Petri nets to linear logic through categories: A survey. Zbl 0766.68100
Martí-Oliet, Narciso; Meseguer, José
7
1991
Algebraic simulations. Zbl 1184.68300
Meseguer, José; Palomino, Miguel; Martí-Oliet, Narciso
7
2010
Bisimilarity congruences for open terms and term graphs via tile logic. Zbl 0999.68142
Bruni, Roberto; de Frutos-Escrig, David; Martí-Oliet, Narciso; Montanari, Ugo
7
2000
General logics and logical frameworks. Zbl 0817.03005
Martí-Oliet, Narciso; Meseguer, José
6
1994
Theoroidal maps as algebraic simulations. Zbl 1119.68129
Martí-Oliet, Narciso; Meseguer, José; Palomino, Miguel
6
2005
Declarative debugging of missing answers for Maude. Zbl 1236.68146
Riesco, Adrián; Verdejo, Alberto; Martí-Oliet, Narciso
6
2010
From Petri nets to linear logic. Zbl 07572049
Martí-Oliet, Narciso; Meseguer, José
6
1989
Declarative debugging of rewriting logic specifications. Zbl 1253.68097
Riesco, Adrian; Verdejo, Alberto; Caballero, Rafael; Martí-Oliet, Narciso
5
2009
Toward a verification logic for rewriting logic. Zbl 0966.68123
Fiadeiro, José Luis; Maibaum, Tom; Martí-Oliet, Narciso; Meseguer, Jose; Pita, Isabel
5
2000
A declarative debugger for Maude functional modules. Zbl 1347.68073
Caballero, Rafael; Martí-Oliet, Narciso; Riesco, Adrián; Verdejo, Alberto
5
2009
Parameterized strategies specification in Maude. Zbl 1444.68104
Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto
5
2019
Polytypic programming in Maude. Zbl 0962.68030
Clavel, M.; Duran, F.; Marti-Oliet, N.
4
2000
An algebraic axiomatization of linear logic models. Zbl 0735.03013
Martí-Oliet, Narciso; Meseguer, José
4
1991
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
Action and change in rewriting logic. Zbl 0930.03028
Martí-Oliet, Narciso; Meseguer, José
4
1999
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
4
2016
Equational abstractions. Zbl 1278.68185
Meseguer, José; Palomino, Miguel; Martí-Oliet, Narciso
4
2003
A categorical approach to simulations. Zbl 1151.68550
Palomino, Miguel; Meseguer, José; Martí-Oliet, Narciso
4
2005
Inclusions and subtypes. I: First-order case. Zbl 0931.03048
Martí-Oliet, Narciso; Meseguer, José
3
1996
Inclusions and subtypes. II: Higher-order case. Zbl 0931.03049
Martí-Oliet, Narciso; Meseguer, José
3
1996
Simplifying questions in Maude declarative debugger by transforming proof trees. Zbl 1377.68072
Caballero, Rafael; Riesco, Adrián; Verdejo, Alberto; Martí-Oliet, Narciso
3
2012
Rewriting logic bibliography by topic: 1990–2011. Zbl 1262.03052
Martí-Oliet, Narciso; Palomino, Miguel; Verdejo, Alberto
3
2012
Declarative debugging of rewriting logic specifications. Zbl 1279.68220
Riesco, Adrián; Verdejo, Alberto; Martí-Oliet, Narciso; Caballero, Rafael
3
2012
Model checking TLR* guarantee formulas on infinite systems. Zbl 1407.68296
Martín, Óscar; Verdejo, Alberto; Martí-Oliet, Narciso
3
2014
Strategies, model checking and branching-time properties in Maude. Zbl 07419543
Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto
3
2021
Formalizing and proving semantic relations between specifications by reflection. Zbl 1108.68378
Clavel, Manuel; Martí-Oliet, Narciso; Palomino, Miguel
2
2004
Specification and verification of the tree identify protocol of IEEE 1394 in rewriting logic. Zbl 1029.68023
Verdejo, Alberto; Pita, Isabel; Martí-Oliet, Narciso
2
2002
Enhancing the debugging of Maude specifications. Zbl 1306.68085
Riesco, Adrian; Verdejo, Alberto; Martí-Oliet, Narciso
2
2010
A Maude specification of an object-oriented database model for telecommunication networks. Zbl 0912.68024
Pita, Isabel; Martí-Orliet, Narciso
2
1996
Egalitarian state-transition systems. Zbl 1367.68198
Martín, Óscar; Verdejo, Alberto; Martí-Oliet, Narciso
2
2016
Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Zbl 1319.68011
2
2015
Conditional narrowing modulo in rewriting logic and Maude. Zbl 1367.68123
Aguirre, Luis; Martí-Oliet, Narciso; Palomino, Miguel; Pita, Isabel
2
2014
Declarative debugging of membership equational logic specifications. Zbl 1143.68363
Caballero, Rafael; Martí-Oliet, Narciso; Riesco, Adrián; Verdejo, Alberto
2
2008
Strategies and simulations in a semantic framework. Zbl 1131.68059
Martí-Oliet, Narciso; Palomino, Miguel; Verdejo, Alberto
2
2007
A tutorial on specifying data structures in Maude. Zbl 1272.68119
Martí-Oliet, Narciso; Palomino, Miguel; Verdejo, Alberto
2
2005
Sentence-normalized conditional narrowing modulo in rewriting logic and Maude. Zbl 1398.68267
Aguirre, Luis; Martí-Oliet, Narciso; Palomino, Miguel; Pita, Isabel
1
2018
The leader election protocol of IEEE 1394 in Maude. Zbl 0962.68107
Verdejo, Alberto; Pita, Isabel; Marti-Oliet, Narciso
1
2000
A verification logic for rewriting logic. Zbl 1101.68684
Martí-Oliet, Narciso; Pita, Isabel; Fiadeiro, José Luiz; Meseguer, José; Maibaum, Tom
1
2005
A complete declarative debugger for Maude. Zbl 1308.68069
Riesco, Adrián; Verdejo, Alberto; Martí-Oliet, Narciso
1
2011
Recent trends in algebraic development techniques. 21st international workshop, WADT 2012, Salamanca, Spain, June 7–10, 2012. Revised selected papers. Zbl 1271.68051
1
2013
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
Algebraic stuttering simulations. Zbl 1278.68124
Martí-Oliet, Narciso; Meseguer, José; Palomino, Miguel
1
2007
A Maude specification of an object-oriented model for telecommunication networks. Zbl 1001.68004
Pita, Isabel; Martí-Oliet, Narciso
1
2002
Synchronous products of rewrite systems. Zbl 1398.68279
Martín, Óscar; Verdejo, Alberto; Martí-Oliet, Narciso
1
2016
Strategies, model checking and branching-time properties in Maude. Zbl 07419543
Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto
3
2021
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
7
2020
Parameterized strategies specification in Maude. Zbl 1444.68104
Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto
5
2019
Sentence-normalized conditional narrowing modulo in rewriting logic and Maude. Zbl 1398.68267
Aguirre, Luis; Martí-Oliet, Narciso; Palomino, Miguel; Pita, Isabel
1
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
4
2016
Egalitarian state-transition systems. Zbl 1367.68198
Martín, Óscar; Verdejo, Alberto; Martí-Oliet, Narciso
2
2016
Synchronous products of rewrite systems. Zbl 1398.68279
Martín, Óscar; Verdejo, Alberto; Martí-Oliet, Narciso
1
2016
Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Zbl 1319.68011
2
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
Model checking TLR* guarantee formulas on infinite systems. Zbl 1407.68296
Martín, Óscar; Verdejo, Alberto; Martí-Oliet, Narciso
3
2014
Conditional narrowing modulo in rewriting logic and Maude. Zbl 1367.68123
Aguirre, Luis; Martí-Oliet, Narciso; Palomino, Miguel; Pita, Isabel
2
2014
Recent trends in algebraic development techniques. 21st international workshop, WADT 2012, Salamanca, Spain, June 7–10, 2012. Revised selected papers. Zbl 1271.68051
1
2013
Simplifying questions in Maude declarative debugger by transforming proof trees. Zbl 1377.68072
Caballero, Rafael; Riesco, Adrián; Verdejo, Alberto; Martí-Oliet, Narciso
3
2012
Rewriting logic bibliography by topic: 1990–2011. Zbl 1262.03052
Martí-Oliet, Narciso; Palomino, Miguel; Verdejo, Alberto
3
2012
Declarative debugging of rewriting logic specifications. Zbl 1279.68220
Riesco, Adrián; Verdejo, Alberto; Martí-Oliet, Narciso; Caballero, Rafael
3
2012
A complete declarative debugger for Maude. Zbl 1308.68069
Riesco, Adrián; Verdejo, Alberto; Martí-Oliet, Narciso
1
2011
Algebraic simulations. Zbl 1184.68300
Meseguer, José; Palomino, Miguel; Martí-Oliet, Narciso
7
2010
Declarative debugging of missing answers for Maude. Zbl 1236.68146
Riesco, Adrián; Verdejo, Alberto; Martí-Oliet, Narciso
6
2010
Enhancing the debugging of Maude specifications. Zbl 1306.68085
Riesco, Adrian; Verdejo, Alberto; Martí-Oliet, Narciso
2
2010
A rewriting semantics for Maude strategies. Zbl 1347.68199
Martí-Oliet, Narciso; Meseguer, José; Verdejo, Alberto
8
2009
Declarative debugging of rewriting logic specifications. Zbl 1253.68097
Riesco, Adrian; Verdejo, Alberto; Caballero, Rafael; Martí-Oliet, Narciso
5
2009
A declarative debugger for Maude functional modules. Zbl 1347.68073
Caballero, Rafael; Martí-Oliet, Narciso; Riesco, Adrián; Verdejo, Alberto
5
2009
Equational abstractions. Zbl 1155.68050
Meseguer, José; Palomino, Miguel; Martí-Oliet, Narciso
13
2008
Declarative debugging of membership equational logic specifications. Zbl 1143.68363
Caballero, Rafael; Martí-Oliet, Narciso; Riesco, Adrián; Verdejo, Alberto
2
2008
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
Deduction, strategies, and rewriting. Zbl 1277.68241
Eker, Steven; Martí-Oliet, Narciso; Meseguer, José; Verdejo, Alberto
9
2007
Strategies and simulations in a semantic framework. Zbl 1131.68059
Martí-Oliet, Narciso; Palomino, Miguel; Verdejo, Alberto
2
2007
Algebraic stuttering simulations. Zbl 1278.68124
Martí-Oliet, Narciso; Meseguer, José; Palomino, Miguel
1
2007
Executable structural operational semantics in Maude. Zbl 1088.68095
Verdejo, Alberto; Martí-Oliet, Narciso
12
2006
Two case studies of semantics execution in Maude: CCS and LOTOS. Zbl 1086.68552
Verdejo, Alberto; Martí-Oliet, Narciso
9
2005
Theoroidal maps as algebraic simulations. Zbl 1119.68129
Martí-Oliet, Narciso; Meseguer, José; Palomino, Miguel
6
2005
A categorical approach to simulations. Zbl 1151.68550
Palomino, Miguel; Meseguer, José; Martí-Oliet, Narciso
4
2005
A tutorial on specifying data structures in Maude. Zbl 1272.68119
Martí-Oliet, Narciso; Palomino, Miguel; Verdejo, Alberto
2
2005
A verification logic for rewriting logic. Zbl 1101.68684
Martí-Oliet, Narciso; Pita, Isabel; Fiadeiro, José Luiz; Meseguer, José; Maibaum, Tom
1
2005
An executable specification of asynchronous pi-calculus semantics and may testing in Maude 2.0. Zbl 1272.68322
Thati, Prasanna; Sen, Koushik; Martí-Oliet, Narciso
9
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
Equational abstractions. Zbl 1278.68185
Meseguer, José; Palomino, Miguel; Martí-Oliet, Narciso
4
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
Rewriting logic: Roadmap and bibliography. Zbl 1027.68613
Martí-Oliet, Narciso; Meseguer, José
27
2002
Specification and verification of the tree identify protocol of IEEE 1394 in rewriting logic. Zbl 1029.68023
Verdejo, Alberto; Pita, Isabel; Martí-Oliet, Narciso
2
2002
A Maude specification of an object-oriented model for telecommunication networks. Zbl 1001.68004
Pita, Isabel; Martí-Oliet, Narciso
1
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
Bisimilarity congruences for open terms and term graphs via tile logic. Zbl 0999.68142
Bruni, Roberto; de Frutos-Escrig, David; Martí-Oliet, Narciso; Montanari, Ugo
7
2000
Toward a verification logic for rewriting logic. Zbl 0966.68123
Fiadeiro, José Luis; Maibaum, Tom; Martí-Oliet, Narciso; Meseguer, Jose; Pita, Isabel
5
2000
Polytypic programming in Maude. Zbl 0962.68030
Clavel, M.; Duran, F.; Marti-Oliet, N.
4
2000
The leader election protocol of IEEE 1394 in Maude. Zbl 0962.68107
Verdejo, Alberto; Pita, Isabel; Marti-Oliet, Narciso
1
2000
Action and change in rewriting logic. Zbl 0930.03028
Martí-Oliet, Narciso; Meseguer, José
4
1999
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
Rewriting logic as a logical and semantic framework. Zbl 0912.68096
Martí-Oliet, Narciso; Meseguer, José
21
1996
Inclusions and subtypes. I: First-order case. Zbl 0931.03048
Martí-Oliet, Narciso; Meseguer, José
3
1996
Inclusions and subtypes. II: Higher-order case. Zbl 0931.03049
Martí-Oliet, Narciso; Meseguer, José
3
1996
A Maude specification of an object-oriented database model for telecommunication networks. Zbl 0912.68024
Pita, Isabel; Martí-Orliet, Narciso
2
1996
General logics and logical frameworks. Zbl 0817.03005
Martí-Oliet, Narciso; Meseguer, José
6
1994
From Petri nets to linear logic. Zbl 0746.03057
Martí-Oliet, Narciso; Meseguer, José
15
1991
From Petri nets to linear logic through categories: A survey. Zbl 0766.68100
Martí-Oliet, Narciso; Meseguer, José
7
1991
An algebraic axiomatization of linear logic models. Zbl 0735.03013
Martí-Oliet, Narciso; Meseguer, José
4
1991
From Petri nets to linear logic. Zbl 07572049
Martí-Oliet, Narciso; Meseguer, José
6
1989
all top 5

Cited by 407 Authors

67 Meseguer Guaita, José
28 Martí-Oliet, Narciso
24 Lucas, Salvador
17 Alpuente, María
16 Verdejo, Alberto
15 Durán, Francisco
15 Escobar, Santiago
15 Roşu, Grigore
13 Lucanu, Dorel
13 Talcott, Carolyn L.
11 Ballis, Demis
10 Olveczky, Peter Csaba
10 Sapiña, Julia
9 Riesco, Adrián
9 Rusu, Vlad
8 Bruni, Roberto
8 Eker, Steven
8 Owe, Olaf
7 Clavel, Manuel
7 Gadducci, Fabio
7 Gutiérrez, Raúl
7 Kirchner, Hélène
7 Palomino, Miguel
7 Pita, Isabel
6 Arusoaie, Andrei
6 Frechina, Francisco
6 Futatsugi, Kokichi
6 Johnsen, Einar Broch
6 Montanari, Ugo G.
6 Ogata, Kazuhiro
6 Şerbănuţă, Traian Florin
6 Wirsing, Martin
5 Andrei, Oana
5 Lincoln, Patrick D.
5 Stehr, Mark-Oliver
4 Caballero, Rafael E.
4 Ciobanu, Gabriel
4 Diaconescu, Răzvan
4 Kanovich, Max Iosifovich
4 Mossakowski, Till
4 Rocha, Camilo
4 Rubio, Rubén
4 Scedrov, Andre
3 Alarcón, Beatriz
3 Caltais, Georgiana
3 Cervesato, Iliano
3 Colvin, Robert J.
3 Corradini, Andrea
3 Falaschi, Moreno
3 Gaĭnă, Daniel
3 Genet, Thomas
3 Goriac, Eugen-Ioan
3 Marché, Claude
3 Martín, Óscar
3 Meadows, Catherine A.
3 Noll, Thomas
3 Schlatte, Rudolf
3 Skeirik, Stephen
2 Aguirre, Luis Antonio
2 Arbab, Farhad
2 Asăvoae, Irina Măriuca
2 Bae, Kyungmin
2 Baldan, Paolo
2 Bartoletti, Massimo
2 Basin, David A.
2 Basuki, Thomas Anung
2 Bjørner, Dines
2 Boronat, Artur
2 Borovanský, Peter
2 Cerone, Antonio
2 Codescu, Mihai
2 Degano, Pierpaolo
2 Dundua, Besik
2 Ellison, Chucky
2 Espert, Javier
2 Fernández, Maribel
2 Gabbay, Michael J.
2 Grigoraş, Gheorghe
2 Haxthausen, Anne Elisabeth
2 Hennicker, Rolf
2 Insa, David
2 Kahramanoğulları, Ozan
2 Katelman, Michael
2 Kirchner, Claude
2 Kitzelmann, Emanuel
2 Kutsia, Temur
2 Liu, Zhiqiang
2 Lluch Lafuente, Alberto
2 López-Fraguas, Francisco Javier
2 Lynch, Christopher A.
2 Marin, Mircea
2 Middeldorp, Aart
2 Moreau, Pierre-Etienne
2 Mosses, Peter D.
2 Muñoz, César A.
2 Nigam, Vivek
2 Ojeda, Pedro
2 Olarte, Carlos
2 Orejas, Fernando
2 Ramezanifarkhani, Toktam
...and 307 more Authors

Citations by Year