E. M. Clarke

Carnegie Mellon University

论文数

3

总引用数

86

H-Index

3

关于

暂无简介。

研究焦点

Computer science3 · 86 次引用
Programming language3 · 86 次引用
Model checking2 · 58 次引用
Finite-state machine2 · 58 次引用
Theoretical computer science2 · 58 次引用
State (computer science)2 · 58 次引用
Algorithm1 · 46 次引用
Binary decision diagram1 · 46 次引用
Embedded system1 · 46 次引用
Graph1 · 46 次引用
Interval (graph theory)1 · 46 次引用
Real-time operating system1 · 46 次引用

主要成就

3
H 指数
3
论文
86
总引用数
29
篇均引用
🏆 最高被引论文
Verus
46 次引用 · 1995
📈 最高产年份: 1995 (2 论文)
🤝 主要合作者: 5
🏛 所属机构: Carnegie Mellon University

代表论文

  1. 1
    Verus
    46 次引用 · 1995
  2. 2
    Verus
    28 次引用 · 1995
  3. 3
    Deadlock prevention in flexible manufacturing systems using symbolic model checking
    12 次引用 · 2002

主要合作者

SCSérgio Campos3 篇合著论文MMMarius Minea2 篇合著论文WMW. Marrero1 篇合著论文VHV. Hartonas-Garmhausen1 篇合著论文WMW. Marrero1 篇合著论文
尚未生成