| Evaluating access control policies through model checking N Zhang, M Ryan, DP Guelev International Conference on Information Security, 446-460, 2005 | 154 | 2005 |
| Model-checking access control policies DP Guelev, M Ryan, PY Schobbens International Conference on Information Security, 219-230, 2004 | 105 | 2004 |
| Synthesising verified access control systems in XACML N Zhang, M Ryan, DP Guelev Proceedings of the 2004 ACM workshop on Formal methods in security …, 2004 | 87 | 2004 |
| Synthesising verified access control systems through model checking N Zhang, M Ryan, DP Guelev Journal of Computer Security 16 (1), 1-61, 2008 | 75 | 2008 |
| An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking DP Guelev, C Dima, C Enea Journal of Applied Non-Classical Logics 21 (1), 93-131, 2011 | 48 | 2011 |
| Completeness and decidability of a fragment of duration calculus with iteration D Van Hung, D Guelev Advances in Computing Science—ASIAN’99, 783-783, 1999 | 33* | 1999 |
| Model-checking an alternating-time temporal logic with knowledge, imperfect information, perfect recall and communicating coalitions CÄ Dima, C Enea, D Guelev Arxiv preprint arXiv:1006.1414, 2010 | 32 | 2010 |
| Prefix and projection onto state in duration calculus DP Guelev, D Van Hung Electronic Notes in Theoretical Computer Science 65 (6), 101-119, 2002 | 25 | 2002 |
| On the completeness and decidability of duration calculus with iteration DP Guelev, D Van Hung Theoretical Computer Science 337 (1-3), 278-304, 2005 | 24 | 2005 |
| A higher-order duration calculus Z Chaochen, DP Guelev, Z Naijun Millenial Perspectives in Computer Science. Proceedings of the 1999 Oxford …, 2000 | 23 | 2000 |
| A calculus of durations on abstract domains: Completeness and extensions DP Guelev Technical Report 139, UNU/IIST, PO Box 3058, Macau, 1998 | 23 | 1998 |
| An assume/guarantee based compositional calculus for hybrid CSP S Wang, N Zhan, D Guelev Theory and Applications of Models of Computation: 9th Annual Conference …, 2012 | 22 | 2012 |
| A complete proof system for first-order interval temporal logic with projection DP Guelev Journal of Logic and Computation 14 (2), 215-249, 2004 | 20* | 2004 |
| Probabilistic neighbourhood logic DP Guelev International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2000 | 20 | 2000 |
| A Complete Fragment of Higher-order Duration μ-calculus DP Guelev International Conference on Foundations of Software Technology and …, 2000 | 19 | 2000 |
| Epistemic ATL with perfect recall, past and strategy contexts DP Guelev, C Dima International Workshop on Computational Logic in Multi-Agent Systems, 77-93, 2012 | 14 | 2012 |
| A propositional dynamic logic with qualitative probabilities DP Guelev Journal of philosophical logic 28, 575-604, 1999 | 14 | 1999 |
| Iteration of simple formulas in duration calculus DP Guelev UNU/IIST Report, 1998 | 11 | 1998 |
| Reasoning about QoS contracts in the probabilistic duration calculus DP Guelev, D Van Hung Electronic Notes in Theoretical Computer Science 238 (6), 41-62, 2010 | 9 | 2010 |
| Probabilistic and Temporal Modal Logics DP Guelev Ph. D. thesis, submitted, 2000 | 9 | 2000 |
Mark D. RyanProfessor of Computer Security, University of BirminghamVerified email at cs.bham.ac.uk
