Skip navigation
Skip navigation

Browsing by Author Tiu, Alwen

Or enter first few letters:  
Showing results 1 to 20 of 31

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

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 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; Dawson, Jeremy
TypeJournal article
Date Published2010
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
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-

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

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

Characterisations of testing preorders for a finite probabilistic φ-calculus

Author(s)Deng, Yuxin; Tiu, Alwen
TypeJournal article
Date Published2012
Date Created-

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-

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

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

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