Concepedia

Author

Adrian-Horia Dediu

Also Known As

A. H. Dediu, Adrian Horia Dediu, Adrian-Horia Dediu, Adrian-Horia, Dediu, Adrian-horia Dediu, Carlos Martín-Vide, Dediu, Adrian Horia, Dediu, Adrian-Horia, Delahaye, Benoît, Espinosa-Anke, Luis

66

Publications

373

Citations

10

H-Index

8

Concepts

All Affiliations

AD

About

Adrian-Horia Dediu is an author at Universitat Rovira i Virgili specializing in computational complexity, automated reasoning, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

95

2

Computer Science

1

1

95

3

Artificial Intelligence

1

1

95

4

Complexity

1

1

95

5

Automated Reasoning

1

1

95

Adrian-Horia Dediu

×

1

Publications

95

Citations

1

H-Index

YearCitations

Page 1