Ezio Bartocci

TU Wien

论文数

6

总引用数

131

H-Index

3

关于

暂无简介。

研究焦点

Computer science6 · 131 次引用
Theoretical computer science4 · 126 次引用
Programming language3 · 124 次引用
Mathematics2 · 113 次引用
Engineering1 · 111 次引用
Superposition principle1 · 111 次引用
Range (aeronautics)1 · 111 次引用
Algorithm1 · 111 次引用
Ranging1 · 111 次引用
Unification1 · 111 次引用
Artificial intelligence4 · 17 次引用
Semantics (computer science)2 · 13 次引用

主要成就

3
H 指数
6
论文
131
总引用数
22
篇均引用
🏆 最高被引论文
SpaTeL
111 次引用 · 2015
📈 最高产年份: 2015 (1 论文)
🤝 主要合作者: 23
🏛 所属机构: TU Wien

代表论文

  1. 1
    SpaTeL
    111 次引用 · 2015
  2. 2
    Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications
    7 次引用 · 2021
  3. 3
    Probabilistic Hyperproperties with Rewards
    6 次引用 · 2022
  4. 4
    DeepRIoT: Continuous Integration and Deployment of Robotic-IoT Applications
    3 次引用 · 2024
  5. 5
    Parameter-Independent Strategies for pMDPs via POMDPs
    2 次引用 · 2018
  6. 6
    Medical Cyber-Physical Systems
    2 次引用 · 2014

主要合作者

CBCălin Belta2 篇合著论文HIHaris Isakovic1 篇合著论文IHIman Haghighi1 篇合著论文BBBorzoo Bonakdarpour1 篇合著论文JHJie He1 篇合著论文ASAna Sokolova1 篇合著论文RGRadu Gros1 篇合著论文KCKrishnendu Chatterjee1 篇合著论文NMNoushin Mehdipour1 篇合著论文SAScott A. Smolka1 篇合著论文ODOyendrila Dobe1 篇合著论文MQMeixun Qu1 篇合著论文EÁErika Ábrahám1 篇合著论文SASuhail Alsalehi1 篇合著论文ZTZlatan Tucakovic1 篇合著论文LWLukas Wilke1 篇合著论文ZKZhaodan Kong1 篇合著论文AJAustin Jones1 篇合著论文SGSicun Gao1 篇合著论文SASebastian Arming1 篇合著论文
尚未生成