Alwen Tiu

From MaRDI portal
Person:1687746

Available identifiers

zbMath Open tiu.alwen-fernantoMaRDI QIDQ1687746

List of research outcomes

PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q58742152023-02-07Paper
Display to Labeled Proofs and Back Again for Tense Logics2022-02-24Paper
https://portal.mardi4nfdi.de/entity/Q51556632021-10-08Paper
An Isabelle/HOL formalisation of the SPARC instruction set architecture and the TSO memory model2021-06-09Paper
Compositional reasoning for shared-variable concurrent programs2021-05-04Paper
Quasi-Open Bisimilarity with Mismatch is Intuitionistic2021-01-20Paper
CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs2020-08-05Paper
Divergence and unique solution of equations2020-05-27Paper
Combining proverif and automated theorem provers for security protocol verification2020-03-10Paper
Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL2019-12-19Paper
De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic2019-11-22Paper
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents2019-10-11Paper
Constructing weak simulations from linear implications for processes with private names2019-10-09Paper
Abella: A System for Reasoning about Relational Specifications2019-09-18Paper
A labelled sequent calculus for BBI: proof theory and proof search2019-01-31Paper
Modular Labelled Sequent Calculi for Abstract Separation Logics2018-08-10Paper
https://portal.mardi4nfdi.de/entity/Q46086832018-03-21Paper
Semantics for Specialising Attack Trees based on Linear Logic2018-01-05Paper
Proof tactics for assertions in separation logic2018-01-04Paper
A proof theory for generic judgments2017-07-12Paper
https://portal.mardi4nfdi.de/entity/Q29585232017-02-02Paper
Completeness for a First-Order Abstract Separation Logic2016-12-21Paper
On the Role of Names in Reasoning about λ-tree Syntax Specifications2016-05-06Paper
Automated Theorem Proving for Assertions in Separation Logic with All Connectives2015-12-02Paper
Proof search specifications of bisimulation and modal logics for the π-calculus2015-09-17Paper
Extracting Proofs from Tabled Proof Search2015-01-13Paper
From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic2014-09-15Paper
https://portal.mardi4nfdi.de/entity/Q54198982014-06-11Paper
Proof search for propositional abstract separation logics via labelled sequents2014-04-10Paper
https://portal.mardi4nfdi.de/entity/Q28718562014-01-10Paper
https://portal.mardi4nfdi.de/entity/Q28638552013-12-04Paper
A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search2013-10-04Paper
https://portal.mardi4nfdi.de/entity/Q28486702013-09-26Paper
Cut elimination for a logic with induction and co-induction2013-05-02Paper
Characterisations of testing preorders for a finite probabilistic \(\pi\)-calculus2013-03-22Paper
Stratification in Logics of Definitions2012-09-05Paper
https://portal.mardi4nfdi.de/entity/Q29040532012-08-05Paper
A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains2011-07-01Paper
On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics2011-05-26Paper
A Local System for Classical Logic2011-05-06Paper
https://portal.mardi4nfdi.de/entity/Q30869392011-03-30Paper
A Proof Theoretic Analysis of Intruder Theories2010-09-21Paper
Taming Displayed Tense Logics Using Nested Sequents with Deep Inference2009-12-01Paper
Formalising Observer Theory for Environment-Sensitive Bisimulation2009-10-20Paper
A First-Order Policy Language for History-Based Transaction Monitoring2009-08-20Paper
A Proof Theoretic Analysis of Intruder Theories2009-06-30Paper
Matching Trace Patterns with Regular Policies2009-04-02Paper
A Local System for Intuitionistic Logic2008-05-27Paper
A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract2008-05-15Paper
Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S52007-11-19Paper
A System of Interaction and Structure II: The Need for Deep Inference2007-10-11Paper
Verification of clock synchronization algorithms: experiments on a combination of deductive tools2007-09-06Paper
Tools and Algorithms for the Construction and Analysis of Systems2007-05-02Paper
CONCUR 2005 – Concurrency Theory2006-11-01Paper
Types for Proofs and Programs2005-12-23Paper
https://portal.mardi4nfdi.de/entity/Q44152402003-07-28Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Alwen Tiu