Statistics
Publications
39
Citations
1.5K
H-Index
20
Active since
1998
Michael Huth is an author at Imperial College London specializing in computing, computer science, and formal methods.
Publications per year
1998–2021
39
39
Future developments in cyber risk assessment for the internet of things
Petar Radanliev, David De Roure, Răzvan Nicolescu et al. · Computers in Industry · 2018 · 170 citations · Full text
Quantitative analysis and model checking
Michael Huth, Marta Kwiatkowska · 2002 · 139 citations
Răzvan Nicolescu, Michael Huth, Petar Radanliev et al. · Journal of Information Technology · 2018 · 107 citations · Full text
Relationship-based access control
Glenn Bruns, Philip W. L. Fong, Ida Siahaan et al. · 2012 · 75 citations
1–5 of 39