Mohamed Bakhouya

Aalto University

论文数

2

总引用数

18

H-Index

2

关于

暂无简介。

研究焦点

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

主要成就

2
H 指数
2
论文
18
总引用数
9
篇均引用
🏆 最高被引论文
Formal Modeling of Socio-technical Collective Adaptive Systems
13 次引用 · 2012
📈 最高产年份: 2012 (1 论文)
🤝 主要合作者: 7
🏛 所属机构: Aalto University

代表论文

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

主要合作者

SRSebastián Rodríguez1 篇合著论文VHVincent Hilaire1 篇合著论文GDGiovanna Di Marzo Serugendo1 篇合著论文JGJaafar Gaber1 篇合著论文ACAntonio Coronato1 篇合著论文VDVincenzo De Florio1 篇合著论文AKAbderrafìâa Koukam1 篇合著论文
尚未生成