Skip navigation
Skip navigation
A change is coming. Click to see a sneak peek of the new Open Research Repository.

Browsing by Author 9365fb4a-0102-412e-9207-570b9083087d

0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Or enter first few letters:  
Showing results 1 to 20 of 48

A first-order policy language for history-based transaction monitoring

Author(s)Bauer, Andreas; Gore, Rajeev; Tiu, Alwen
TypeConference paper
Date Published2009
Date CreatedAugust 16-20 2009
01_Tiu_A_Hypersequent_System_for_2011.pdf.jpg

A Hypersequent System for Godel-Dummett Logic with Non-constant Domains

Author(s)Tiu, Alwen
TypeConference paper
Date Published2011
Date CreatedJuly 4-8 2011

A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search

Author(s)Hou, Zhe; Tiu, Alwen; Gore, Rajeev
TypeConference paper
Date Published2013
Date CreatedSeptember 16-19 2013
01_Tiu_A_local_system_for_2006.pdf.jpg

A local system for intuitionistic logic

Author(s)Tiu, Alwen
TypeConference paper
Date Published2006
Date CreatedNovember 13-17 2006

A logic for reasoning about generic judgments

Author(s)Tiu, Alwen
TypeJournal article
Date Published2007
Date Created-

A Proof Theoretic Analysis of Intruder Theories

Author(s)Tiu, Alwen; Gore, Rajeev
TypeConference paper
Date Published2009
Date CreatedJune 29-July 1 2009

A Proof Theoretic Analysis of Intruder Theories

Author(s)Tiu, Alwen; Gore, Rajeev; Dawson, Jeremy
TypeJournal article
Date Published2010
Date Created-
Tiu_System2006.pdf.jpg

A system of interaction and structure II: the need for deep inference

Author(s)Tiu, Alwen
TypeJournal article
Date Published3-Apr-2006
Date Created-
04_Tiu_A_trace_based_bisimulation_for_2007.pdf.jpg

A trace based bisimulation for the spi calculus

Author(s)Tiu, Alwen
TypeConference paper
Date Published2007
Date CreatedNovember 29-December 1 2007

Annotation-Free Sequent Calculi for full Intuitionistic Linear Logic

Author(s)Clouston, Ranald; Dawson, Jeremy; Gore, Rajeev, et al
TypeConference paper
Date Published2013
Date CreatedSeptember 2-5 2013

The attacker does not always hold the initiative: Attack trees with external refinement

Author(s)Horne, Ross; Mauw, Sjouke; Tiu, Alwen
TypeConference paper
Date Published2019
Date CreatedJuly 8 2018

Automated Theorem Proving for Assertions in Separation Logic with All Connectives

Author(s)Hou, Zhe; Gore, Rajeev; Tiu, Alwen
TypeConference paper
Date Published2015
Date CreatedAugust 1-7 2015

Automating Open Bisimulation Checking for the Spi Calculus

Author(s)Tiu, Alwen; Dawson, Jeremy
TypeConference paper
Date Published2010
Date CreatedJuly 17-19 2010
1701.05324.pdf.jpg

A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic

Author(s)Ahn, Ki Yung; Horne, Ross; Tiu, Alwen
TypeJournal article
Date Published2021
Date Created-
01_Deng_Characterisations_of_testing_2012.pdf.jpg

Characterisations of testing preorders for a finite probabilistic φ-calculus

Author(s)Deng, Yuxin; Tiu, Alwen
TypeJournal article
Date Published2012
Date Created-
01_Gore_Classical_modal_display_logic_2007.pdf.jpg

Classical modal display logic in the calculus of structures and minimal cut-free deep inference calculi for S5

Author(s)Gore, Rajeev; Tiu, Alwen
TypeJournal article
Date Published2007
Date Created-

Combining ProVerif and automated theorem provers for security protocol verification

Author(s)Li, Darren; Tiu, Alwen
TypeJournal article
Date Published2019
Date Created-

Compositional reasoning for shared-variable concurrent programs

Author(s)Zhang, F.; Zhao, Y; Sanan, David, et al
TypeConference paper
Date Published2018
Date CreatedJuly 15-17 2018

Constructing weak simulations from linear implications for processes with private names

Author(s)Horne, Ross; Tiu, Alwen
TypeJournal article
Date Published2019
Date Created-

Cut elimination for a logic with induction and co-induction

Author(s)Tiu, Alwen; Momigliano, Alberto
TypeJournal article
Date Published2012
Date Created-

Updated:  12 April 2016/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator