Ezio Bartocci

TU Wien

Papers

6

Total Citations

131

H-Index

3

About

No biography available yet.

Research Focus

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

Key Achievements

3
H-Index
6
Papers
131
Total Citations
22
Avg Citations/Paper
🏆 Most Cited Paper
SpaTeL
111 citations · 2015
📈 Most Prolific Year: 2015 (1 Papers)
🤝 Key Collaborators: 23
🏛 Institutions: TU Wien

Top Papers

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

Key Collaborators

CBCălin Belta2 shared papersHIHaris Isakovic1 shared papersIHIman Haghighi1 shared papersBBBorzoo Bonakdarpour1 shared papersJHJie He1 shared papersASAna Sokolova1 shared papersRGRadu Gros1 shared papersKCKrishnendu Chatterjee1 shared papersNMNoushin Mehdipour1 shared papersSAScott A. Smolka1 shared papersODOyendrila Dobe1 shared papersMQMeixun Qu1 shared papersEÁErika Ábrahám1 shared papersSASuhail Alsalehi1 shared papersZTZlatan Tucakovic1 shared papersLWLukas Wilke1 shared papersZKZhaodan Kong1 shared papersAJAustin Jones1 shared papersSGSicun Gao1 shared papersSASebastian Arming1 shared papers
Not generated yet