Concepedia

Author

Hassan Aı̈t-Kaci

The University of Tokyo

Also Known As

Aït-Kaci, Hassan, H. Ait-Kaci, Hassan Ait-Kaci, Hassan Ait-kaci, Hassan Aït-Kaci, Hassan Aı̈t-Kaci

62

Publications

2.3K

Citations

20

H-Index

38

Concepts

All Affiliations

The University of TokyoDigital Equipment (Germany)
HA

About

Hassan Aı̈t-Kaci is an author at The University of Tokyo specializing in engineering, formal methods, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

13

13

1.1K

2

Computer Science

10

10

833

3

Language Studies

3

3

113

4

Humanities

1

1

141

5

Computer Engineering

1

1

199

Hassan Aı̈t-Kaci

×

21

Publications

1.5K

Citations

17

H-Index

YearCitations

Page 1