Nishant Sinha
Papers
2
Total Citations
4
H-Index
2
About
No biography available yet.
Research Focus
Programming language2 · 4 citations
Computer science2 · 4 citations
Consistency (knowledge bases)2 · 4 citations
Consistency model1 · 2 citations
Data consistency1 · 2 citations
Distributed computing1 · 2 citations
Formal verification1 · 2 citations
Operating system1 · 2 citations
Parallel computing1 · 2 citations
Protocol (science)1 · 2 citations
Scalability1 · 2 citations
Semantics (computer science)1 · 2 citations
Key Achievements
2
H-Index
2
Papers
4
Total Citations
2
Avg Citations/Paper
🏆 Most Cited Paper
Efficient Verification of Periodic Programs using Sequential Consistency and Snapshots
2 citations · 2014
📈 Most Prolific Year: 2014 (2 Papers)
🤝 Key Collaborators: 2
🏛 Institutions: IBM (United States)
Top Papers
- 1
- 2
Key Collaborators
Not generated yet