A case study in formal verification of a Java program D Brizhinev, R Goré arXiv preprint arXiv:1809.03162, 2018 | 4 | 2018 |
A Correct Polynomial Translation of S4 into Intuitionistic Logic R Goré, J Thomson The Journal of Symbolic Logic 84 (2), 439-451, 2019 | 7 | 2019 |
A cut-free sequent calculus for bi-intuitionistic logic L Buisman, R Goré International Conference on Automated Reasoning with Analytic Tableaux and …, 2007 | 28 | 2007 |
A cut-free sequent calculus for bi-intuitionistic logic: extended version L Buisman, R Goré Arxiv preprint arXiv:0704.1707, 2007 | 2 | 2007 |
A Cut-free Tableau Calculus for the Logic of Common Knowledge P Abate, R Goré | | 2006 |
A decidable policy language for history-based transaction monitoring A Bauer, R Goré, A Tiu arXiv preprint arXiv:0903.2904, 2009 | 36* | 2009 |
A first-order policy language for history-based transaction monitoring A Bauer, R Goré, A Tiu International Colloquium on Theoretical Aspects of Computing, 96-111, 2009 | 35 | 2009 |
A formally verified cut-elimination procedure for linear nested sequents for tense logic C D’Abrera, J Dawson, R Goré International Conference on Automated Reasoning with Analytic Tableaux and …, 2021 | 8 | 2021 |
A formally verified single transferable voting scheme with fractional values R Gore, D Pattinson, M K Ghale Springer, Cham, 2017 | | 2017 |
A formally verified single transferable voting scheme with fractional values MK Ghale, R Goré, D Pattinson Electronic Voting: Second International Joint Conference, E-Vote-ID 2017 …, 2017 | 8 | 2017 |
A general theorem on termination of rewriting J Dawson, R Goré Computer Science Logic, 100-114, 2004 | 7 | 2004 |
A history-based theorem prover for intuitionistic propositional logic using global caching: IntHistGC system description R Goré, J Thomson, J Wu Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as …, 2014 | 9 | 2014 |
A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search Z Hou, A Tiu, R Gore arXiv preprint arXiv:1302.4783, 2013 | 33* | 2013 |
A labelled sequent system for tense logic Kt N Bonnette, R Goré Advanced Topics in Artificial Intelligence: 11th Australian Joint Conference …, 1998 | 24 | 1998 |
A logical formalisation of the Fellegi-Holt method of data cleaning A Boskovitz, R Goré, M Hegland International Symposium on Intelligent Data Analysis, 554-565, 2003 | 22 | 2003 |
A mechanisation of classical modal tense logics using isabelle JE Dawson, R Goré Advanced Topics in Artificial Intelligence: 11th Australian Joint Conference …, 1998 | | 1998 |
A mechanised proof system for relation algebra using display logic J Dawson, R Goré Logics in Artificial Intelligence, 264-278, 1998 | 18 | 1998 |
A new calculus for intuitionistic Strong Löb logic: strong termination and cut-elimination, formalised I Shillito, I van der Giessen, R Goré, R Iemhoff International Conference on Automated Reasoning with Analytic Tableaux and …, 2023 | 3 | 2023 |
A new machine-checked proof of strong normalisation for display logic JE Dawson, R Goré Electronic Notes in Theoretical Computer Science 78, 20-39, 2003 | 15 | 2003 |
A Proof of Termination of Rewriting JE Dawson, R Gore | | |