Borzoo Bonakdarpour

Michigan State University, McMaster University, IMDEA Food

Papers

5

Total Citations

60

H-Index

4

About

No biography available yet.

Research Focus

Computer science5 · 60 citations
Artificial intelligence4 · 51 citations
Model checking3 · 49 citations
Programming language3 · 49 citations
Algorithm3 · 45 citations
Mathematics3 · 45 citations
Bounded function2 · 43 citations
Theoretical computer science2 · 40 citations
Path (computing)2 · 40 citations
Property (philosophy)1 · 34 citations
Discrete mathematics1 · 34 citations
Counterexample1 · 34 citations

Key Achievements

4
H-Index
5
Papers
60
Total Citations
12
Avg Citations/Paper
🏆 Most Cited Paper
Bounded Model Checking for Hyperproperties
34 citations · 2021
📈 Most Prolific Year: 2021 (2 Papers)
🤝 Key Collaborators: 12
🏛 Institutions: Michigan State University, McMaster University, IMDEA Food

Top Papers

  1. 1
    Bounded Model Checking for Hyperproperties
    34 citations · 2021
  2. 2
    Managing the Performance/Error Tradeoff of Floating-point Intensive Applications
    9 citations · 2017
  3. 3
    Bounded Model Checking for Hyperproperties
    9 citations · 2021
  4. 4
    Probabilistic Hyperproperties with Rewards
    6 citations · 2022
  5. 5
    Synthesizing Self-Stabilizing Protocols under Average Recovery Time Constraints
    2 citations · 2015

Key Collaborators

CSCésar Sánchez2 shared papersTHTzu-Han Hsu2 shared papersEBEzio Bartocci1 shared papersODOyendrila Dobe1 shared papersEÁErika Ábrahám1 shared papersMOMichael O. Lam1 shared papersLWLukas Wilke1 shared papersSFSebastian Fischmeister1 shared papersSASaba Aflaki1 shared papersBRBarry Rountree1 shared papersRMRamy Medhat1 shared papersFFFathiyeh Faghih1 shared papers
Not generated yet