Extracting proofs from tabled proof search

by Miller, Dale., Tiu, Alwen.
Published 2013

Semantics for Specialising Attack Trees based on Linear Logic

by Horne, Ross, Mauw, Sjouke, Tiu, Alwen
Published 2017

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

by Hóu, Zhé, Goré, Rajeev, Tiu, Alwen
Published 2020

On unlinkability and denial of service attacks resilience of whistleblower platforms

by Phetsouvanh, Silivanxay, Datta, Anwitaman, Tiu, Alwen
Published 2021

A characterisation of open bisimilarity using an intuitionistic modal logic

by Ahrn, Ki Yung, Horne, Ross, Tiu, Alwen
Published 2018

Private Names in Non-Commutative Logic

by Horne, Ross, Tiu, Alwen, Aman, Bogdan, Ciobanu, Gabriel
Published 2016

Compositional reasoning for shared-variable concurrent programs

by ZHANG, Fuyuan, ZHAO, Yongwang, SANAN, David, LIU, Yang, TIU, Alwen, LIN, Shang-Wei, SUN, Jun
Published 2018