pith. sign in

Alwen Tiu

Identifiers

  • name variant Alwen Tiu 0.60 · backfill

Papers (23)

  1. A formalisation of the SPARC TSO memory model for multi-core machine code cs.LO · 2019 · author #3
  2. Modular Labelled Sequent Calculi for Abstract Separation Logics cs.LO · 2017 · author #4
  3. A Permission-Dependent Type System for Secure Information Flow Analysis cs.PL · 2017 · author #2
  4. Generating Witness of Non-Bisimilarity for the pi-Calculus cs.LO · 2017 · author #3
  5. Compositional Reasoning for Shared-variable Concurrent Programs cs.FL · 2016 · author #5
  6. Completeness for a First-order Abstract Separation Logic cs.LO · 2016 · author #2
  7. Formal Certification of Android Bytecode cs.PL · 2015 · author #2
  8. Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System cs.LO · 2013 · author #2
  9. Proof search for propositional abstract separation logics via labelled sequents cs.LO · 2013 · author #4
  10. Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic -- Extended Version cs.LO · 2013 · author #4
  11. A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search cs.LO · 2013 · author #2
  12. Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures cs.LO · 2012 · author #1
  13. Characterisations of Testing Preorders for a Finite Probabilistic pi-Calculus cs.LO · 2012 · author #2
  14. Cut Elimination for a Logic with Induction and Co-induction cs.LO · 2010 · author #1
  15. Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic cs.LO · 2010 · author #3
  16. A decidable policy language for history-based transaction monitoring cs.LO · 2009 · author #3
  17. A Trace Based Bisimulation for the Spi Calculus cs.CR · 2009 · author #1
  18. Induction and Co-induction in Sequent Calculus cs.LO · 2008 · author #1
  19. Proof Search Specifications of Bisimulation and Modal Logics for the pi-Calculus cs.LO · 2008 · author #1
  20. A proof theoretic analysis of intruder theories cs.LO · 2008 · author #1
  21. Cut Elimination for a Logic with Generic Judgments and Induction cs.LO · 2008 · author #1
  22. The Bedwyr system for model checking over syntactic expressions cs.LO · 2007 · author #5
  23. A System of Interaction and Structure II: The Need for Deep Inference cs.LO · 2005 · author #1

Mentions

  • 1302.4783 #2 · backfill · confidence 0.70 Alwen Tiu
  • 1204.2413 #1 · backfill · confidence 0.70 Alwen Tiu
  • 1201.2258 #2 · backfill · confidence 0.70 Alwen Tiu
  • 1009.6171 #1 · backfill · confidence 0.70 Alwen Tiu
  • 1006.4793 #3 · backfill · confidence 0.70 Alwen Tiu
  • 0903.2904 #3 · backfill · confidence 0.70 Alwen Tiu
  • 0901.2166 #1 · backfill · confidence 0.70 Alwen Tiu
  • 0812.4727 #1 · backfill · confidence 0.70 Alwen Tiu
  • 0805.2785 #1 · backfill · confidence 0.70 Alwen Tiu
  • 0804.0273 #1 · backfill · confidence 0.70 Alwen Tiu
  • 0801.3065 #1 · backfill · confidence 0.70 Alwen Tiu

Frequent Coauthors