Top1000 Scholar

Scholarly Index

Ugo Dal Lago

Institut national de recherche en sciences et technologies du numérique; 1,159 total citations; 107 total publications; best world rank #28

Institut national de recherche en sciences et technologies du numérique

1,159Total citations
107Total publications
20H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Logic, programming, and type systemsLifetime316FR 1596.11
Logic, Reasoning, and KnowledgeLifetime385FR 1995.14
Formal Methods in VerificationLifetime621FR 2894.82
Computability, Logic, AI AlgorithmsLifetime504FR 1990.23
Logic, programming, and type systems2021-202528FR 293.40
Formal Methods in Verification2021-2025229FR 882.01
Computability, Logic, AI Algorithms2021-2025121FR 270.39
Logic, Reasoning, and Knowledge2021-2025274FR 1372.78
Advanced Algebra and Logic2021-2025765FR 1147.59