Maud Reynier

1PUBLICATIONS
1CO-AUTHORS
Formal methods for software
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Feb 16, 2026
Auto-planning in preoperative shoulder arthroplasty software reduces implant planning time and number of actions.

Pierre Mahe, Sarah Shank, Arthur de Gast

Pageof 1

Frequent Collaborators

1 joint publications

Arthur de Gast