M. Usman Iftikhar

Linnaeus University

论文数

2

总引用数

158

H-Index

2

关于

暂无简介。

研究焦点

Computer science2 · 158 次引用
Artificial intelligence2 · 158 次引用
Adaptation (eye)2 · 158 次引用
Distributed computing2 · 158 次引用
Programming language1 · 150 次引用
Plan (archaeology)1 · 150 次引用
Correctness1 · 150 次引用
Runtime verification1 · 8 次引用
Software engineering1 · 8 次引用
Theoretical computer science1 · 8 次引用
Adaptive system1 · 8 次引用
Computer security1 · 8 次引用

主要成就

2
H 指数
2
论文
158
总引用数
79
篇均引用
🏆 最高被引论文
ActivFORMS: active formal models for self-adaptation
150 次引用 · 2014
📈 最高产年份: 2014 (2 论文)
🤝 主要合作者: 1
🏛 所属机构: Linnaeus University

代表论文

  1. 1
    ActivFORMS: active formal models for self-adaptation
    150 次引用 · 2014
  2. 2
    Assuring system goals under uncertainty with active formal models of self-adaptation
    8 次引用 · 2014

主要合作者

DWDanny Weyns2 篇合著论文
尚未生成