Academic Identity

Vidwan-ID : 93759

Edit Profile


  • Dr Gourinath Banda

  • Associate Professor
  • Indian Institute of Technology Indore
Publications 2005 - 2023

Publications

  • 7
    Journal Articles
  • 1
    Book Chapter
  • 12
    Conference
    Proceedings
  • 1
  • 2
  • 1
  • 2

Citations / H-Index

85 Citations
5 h-index
86 Citations

Altmetrics

2
2
104
42
2

Co-author Network

Expertise

Computer Science Cybernetics

Cyber Physical Systems, Internet of Things, Verification of Embedded Systems (Infinite State Systems), Model Checking, Abstract Interpretation, Temporal Logics, Real-time kernel design

Experience

  • Associate Professor

    Department of Computer Science and Engineering

    Indian Institute of Technology Indore

Qualification

  • PhD

    Roskilde University

Patents





Read Less

Publications (20)

Powered by