Concepedia

Author

Manuel Clavel

Universidad Complutense de MadridORCID

Also Known As

Adrián Riesco, Clavel, Manuel, M Clavel, M. Clavel, Manuel Clavel, Manuel García Clavel

111

Publications

3.3K

Citations

26

H-Index

83

Concepts

All Affiliations

Universidad Complutense de MadridSRI InternationalMenlo SchoolETH ZurichIMDEA Software Institute
MC

About

Manuel Clavel is an author at Universidad Complutense de Madrid specializing in engineering, automated reasoning, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

15

19

1.6K

2

Language Studies

4

4

111

3

Management

2

2

31

4

Arts

1

1

227

5

Health Sciences

1

1

37

Manuel Clavel

×

24

Publications

1.8K

Citations

17

H-Index

YearCitations

Page 1