| Labelled tree sequents, tree hypersequents and nested (deep) sequents R Goré, R Ramanayake Advances in modal logic, 279-299, 2014 | 67 | 2014 |
| Valentini’s cut-elimination for provability logic resolved R Goré, R Ramanayake The Review of Symbolic Logic 5 (2), 212-238, 2012 | 51 | 2012 |
| Hypersequent and display calculi–a unified perspective A Ciabattoni, R Ramanayake, H Wansing Studia Logica 102, 1245-1294, 2014 | 39 | 2014 |
| Power and limits of structural display rules A Ciabattoni, R Ramanayake ACM Transactions on Computational Logic (TOCL) 17 (3), 1-39, 2016 | 38 | 2016 |
| Structural extensions of display calculi: a general recipe A Ciabattoni, R Ramanayake International Workshop on Logic, Language, Information, and Computation, 81-95, 2013 | 22 | 2013 |
| Embedding the hypersequent calculus in the display calculus R Ramanayake Journal of Logic and Computation 25 (3), 921-942, 2015 | 18 | 2015 |
| Cut-elimination for provability logic by terminating proof-search: formalised and deconstructed using Coq R Goré, R Ramanayake, I Shillito Automated Reasoning with Analytic Tableaux and Related Methods: 30th …, 2021 | 15 | 2021 |
| Display to labeled proofs and back again for tense logics A Ciabattoni, TS Lyon, R Ramanayake, A Tiu ACM Transactions on Computational Logic (TOCL) 22 (3), 1-31, 2021 | 14 | 2021 |
| From display to labelled proofs for tense logics A Ciabattoni, T Lyon, R Ramanayake International Symposium on Logical Foundations of Computer Science, 120-139, 2017 | 14 | 2017 |
| Sequentialising nested systems E Pimentel, R Ramanayake, B Lellmann Automated Reasoning with Analytic Tableaux and Related Methods: 28th …, 2019 | 11 | 2019 |
| Bounded-analytic sequent calculi and embeddings for hypersequent logics A Ciabattoni, T Lang, R Ramanayake The Journal of Symbolic Logic 86 (2), 635-668, 2021 | 9 | 2021 |
| Bounded sequent calculi for non-classical logics via hypersequents A Ciabattoni, T Lang, R Ramanayake Automated Reasoning with Analytic Tableaux and Related Methods: 28th …, 2019 | 8 | 2019 |
| Cut-elimination for Weak Grzegorczyk Logic Go R Goré, R Ramanayake Studia Logica 102, 1-27, 2014 | 8 | 2014 |
| Bunched Hypersequent Calculi for Distributive Substructural Logics. A Ciabattoni, R Ramanayake LPAR, 417-434, 2017 | 7 | 2017 |
| Inducing syntactic cut-elimination for indexed nested sequents R Ramanayake Logical Methods in Computer Science 14, 2018 | 6 | 2018 |
| Decidability and complexity in weakening and contraction hypersequent substructural logics AR Balasubramanian, T Lang, R Ramanayake 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2021 | 5 | 2021 |
| Analytic Proof Theory for Aqvist's System F A Ciabattoni, N Olivetti, X Parent, R Ramanayake, D Rozplokhas Deontic Logic and Normative Systems: 16th International Conference, DEON …, 2023 | 4 | 2023 |
| Extended Kripke lemma and decidability for hypersequent substructural logics R Ramanayake Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020 | 4 | 2020 |
| Cut-restriction: from cuts to analytic cuts A Ciabattoni, T Lang, R Ramanayake 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2023 | 3 | 2023 |
| Implementing Intermediate Logics B Haaksema, J Otten, R Ramanayake Proceedings of the 5th International Workshop on Automated Reasoning in …, 2024 | 2 | 2024 |