Eman Rabiah Rabiah
Papers
1
Total Citations
4
H-Index
1
About
No biography available yet.
Research Focus
Algorithm1 · 4 citations
Computer science1 · 4 citations
Executable1 · 4 citations
Formal methods1 · 4 citations
Formal specification1 · 4 citations
Formal verification1 · 4 citations
Java1 · 4 citations
Language Of Temporal Ordering Specification1 · 4 citations
Predicate (mathematical logic)1 · 4 citations
Programming language1 · 4 citations
Refinement1 · 4 citations
Specification language1 · 4 citations
Key Achievements
1
H-Index
1
Papers
4
Total Citations
4
Avg Citations/Paper
🏆 Most Cited Paper
Formal specification, refinement, and implementation of path planning
4 citations · 2016
📈 Most Prolific Year: 2016 (1 Papers)
🤝 Key Collaborators: 1
🏛 Institutions: United Arab Emirates University
Top Papers
- 1Formal specification, refinement, and implementation of path planning4 citations · 2016
Key Collaborators
Not generated yet