NM

Narciso Martı́-Oliet

Universidad Complutense de Madrid 0000-0002-6576-762X

142

Publications

3,591

Citations

25

h-index

52

i10-index

Loading papers...

Search by keywords

Filter by Type

Book Chapter (69)
Article (63)
Book (5)
Preprint (3)
Editorial (1)

Filter by Open Access Type

Open Access (50)
Closed Access (92)

Filter by Authors

Narciso Martı́-Oliet (142)
José Meseguer (64)
Alberto Verdejo (47)
Steven Eker (41)
Francisco Durán (40)

Filter by Topics

Logic, programming, and type systems (105)
Formal Methods in Verification (76)
Logic, Reasoning, and Knowledge (51)
Model-Driven Software Engineering Techniques (16)
Service-Oriented Architecture and Web Services (9)