Marco Roveri - Top Italian Scientist in Computer Sciences
Model Checking
Formal Methods
automated planning
planning
scheduling
requirements engineering
temporal logic
sat
| Rank: | 189 |
| H-Index: | 46 |
| Citations: | 12404 |
| Nation: | Italy |
| Area: | computer sciences |
| Macroarea: | Computer Sciences |
| Italian Institution(s): | Università degli Studi di Trento |
| Email: | marco.roveri@unitn.it |
| Rank: 189 |
| H-Index: 46 |
| Citations: 12404 |
| Nation: Italy |
| Area: computer sciences |
| Macroarea: Computer Sciences |
| Italian Institution(s): Università degli Studi di Trento |
| Email: marco.roveri@unitn.it |