Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Koh Aoki
Motoharu Sonogashira
Bhupendra Singh
Miklós Koller
David J. Westover
Yu-Wei Chang
Ali Nodehi
Sebastian Magda
David MacDonald
Ali H. Algarni
Home
/
Author
/
ANIRUDH KUSHWAH
Author Info
Open Visualization
Name
Papers
Collaborators
ANIRUDH KUSHWAH
1
5
Citations
PageRank
Referers
1
0.38
5
Referees
References
60
16
Publications (1 rows)
Collaborators (5 rows)
Referers (5 rows)
Referees (60 rows)
Title
Citations
PageRank
Year
Refinement-Based Verification of the FreeRTOS Scheduler in VCC.
1
0.38
2015
1
