Milind Kulkarni

Purdue University West Lafayette

Papers

1

Total Citations

8

H-Index

1

About

No biography available yet.

Research Focus

Computer science1 · 8 citations
Distributed computing1 · 8 citations
Formal verification1 · 8 citations
Key (lock)1 · 8 citations
Modular design1 · 8 citations
Operating system1 · 8 citations
Programming language1 · 8 citations
Scalability1 · 8 citations

Key Achievements

1
H-Index
1
Papers
8
Total Citations
8
Avg Citations/Paper
🏆 Most Cited Paper
QuickSilver: modeling and parameterized verification for distributed agreement-based systems
8 citations · 2021
📈 Most Prolific Year: 2021 (1 Papers)
🤝 Key Collaborators: 4
🏛 Institutions: Purdue University West Lafayette

Top Papers

  1. 1
    QuickSilver: modeling and parameterized verification for distributed agreement-based systems
    8 citations · 2021

Key Collaborators

RSRoopsha Samanta1 shared papersNJNouraldin Jaber1 shared papersCWChristopher Wagner1 shared papersSJSwen Jacobs1 shared papers
Not generated yet