Ralph Hoch

TU Wien, Vorarlberg University of Applied Sciences

论文数

2

总引用数

5

H-Index

1

关于

暂无简介。

研究焦点

Computer science2 · 5 次引用
Artificial intelligence2 · 5 次引用
Robot2 · 5 次引用
Formal verification1 · 4 次引用
Generality1 · 4 次引用
Human–computer interaction1 · 4 次引用
Software engineering1 · 4 次引用
Clamping1 · 4 次引用
Formal methods1 · 4 次引用
Model checking1 · 4 次引用
Programming language1 · 4 次引用
Runtime verification1 · 4 次引用

主要成就

1
H 指数
2
论文
5
总引用数
3
篇均引用
🏆 最高被引论文
Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability
4 次引用 · 2021
📈 最高产年份: 2021 (1 论文)
🤝 主要合作者: 10
🏛 所属机构: TU Wien, Vorarlberg University of Applied Sciences

代表论文

  1. 1
    Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability
    4 次引用 · 2021
  2. 2
    Towards Privacy-Preserving Machine Learning for Energy Prediction in Industrial Robotics: Modeling, Evaluation and Integration
    1 次引用 · 2025

主要合作者

SHSebastian Hegenbart1 篇合著论文TLThomas Lorünser1 篇合著论文BRBerhnard Reiterer1 篇合著论文HKHermann Kaindl1 篇合著论文ASAdam Skuta1 篇合著论文MHMichael Hofbaur1 篇合著论文MRMichael Rathmair1 篇合著论文THThomas Haspl1 篇合著论文PSPhilipp Steurer1 篇合著论文CLChristoph Luckeneder1 篇合著论文
尚未生成