Hussein Zedan
Papers
1
Total Citations
6
H-Index
1
About
No biography available yet.
Research Focus
Artificial intelligence1 · 6 citations
Code generation1 · 6 citations
Computer science1 · 6 citations
Formal verification1 · 6 citations
Formalism (music)1 · 6 citations
Operating system1 · 6 citations
Programming language1 · 6 citations
Representation (politics)1 · 6 citations
Robot1 · 6 citations
Temporal logic1 · 6 citations
Theoretical computer science1 · 6 citations
Key Achievements
1
H-Index
1
Papers
6
Total Citations
6
Avg Citations/Paper
🏆 Most Cited Paper
Designing a provably correct robt control system using a ‘lean’ formal method
6 citations · 1998
📈 Most Prolific Year: 1998 (1 Papers)
🤝 Key Collaborators: 2
🏛 Institutions: De Montfort University
Top Papers
- 1
Key Collaborators
Not generated yet