Papers
2
Total Citations
20
H-Index
2
About
No biography available yet.
Research Focus
Computer science2 · 20 citations
Theoretical computer science2 · 20 citations
Higher-order logic1 · 14 citations
Fractional calculus1 · 14 citations
HOL1 · 14 citations
Applied mathematics1 · 14 citations
Differentiator1 · 14 citations
Automated theorem proving1 · 14 citations
Algorithm1 · 14 citations
Algebra over a field1 · 14 citations
Calculus (dental)1 · 14 citations
Fractional-order system1 · 14 citations
Key Achievements
2
H-Index
2
Papers
20
Total Citations
10
Avg Citations/Paper
🏆 Most Cited Paper
Formal analysis of fractional order systems in HOL
14 citations · 2011
📈 Most Prolific Year: 2011 (1 Papers)
🤝 Key Collaborators: 2
🏛 Institutions: National University of Sciences and Technology, Concordia University
Top Papers
- 1Formal analysis of fractional order systems in HOL14 citations · 2011
- 2Formal modeling and verification of integrated photonic systems6 citations · 2015
Key Collaborators
Not generated yet