Extracting proofs from tabled proof search

由 Miller, Dale., Tiu, Alwen.
出版 2013

Semantics for Specialising Attack Trees based on Linear Logic

由 Horne, Ross, Mauw, Sjouke, Tiu, Alwen
出版 2017

A labelled sequent calculus for BBI : proof theory and proof search

由 Hóu, Zhé, Goré, Rajeev, Tiu, Alwen
出版 2020

On unlinkability and denial of service attacks resilience of whistleblower platforms

由 Phetsouvanh, Silivanxay, Datta, Anwitaman, Tiu, Alwen
出版 2021

A characterisation of open bisimilarity using an intuitionistic modal logic

由 Ahrn, Ki Yung, Horne, Ross, Tiu, Alwen
出版 2018

Private Names in Non-Commutative Logic

由 Horne, Ross, Tiu, Alwen, Aman, Bogdan, Ciobanu, Gabriel
出版 2016

Compositional reasoning for shared-variable concurrent programs

由 ZHANG, Fuyuan, ZHAO, Yongwang, SANAN, David, LIU, Yang, TIU, Alwen, LIN, Shang-Wei, SUN, Jun
出版 2018