Ahmed Gario

University of Denver

Papers

3

Total Citations

20

H-Index

3

About

No biography available yet.

Research Focus

Test case3 · 20 citations
Theoretical computer science3 · 20 citations
Artificial intelligence3 · 20 citations
Executable3 · 20 citations
Machine learning3 · 20 citations
Computer science3 · 20 citations
Model-based testing3 · 20 citations
Programming language3 · 20 citations
Robot3 · 20 citations
Test (biology)3 · 20 citations
Graph2 · 16 citations
Petri net2 · 16 citations

Key Achievements

3
H-Index
3
Papers
20
Total Citations
7
Avg Citations/Paper
🏆 Most Cited Paper
World Model for Testing Autonomous Systems Using Petri Nets
9 citations · 2016
📈 Most Prolific Year: 2016 (2 Papers)
🤝 Key Collaborators: 2
🏛 Institutions: University of Denver

Top Papers

  1. 1
    World Model for Testing Autonomous Systems Using Petri Nets
    9 citations · 2016
  2. 2
    World Model for Testing Urban Search and Rescue (USAR) Robots using Petri Nets
    7 citations · 2016
  3. 3
    Active World Model for Testing Autonomous Systems Using CEFSM.
    4 citations · 2015

Key Collaborators

AAAnneliese Andrews3 shared papersMAMahmoud Abdelgawad3 shared papers
Not generated yet