Browsing by Author 9365fb4a-0102-412e-9207-570b9083087d
Showing results 41 to 48 of 48
Quasi-Open Bisimilarity with Mismatch is Intuitionistic
Author(s) | Horne, Ross; Ahn, Ki Yung; Lin, Shang-Wei, et al |
---|---|
Type | Conference paper |
Date Published | 2018 |
Date Created | 9 July 2018 through 12 July 2018 |
Starting With SOAP: rapid deployment of contract tracing in a pandemic
Author(s) | Broad, Ellen; Sheel, Meru; Lazar, Seth, et al |
---|---|
Type | Report (Commissioned) |
Date Published | 2020 |
Date Created | - |
Stratification in Logics of Definitions
Author(s) | Tiu, Alwen |
---|---|
Type | Journal article |
Date Published | 2012 |
Date Created | - |
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents
Author(s) | Lyon, Tim; Tiu, Alwen; Gore, Rajeev, et al |
---|---|
Type | Conference paper |
Date Published | 2020 |
Date Created | Jan 13-16 2020 |
Taming displayed tense logics using nested sequents with deep inference
Author(s) | Gore, Rajeev; Postniece (previously Buisman), Linda; Tiu, Alwen |
---|---|
Type | Conference paper |
Date Published | 2009 |
Date Created | July 6-10 2009 |
The Bedwyr system for model checking over syntactic expressions
Author(s) | Baelde, David; Gacek, Andrew; Miller, Dale, et al |
---|---|
Type | Conference paper |
Date Published | 2007 |
Date Created | July 17-20 2007 |
Trace-Length Independent Runtime Monitoring of Quantitative Policies
Author(s) | Du, Xiaoning; Tiu, Alwen; Cheng, Kun, et al |
---|---|
Type | Journal article |
Date Published | 2019 |
Date Created | - |
Verification of clock synchronization algorithms: Experiments on a combination of deductive tools
Author(s) | Barsotti, Damian; Prensa-Nieto, Leonor; Tiu, Alwen |
---|---|
Type | Journal article |
Date Published | 2007 |
Date Created | - |
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator