Bor-Yuh Evan Chang
Papers
2
Total Citations
22
H-Index
2
About
No biography available yet.
Research Focus
Theoretical computer science2 · 22 citations
Abstraction2 · 22 citations
Algorithm2 · 22 citations
Artificial intelligence2 · 22 citations
Computer science2 · 22 citations
Inference2 · 22 citations
Invariant (physics)2 · 22 citations
Mathematics2 · 22 citations
A priori and a posteriori2 · 22 citations
Process calculus1 · 4 citations
Key Achievements
2
H-Index
2
Papers
22
Total Citations
11
Avg Citations/Paper
🏆 Most Cited Paper
Invariant Generation for Parametrized Systems Using Self-reflection
18 citations · 2012
📈 Most Prolific Year: 2012 (2 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: University of Colorado Boulder
Top Papers
- 1Invariant Generation for Parametrized Systems Using Self-reflection18 citations · 2012
- 2
Key Collaborators
Not generated yet