Concepedia

Author

Agustín Valverde

Universidad de MálagaORCID

Also Known As

A. Valverde, Agustin Valverde, Agustín Valverde, Valverde, Agustin, Valverde, Agustí n, Valverde, Agustín

61

Publications

1.3K

Citations

18

H-Index

28

Concepts

All Affiliations

Universidad de MálagaUniversidad Politécnica de MadridUniversidad Rey Juan CarlosUmeå UniversityThe University of Texas at Austin
AV

About

Agustín Valverde is an author at Universidad de Málaga specializing in automated reasoning, engineering, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

10

10

717

2

Computer Science

4

4

576

3

Language Studies

3

3

53

4

Business

1

1

13

5

Economics

1

1

13

Agustín Valverde

×

14

Publications

767

Citations

12

H-Index

YearCitations

Page 1