Executing specifications of distributed computations with Chronolog(MC). - Chuchang Liu; Mehmet A. Orgun (SAC, 1996)

Dealing with Multiple Granularity of Time in Temporal Logic Programming. - Chuchang Liu; Mehmet A. Orgun (J. Symb. Comput., 1996)

A Constraint Mechanism for Knowlege Specification of Simulation Systems Based on Temporal Logic. - Chuchang Liu; Mehmet A. Orgun (Australian Joint Conference on Artificial Intelligence, 1997)

BCTL: A Branching Clock Temporal Logic. - Chuchang Liu; Mehmet A. Orgun (TIME, 1997)

A Structural Knowledge-Based Simulation Methodology for Distributed Systems. - Chuchang Liu; Mehmet A. Orgun (FLAIRS, 1998)

Querying Clocked Databases. - Mehmet A. Orgun; Chuchang Liu (FQAS, 1998)

Embedding a Timing System in TLC. - Chuchang Liu; Mehmet A. Orgun (TIME, 1998)

Formalizing certificate management systems. - Chuchang Liu; Anthony Cant; Maris A. Ozols; Marie Henderson (ICON, 1999)

Verification of Reactive Systems Using Temporal Logic with Clocks. - Chuchang Liu; Mehmet A. Orgun (Theor. Comput. Sci., 1999)

The PKI Specification Dilemma: A Formal Solution. - Maris A. Ozols; Marie Henderson; Chuchang Liu; Anthony Cant (ACISP, 2000)

Towards Certificate Verification in a Certificate Management System. - Chuchang Liu; Maris A. Ozols; Marie Henderson; Anthony Cant (ACSC, 2000)

A State-Based Model for Certificate Management Systems. - Chuchang Liu; Maris A. Ozols; Marie Henderson; Anthony Cant (Public Key Cryptography, 2000)

An Axiomatic Basis for Reasoning about Trust in PKIs. - Chuchang Liu; Maris A. Ozols; Anthony Cant (ACISP, 2001)

Logical Foundations for Reasoning about Trust in Secure Digital Communication. - Chuchang Liu (Australian Joint Conference on Artificial Intelligence, 2001)

A parallel execution model for Chronolog. - Chuchang Liu; Mehmet A. Orgun; Kang Zhang 001 (Comput. Syst. Sci. Eng., 2001)

Trust in Secure Communication Systems - The Concept, Representations, and Reasoning Techniques. - Chuchang Liu; Maris A. Ozols (Australian Joint Conference on Artificial Intelligence, 2002)

Consistency of Trust Theories. - Chuchang Liu; Maris A. Ozols (Australian Joint Conference on Artificial Intelligence, 2002)

A Temporalised Belief Logic for Specifying the Dynamics of Trust for Multi-agent Systems. - Chuchang Liu; Maris A. Ozols; Mehmet A. Orgun (ASIAN, 2004)

Combining Logics for Modelling Security Policies. - Chuchang Liu; Patrick McLean; Maris A. Ozols (ACSC, 2005)

A Fibred Belief Logic for Multi-agent Systems. - Chuchang Liu; Maris A. Ozols; Mehmet A. Orgun (Australian Conference on Artificial Intelligence, 2005)

Towards security labelling. - Chuchang Liu; Mehmet A. Orgun (ACSC, 2006)

Analysing Stream Authentication Protocols in Autonomous Agent-Based Systems. - Mehmet A. Orgun; Ji Ma 001; Chuchang Liu; Guido Governatori (DASC, 2006)

Reasoning about dynamics of trust and agent beliefs. - Mehmet A. Orgun; Chuchang Liu (IRI, 2006)

Representation and integration of knowledge based on multiple granularity of time using temporal logic. - Mehmet A. Orgun; Chuchang Liu; Abhaya C. Nayak (IRI, 2006)

Access Control Models and Security Labelling. - Chuchang Liu; Angela Billard; Maris A. Ozols; Nikifor Jeremic (ACSC, 2007)

An Abstract Model for Dynamic Access Control Architectures. - Chuchang Liu; Angela Billard; Benjamin Long (Web Intelligence/IAT Workshops, 2008)

Knowledge Representation, Reasoning and Integration Using Temporal Logic with Clocks. - Mehmet A. Orgun; Chuchang Liu; Abhaya C. Nayak (Math. Comput. Sci., 2008)

Modal tableaux for verifying stream authentication protocols. - Mehmet A. Orgun; Guido Governatori; Chuchang Liu (Auton. Agents Multi Agent Syst., 2009)

An abstract dynamic access control architecture. - Chuchang Liu; Angela Billard; Benjamin Long (J. Appl. Log., 2011)

Special issue on logics for intelligent agents and multi-agent systems. - Mehmet A. Orgun; Guido Governatori; Chuchang Liu; Mark Reynolds 001; Abdul Sattar 001 (J. Appl. Log., 2011)