Seguir
Ryan Kirwan
Ryan Kirwan
Dirección de correo verificada de SingaporeTech.edu.sg
Título
Citado por
Citado por
Año
Formal modeling of robot behavior with learning
R Kirwan, A Miller, B Porr, P Di Prodi
Neural computation 25 (11), 2976-3019, 2013
82013
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
52020
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
42023
Abstraction for model checking robot behaviour
R Kirwan, A Miller
Automated Reasoning Workshop 2011, 1, 2011
32011
Data analysis for curriculum alteration in information communication technology
RF Kirwan, N Jain, V Balachandran
2021 IEEE International Conference on Engineering, Technology & Education …, 2021
22021
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
22013
Model checking multi-agent systems
R Kirwan, A Miller
Automated Reasoning Workshop 2010 Bridging the Gap between Theory and …, 2010
22010
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
12021
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
12016
Applying model checking to agent-based learning systems
RF Kirwan
University of Glasgow, 2014
12014
Progress on Model Checking Robot Behaviour
R Kirwan, A Miller
ARW 2012, 39, 2012
12012
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
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
2023
Formal proof of Abstraction for Agent-Based Learning systems
R Kirwan, A Miller
2013
Modelling multi-agent systems
R Kirwan, A Miller
2010
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–16