Ana Ozaki
论文数
1
总引用数
6
H-Index
1
关于
暂无简介。
研究焦点
Algorithm1 · 6 次引用
Computation tree logic1 · 6 次引用
Computer science1 · 6 次引用
Discrete mathematics1 · 6 次引用
Dynamic logic (digital electronics)1 · 6 次引用
Interval temporal logic1 · 6 次引用
Linear temporal logic1 · 6 次引用
Mathematics1 · 6 次引用
Metric (unit)1 · 6 次引用
Model checking1 · 6 次引用
Monotonic function1 · 6 次引用
Satisfiability1 · 6 次引用
主要成就
1
H 指数
1
论文
6
总引用数
6
篇均引用
🏆 最高被引论文
Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations
6 次引用 · 2020
📈 最高产年份: 2020 (1 论文)
🤝 主要合作者: 2
🏛 所属机构: Free University of Bozen-Bolzano
代表论文
- 1
主要合作者
尚未生成