Top1000 Scholar

Scholarly Index

Alessandro Cimatti

Fondazione Bruno Kessler; 5,749 total citations; 202 total publications; best world rank #50

Fondazione Bruno Kessler

5,749Total citations
202Total publications
36H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Model-Driven Software Engineering TechniquesLifetime50IT 398.56
Formal Methods in VerificationLifetime85IT 498.80
Software Testing and Debugging TechniquesLifetime258IT 1197.53
AI-based Problem Solving and PlanningLifetime188IT 496.07
Logic, programming, and type systemsLifetime370IT 1295.66
Constraint Satisfaction and OptimizationLifetime257IT 1992.51
Software Reliability and Analysis ResearchLifetime915IT 4993.10
Advanced Software Engineering MethodologiesLifetime939IT 7393.03
Real-Time Systems SchedulingLifetime764IT 5491.72
Logic, Reasoning, and KnowledgeLifetime724IT 6292.04
Petri Nets in System ModelingLifetime946IT 9386.24
Safety Systems Engineering in AutonomyLifetime501IT 2078.60
Formal Methods in Verification2021-202596IT 690.16
Logic, programming, and type systems2021-2025186IT 1175.91
Petri Nets in System Modeling2021-2025258IT 1657.71
Model-Driven Software Engineering Techniques2021-2025567IT 3438.32
Advanced Software Engineering Methodologies2021-2025894IT 7635.39
Safety Systems Engineering in Autonomy2021-2025498IT 2334.28
AI-based Problem Solving and Planning2021-2025516IT 3427.03