Scholarly Index

Zena M. Ariola

University of Oregon; 1,143 total citations; 59 total publications; best world rank #373

University of Oregon

1,143Total citations
59Total publications
19H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Logic, programming, and type systemsLifetime373US 14195.64
Formal Methods in VerificationLifetime597US 21994.95
Logic, Reasoning, and KnowledgeLifetime963US 26290.20
Logic, programming, and type systems2021-2025946US 16331.45