Concepedia

Narciso Martı́-Oliet

NM

Statistics

Publications

26

Citations

1.7K

H-Index

19

Active since

1991

Affiliations

Universidad Complutense de Madrid(Current)

SRI International

University of Illinois Urbana-Champaign

Menlo School

Universidad de Navarra

Narciso Martı́-Oliet is an author at Universidad Complutense de Madrid specializing in computer science, formal methods, and computing.

ORCID

Publications per year

1991–2023

26

Publications

26

Maude: specification and programming in rewriting logic

Manuel Clavel, Francisco Durán, Steven Eker et al. · Theoretical Computer Science · 2002 · 772 citations · Full text

, , +7

Rewriting logic: roadmap and bibliography

Narciso Martı́-Oliet, José Meseguer · Theoretical Computer Science · 2002 · 154 citations

, , +6

Equational abstractions

José Meseguer, Miguel Palomino, Narciso Martı́-Oliet · Theoretical Computer Science · 2008 · 97 citations

Executable structural operational semantics in Maude

Alberto Verdejo, Narciso Martı́-Oliet · The Journal of Logic and Algebraic Programming · 2005 · 76 citations · Full text

, , +8

Towards a Strategy Language for Maude

Narciso Martı́-Oliet, José Meseguer, Alberto Verdejo · Electronic Notes in Theoretical Computer Science · 2005 · 75 citations · Full text

, , +15

1–5 of 26