Julian Paton

According to our database, Julian Paton authored at least 2 papers between 2015 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

Formal Modeling and Verification of Rate Adaptive Pacemakers for Heart Failure.

Moon Soo Kim, Weiwei Ai, Partha S. Roop, Nathan Allen, Rohit Ramchandra, Julian Paton

Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020

2015

Bio-inspired Hardware Central Pattern Generator (hCPG) as a Therapy for Cardiorespiratory Disease.

Ashok Chauhan, Le Zhao, Julian Paton, Alain Nogaret

Proceedings of the BICT 2015, 2015