William C. Rounds

University of Michigan–Ann Arbor

论文数

3

总引用数

19

H-Index

3

关于

暂无简介。

研究焦点

Computer science3 · 19 次引用
Programming language2 · 15 次引用
Semantics (computer science)1 · 12 次引用
Natural deduction1 · 12 次引用
Proof calculus1 · 12 次引用
Description logic1 · 12 次引用
Higher-order logic1 · 12 次引用
Algorithm1 · 12 次引用
Modal1 · 12 次引用
Modal logic1 · 12 次引用
Calculus (dental)1 · 12 次引用
Theoretical computer science1 · 12 次引用

主要成就

3
H 指数
3
论文
19
总引用数
6
篇均引用
🏆 最高被引论文
A Spatial Logic for the Hybrid π-Calculus
12 次引用 · 2004
📈 最高产年份: 2004 (1 论文)
🤝 主要合作者: 4
🏛 所属机构: University of Michigan–Ann Arbor

代表论文

  1. 1
    A Spatial Logic for the Hybrid π-Calculus
    12 次引用 · 2004
  2. 2
    Decentralized phase regulation of cyclic robotic systems
    4 次引用 · 2001
  3. 3
    Formal specification and *verification of reconfigurable hybrid systems.
    3 次引用 · 2005

主要合作者

DEDaniel E. Koditschek1 篇合著论文HSHosung Song1 篇合著论文KJKevin J. Compton1 篇合著论文EKEric Klavins1 篇合著论文
尚未生成