Michele Sevegnani

University of Glasgow

论文数

4

总引用数

17

H-Index

3

关于

暂无简介。

研究焦点

Computer science4 · 17 次引用
Artificial intelligence3 · 13 次引用
Software engineering2 · 11 次引用
Human–computer interaction3 · 9 次引用
Modular design1 · 8 次引用
Distributed computing1 · 8 次引用
Cyber-physical system1 · 8 次引用
Data mining1 · 8 次引用
Formal verification1 · 8 次引用
Data verification1 · 8 次引用
Flexibility (engineering)1 · 8 次引用
Probabilistic logic1 · 8 次引用

主要成就

3
H 指数
4
论文
17
总引用数
4
篇均引用
🏆 最高被引论文
Adaptive Model Verification for Modularized Industry 4.0 Applications
8 次引用 · 2022
📈 最高产年份: 2023 (2 论文)
🤝 主要合作者: 15
🏛 所属机构: University of Glasgow

代表论文

  1. 1
    Adaptive Model Verification for Modularized Industry 4.0 Applications
    8 次引用 · 2022
  2. 2
    Successful Swarms: Operator Situational Awareness with Modelling and Verification at Runtime
    4 次引用 · 2023
  3. 3
    CAN-verify: A Verification Tool For BDI Agents
    3 次引用 · 2023
  4. 4
    A User Study Evaluation of Predictive Formal Modelling at Runtime in Human-Swarm Interaction
    2 次引用 · 2025

主要合作者

BABlair Archibald3 篇合著论文MXMengwei Xu2 篇合著论文YGYue Gu2 篇合著论文MDMohammad Divband Soorati2 篇合著论文WHWilliam Hunt2 篇合著论文JEJoel E. Fischer1 篇合著论文XXXin Xin1 篇合著论文ESEike Schneiders1 篇合著论文SDSarvapali D. Ramchurn1 篇合著论文TPTeck Ping Khoo1 篇合著论文SLSye Loong Keoh1 篇合著论文MSMartin Saerbeck1 篇合著论文TRThibault Rivoalen1 篇合著论文MNMohammad Naiseh1 篇合著论文AOAyodeji O. Abioye1 篇合著论文
尚未生成