| Automatic cyclic termination proofs for recursive procedures in separation logic RNS Rowe, J Brotherston Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017 | 35 | 2017 |
| Model checking for symbolic-heap separation logic with inductive predicates J Brotherston, N Gorogiannis, M Kanovich, R Rowe ACM SIGPLAN Notices 51 (1), 84-96, 2016 | 32 | 2016 |
| A functional perspective on machine learning via programmable induction and abduction S Cheung, V Darvariu, DR Ghica, K Muroya, RNS Rowe International Symposium on Functional and Logic Programming, 84-98, 2018 | 12 | 2018 |
| Uniform inductive reasoning in transitive closure logic via infinite descent L Cohen, R Rowe Leibniz International Proceedings in Informatics, 2018 | 12 | 2018 |
| Approximation semantics and expressive predicate assignment for object-oriented programming R Rowe, SV Bakel International Conference on Typed Lambda Calculi and Applications, 229-244, 2011 | 8 | 2011 |
| Cyclic program synthesis S Itzhaky, H Peleg, N Polikarpova, RNS Rowe, I Sergey Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 7 | 2021 |
| A non-wellfounded, labelled proof system for propositional dynamic logic S Docherty, RNS Rowe International Conference on Automated Reasoning with Analytic Tableaux and …, 2019 | 7 | 2019 |
| Semantic Types and Approximation for Featherweight Java RNS Rowe, SJ Van Bakel Theoretical Computer Science 517, 34-74, 2014 | 6 | 2014 |
| Semantic types for class-based objects RNS Rowe Imperial College London, 2013 | 6 | 2013 |
| Characterising renaming within ocaml’s module system: theory and implementation RNS Rowe, H Férée, SJ Thompson, S Owens Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019 | 5 | 2019 |
| Semantic predicate types and approximation for class-based object oriented programming S Van Bakel, RNS Rowe Proceedings of the 11th International Workshop on Formal Techniques for Java …, 2009 | 5 | 2009 |
| Non-well-founded proof theory of transitive closure logic L Cohen, RNS Rowe ACM Transactions on Computational Logic (TOCL) 21 (4), 1-31, 2020 | 4 | 2020 |
| Integrating induction and coinduction via closure operators and proof cycles L Cohen, RNS Rowe International Joint Conference on Automated Reasoning, 375-394, 2020 | 4 | 2020 |
| Realizability in cyclic proof: Extracting ordering information for infinite descent RNS Rowe, J Brotherston International Conference on Automated Reasoning with Analytic Tableaux and …, 2017 | 4 | 2017 |
| Rotor: First steps towards a refactoring tool for ocaml RNS Rowe, SJ Thompson OCaml Users and Developers Workshop 2017, 2017 | 4 | 2017 |
| Towards automated reasoning in Herbrand structures L Cohen, RNS Rowe, Y Zohar Journal of Logic and Computation 29 (5), 693-721, 2019 | 2 | 2019 |
| Infinitary and Cyclic Proof Systems for Transitive Closure Logic L Cohen, RNS Rowe arXiv preprint arXiv:1802.00756, 2018 | 2 | 2018 |
| Structural types for the factorisation calculus A Bates, RNS Rowe Master’s thesis, University College London, 2014 | 2 | 2014 |
| Towards Large-scale Refactoring for OCaml RNS ROWE, SJ THOMPSON Proceedings of the ACM on Programming Languages 1 (1), 2018 | 1 | 2018 |
| Size relationships in abstract cyclic entailment systems RNS Rowe, J Brotherston arXiv preprint arXiv:1702.03981, 2017 | 1 | 2017 |
James BrotherstonReader in Logic and Computation, University College LondonVerified email at ucl.ac.uk
