Sean Policarpio

According to our database, Sean Policarpio authored at least 5 papers between 2009 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

StreamRule: A Nonmonotonic Stream Reasoning System for the Semantic Web.

Alessandra Mileo, Ahmed Abdelrahman, Sean Policarpio, Manfred Hauswirth

Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

2011

A Formal Language for XML Authorisations Based on Answer Set Programming and Temporal Interval Logic Constraints.

Sean Policarpio, Yan Zhang

Int. J. Secur. Softw. Eng., 2011

An Implementation of $\mathcal{A}^{xml(T)}$ : An Answer Set Programming Based Formal Language of Authorisation for XML Documents.

Sean Policarpio, Yun Bai

Proceedings of the Recent Trends in Wireless and Mobile Networks, 2011

On Cloud Computing Security.

Yun Bai, Sean Policarpio

Proceedings of the Recent Trends in Wireless and Mobile Networks, 2011

2009

A Formal Language for Specifying Complex XML Authorisations with Temporal Constraints.

Sean Policarpio, Yan Zhang

Proceedings of the Information Security and Cryptology - 5th International Conference, 2009