Papers
1
Total Citations
4
H-Index
1
About
No biography available yet.
Research Focus
Algorithm1 · 4 citations
Artificial intelligence1 · 4 citations
Automated theorem proving1 · 4 citations
Bond graph1 · 4 citations
Computer science1 · 4 citations
Formal verification1 · 4 citations
Graph1 · 4 citations
HOL1 · 4 citations
MATLAB1 · 4 citations
Machine learning1 · 4 citations
Mathematics1 · 4 citations
Mechatronics1 · 4 citations
Key Achievements
1
H-Index
1
Papers
4
Total Citations
4
Avg Citations/Paper
🏆 Most Cited Paper
Formalization of bond graph using higher-order-logic theorem proving
4 citations · 2021
📈 Most Prolific Year: 2021 (1 Papers)
🤝 Key Collaborators: 2
🏛 Institutions: National University of Sciences and Technology
Top Papers
- 1Formalization of bond graph using higher-order-logic theorem proving4 citations · 2021
Key Collaborators
Not generated yet