Christos Tsigkanos

TU Wien, Politecnico di Milano, University of Bern

论文数

8

总引用数

120

H-Index

6

关于

暂无简介。

研究焦点

Computer science8 · 120 次引用
Software engineering7 · 100 次引用
Robot6 · 92 次引用
Artificial intelligence6 · 92 次引用
Programming language5 · 78 次引用
Software5 · 78 次引用
Systems engineering4 · 76 次引用
Engineering4 · 76 次引用
Mobile robot4 · 64 次引用
Formal specification2 · 48 次引用
Task (project management)2 · 48 次引用
Human–computer interaction5 · 47 次引用

主要成就

6
H 指数
8
论文
120
总引用数
15
篇均引用
🏆 最高被引论文
PsALM: Specification of Dependable Robotic Missions
25 次引用 · 2019
📈 最高产年份: 2019 (3 论文)
🤝 主要合作者: 19
🏛 所属机构: TU Wien, Politecnico di Milano, University of Bern

代表论文

  1. 1
    PsALM: Specification of Dependable Robotic Missions
    25 次引用 · 2019
  2. 2
    Early validation of cyber–physical space systems via multi-concerns integration
    25 次引用 · 2020
  3. 3
    Property specification patterns for robotic missions
    23 次引用 · 2018
  4. 4
    RoboMAX: Robotic Mission Adaptation eXemplars
    20 次引用 · 2021
  5. 5
    Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties
    14 次引用 · 2022
  6. 6
    Formal Methods in Designing Critical Cyber-Physical Systems
    8 次引用 · 2019
  7. 7
    Early Validation of Cyber-Physical Space Systems via Multi-Concerns Integration
    3 次引用 · 2020
  8. 8
    Specification Patterns for Robotic Missions
    2 次引用 · 2019

主要合作者

CGCarlo Ghezzi5 篇合著论文PPPatrizio Pelliccione5 篇合著论文CMClaudio Menghi5 篇合著论文MAMehrnoosh Askarpour3 篇合著论文TBThorsten Berger3 篇合著论文RCRadu Călinescu2 篇合著论文ZJZhi Jin2 篇合著论文MRMatteo Rossi2 篇合著论文SGSergio García2 篇合著论文ZHZhenjiang Hu2 篇合著论文NLNianyu Li2 篇合著论文GSGabriel S. Rodrigues1 篇合著论文MWManuel Wimmer1 篇合著论文DMDino Mandrioli1 篇合著论文MMMarcello M. Bersani1 篇合著论文GVGricel Vázquez1 篇合著论文LBLuca Berardinelli1 篇合著论文RCRicardo Caldas1 篇合著论文TJTim J. von Oertzen1 篇合著论文
尚未生成