Papers
1
Total Citations
5
H-Index
1
About
No biography available yet.
Research Focus
Artificial intelligence1 · 5 citations
Automaton1 · 5 citations
Computer science1 · 5 citations
Consistency (knowledge bases)1 · 5 citations
Formal methods1 · 5 citations
Formal verification1 · 5 citations
Hybrid automaton1 · 5 citations
Liveness1 · 5 citations
Model checking1 · 5 citations
Model transformation1 · 5 citations
Notation1 · 5 citations
Programming language1 · 5 citations
Key Achievements
1
H-Index
1
Papers
5
Total Citations
5
Avg Citations/Paper
🏆 Most Cited Paper
Transforming RoboSim Models into UPPAAL
5 citations · 2021
📈 Most Prolific Year: 2021 (1 Papers)
🤝 Key Collaborators: 5
🏛 Institutions: Shanghai Key Laboratory of Trustworthy Computing
Top Papers
- 1Transforming RoboSim Models into UPPAAL5 citations · 2021
Key Collaborators
Not generated yet