Scholarly Index

Bruno C. d. S. Oliveira

University of Hong Kong; 1,115 total citations; 100 total publications; best world rank #16

University of Hong Kong

1,115Total citations
100Total publications
19H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Logic, programming, and type systemsLifetime366CN 695.71
Logic, programming, and type systems2021-202516CN 194.74
Formal Methods in Verification2021-2025102CN 2489.38
Logic, Reasoning, and Knowledge2021-2025194CN 578.74
Model-Driven Software Engineering Techniques2021-2025769CN 6222.65