Concepedia

Author

Gabriel Ditu

UNSW Sydney

Also Known As

Gabriel C. Ditu, Gabriel Ditu

3

Publications

41

Citations

3

H-Index

18

Concepts

All Affiliations

UNSW Sydney
GD

About

Gabriel Ditu is an author at UNSW Sydney specializing in formal methods, automated reasoning, and program analysis.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

29

2

Computer Science

2

2

29

3

Data Science

1

1

17

4

Artificial Intelligence

1

1

17

5

Combinatorial Optimization

1

1

17

Gabriel Ditu

×

3

Publications

41

Citations

3

H-Index

YearCitations

Page 1