Skip navigation
Skip navigation

Browsing by Author Tiu, Alwen

Or enter first few letters:  
Showing results 6 to 25 of 31

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

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

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-

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-

On the role of names in reasoning about lambda-tree syntax specifications

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

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