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 14 to 33 of 48
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-

Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic

Author(s)Gore, Rajeev; Postniece (previously Buisman), Linda; Tiu, Alwen
TypeConference paper
Date Published2010
Date CreatedAugust 24-27 2010
01_Gore_Cut-elimination_and_2008.pdf.jpg

Cut-elimination and proof-search for bi-intutionistic logic using nested sequents

Author(s)Gore, Rajeev; Postniece (previously Buisman), Linda; Tiu, Alwen
TypeConference paper
Date Published2008
Date CreatedSeptember 9-12 2008

Efficient runtime monitoring with metric temporal logic: A case study in the android operating system

Author(s)Gunadi, Hendra; Tiu, Alwen
TypeConference paper
Date Published2014
Date CreatedMay 12-16 2014

Extracting proofs from tabled proof search

Author(s)Miller, Dale; Tiu, Alwen
TypeConference paper
Date Published2013
Date CreatedDecember 11-13 2013

Formalising Observer Theory for Environment-Sensitive Bisimulation

Author(s)Dawson, Jeremy; Tiu, Alwen
TypeBook chapter
Date Published2009
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
TypeConference paper
Date Published2014
Date CreatedSeptember 1-3 2014

Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures

Author(s)Tiu, Alwen; Ianovski, Egor; Gore, Rajeev
TypeConference paper
Date Published2012
Date CreatedAugust 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
TypeJournal article
Date Published2021
Date Created-
01_Baader_Matching_linear_and_non-linear_2008.pdf.jpg

Matching linear and non-linear trace patterns with regular policies

Author(s)Baader, Franz; Bauer, Andreas; Tiu, Alwen
TypeConference paper
Date Published2008
Date CreatedJuly 18 2008

Matching trace patterns with regular policies

Author(s)Baader, Franz; Bauer, Andreas; Tiu, Alwen
TypeBook chapter
Date Published2009
Date Created-

Modular Labelled Sequent Calculi for Abstract Separation Logics

Author(s)Hou, Zhe; Clouston, Ranald; Gore, Rajeev, et al
TypeJournal article
Date Published2018
Date Created-

De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic

Author(s)Horne, Ross; Tiu, Alwen; Aman, Bodgdan, et al
TypeJournal article
Date Published2019
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
TypeJournal article
Date Published2011
Date Created-

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