Jiefei Ma
Jiefei Ma
Research Associate in Computing, Imperial College London
Dirección de correo verificada de imperial.ac.uk - Página principal
TítuloCitado porAño
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
862009
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
522015
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
492011
DARE: a system for distributed abductive reasoning
J Ma, A Russo, K Broda, K Clark
Autonomous Agents and Multi-Agent Systems 16 (3), 271-297, 2008
242008
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
202007
An Epistemic Event Calculus for ASP-based Reasoning About Knowledge of the Past, Present and Future.
J Ma, R Miller, L Morgenstern, T Patkos
LPAR (short papers), 75-87, 2013
182013
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
162014
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
132015
BBN's Systems for the Chinese-English Sub-task of the NTCIR-9 PatentMT Evaluation.
JZ Ma, S Matsoukas
NTCIR, 2011
132011
Declarative distributed computing
J Lobo, J Ma, A Russo, F Le
Correct Reasoning, 454-470, 2012
112012
Distributed abductive reasoning with constraints
J Ma, K Broda, A Russo, E Lupu
International Workshop on Declarative Agent Languages and Technologies, 148-166, 2010
102010
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
102008
Speculative abductive reasoning for hierarchical agent systems
J Ma, K Broda, R Goebel, H Hosobe, A Russo, K Satoh
International Workshop on Computational Logic in Multi-Agent Systems, 49-64, 2010
92010
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
92008
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
82013
Refinement of history-based policies
J Lobo, J Ma, A Russo, E Lupu, S Calo, M Sloman
Logic programming, knowledge representation, and nonmonotonic reasoning, 280-299, 2011
72011
Multi-agent confidential abductive reasoning
J Ma, A Russo, K Broda, E Lupu
Technical Communications of the 27th International Conference on Logic …, 2011
62011
Speculative constraint processing for hierarchical agents
H Hosobe, K Satoh, J Ma, A Russo, K Broda
Ai Communications 23 (4), 373-388, 2010
52010
Multi-agent planning with confidentiality
J Ma, A Russo, K Broda, E Lupu
Proceedings of The 8th International Conference on Autonomous Agents and …, 2009
52009
Distributed abductive reasoning system and abduction in the small
J Ma, K Broda, A Russo
MEng] Computing Final Year Project Report, 2007
32007
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20