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
|