Qizhan Tam
Papers
1
Total Citations
14
H-Index
1
About
No biography available yet.
Research Focus
Algorithm1 · 14 citations
Computer science1 · 14 citations
Controller (irrigation)1 · 14 citations
Model checking1 · 14 citations
Programming language1 · 14 citations
Reachability1 · 14 citations
Reachability problem1 · 14 citations
Sequence (biology)1 · 14 citations
Set (abstract data type)1 · 14 citations
State (computer science)1 · 14 citations
Temporal logic1 · 14 citations
Theoretical computer science1 · 14 citations
Key Achievements
1
H-Index
1
Papers
14
Total Citations
14
Avg Citations/Paper
🏆 Most Cited Paper
Signal Temporal Logic Meets Reachability: Connections and Applications
14 citations · 2020
📈 Most Prolific Year: 2020 (1 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: Stanford University
Top Papers
- 1Signal Temporal Logic Meets Reachability: Connections and Applications14 citations · 2020
Key Collaborators
Not generated yet