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