| 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 | 50 | 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 | 38 | 2016 |
| Cyclic program synthesis S Itzhaky, H Peleg, N Polikarpova, RNS Rowe, I Sergey Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 31 | 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 | 14 | 2019 |
| A functional perspective on machine learning via programmable induction and abduction S Cheung, V Darvariu, DR Ghica, K Muroya, RNS Rowe Functional and Logic Programming: 14th International Symposium, FLOPS 2018 …, 2018 | 14 | 2018 |
| Uniform inductive reasoning in transitive closure logic via infinite descent L Cohen, RNS Rowe 27th EACSL Annual Conference on Computer Science Logic (CSL 2018), 2018 | 12 | 2018 |
| 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 | 10 | 2019 |
| Deductive synthesis of programs with pointers: techniques, challenges, opportunities S Itzhaky, H Peleg, N Polikarpova, RNS Rowe, I Sergey Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021 | 7 | 2021 |
| Integrating induction and coinduction via closure operators and proof cycles L Cohen, RNS Rowe Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020 | 7 | 2020 |
| Semantic Types and Approximation for Featherweight Java RNS Rowe, SJ Van Bakel Theoretical Computer Science 517, 34-74, 2014 | 7 | 2014 |
| Non-well-founded proof theory of transitive closure logic L Cohen, RNS Rowe ACM Transactions on Computational Logic (TOCL) 21 (4), 1-31, 2020 | 6 | 2020 |
| Semantic types for class-based objects RNS Rowe Imperial College London, 2013 | 6 | 2013 |
| Approximation semantics and expressive predicate assignment for object-oriented programming R Rowe, S Van Bakel Typed Lambda Calculi and Applications: 10th International Conference, TLCA …, 2011 | 6 | 2011 |
| Rotor: First steps towards a refactoring tool for ocaml RNS Rowe, SJ Thompson OCaml Users and Developers Workshop, 2017 | 5 | 2017 |
| 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 |
| The complex (ity) landscape of checking infinite descent L Cohen, A Jabarin, A Popescu, RNS Rowe Proceedings of the ACM on Programming Languages 8 (POPL), 1352-1384, 2024 | 4 | 2024 |
| Realizability in cyclic proof: Extracting ordering information for infinite descent RNS Rowe, J Brotherston Automated Reasoning with Analytic Tableaux and Related Methods: 26th …, 2017 | 4 | 2017 |
| Rotor: a tool for renaming values in OCaml's module system RNS Rowe, H Férée, SJ Thompson, S Owens 2019 IEEE/ACM 3rd International Workshop on Refactoring (IWoR), 27-30, 2019 | 3 | 2019 |
| Infinitary and Cyclic Proof Systems for Transitive Closure Logic L Cohen, RNS Rowe arXiv preprint arXiv:1802.00756, 2018 | 3 | 2018 |
| API migration: compare transformed JR Harrison, S Thompson, S Varoumas, R Rowe | 2 | 2020 |
James BrotherstonProfessor of Logic and Computation, University College LondonVerified email at ucl.ac.uk
