Concepedia

Author

Fides Aarts

Also Known As

Fides Aarts

16

Publications

701

Citations

11

H-Index

15

Concepts

All Affiliations

FA

About

Fides Aarts is an author at Radboud University Nijmegen specializing in verification, formal methods, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

162

2

Computer Science

3

3

162

3

Finance

1

1

81

4

Systems Engineering

1

1

81

5

Data Security

1

1

81

Fides Aarts

×

4

Publications

181

Citations

4

H-Index

YearCitations

Page 1