Top1000 Scholar

Scholarly Index

Olivier Danvy

National University of Singapore; 5,324 total citations; 215 total publications; best world rank #51

National University of Singapore

5,324Total citations
215Total publications
36H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Logic, programming, and type systemsLifetime51SG 198.95
Formal Methods in VerificationLifetime116SG 198.57
Logic, Reasoning, and KnowledgeLifetime124SG 198.10
Parallel Computing and Optimization TechniquesLifetime672SG 797.58
Algorithms and Data CompressionLifetime693SG 893.56
Software Engineering ResearchLifetime997SG 1294.70
Computability, Logic, AI AlgorithmsLifetime312SG 393.13
Model-Driven Software Engineering TechniquesLifetime496SG 492.68
semigroups and automata theoryLifetime464SG 392.20
Mathematics, Computing, and Information ProcessingLifetime773SG 451.74
Logic, programming, and type systems2021-2025330SG 264.88