Mahesh Viswanathan

University of Illinois Urbana-Champaign

Papers

2

Total Citations

38

H-Index

2

About

No biography available yet.

Research Focus

Artificial intelligence2 · 38 citations
Model checking2 · 38 citations
Computer science2 · 38 citations
State space1 · 32 citations
Range (aeronautics)1 · 32 citations
Algorithm1 · 32 citations
Parameterized complexity1 · 32 citations
Class (philosophy)1 · 32 citations
Mathematics1 · 32 citations
Property (philosophy)1 · 32 citations
Automotive industry1 · 32 citations
Theoretical computer science1 · 32 citations

Key Achievements

2
H-Index
2
Papers
38
Total Citations
19
Avg Citations/Paper
🏆 Most Cited Paper
Statistical model checking: challenges and perspectives
32 citations · 2015
📈 Most Prolific Year: 2015 (1 Papers)
🤝 Key Collaborators: 14
🏛 Institutions: University of Illinois Urbana-Champaign

Top Papers

  1. 1
    Statistical model checking: challenges and perspectives
    32 citations · 2015
  2. 2
    Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP
    6 citations · 2016

Key Collaborators

LVLuan Viet Nguyen1 shared papersHTHoang-Dung Tran1 shared papersBQBolun Qi1 shared papersSBStanley Bak1 shared papersSMSayan Mitra1 shared papersPSParasara Sridhar Duggirala1 shared papersMPMatthew Potok1 shared papersTTTaylor T. Johnson1 shared papersCSChristian Schilling1 shared papersASAndrew Sogokon1 shared papersALAxel Legay1 shared papersCFChuchu Fan1 shared papersSBSergiy Bogomolov1 shared papersWXWeiming Xiang1 shared papers
Not generated yet