Publications

Liam O'Connor and Rayhana Amjad
Holbert: Reading, Writing, Proving and Learning in the Browser
Human Aspects of Types and Reasoning Assistants (HATRA), Auckland, New Zealand, 2022.
Live version - arXiv - Talk on YouTube

Rayhana Amjad, Rob van Glabbeek, Liam O'Connor
Semantics for Linear-time Temporal Logic with Finite Observations
Combined 31st International Workshop on Expressiveness in Concurrency and 21st Workshop on Structural Operational Semantics (EXPRESS/SOS), Calgary, Alberta, Canada, 2024.
EPTCS - arXiv

Rayhana Amjad, Rob van Glabbeek, Liam O'Connor
Definitive Set Semantics for LTL3
Archive of Formal Proofs, 2024
AFP

Rayhana Amjad, Rob van Glabbeek, Liam O'Connor
The Infinite, in Finite Time
Information and Computation special issue: "Selected papers from EXPRESS/SOS 2023 and 2024", 2026
ScienceDirect - arXiv