A. Santana‐Alonso
Papers
3
Total Citations
70
H-Index
2
About
No biography available yet.
Research Focus
Computer science3 · 70 citations
The Internet1 · 56 citations
Artificial intelligence1 · 56 citations
Intranet1 · 56 citations
Real-time computing1 · 56 citations
Robotics1 · 56 citations
Robot1 · 56 citations
Embedded system1 · 56 citations
Computer security1 · 56 citations
Human–computer interaction1 · 56 citations
Automation1 · 56 citations
World Wide Web1 · 56 citations
Key Achievements
2
H-Index
3
Papers
70
Total Citations
23
Avg Citations/Paper
🏆 Most Cited Paper
WatchBot: A building maintenance and surveillance system based on autonomous robots
56 citations · 2013
📈 Most Prolific Year: 2013 (1 Papers)
🤝 Key Collaborators: 4
🏛 Institutions: Universidade de Vigo
Top Papers
- 1
- 2Formal Verification for Task Description Languages. A Petri Net Approach12 citations · 2019
- 3
Key Collaborators
Related papers
- Formal Verification for Task Description Languages. A Petri Net Approach
- Middleware Control Systems Design and Analysis Using Message Interpreted Petri Nets (MIPN)
- Distributed Petri nets for model-driven verifiable robotic applications in ROS
- Modelling, analysis and execution of multi-robot tasks using Petri nets
- DiNeROS: A Model-Driven Framework for Verifiable ROS Applications with Petri Nets
Researchers in this area
Labs working in this area
Suggested by topic similarity — not advertising or endorsement.
Not generated yet