Browsing by Author 9365fb4a-0102-412e-9207-570b9083087d
Showing results 25 to 44 of 48
Formalising Observer Theory for Environment-Sensitive Bisimulation
Author(s) | Dawson, Jeremy; Tiu, Alwen |
---|---|
Type | Book chapter |
Date Published | 2009 |
Date Created | - |
From display calculi to deep nested sequent calculi: Formalised for full intuitionistic linear logic
Author(s) | Dawson, Jeremy; Clouston, Ranald; Gore, Rajeev, et al |
---|---|
Type | Conference paper |
Date Published | 2014 |
Date Created | September 1-3 2014 |
Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures
Author(s) | Tiu, Alwen; Ianovski, Egor; Gore, Rajeev |
---|---|
Type | Conference paper |
Date Published | 2012 |
Date Created | August 22-25 2012 |
An Isabelle/HOL Formalisation of the SPARC Instruction Set Architecture and the TSO Memory Model
Author(s) | Hou, Zhe; Sanan, David; Tiu, Alwen, et al |
---|---|
Type | Journal article |
Date Published | 2021 |
Date Created | - |
Matching linear and non-linear trace patterns with regular policies
Author(s) | Baader, Franz; Bauer, Andreas; Tiu, Alwen |
---|---|
Type | Conference paper |
Date Published | 2008 |
Date Created | July 18 2008 |
Matching trace patterns with regular policies
Author(s) | Baader, Franz; Bauer, Andreas; Tiu, Alwen |
---|---|
Type | Book chapter |
Date Published | 2009 |
Date Created | - |
Modular Labelled Sequent Calculi for Abstract Separation Logics
Author(s) | Hou, Zhe; Clouston, Ranald; Gore, Rajeev, et al |
---|---|
Type | Journal article |
Date Published | 2018 |
Date Created | - |
De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic
Author(s) | Horne, Ross; Tiu, Alwen; Aman, Bodgdan, et al |
---|---|
Type | Journal article |
Date Published | 2019 |
Date Created | - |
On the correspondence between display postulates and deep inference in nested sequent calculi for tense logics
Author(s) | Gore, Rajeev; Postniece (previously Buisman), Linda; Tiu, Alwen |
---|---|
Type | Journal article |
Date Published | 2011 |
Date Created | - |
On the role of names in reasoning about lambda-tree syntax specifications
Author(s) | Tiu, Alwen |
---|---|
Type | Journal article |
Date Published | 2009 |
Date Created | - |
On unlinkability and denial of service attacks resilience of whistleblower platforms
Author(s) | Phetsouvanh, Silivanxay; Datta, Anwitaman; Tiu, Alwen |
---|---|
Type | Journal article |
Date Published | 2021 |
Date Created | - |
A permission-dependent type system for secure information flow analysis
Author(s) | Chen, Hongxu; Tiu, Alwen; Xu, Zhiwu, et al |
---|---|
Type | Conference paper |
Date Published | 2018 |
Date Created | July 9-12 2018 |
A permission-dependent type system for secure information flow analysis.
Author(s) | Xu, Zhiwu; Tiu, Alwen; Chen, Hongxu, et al |
---|---|
Type | Journal article |
Date Published | 2021 |
Date Created | - |
Private digital identity on blockchain
Author(s) | Hamer, Tom; Taylor, Kerry; Ng, Kee Siong, et al |
---|---|
Type | Conference paper |
Date Published | 27-Oct-2019 |
Date Created | October 27 2019 |
Proof Search for Propositional Abstract Separation Logics via Labelled Sequents
Author(s) | Hou, Zhe; Clouston, Ranald; Gore, Rajeev, et al |
---|---|
Type | Conference paper |
Date Published | 2014 |
Date Created | January 22-24 2014 |
Proof search specifications of bisimulation and modal logics for the n-calculus
Author(s) | Tiu, Alwen; Miller, Dale |
---|---|
Type | Journal article |
Date Published | 2010 |
Date Created | - |
Quasi-Open Bisimilarity with Mismatch is Intuitionistic
Author(s) | Horne, Ross; Ahn, Ki Yung; Lin, Shang-Wei, et al |
---|---|
Type | Conference paper |
Date Published | 2018 |
Date Created | 9 July 2018 through 12 July 2018 |
Starting With SOAP: rapid deployment of contract tracing in a pandemic
Author(s) | Broad, Ellen; Sheel, Meru; Lazar, Seth, et al |
---|---|
Type | Report (Commissioned) |
Date Published | 2020 |
Date Created | - |
Stratification in Logics of Definitions
Author(s) | Tiu, Alwen |
---|---|
Type | Journal article |
Date Published | 2012 |
Date Created | - |
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents
Author(s) | Lyon, Tim; Tiu, Alwen; Gore, Rajeev, et al |
---|---|
Type | Conference paper |
Date Published | 2020 |
Date Created | Jan 13-16 2020 |
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator