• 
  Sandra Muller, Isabelle Ader, Justine Creff, Hélène Leménager, Pauline Achard, et al.. Human adipose stromal-vascular fraction self-organizes to form vascularized adipose tissue in 3D cultures. Scientific Reports, Nature Publishing Group, 2019, 9 (1), ⟨10.1038/s41598-019-43624-6⟩. ⟨hal-02136504⟩
• 
  Nathalie Panissal, Christophe Vieu. L'éducation à la nanosanté : comment préparer les adolescents d'aujourd'hui à ce bouleversement des relations entre le médecin et son patient. 2019. ⟨hal-01613868⟩
• 
  Florent Bréhard, Assia Mahboubi, Damien Pous. A certificate-based approach to formally verified approximations. ITP 2019 - Tenth International Conference on Interactive Theorem Proving, Sep 2019, Portland, United States. pp.1-19. ⟨hal-02088529⟩
• 
  Florent Bréhard, Mioara Joldes, Jean-Bernard Lasserre. On moment problems with holonomic functions. ISSAC 2019-44th International Symposium on Symbolic and Algebraic Computation, Jul 2019, Beijing, China. ⟨hal-02006645⟩
• 
  Mohammed Foughali, Félix Ingrand, Cristina Seceleanu. Statistical Model Checking of Complex Robotic Systems. 26th International SPIN Symposium on Model Checking of Software, Jul 2019, Beijing, China. ⟨hal-02152286⟩
• 
  Titouan Verdu, Gautier Hattenberger, Simon Lacroix. Flight patterns for clouds exploration with a fleet of UAVs. 2019 International Conference on Unmanned Aircraft Systems (ICUAS 2019), Jul 2019, Atlanta, United States. ⟨hal-02137839⟩
• 
  Mathieu Geisert, Thomas Yates, Asil Orgen, Pierre Fernbach, Ioannis Havoutis. Contact Planning for the ANYmal Quadruped Robot using an Acyclic Reachability-Based Planner. Towards Autonomous Robotic Systems Conference (TAROS) 2019, Jul 2019, London, United Kingdom. ⟨hal-02097212v2⟩
• 
  Matthieu Barreau. Stabilité et stabilisation de systèmes linéaires à l’aide d’inégalités matricielles linéaires. Quadrature, EDP Sciences, A paraître, ⟨https://www.quadrature.info/le-numero-112-de-quadrature-vient-de-paraitre/⟩. ⟨hal-02111784⟩
• 
  Guangxue Zhang, Aneel Tanwani. ISS Lyapunov functions for cascade switched systems and event-triggered output feedback stabilization. Automatica, Elsevier, 2019, 105, pp.216-227. ⟨10.1016/j.automatica.2019.03.028⟩. ⟨hal-02144470⟩
• 
  Begum Genc, Mohamed Siala, Gilles Simonin, Barry O'Sullivan. Complexity Study for the Robust Stable Marriage Problem. Theoretical Computer Science, Elsevier, 2019, 775, pp.76-92. ⟨10.1016/j.tcs.2018.12.017⟩. ⟨hal-01974431⟩
• 
  James Zapata, Andréa Nicollet, Baptiste Julien, Guillaume Lahiner, Alain Estève, et al.. Self-propagating combustion of sputter-deposited Al/CuO nanolaminates. Combustion and Flame, Elsevier, 2019, 205, pp.389-396. ⟨10.1016/j.combustflame.2019.04.031⟩. ⟨hal-02127351⟩
• 
  Shamel Fahmi, Carlos Mastalli, Michele Focchi, Claudio Semini. Passive Whole-body Control for Quadruped Robots: Experimental Validation over Challenging Terrain. IEEE Robotics and Automation Letters, IEEE 2019, 4 (3), pp.2553-2560. ⟨10.1109/LRA.2019.2908502⟩. ⟨hal-02086071⟩

5 219