MC

Manuel Clavel

Madrid Institute for Advanced Studies 0000-0002-4966-855X

111

Publications

3,366

Citations

26

h-index

43

i10-index

Loading papers...

Search by keywords

Filter by Type

Article (58)
Book Chapter (47)
Book (2)
Preprint (2)
Dissertation (1)

Filter by Open Access Type

Open Access (26)
Closed Access (85)

Filter by Authors

Manuel Clavel (111)
José Meseguer (43)
Steven Eker (38)
Narciso Martı́-Oliet (38)
Francisco Durán (36)

Filter by Topics

Logic, programming, and type systems (45)
Formal Methods in Verification (35)
Logic, Reasoning, and Knowledge (22)
Model-Driven Software Engineering Techniques (19)
Access Control and Trust (17)