Jiefei Ma
Jiefei Ma
Research Associate in Computing, Imperial College London
確認したメール アドレス: imperial.ac.uk - ホームページ
タイトル
引用先
引用先
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
972009
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
872015
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
672011
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
282008
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
252015
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
232014
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
222007
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
212014
BBN's Systems for the Chinese-English Sub-task of the NTCIR-9 PatentMT Evaluation.
JZ Ma, S Matsoukas
NTCIR, 2011
142011
Declarative distributed computing
J Lobo, J Ma, A Russo, F Le
Correct Reasoning, 454-470, 2012
112012
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
102010
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
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
102008
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
92013
A hierarchical method for solving soft nonlinear constraints
H Hosobe
Procedia Computer Science 62, 378-384, 2015
72015
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
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20