Mark Utting
Scholar

Mark Utting

Google Scholar ID: K-HRIBsAAAAJ
The University of Queensland
Formal methodsModel-Based TestingProgram AnalysisMachine Learning
Citations & Impact
All-time
Citations
978
 
H-index
9
 
i10-index
8
 
Publications
20
 
Co-authors
13
list available
Resume (English only)