Scholarly Index

Bernardo Toninho

University of Lisbon; 586 total citations; 27 total publications; best world rank #183

University of Lisbon

586Total citations
27Total publications
11H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Logic, programming, and type systems2021-2025183PT 276.29
Logic, Reasoning, and Knowledge2021-2025245PT 274.60
Formal Methods in Verification2021-2025413PT 172.13