William C. Rounds
Papers
3
Total Citations
19
H-Index
3
About
No biography available yet.
Research Focus
Computer science3 · 19 citations
Programming language2 · 15 citations
Semantics (computer science)1 · 12 citations
Natural deduction1 · 12 citations
Proof calculus1 · 12 citations
Description logic1 · 12 citations
Higher-order logic1 · 12 citations
Algorithm1 · 12 citations
Modal1 · 12 citations
Modal logic1 · 12 citations
Calculus (dental)1 · 12 citations
Theoretical computer science1 · 12 citations
Key Achievements
3
H-Index
3
Papers
19
Total Citations
6
Avg Citations/Paper
🏆 Most Cited Paper
A Spatial Logic for the Hybrid π-Calculus
12 citations · 2004
📈 Most Prolific Year: 2004 (1 Papers)
🤝 Key Collaborators: 4
🏛 Institutions: University of Michigan–Ann Arbor
Top Papers
- 1A Spatial Logic for the Hybrid π-Calculus12 citations · 2004
- 2Decentralized phase regulation of cyclic robotic systems4 citations · 2001
- 3Formal specification and *verification of reconfigurable hybrid systems.3 citations · 2005
Key Collaborators
Not generated yet