Concepedia

Dejanira Araiza-Illan

DA

Statistics

Publications

4

Citations

91

H-Index

4

Active since

2014

Affiliations

University of Bristol(Current)

Dejanira Araiza-Illan is an author at University of Bristol specializing in robotics, control systems, and computer science.

Publications per year

2014–2019

4

Publications

4

Formal verification of control systems' properties with theorem proving

Dejanira Araiza-Illan, Kerstin Eder, Arthur Richards · 2014 · 40 citations · Full text

Computing, Computer Science, Systems Engineering +16

Effects of Faults, Experience, and Personality on Trust in a Robot Co-Worker

Satragni Sarkar, Dejanira Araiza-Illan, Kerstin Eder · arXiv (Cornell University) · 2017 · 23 citations · Full text

Engineering, Psychology, Robotics Engineering +17

Verification of control systems implemented in simulink with assertion checks and theorem proving: A case study

Dejanira Araiza-Illan, Kerstin Eder, Arthur Richards · 2015 · 16 citations · Full text

Computing, Computer Science, Systems Engineering +16

Augmented Reality for Quick and Intuitive Robotic Packing Re-Programming

Dejanira Araiza-Illan, Alberto de San Bernabé, Fang Hongchao et al. · 2019 · 12 citations

Engineering, Manufacturing Engineering, Robotics Engineering +14

1–4 of 4