| Effects of fitting methods, high b-values and image quality on diffusion and perfusion quantification and reproducibility in the calf YH Nai, X Wang, J Gan, CPL Lian, RF Kirwan, FSL Tan, DJ Hausenloy Computers in Biology and Medicine 157, 106746, 2023 | 8 | 2023 |
| Incorporating Industry into the Curriculum: Applied Learning in Computer Science R Kirwan, V Balachandran Applied Learning in Higher Education: Perspective, Pedagogy, and Practice, 85-98, 2020 | 8 | 2020 |
| Formal modeling of robot behavior with learning R Kirwan, A Miller, B Porr, P Di Prodi Neural computation 25 (11), 2976-3019, 2013 | 8 | 2013 |
| Scalable Agritech Growbox Architecture RF Kirwan, F Abbas, I Atmosukarto, AWY Loo, JH Lim, S Yeo Frontiers in the Internet of Things 2, 1256163, 2023 | 4 | 2023 |
| Abstraction for model checking robot behaviour R Kirwan, A Miller Automated Reasoning Workshop 2011, 1, 2011 | 3 | 2011 |
| Data analysis for curriculum alteration in information communication technology RF Kirwan, N Jain, V Balachandran 2021 IEEE International Conference on Engineering, Technology & Education …, 2021 | 2 | 2021 |
| Model checking for improved adaptive behaviour A Miller, R Kirwan, B Porr, P di Prodi IET Conference on Control and Automation 2013: Uniting Problems and …, 2013 | 2 | 2013 |
| Model checking multi-agent systems R Kirwan, A Miller Automated Reasoning Workshop 2010 Bridging the Gap between Theory and …, 2010 | 2 | 2010 |
| A Visualization and Analysis tool for VCL Auto-generation Code Framework R Kirwan, J Che, WJ Le, S Sarin 2021 IEEE International Conference on Service Operations and Logistics, and …, 2021 | 1 | 2021 |
| Model checking learning agent systems using Promela with embedded C code and abstraction R Kirwan, A Miller, B Porr Formal Aspects of Computing 28 (6), 1027-1056, 2016 | 1 | 2016 |
| Applying model checking to agent-based learning systems RF Kirwan University of Glasgow, 2014 | 1 | 2014 |
| Progress on Model Checking Robot Behaviour R Kirwan, A Miller ARW 2012, 39, 2012 | 1 | 2012 |
| Auto Segmentation of Lower Limb Calf Muscles from Diffusion-Weighted Magnetic Resonance Images using Deep Learning E Pandey, X Wang, J Gan, YH Nai, D Hausenloy, PL Khong, SLF Tan, ... Singapore Institute of Technology, 2025 | | 2025 |
| Intravoxel incoherent motion diffusion-weighted MR imaging: Advancing Medical Image Processing with Machine Learning CPL Lian, E Pandey, X Wang, J Gan, YH Nai, T Selvakulasingam, ... Singapore Institute of Technology, 2025 | | 2025 |
| Systems Thinking in the Writing of Logbooks CC Lee, RF Kirwan TENCON 2024-2024 IEEE Region 10 Conference (TENCON), 1891-1894, 2024 | | 2024 |
| AUGMENTED REALITY-ENHANCED MOBILE APPLICATION FOR INTERACTIVE TITRATION LEARNING JCT Jin, N Jain, RF Kirwan EDULEARN24 Proceedings, 5384-5391, 2024 | | 2024 |
| ASAP: Application Security Assessment Protocol V Balachandran, R Kirwan, P Loh, MR Ebrahim, R Kusuma 2023 IEEE International Conference on Service Operations and Logistics, and …, 2023 | | 2023 |
| Authentic Assessment of Programme Learning Outcomes in Infocomm Technology RF Kirwan, N Jain, V Balachandran 2023 IEEE International Conference on Teaching, Assessment and Learning for …, 2023 | | 2023 |
| Formal proof of Abstraction for Agent-Based Learning systems R Kirwan, A Miller | | 2013 |
| Modelling multi-agent systems R Kirwan, A Miller | | 2010 |
