Imperial College London


Faculty of EngineeringDepartment of Computing

Professor of Computer Science



+44 (0)20 7594 8355m.huth Website




E364ACE ExtensionSouth Kensington Campus




Selected Publications

Journal Articles

Antonik A, Huth M, Larsen KG, et al., 2010, Modal and mixed specifications: key decision problems and their complexities, Mathematical Structures in Computer Science, Vol:20, ISSN:0960-1295, Pages:75-103

Bruns G, Huth M, 2011, Access Control via Belnap Logic: Intuitive, Expressive, and Analyzable Policy Composition, ACM Transactions on Information and System Security, Vol:14, ISSN:1094-9224

Wagner D, Piterman N, Huth M, et al., 2009, PCTL Model Checking of Markov Chains: Truth and Falsity as Winning Strategies in Games, Performance Evaluation, Vol:67, ISSN:0166-5316, Pages:858-872


Huth, M., Ryan, M., 2004, Logic in computer science: modelling and reasoning about systems, Cambridge University Press, ISBN:9780521543101


Crampton J, Huth M, 2010, An Authorization Framework Resilient to Policy Evaluation Failures, 15th European Symposium on Research in Computer Security, SPRINGER-VERLAG BERLIN, Pages:472-+, ISSN:0302-9743

Huth, M., Jagadeesan, R., Schmidt, D., 2001, Modal transition systems: a foundation for three-valued program analysis, Programming languages and systems, proceedings, Springer-Verlag, Berlin, Pages:155-169

Pasareanu CS, Dwyer MB, Huth M, 1999, Assume-Guarantee Model Checking of Software: A Comparative Case Study., Springer, Pages:168-183

Godefroid, P., Huth, M., 2005, Model checking vs. generalized model checking: semantic minimization for temporal logics, Twentieth Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, Chicago, Pages:158-167, ISSN:1043-6871

Charlton N, Huth M, 2007, Hector: software model checking with cooperating analysis plugins, Computer Aided Verification (CAV 2007), Springer

More Publications