| 2026 | FSCD | How Term Rewriting Structures Shape the Decidability of Knowledge Problems. | Raja O. P. Damanik, Alwen Tiu |
| 2025 | CONCUR | Open Bisimilarity for the π-Calculus with Mismatch. | Tiange Liu, Alwen Tiu, Ross Horne |
| 2025 | CSL | Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents. | Tim S. Lyon, Ian Shillito, Alwen Tiu |
| 2023 | AAAI | Dagster: Parallel Structured Search. | Mark Alexander Burgess, Charles Gretton, Josh Milthorpe, Luke Croak, Thomas Willingham, Alwen Tiu |
| 2023 | CONCUR | Modal Logics for Mobile Processes Revisited. | Tiange Liu, Alwen Tiu, Jim de Groot |
| 2022 | FSCD | A Methodology for Designing Proof Search Calculi for Non-Classical Logics (Invited Talk). | Alwen Tiu |
| 2022 | ICFEM | PFMC: A Parallel Symbolic Model Checker for Security Protocol Verification. | Alex James, Alwen Tiu, Nisansala Yatapanage |
| 2022 | PRICAI | Dagster: Parallel Structured Search with Case Studies. | Mark Alexander Burgess, Charles Gretton, Josh Milthorpe, Luke Croak, Thomas Willingham, Alwen Tiu |
| 2020 | CSL | Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents. | Tim S. Lyon, Alwen Tiu, Rajeev Gor, Ranald Clouston |
| 2019 | CADE | Combining ProVerif and Automated Theorem Provers for Security Protocol Verification. | Di Long Li, Alwen Tiu |
| 2018 | FM | Compositional Reasoning for Shared-Variable Concurrent Programs. | Fuyuan Zhang, Yongwang Zhao, David Sann, Yang Liu, Alwen Tiu, Shang-Wei Lin, Jun Sun |
| 2018 | LICS | Quasi-Open Bisimilarity with Mismatch is Intuitionistic. | Ross Horne, Ki Yung Ahn, Shang-Wei Lin, Alwen Tiu |
| 2017 | CONCUR | A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic. | Ki Yung Ahn, Ross Horne, Alwen Tiu |
| 2017 | ITP | Proof Tactics for Assertions in Separation Logic. | Zhe Hou, David Sann, Alwen Tiu, Yang Liu |
| 2017 | TACAS | CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs. | David Sann, Yongwang Zhao, Zhe Hou, Fuyuan Zhang, Alwen Tiu, Yang Liu |
| 2016 | APLAS | Completeness for a First-Order Abstract Separation Logic. | Zhe Hou, Alwen Tiu |
| 2016 | APLAS | SPEC: An Equivalence Checker for Security Protocols. | Alwen Tiu, Nam Nguyen, Ross Horne |
| 2016 | CONCUR | Private Names in Non-Commutative Logic. | Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu |
| 2016 | FM | An Executable Formalisation of the SPARCv8 Instruction Set Architecture: A Case Study for the LEON3 Processor. | Zhe Hou, David Sann, Alwen Tiu, Yang Liu, Koh Chuen Hoa |
| 2015 | CADE | Automated Theorem Proving for Assertions in Separation Logic with All Connectives. | Zhe Hou, Rajeev Gor, Alwen Tiu |
| 2015 | FM | Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL. | Xiaoning Du, Yang Liu, Alwen Tiu |
| 2014 | FM | Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System. | Hendra Gunadi, Alwen Tiu |
| 2014 | POPL | Proof search for propositional abstract separation logics via labelled sequents. | Zhe Hou, Ranald Clouston, Rajeev Gor, Alwen Tiu |
| 2013 | CPP | Extracting Proofs from Tabled Proof Search. | Dale Miller, Alwen Tiu |
| 2013 | CSL | Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic. | Ranald Clouston, Jeremy E. Dawson, Rajeev Gor, Alwen Tiu |
| 2013 | TABLEAUX | A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search. | Zhe Hou, Alwen Tiu, Rajeev Gor |
| 2012 | AiML | Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures. | Alwen Tiu, Egor Ianovski, Rajeev Gor |
| 2012 | CADE | Stratification in Logics of Definitions. | Alwen Tiu |
| 2011 | TABLEAUX | A Hypersequent System for Gdel-Dummett Logic with Non-constant Domains. | Alwen Tiu |
| 2011 | TABLEAUX | On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics. | Alwen Tiu |
| 2010 | AiML | Cut-elimination and Proof Search for Bi-Intuitionistic Tense Logic. | Rajeev Gor, Linda Postniece, Alwen Tiu |
| 2009 | ICTAC | A First-Order Policy Language for History-Based Transaction Monitoring. | Andreas Bauer, Rajeev Gor, Alwen Tiu |
| 2009 | LATA | Matching Trace Patterns with Regular Policies. | Franz Baader, Andreas Bauer, Alwen Tiu |
| 2009 | TABLEAUX | Taming Displayed Tense Logics Using Nested Sequents with Deep Inference. | Rajeev Gor, Linda Postniece, Alwen Tiu |
| 2008 | AiML | Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents. | Rajeev Gor, Linda Postniece, Alwen Tiu |
| 2007 | APLAS | A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract. | Alwen Tiu |
| 2007 | CADE | The Bedwyr System for Model Checking over Syntactic Expressions. | David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu |
| 2006 | LPAR | A Local System for Intuitionistic Logic. | Alwen Tiu |