Ana Ozaki
Papers
1
Total Citations
6
H-Index
1
About
No biography available yet.
Research Focus
Algorithm1 · 6 citations
Computation tree logic1 · 6 citations
Computer science1 · 6 citations
Discrete mathematics1 · 6 citations
Dynamic logic (digital electronics)1 · 6 citations
Interval temporal logic1 · 6 citations
Linear temporal logic1 · 6 citations
Mathematics1 · 6 citations
Metric (unit)1 · 6 citations
Model checking1 · 6 citations
Monotonic function1 · 6 citations
Satisfiability1 · 6 citations
Key Achievements
1
H-Index
1
Papers
6
Total Citations
6
Avg Citations/Paper
🏆 Most Cited Paper
Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations
6 citations · 2020
📈 Most Prolific Year: 2020 (1 Papers)
🤝 Key Collaborators: 2
🏛 Institutions: Free University of Bozen-Bolzano
Top Papers
- 1
Key Collaborators
Not generated yet