| An empirical study of integration activities in distributions of open source software B Adams, R Kavanagh, AE Hassan, DM German Empirical Software Engineering 21, 960-1001, 2016 | 49 | 2016 |
| A denotational semantics for SPARC TSO R Kavanagh, S Brookes Logical Methods in Computer Science 15, 2019 | 16 | 2019 |
| Substructural Observed Communication Semantics R Kavanagh In Proceedings EXPRESS/SOS 2020, arXiv:2008.12414, 2020 | 5 | 2020 |
| Mechanizing Session-Types using a Structural View: Enforcing Linearity without Linearity C Sano, R Kavanagh, B Pientka Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 374-399, 2023 | 2 | 2023 |
| Fairness and communication-based semantics for session-typed languages R Kavanagh Information and Computation 285, 104892, 2022 | 2 | 2022 |
| Explorations on the Wallace-Bolyai-Gerwien theorem R Kavanagh URL: https://rak. ac/files/papers/wallace-bolyai-gerwien. pdf. Luettu 22, 2021 | 2 | 2021 |
| Parametrized Fixed Points and Their Applications To Session Types R Kavanagh Electronic Notes in Theoretical Computer Science 352, 149-172, 2020 | 2 | 2020 |
| A Domain Semantics for Higher-Order Recursive Processes R Kavanagh arXiv preprint arXiv:2002.01960, 2020 | 2 | 2020 |
| A denotational account of C11-style memory R Kavanagh, S Brookes arXiv preprint arXiv:1804.04214, 2018 | 2 | 2018 |
| Communication-Based Semantics for Recursive Session-Typed Processes R Kavanagh Carnegie Mellon University, 2021 | 1 | 2021 |
| Fairness and observed communication semantics for session-typed languages R Kavanagh CoRR, 2021 | 1 | 2021 |
| Message-Observing Sessions R Kavanagh, B Pientka arXiv preprint arXiv:2403.04633, 2024 | | 2024 |
| Parametrized Fixed Points on O-Categories and Applications to Session Types R Kavanagh arXiv preprint arXiv:2006.08479, 2020 | | 2020 |
| Denotational Semantics for Session-Typed Languages R Kavanagh Carnegie Mellon University, 2020 | | 2020 |
| On Coupled Logical Bisimulation for the Lambda-Calculus R Kavanagh, JM Madiot arXiv preprint arXiv:1410.2833, 2014 | | 2014 |
| On Irreducible Rational Quintics R Kavanagh | | 2014 |
| EXPLORATIONS ON THE DIMENSION OF A GRAPH R KAVANAGH | | |
| A PRIMER ON PROVABILITY LOGIC R KAVANAGH | | |
