Concepedia

Krishna Kishore Dhara

KK

Statistics

Publications

4

Citations

216

H-Index

4

Active since

1995

Affiliations

Iowa State University(Current)

Krishna Kishore Dhara is an author at Iowa State University specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationDesignCommunicationEdge ComputingCloud ComputingSoftware Design

Publications per year

1995–2022

4

Publications

4

Forcing behavioral subtyping through specification inheritance

Krishna Kishore Dhara, Gary T. Leavens · International Conference on Software Engineering · 1996 · 165 citations

Engineering, Software Engineering, Software Analysis +22

Weak Behavioral Subtyping for Types with Mutable Objects

Krishna Kishore Dhara, Gary T. Leavens · Electronic Notes in Theoretical Computer Science · 1995 · 21 citations · Full text

Engineering, Data Type, Behavioral Subtype +10

Enhancing Application-Layer Multicast for P2P Conferencing

Xiaotao Wu, Krishna Kishore Dhara, Venkatesh Krishnaswamy · 2007 · 18 citations

Engineering, Edge Computing, Cloud Computing +11

KEDOP: Keratoconus early detection of progression using tomography images

Jagadesh C. Reddy, Panini Bhamidipati, Shivam Dwivedi et al. · European Journal of Ophthalmology · 2022 · 12 citations

1–4 of 4