Pandora: A Reasoning Toolbox using Natural Deduction Style. - Krysia Broda; Jiefei Ma; Gabrielle Sinnadurai; Alexander J. Summers (Log. J. IGPL, 2007)

A Dynamic System for Distributed Reasoning. - Jiefei Ma; Krysia Broda; Alessandra Russo; Keith Clark (AAAI Spring Symposium: Emotion, Personality, and Social Behavior, 2008)

DARE: a system for distributed abductive reasoning. - Jiefei Ma; Alessandra Russo; Krysia Broda; Keith Clark (Auton. Agents Multi Agent Syst., 2008)

Multi-agent planning with confidentiality. - Jiefei Ma; Alessandra Russo; Krysia Broda; Emil Lupu (AAMAS (2), 2009)

Expressive policy analysis with enhanced system dynamicity. - Robert Craven; Jorge Lobo 001; Jiefei Ma; Alessandra Russo; Emil C. Lupu; Arosha K. Bandara (AsiaCCS, 2009)

On the Implementation of Speculative Constraint Processing. - Jiefei Ma; Alessandra Russo; Krysia Broda; Hiroshi Hosobe; Ken Satoh (CLIMA, 2009)

Speculative Abductive Reasoning for Hierarchical Agent Systems. - Jiefei Ma; Krysia Broda; Randy Goebel; Hiroshi Hosobe; Alessandra Russo; Ken Satoh (CLIMA, 2010)

Distributed Abductive Reasoning with Constraints. - Jiefei Ma; Krysia Broda; Alessandra Russo; Emil Lupu (DALT, 2010)

Speculative constraint processing for hierarchical agents. - Hiroshi Hosobe; Ken Satoh; Jiefei Ma; Alessandra Russo; Krysia Broda (AI Commun., 2010)

Multi-agent abductive reasoning with confidentiality. - Jiefei Ma; Alessandra Russo; Krysia Broda; Emil Lupu (AAMAS, 2011)

Refinement of History-Based Policies. - Jorge Lobo 001; Jiefei Ma; Alessandra Russo; Emil Lupu; Seraphin B. Calo; Morris Sloman (Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011)

Multi-agent Confidential Abductive Reasoning. - Jiefei Ma; Alessandra Russo; Krysia Broda; Emil Lupu (ICLP (Technical Communications), 2011)

Rumpole: a flexible break-glass access control model. - Srdjan Marinovic; Robert Craven; Jiefei Ma; Naranker Dulay (SACMAT, 2011)

Declarative Distributed Computing. - Jorge Lobo 001; Jiefei Ma; Alessandra Russo; Franck Le (Correct Reasoning, 2012)

Distributed abductive reasoning : theory, implementation and application. - Jiefei Ma (2012)

An Epistemic Event Calculus for ASP-based Reasoning About Knowledge of the Past, Present and Future. - Jiefei Ma; Rob Miller 002; Leora Morgenstern; Theodore Patkos (LPAR (short papers), 2013)

A declarative approach to distributed computing: Specification, execution and analysis. - Jiefei Ma; Franck Le; David Wood; Alessandra Russo; Jorge Lobo 001 (Theory Pract. Log. Program., 2013)

Learning to recognise disruptive smartphone notifications. - Jeremiah Smith; Anna Lavygina; Jiefei Ma; Alessandra Russo; Naranker Dulay (Mobile HCI, 2014)

Towards making network function virtualization a cloud computing service. - Windhya Rankothge; Jiefei Ma; Franck Le; Alessandra Russo; Jorge Lobo 001 (IM, 2015)

Detecting distributed signature-based intrusion: The case of multi-path routing attacks. - Jiefei Ma; Franck Le; Alessandra Russo; Jorge Lobo 001 (INFOCOM, 2015)

Collaborative Explanation and Response in Assisted Living Environments Enhanced with Humanoid Robots. - Antonis Bikakis; Patrice Caire; Keith Clark; Gary Cornelius; Jiefei Ma; Rob Miller 002; Alessandra Russo; Holger Voos (ICAART (2), 2016)

Declarative Framework for Specification, Simulation and Analysis of Distributed Applications. - Jiefei Ma; Franck Le; Alessandra Russo; Jorge Lobo 001 (IEEE Trans. Knowl. Data Eng., 2016)

An Overview of A Load Balancer Architecture for VNF chains Horizontal Scaling. - Jiefei Ma; Windhya Rankothge; Christian Makaya; Mariceli Morales; Franck Le; Jorge Lobo 001 (CNSM, 2018)

A Comprehensive Study on Load Balancers for VNF chains Horizontal Scaling. - Jiefei Ma; Windhya Rankothge; Christian Makaya; Mariceli Morales; Franck Le; Jorge Lobo 001 (CoRR, 2018)