Carlo Ghezzi

Politecnico di Milano, University of L'Aquila

论文数

7

总引用数

66

H-Index

3

关于

暂无简介。

研究焦点

Computer science7 · 66 次引用
Software engineering5 · 61 次引用
Programming language6 · 58 次引用
Robot6 · 58 次引用
Software5 · 56 次引用
Artificial intelligence5 · 55 次引用
Engineering3 · 51 次引用
Systems engineering3 · 51 次引用
Cyber-physical system3 · 36 次引用
Operating system3 · 36 次引用
Formal methods2 · 31 次引用
Distributed computing3 · 31 次引用

主要成就

3
H 指数
7
论文
66
总引用数
9
篇均引用
🏆 最高被引论文
Early validation of cyber–physical space systems via multi-concerns integration
25 次引用 · 2020
📈 最高产年份: 2020 (2 论文)
🤝 主要合作者: 15
🏛 所属机构: Politecnico di Milano, University of L'Aquila

代表论文

  1. 1
    Early validation of cyber–physical space systems via multi-concerns integration
    25 次引用 · 2020
  2. 2
    Property specification patterns for robotic missions
    23 次引用 · 2018
  3. 3
    Formal Methods in Designing Critical Cyber-Physical Systems
    8 次引用 · 2019
  4. 4
    Towards Executing Dynamically Updating Finite-State Controllers on a Robot System
    3 次引用 · 2015
  5. 5
    Early Validation of Cyber-Physical Space Systems via Multi-Concerns Integration
    3 次引用 · 2020
  6. 6
    Towards spatial macroprogramming for sensing and actuating robot swarms
    2 次引用 · 2013
  7. 7
    Specification Patterns for Robotic Missions
    2 次引用 · 2019

主要合作者

CTChristos Tsigkanos5 篇合著论文PPPatrizio Pelliccione2 篇合著论文ZJZhi Jin2 篇合著论文TBThorsten Berger2 篇合著论文CMClaudio Menghi2 篇合著论文ZHZhenjiang Hu2 篇合著论文NLNianyu Li2 篇合著论文MAMehrnoosh Askarpour1 篇合著论文KWKamin Whitehouse1 篇合著论文DMDino Mandrioli1 篇合著论文DCDonato Clun1 篇合著论文MRMatteo Rossi1 篇合著论文VPValerio Panzica La Manna1 篇合著论文LMLuca Mottola1 篇合著论文JGJoel Greenyer1 篇合著论文
尚未生成