R. Gerber

University of Maryland, College Park, University of Pennsylvania

论文数

3

总引用数

89

H-Index

2

关于

暂无简介。

研究焦点

Programming language3 · 89 次引用
Computer science3 · 89 次引用
Semantics (computer science)2 · 87 次引用
Theoretical computer science2 · 87 次引用
Computation2 · 87 次引用
Model checking1 · 51 次引用
Correctness1 · 51 次引用
Schema (genetic algorithms)1 · 51 次引用
Information retrieval1 · 51 次引用
Process (computing)1 · 51 次引用
Reachability1 · 51 次引用
Artificial intelligence1 · 36 次引用

主要成就

2
H 指数
3
论文
89
总引用数
30
篇均引用
🏆 最高被引论文
A layered approach to automating the verification of real-time systems
51 次引用 · 1992
📈 最高产年份: 1992 (1 论文)
🤝 主要合作者: 3
🏛 所属机构: University of Maryland, College Park, University of Pennsylvania

代表论文

  1. 1
    A layered approach to automating the verification of real-time systems
    51 次引用 · 1992
  2. 2
    Communicating shared resources: a model for distributed real-time systems
    36 次引用 · 2003
  3. 3
    Compiler support for real-time programs
    2 次引用 · 1995

主要合作者

ILI. Lee1 篇合著论文ILI. Lee1 篇合著论文SHSeongsoo Hong1 篇合著论文
尚未生成