Tzu-Han Hsu
Papers
2
Total Citations
43
H-Index
2
About
No biography available yet.
Research Focus
Programming language2 · 43 citations
Computer science2 · 43 citations
Mathematics2 · 43 citations
Model checking2 · 43 citations
Bounded function2 · 43 citations
Property (philosophy)1 · 34 citations
Set (abstract data type)1 · 34 citations
Theoretical computer science1 · 34 citations
Algorithm1 · 34 citations
Variety (cybernetics)1 · 34 citations
Artificial intelligence1 · 34 citations
Counterexample1 · 34 citations
Key Achievements
2
H-Index
2
Papers
43
Total Citations
22
Avg Citations/Paper
🏆 Most Cited Paper
Bounded Model Checking for Hyperproperties
34 citations · 2021
📈 Most Prolific Year: 2021 (2 Papers)
🤝 Key Collaborators: 2
🏛 Institutions: Michigan State University
Top Papers
- 1Bounded Model Checking for Hyperproperties34 citations · 2021
- 2Bounded Model Checking for Hyperproperties9 citations · 2021
Key Collaborators
Not generated yet