• 
  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⟩
• 
  Julio Sanchez, Christophe Louembet, Francisco Gavilan, Rafael Vazquez. An Event-Triggered Predictive Controller for Spacecraft Rendezvous Hovering Phases. 21st IFAC Symposium on Automatic Control in Aerospace, Aug 2019, Cranfield, United Kingdom. ⟨hal-02053115v2⟩
• 
  Christophe Reymann, Mohammed Foughali, Simon Lacroix. Repeatable Decentralized Simulations for Cyber-Physical Systems. International Conference on Software Quality, Reliability and Security (QRS), Jul 2019, Sofia, Bulgaria. ⟨hal-02156842⟩
• 
  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⟩

5 223