William R. Harris
Papers
1
Total Citations
8
H-Index
1
About
No biography available yet.
Research Focus
Computer science1 · 8 citations
Controller (irrigation)1 · 8 citations
Core (optical fiber)1 · 8 citations
Debugging1 · 8 citations
Embedded system1 · 8 citations
Information flow1 · 8 citations
Interface (matter)1 · 8 citations
Operating system1 · 8 citations
Programming language1 · 8 citations
Theoretical computer science1 · 8 citations
Key Achievements
1
H-Index
1
Papers
8
Total Citations
8
Avg Citations/Paper
🏆 Most Cited Paper
Proving Flow Security of Sequential Logic via Automatically-Synthesized Relational Invariants
8 citations · 2017
📈 Most Prolific Year: 2017 (1 Papers)
🤝 Key Collaborators: 2
🏛 Institutions: Georgia Institute of Technology
Top Papers
- 1
Key Collaborators
Not generated yet