Concepedia

Author

Exequiel Rivas

Institut national de recherche en sciences et technologies du numériqueORCID

Also Known As

EXEQUIEL RIVAS, Exequiel Rivas, Rivas, Exequiel

30

Publications

157

Citations

6

H-Index

14

Concepts

All Affiliations

Institut national de recherche en sciences et technologies du numériqueMax Planck Institute for Security and PrivacyCentre Inria de l'Université de RennesTallinn University of TechnologyAarhus University
ER

About

Exequiel Rivas is an author at Institut national de recherche en sciences et technologies du numérique specializing in formal methods, computer science, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

57

2

Computer Science

2

2

57

3

Automated Reasoning

2

2

57

4

Data Security

1

1

21

5

Software Analysis

1

1

21

Exequiel Rivas

×

5

Publications

93

Citations

5

H-Index

YearCitations

Page 1