×

zbMATH — the first resource for mathematics

Martí-Oliet, Narciso

Compute Distance To:
Author ID: marti-oliet.narciso Recent zbMATH articles by "Martí-Oliet, Narciso"
Published as: Marti-Oliet, N.; Marti-Oliet, Narciso; Martí-Oliet, N.; Martí-Oliet, Narciso; Martí-Orliet, Narciso
Documents Indexed: 65 Publications since 1991, including 7 Books

Publications by Year

Citations contained in zbMATH

55 Publications have been cited 561 times in 326 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
151
2007
Maude: specification and programming in rewriting logic. Zbl 1001.68059
Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.
76
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
51
2003
Rewriting logic: Roadmap and bibliography. Zbl 1027.68613
Martí-Oliet, Narciso; Meseguer, José
25
2002
Rewriting logic as a logical and semantic framework. Zbl 0912.68096
Martí-Oliet, Narciso; Meseguer, José
24
1996
Metalevel computation in Maude. Zbl 0917.68024
Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.; Meseguer, J.
22
1998
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
12
2008
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
10
2005
A rewriting semantics for Maude strategies. Zbl 1347.68199
Martí-Oliet, Narciso; Meseguer, José; Verdejo, Alberto
9
2009
Deduction, strategies, and rewriting. Zbl 1277.68241
Eker, Steven; Martí-Oliet, Narciso; Meseguer, José; Verdejo, Alberto
9
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
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
8
2004
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
From Petri nets to linear logic through categories: A survey. Zbl 0766.68100
Martí-Oliet, Narciso; Meseguer, José
7
1991
Declarative debugging of missing answers for Maude. Zbl 1236.68146
Riesco, Adrián; Verdejo, Alberto; Martí-Oliet, Narciso
6
2010
Declarative debugging of rewriting logic specifications. Zbl 1253.68097
Riesco, Adrian; Verdejo, Alberto; Caballero, Rafael; Martí-Oliet, Narciso
6
2009
Theoroidal maps as algebraic simulations. Zbl 1119.68129
Martí-Oliet, Narciso; Meseguer, José; Palomino, Miguel
6
2005
General logics and logical frameworks. Zbl 0817.03005
Martí-Oliet, Narciso; Meseguer, José
6
1994
A declarative debugger for Maude functional modules. Zbl 1347.68073
Caballero, Rafael; Martí-Oliet, Narciso; Riesco, Adrián; Verdejo, Alberto
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
Inclusions and subtypes. II: Higher-order case. Zbl 0931.03049
Martí-Oliet, Narciso; Meseguer, José
5
1996
An algebraic axiomatization of linear logic models. Zbl 0735.03013
Martí-Oliet, Narciso; Meseguer, José
5
1991
Rewriting logic bibliography by topic: 1990–2011. Zbl 1262.03052
Martí-Oliet, Narciso; Palomino, Miguel; Verdejo, Alberto
4
2012
Equational abstractions. Zbl 1278.68185
Meseguer, José; Palomino, Miguel; Martí-Oliet, Narciso
4
2003
Polytypic programming in Maude. Zbl 0962.68030
Clavel, M.; Duran, F.; Marti-Oliet, N.
4
2000
Action and change in rewriting logic. Zbl 0930.03028
Martí-Oliet, Narciso; Meseguer, José
4
1999
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
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
Declarative debugging of rewriting logic specifications. Zbl 1279.68220
Riesco, Adrián; Verdejo, Alberto; Martí-Oliet, Narciso; Caballero, Rafael
3
2012
A categorical approach to simulations. Zbl 1151.68550
Palomino, Miguel; Meseguer, José; Martí-Oliet, Narciso
3
2005
Egalitarian state-transition systems. Zbl 1367.68198
Martín, Óscar; Verdejo, Alberto; Martí-Oliet, Narciso
2
2016
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
Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Zbl 1319.68011
Martí-Oliet, Narciso (ed.); Ölveczky, Csaba (ed.); Talcott, Carolyn (ed.)
2
2015
Conditional narrowing modulo in rewriting logic and Maude. Zbl 1367.68123
Aguirre, Luis; Martí-Oliet, Narciso; Palomino, Miguel; Pita, Isabel
2
2014
Model checking TLR* guarantee formulas on infinite systems. Zbl 1407.68296
Martín, Óscar; Verdejo, Alberto; Martí-Oliet, Narciso
2
2014
Enhancing the debugging of Maude specifications. Zbl 1306.68085
Riesco, Adrian; Verdejo, Alberto; Martí-Oliet, Narciso
2
2010
Declarative debugging of membership equational logic specifications. Zbl 1143.68363
Caballero, Rafael; Martí-Oliet, Narciso; Riesco, Adrián; Verdejo, Alberto
2
2008
A tutorial on specifying data structures in Maude. Zbl 1272.68119
Martí-Oliet, Narciso; Palomino, Miguel; Verdejo, Alberto
2
2005
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
A Maude specification of an object-oriented database model for telecommunication networks. Zbl 0912.68024
Pita, Isabel; Martí-Orliet, Narciso
2
1996
Inclusions and subtypes. I: First-order case. Zbl 0931.03048
Martí-Oliet, Narciso; Meseguer, José
2
1996
Sentence-normalized conditional narrowing modulo in rewriting logic and Maude. Zbl 1398.68267
Aguirre, Luis; Martí-Oliet, Narciso; Palomino, Miguel; Pita, Isabel
1
2018
Synchronous products of rewrite systems. Zbl 1398.68279
Martín, Óscar; Verdejo, Alberto; Martí-Oliet, Narciso
1
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
Recent trends in algebraic development techniques. 21st international workshop, WADT 2012, Salamanca, Spain, June 7–10, 2012. Revised selected papers. Zbl 1271.68051
Martí-Oliet, Narciso (ed.); Palomino, Miguel (ed.)
1
2013
A complete declarative debugger for Maude. Zbl 1308.68069
Riesco, Adrián; Verdejo, Alberto; Martí-Oliet, Narciso
1
2011
Strategies and simulations in a semantic framework. Zbl 1131.68059
Martí-Oliet, Narciso; Palomino, Miguel; Verdejo, Alberto
1
2007
Proceedings of the fifth international workshop on rewriting logic and its applications (WRLA 2004), Barcelona, Spain, March 27–28, 2004. Zbl 1271.68050
Martí-Oliet, N. (ed.)
1
2005
A verification logic for rewriting logic. Zbl 1101.68684
Martí-Oliet, Narciso; Pita, Isabel; Fiadeiro, José Luiz; Meseguer, José; Maibaum, Tom
1
2005
A Maude specification of an object-oriented model for telecommunication networks. Zbl 1001.68004
Pita, Isabel; Martí-Oliet, Narciso
1
2002
The leader election protocol of IEEE 1394 in Maude. Zbl 0962.68107
Verdejo, Alberto; Pita, Isabel; Marti-Oliet, Narciso
1
2000
Sentence-normalized conditional narrowing modulo in rewriting logic and Maude. Zbl 1398.68267
Aguirre, Luis; Martí-Oliet, Narciso; Palomino, Miguel; Pita, Isabel
1
2018
Egalitarian state-transition systems. Zbl 1367.68198
Martín, Óscar; Verdejo, Alberto; Martí-Oliet, Narciso
2
2016
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
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
Martí-Oliet, Narciso (ed.); Ölveczky, Csaba (ed.); Talcott, Carolyn (ed.)
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
Conditional narrowing modulo in rewriting logic and Maude. Zbl 1367.68123
Aguirre, Luis; Martí-Oliet, Narciso; Palomino, Miguel; Pita, Isabel
2
2014
Model checking TLR* guarantee formulas on infinite systems. Zbl 1407.68296
Martín, Óscar; Verdejo, Alberto; Martí-Oliet, Narciso
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
Martí-Oliet, Narciso (ed.); Palomino, Miguel (ed.)
1
2013
Rewriting logic bibliography by topic: 1990–2011. Zbl 1262.03052
Martí-Oliet, Narciso; Palomino, Miguel; Verdejo, Alberto
4
2012
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
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
9
2009
Declarative debugging of rewriting logic specifications. Zbl 1253.68097
Riesco, Adrian; Verdejo, Alberto; Caballero, Rafael; Martí-Oliet, Narciso
6
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
12
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
151
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
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
10
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
3
2005
A tutorial on specifying data structures in Maude. Zbl 1272.68119
Martí-Oliet, Narciso; Palomino, Miguel; Verdejo, Alberto
2
2005
Proceedings of the fifth international workshop on rewriting logic and its applications (WRLA 2004), Barcelona, Spain, March 27–28, 2004. Zbl 1271.68050
Martí-Oliet, N. (ed.)
1
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
8
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
51
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.
76
2002
Rewriting logic: Roadmap and bibliography. Zbl 1027.68613
Martí-Oliet, Narciso; Meseguer, José
25
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.
22
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é
24
1996
Inclusions and subtypes. II: Higher-order case. Zbl 0931.03049
Martí-Oliet, Narciso; Meseguer, José
5
1996
A Maude specification of an object-oriented database model for telecommunication networks. Zbl 0912.68024
Pita, Isabel; Martí-Orliet, Narciso
2
1996
Inclusions and subtypes. I: First-order case. Zbl 0931.03048
Martí-Oliet, Narciso; Meseguer, José
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é
5
1991
all top 5

Cited by 406 Authors

69 Meseguer Guaita, José
24 Martí-Oliet, Narciso
21 Lucas, Salvador
17 Alpuente, María
16 Roşu, Grigore
14 Durán, Francisco
14 Escobar, Santiago
13 Lucanu, Dorel
13 Olveczky, Peter Csaba
13 Verdejo, Alberto
12 Talcott, Carolyn L.
10 Ballis, Demis
9 Bruni, Roberto
8 Eker, Steven
8 Johnsen, Einar Broch
8 Owe, Olaf
8 Riesco, Adrián
8 Rusu, Vlad
7 Clavel, Manuel
7 Gadducci, Fabio
7 Kirchner, Hélène
7 Montanari, Ugo G.
7 Palomino, Miguel
7 Sapiña, Julia
7 Şerbănuţă, Traian Florin
7 Wirsing, Martin
6 Arusoaie, Andrei
6 Frechina, Francisco
6 Futatsugi, Kokichi
6 Ogata, Kazuhiro
5 Andrei, Oana
5 Falaschi, Moreno
5 Gutiérrez, Raúl
5 Mossakowski, Till
4 Caballero, Rafael E.
4 Diaconescu, Răzvan
4 Lincoln, Patrick D.
4 Rocha, Camilo
4 Skeirik, Stephen
4 Stehr, Mark-Oliver
3 Alarcón, Beatriz
3 Cervesato, Iliano
3 Ciobanu, Gabriel
3 Corradini, Andrea
3 Gaĭnă, Daniel
3 Genet, Thomas
3 Goriac, Eugen-Ioan
3 Lynch, Christopher A.
3 Marché, Claude
3 Martín, Óscar
3 Meadows, Catherine A.
3 Muñoz, César A.
3 Nigam, Vivek
3 Noll, Thomas
3 Pita, Isabel
3 Scedrov, Andre
3 Schlatte, Rudolf
2 Aguirre, Luis Antonio
2 Arbab, Farhad
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 Caltais, Georgiana
2 Cerone, Antonio
2 Chiarugi, Davide
2 Codescu, Mihai
2 Colvin, Robert J.
2 Degano, Pierpaolo
2 Ellison, Chucky
2 Espert, Javier
2 Fernández, Maribel
2 Gabbay, Michael J.
2 Gramlich, Bernhard
2 Grigoraş, Gheorghe
2 Haxthausen, Anne Elisabeth
2 Hennicker, Rolf
2 Iborra, José
2 Insa, David
2 Kahramanoğulları, Ozan
2 Katelman, Michael
2 Khedri, Ridha
2 Kirchner, Claude
2 Kitzelmann, Emanuel
2 Knapp, Alexander
2 Lämmel, Ralf
2 Liu, Si
2 Liu, Zhiqiang
2 Lluch Lafuente, Alberto
2 López-Fraguas, Francisco Javier
2 Mosses, Peter D.
2 Ojeda, Pedro
2 Olarte, Carlos
2 Orejas, Fernando
2 Ren, Shangping
2 Rodriguez, Dilia E.
...and 306 more Authors

Citations by Year