Richard Redpath

According to our database, Richard Redpath authored at least 7 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Formal design, verification and implementation of robotic controller software via RoboChart and RoboTool.

Wei Li, Pedro Ribeiro, Alvaro Miyazawa, Richard Redpath, Ana Cavalcanti, Kieran Alden, Jim Woodcock, Jon Timmis

Auton. Robots, August, 2024

2018

ARDebug: An Augmented Reality Tool for Analysing and Debugging Swarm Robotic Systems.

Alan G. Millard, Richard Redpath, Alistair M. Jewers, Charlotte Arndt, Russell Joyce, James A. Hilder, Liam McDaid, David M. Halliday

Frontiers Robotics AI, 2018

2017

Object recall using an experience database to accelerate robot action planning.

Richard Redpath, Jon Timmis, Martin Trefzer

Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017

2016

Hybrid Societies: Challenges and Perspectives in the Design of Collective Behavior in Self-organizing Systems.

Heiko Hamann, Yara Khaluf, Jean Botev, Mohammad Divband Soorati, Eliseo Ferrante, Oliver Kosak, Jean-Marc Montanier, Sanaz Mostaghim, Richard Redpath, Jon Timmis, Frank Veenstra, Mostafa Wahby, Ales Zamuda

Frontiers Robotics AI, 2016

Introducing a 3D Physics Simulation Plugin for the ARGoS Robot Simulator.

Richard Redpath, Jon Timmis, Martin A. Trefzer

Proceedings of the Towards Autonomous Robotic Systems - 17th Annual Conference, 2016

1997

Building high-performance applications and services in Java: an experiential study.

Sandeep K. Singhal, Binh Q. Nguyen, Michael Fraenkel, Richard Redpath, Jimmy Nguyen

Proceedings of the Addendum to the 1997 ACM SIGPLAN Conference on Object-Oriented Programming, 1997

InVerse: Designing an Interactive Universe Architecture for Scalability and Extensibility.

Sandeep K. Singhal, Binh Q. Nguyen, Richard Redpath, Jimmy Nguyen, Michael Fraenkel

Proceedings of the 6th International Symposium on High Performance Distributed Computing, 1997