Expressive policy analysis with enhanced system dynamicity R Craven, J Lobo, J Ma, A Russo, E Lupu, A Bandara Proceedings of the 4th International Symposium on Information, Computer, and …, 2009 | 108 | 2009 |
Towards making network function virtualization a cloud computing service W Rankothge, J Ma, F Le, A Russo, J Lobo 2015 IFIP/IEEE International Symposium on Integrated Network Management (IM …, 2015 | 107 | 2015 |
Rumpole: a flexible break-glass access control model S Marinovic, R Craven, J Ma, N Dulay Proceedings of the 16th ACM symposium on Access control models and …, 2011 | 80 | 2011 |
Detecting distributed signature-based intrusion: The case of multi-path routing attacks J Ma, F Le, A Russo, J Lobo 2015 IEEE Conference on Computer Communications (INFOCOM), 558-566, 2015 | 39 | 2015 |
An epistemic event calculus for asp-based reasoning about knowledge of the past, present and future J Ma, R Miller, L Morgenstern, T Patkos EPiC Series in Computing 26, 75-87, 2014 | 31 | 2014 |
DARE: a system for distributed abductive reasoning J Ma, A Russo, K Broda, K Clark Autonomous Agents and Multi-Agent Systems 16, 271-297, 2008 | 28 | 2008 |
Pandora: A reasoning toolbox using natural deduction style K Broda, J Ma, G Sinnadurai, A Summers Logic Journal of the IGPL 15 (4), 293-304, 2007 | 28 | 2007 |
Learning to recognise disruptive smartphone notifications J Smith, A Lavygina, J Ma, A Russo, N Dulay Proceedings of the 16th international conference on Human-computer …, 2014 | 26 | 2014 |
A declarative approach to distributed computing: Specification, execution and analysis J Ma, F Le, D Wood, A Russo, J Lobo Theory and Practice of Logic Programming 13 (4-5), 815-830, 2013 | 13 | 2013 |
A formal framework for policy analysis R Craven, J Lobo, E Lupu, J Ma, A Russo, M Sloman, A Bandara Imperial College London, Tech. Rep, 2008 | 12 | 2008 |
Speculative abductive reasoning for hierarchical agent systems J Ma, K Broda, R Goebel, H Hosobe, A Russo, K Satoh Computational Logic in Multi-Agent Systems: 11th International Workshop …, 2010 | 11 | 2010 |
An overview of a load balancer architecture for vnf chains horizontal scaling J Ma, W Rankothge, C Makaya, M Morales, F Le, J Lobo 2018 14th International Conference on Network and Service Management (CNSM …, 2018 | 10 | 2018 |
Declarative distributed computing J Lobo, J Ma, A Russo, F Le Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz …, 2012 | 10 | 2012 |
Distributed abductive reasoning with constraints J Ma, K Broda, A Russo, E Lupu Declarative Agent Languages and Technologies VIII: 8th International …, 2011 | 10 | 2011 |
A comprehensive study on load balancers for vnf chains horizontal scaling J Ma, W Rankothge, C Makaya, M Morales, F Le, J Lobo arXiv preprint arXiv:1810.03238, 2018 | 9 | 2018 |
An expressive policy analysis framework with enhanced system dynamicity R Craven, E Lupu, J Lobo, A Bandara, S Calo, J Ma, A Russo, M Sloman Technical Report, Department of Computing, Imperial College London, 2008 | 9 | 2008 |
Refinement of history-based policies J Lobo, J Ma, A Russo, E Lupu, S Calo, M Sloman Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning …, 2011 | 7 | 2011 |
Speculative constraint processing for hierarchical agents H Hosobe, K Satoh, J Ma, A Russo, K Broda Ai Communications 23 (4), 373-388, 2010 | 7 | 2010 |
Declarative framework for specification, simulation and analysis of distributed applications J Ma, F Le, A Russo, J Lobo IEEE Transactions on Knowledge and Data Engineering 28 (6), 1489-1502, 2016 | 6 | 2016 |
Multi-agent confidential abductive reasoning J Ma, A Russo, K Broda, E Lupu Technical Communications of the 27th International Conference on Logic …, 2011 | 6 | 2011 |