Scholarly Index

Franco Barbanera

University of Catania; 794 total citations; 66 total publications; best world rank #324

University of Catania

794Total citations
66Total publications
14H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Logic, programming, and type systemsLifetime775IT 3892.11
Logic, programming, and type systems2021-2025324IT 2065.38
Formal Methods in Verification2021-2025567IT 3965.18