Arnaud Hamon
Arnaud Hamon
LS2N
Verified email at ec-nantes.fr
Title
Cited by
Cited by
Year
Cross four-bar linkage for the knees of a planar bipedal robot
A Hamon, Y Aoustin
2010 10th IEEE-RAS International Conference on Humanoid Robots, 379-384, 2010
492010
Formal description of multi-touch interactions
A Hamon, P Palanque, JL Silva, Y Deleris, E Barboni
Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive …, 2013
392013
Human like trajectory generation for a biped robot with a four-bar linkage for the knees
Y Aoustin, A Hamon
Robotics and Autonomous Systems 61 (12), 1717-1725, 2013
182013
Analysis of WIMP and post WIMP interactive systems based on formal specification
JL Silva, C Fayollas, A Hamon, C Martiinie, E Barboni
Electronic Communications of the EASST 69, 2014
162014
Two walking gaits for a planar bipedal robot equipped with a four-bar mechanism for the knee joint
A Hamon, Y Aoustin, S Caro
Multibody System Dynamics 31 (3), 283-307, 2014
162014
Study of different structures of the knee joint for a planar bipedal robot
A Hamon, Y Aoustin
2009 9th IEEE-RAS International Conference on Humanoid Robots, 113-120, 2009
152009
Multi-Touch interactions for control and display in interactive cockpits: issues and a proposal
A Hamon, P Palanque, R André, E Barboni, M Cronel, D Navarre
Proceedings of the International Conference on Human-Computer Interaction in …, 2014
132014
Formal modelling of dynamic instantiation of input devices and interaction techniques: application to multi-touch interactions
A Hamon, P Palanque, M Cronel, R André, E Barboni, D Navarre
Proceedings of the 2014 ACM SIGCHI symposium on Engineering interactive …, 2014
82014
Walking trajectory optimization with rotation of the feet for a planar bipedal robot with four-bar knees
A Hamon, Y Aoustin
Engineering Systems Design and Analysis 44861, 311-320, 2012
72012
Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment
C Fayollas, C Martinie, P Palanque, E Barboni, R Fahssi, A Hamon
The Handbook of Formal Methods in Human-Computer Interaction, 465-504, 2017
52017
A Tool-supported Development Process for Bringing Touch Interactions into Interactive Cockpits for Controlling Embedded Critical Systems. Int. Conf. on Hum
A Hamon, P Palanque, Y Deleris, D Navarre, E Barboni
Comput. Interact. in Aeronautics (HCI'Aero 2012), ACM DL, 25-36, 2012
52012
Dependable multi-touch interactions in safety critical industrial contexts: Application to aeronautics
A Hamon, P Palanque, M Cronel
2015 IEEE 13th International Conference on Industrial Informatics (INDIN …, 2015
42015
Similarity as a design driver for user interfaces of dependable critical systems
D Navarre, P Palanque, A Hamon, S Della Pasqua
IFIP Conference on Human-Computer Interaction, 114-122, 2017
22017
Optimal walking gait with double support, simple support and impact for a bipedal robot equipped of four-bar knees
A Hamon, Y Aoustin
22012
Influence de la cinématique d'une articulation de genou polycentrique sur la marche d'un robot bipède
A Hamon
22011
A user-centered view on formal methods: interactive support for validation and verification
E Barboni, A Hamon, CM de Almeida, P Palanque
12015
Compliance for a cross four-bar knee joint
A Hamon, Y Aoustin
Field Robotics, 750-757, 2012
12012
Longitudinal Dynamics Model Identification of an Electric Car Based on Real Response Approximation
S Dominguez, G Garcia, A Hamon, V Frémont
arXiv preprint arXiv:2003.07738, 2020
2020
An Experimental Evaluation of Robustness and Precision for Long-term LiDAR-based Localization in Highly Changing Environments
S Dominguez, G Garcia, V Frémont, A Hamon
arXiv preprint arXiv:2003.07726, 2020
2020
Walking gait of a planar bipedal robot with four-bar knees
Y Aoustin, A Hamon
Movement & Sport Sciences-Science & Motricité, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–20