Mohamed Bakhouya

Aalto University

Papers

2

Total Citations

18

H-Index

2

About

No biography available yet.

Research Focus

Computer science2 · 18 citations
Human–computer interaction2 · 18 citations
Theoretical computer science1 · 13 citations
Formal verification1 · 13 citations
Model checking1 · 13 citations
Programming language1 · 13 citations
Service (business)1 · 13 citations
Software1 · 13 citations
Software engineering1 · 13 citations
Data science1 · 13 citations
Distributed computing1 · 13 citations
Formal methods1 · 13 citations

Key Achievements

2
H-Index
2
Papers
18
Total Citations
9
Avg Citations/Paper
🏆 Most Cited Paper
Formal Modeling of Socio-technical Collective Adaptive Systems
13 citations · 2012
📈 Most Prolific Year: 2012 (1 Papers)
🤝 Key Collaborators: 7
🏛 Institutions: Aalto University

Top Papers

  1. 1
    Formal Modeling of Socio-technical Collective Adaptive Systems
    13 citations · 2012
  2. 2
    INTELLIGENT IMMUNE-BASED SYSTEM FOR AUTONOMOUS SOCCER ROBOTS
    5 citations · 2003

Key Collaborators

SRSebastián Rodríguez1 shared papersVHVincent Hilaire1 shared papersGDGiovanna Di Marzo Serugendo1 shared papersJGJaafar Gaber1 shared papersACAntonio Coronato1 shared papersVDVincenzo De Florio1 shared papersAKAbderrafìâa Koukam1 shared papers
Not generated yet