Scholarly Index

Angelo Montanari

Universidade Federal de Alfenas; 2,998 total citations; 213 total publications; best world rank #189

Universidade Federal de Alfenas

2,998Total citations
213Total publications
27H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Logic, Reasoning, and KnowledgeLifetime311BR 295.89
Formal Methods in VerificationLifetime557BR 495.19
Constraint Satisfaction and OptimizationLifetime189BR 294.02
Logic, programming, and type systemsLifetime498BR 194.47
Formal Methods in Verification2021-2025291BR 577.66
Logic, Reasoning, and Knowledge2021-2025361BR 367.77
Logic, programming, and type systems2021-2025354BR 363.73
Model-Driven Software Engineering Techniques2021-2025644BR 1232.67
AI-based Problem Solving and Planning2021-2025543BR 623.76