Ernest Bonnah

University of Missouri

论文数

3

总引用数

23

H-Index

3

关于

暂无简介。

研究焦点

Programming language3 · 23 次引用
Linear temporal logic3 · 23 次引用
Model checking3 · 23 次引用
Computer science3 · 23 次引用
Temporal logic3 · 23 次引用
Operating system2 · 15 次引用
Window (computing)2 · 15 次引用
Artificial intelligence1 · 12 次引用
Real-time computing1 · 12 次引用
Automaton1 · 12 次引用
Formal verification1 · 12 次引用
Embedded system1 · 12 次引用

主要成就

3
H 指数
3
论文
23
总引用数
8
篇均引用
🏆 最高被引论文
Runtime Monitoring of Time Window Temporal Logic
12 次引用 · 2022
📈 最高产年份: 2023 (2 论文)
🤝 主要合作者: 2
🏛 所属机构: University of Missouri

代表论文

  1. 1
    Runtime Monitoring of Time Window Temporal Logic
    12 次引用 · 2022
  2. 2
    Motion Planning Using Hyperproperties for Time Window Temporal Logic
    8 次引用 · 2023
  3. 3
    Model Checking Time Window Temporal Logic for Hyperproperties
    3 次引用 · 2023

主要合作者

KAKhaza Anuarul Hoque3 篇合著论文LVLuan Viet Nguyen2 篇合著论文
尚未生成