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