Alessandro Cimatti - Top Italian Scientist in Computer Sciences
Formal Verification
Model Checking
SMT
Planning
FDIR
| Rank: | 61 |
| H-Index: | 66 |
| Citations: | 24845 |
| Nation: | Italy |
| Area: | computer sciences |
| Macroarea: | Computer Sciences |
| Italian Institution(s): | Fondazione Bruno Kessler |
| Rank: 61 |
| H-Index: 66 |
| Citations: 24845 |
| Nation: Italy |
| Area: computer sciences |
| Macroarea: Computer Sciences |
| Italian Institution(s): Fondazione Bruno Kessler |