Concepedia

Author

Daniele Ahmed

University of Oxford

Also Known As

Ahmed, Daniele, Daniele Ahmed

8

Publications

248

Citations

4

H-Index

7

Concepts

All Affiliations

University of Oxford
DA

About

Daniele Ahmed is an author at University of Oxford specializing in formal verification, engineering, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

58

2

Computer Engineering

1

1

58

3

Computer Science

1

1

58

4

Systems Engineering

1

1

58

5

Formal Methods

1

1

58

Daniele Ahmed

×

2

Publications

172

Citations

2

H-Index

YearCitations

Page 1