Papers
2
Total Citations
17
H-Index
2
About
No biography available yet.
Research Focus
Computer science2 · 17 citations
Mathematics1 · 12 citations
Algorithm1 · 12 citations
Graph1 · 12 citations
Artificial intelligence1 · 12 citations
Mathematical optimization1 · 12 citations
Control theory (sociology)1 · 12 citations
Corollary1 · 12 citations
Bounded function1 · 12 citations
Dependency (UML)1 · 12 citations
Discrete mathematics1 · 12 citations
Model checking1 · 12 citations
Key Achievements
2
H-Index
2
Papers
17
Total Citations
9
Avg Citations/Paper
🏆 Most Cited Paper
Guaranteed-Safe Approximate Reachability via State Dependency-Based Decomposition
12 citations · 2020
📈 Most Prolific Year: 2020 (1 Papers)
🤝 Key Collaborators: 7
🏛 Institutions: Simon Fraser University, Zhejiang University of Technology
Top Papers
- 1
- 2
Key Collaborators
Not generated yet