Concepedia

Author

Arindam Chakrabarti

University of California, Berkeley

Also Known As

ARINDAM CHAKRABARTI, Arindam CHAKRABARTI, Arindam Chakrabarti, Bimal Krishna Matilal

94

Publications

1.2K

Citations

15

H-Index

54

Concepts

All Affiliations

University of California, BerkeleyÉcole Polytechnique Fédérale de Lausanne
AC

About

Arindam Chakrabarti is an author at University of California, Berkeley specializing in formal verification, formal methods, and computer science.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

5

5

214

2

Social Sciences

3

3

108

3

Cognitive Science

2

2

96

4

Humanities

1

1

28

5

Language Studies

1

1

68

Arindam Chakrabarti

×

10

Publications

345

Citations

10

H-Index

YearCitations

Page 1