A Formal Language for Specifying Complex XML Authorisations with Temporal Constraints. - Sean Policarpio; Yan Zhang 003 (Inscrypt, 2009)

On Cloud Computing Security. - Yun Bai 001; Sean Policarpio (WiMo/CoNeCo, 2011)

An Implementation of $ mathcal{A}^{xml(T)}$ : An Answer Set Programming Based Formal Language of Authorisation for XML Documents. - Sean Policarpio; Yun Bai 001 (WiMo/CoNeCo, 2011)

A Formal Language for XML Authorisations Based on Answer Set Programming and Temporal Interval Logic Constraints. - Sean Policarpio; Yan Zhang 003 (Int. J. Secur. Softw. Eng., 2011)

StreamRule: A Nonmonotonic Stream Reasoning System for the Semantic Web. - Alessandra Mileo; Ahmed Abdelrahman; Sean Policarpio; Manfred Hauswirth (RR, 2013)