Ananda Basu

Verimag, Centre National de la Recherche Scientifique

Papers

2

Total Citations

324

H-Index

2

About

No biography available yet.

Research Focus

Computer science2 · 324 citations
Component (thermodynamics)2 · 324 citations
Correctness1 · 278 citations
Distributed computing1 · 278 citations
Formalism (music)1 · 278 citations
Compiler1 · 278 citations
Component-based software engineering1 · 278 citations
Software system1 · 278 citations
Programming language1 · 278 citations
Software1 · 278 citations
Software design1 · 278 citations
Software development1 · 278 citations

Key Achievements

2
H-Index
2
Papers
324
Total Citations
162
Avg Citations/Paper
🏆 Most Cited Paper
Rigorous Component-Based System Design Using the BIP Framework
278 citations · 2011
📈 Most Prolific Year: 2011 (1 Papers)
🤝 Key Collaborators: 8
🏛 Institutions: Verimag, Centre National de la Recherche Scientifique

Top Papers

  1. 1
    Rigorous Component-Based System Design Using the BIP Framework
    278 citations · 2011
  2. 2
    Incremental Component-Based Construction and Verification of a Robotic System
    46 citations · 2008

Key Collaborators

TNThanh-Hung Nguyen2 shared papersMJMohamad Jaber1 shared papersMBMarius Bozga1 shared papersMGMatthieu Gallien1 shared papersJCJacques Combaz1 shared papersJSJoseph Sifakis1 shared papersBBBensalem Bensalem1 shared papersSBSaddek Bensalem1 shared papers
Not generated yet