BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Alwen Tiu
SearchCollections
Map detail
Alwen Tiu13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAlwen TiuAAlwen TiuResearcherCut Elimination for a Logic with Induction and Co-inductionWCut Elimination for a L...preprint / 2010Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision ProceduresWGrammar Logics in Neste...preprint / 2012PFMC: a parallel symbolic model checker for security protocol verificationWPFMC: a parallel symbol...preprint / 2022Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and PracticeWProceedings Fifteenth W...preprint / 2021De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative LogicWDe Morgan Dual Nominal ...preprint / 2020Characterisations of Testing Preorders for a Finite Probabilistic pi-CalculusWCharacterisations of Te...preprint / 2012Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating SystemWEfficient Runtime Monit...preprint / 2013A Labelled Sequent Calculus for BBI: Proof Theory and Proof SearchWA Labelled Sequent Calc...preprint / 2015Completeness for a First-order Abstract Separation LogicWCompleteness for a Firs...preprint / 2016Formal Certification of Android BytecodeWFormal Certification of...preprint / 2016Cut-Elimination and Proof Search for Bi-Intuitionistic Tense LogicWCut-Elimination and Pro...preprint / 2010A decidable policy language for history-based transaction monitoringWA decidable policy lang...preprint / 2009
Person12 links

Alwen Tiu

Researcher

PaperCut Elimination for a Logic with Induction and Co-inductionAuthorship / preprint / 2010PaperGrammar Logics in Nested Sequent Calculus: Proof Theory and Decision ProceduresAuthorship / preprint / 2012PaperPFMC: a parallel symbolic model checker for security protocol verificationAuthorship / preprint / 2022PaperProceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and PracticeAuthorship / preprint / 2021PaperDe Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative LogicAuthorship / preprint / 2020PaperCharacterisations of Testing Preorders for a Finite Probabilistic pi-CalculusAuthorship / preprint / 2012PaperEfficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating SystemAuthorship / preprint / 2013PaperA Labelled Sequent Calculus for BBI: Proof Theory and Proof SearchAuthorship / preprint / 2015

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)