Concepedia

Author

Alexey Rodriguez

Open University of the Netherlands

Also Known As

A. Rodriquez, Alexey Rodriguez, Rodriguez, Aurélien

12

Publications

176

Citations

5

H-Index

14

Concepts

All Affiliations

Open University of the NetherlandsUtrecht University
AR

About

Alexey Rodriguez is an author at Open University of the Netherlands specializing in formal verification, formal methods, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

109

2

Computer Science

2

2

109

3

Data Science

2

2

109

4

Management

1

1

39

5

Data Management

1

1

39

Alexey Rodriguez

×

2

Publications

109

Citations

2

H-Index

YearCitations

Page 1