Concepedia

Author

Krishnamani Kalyanasundaram

Tata Institute of Fundamental Research

Also Known As

K. Kalyanasundaram, Krishnamani Kalyanasundaram

7

Publications

81

Citations

3

H-Index

11

Concepts

All Affiliations

Tata Institute of Fundamental Research
KK

About

Krishnamani Kalyanasundaram is an author at Tata Institute of Fundamental Research specializing in software engineering, engineering, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

72

2

Computer Science

2

2

72

3

Software Analysis

2

2

72

4

Software Engineering

2

2

72

5

Automated Reasoning

2

2

72

Krishnamani Kalyanasundaram

×

2

Publications

72

Citations

2

H-Index

YearCitations

Page 1