• 
  Dorian Leroy, Pierre Jeanjean, Erwan Bousse, Manuel Wimmer, Benoit Combemale. Runtime Monitoring for Executable DSLs. The Journal of Object Technology, Chair of Software Engineering, 2020, 19 (2), pp.1-23. ⟨10.5381/jot.2020.19.2.a6⟩. ⟨hal-03109992⟩
• 
  Assia Mahboubi. Machine-checked computer-aided mathematics. Logic in Computer Science [cs.LO]. Université de Nantes (UN), Nantes, FRA., 2021. ⟨tel-03107626v2⟩
• 
  Maxime Belair, Sylvie Laniepce, Jean-Marc Menaud. SNAPPY: Programmable Kernel-Level Policies for Containers. SAC 2021 - The 36th ACM/SIGAPP Symposium On Applied Computing, Mar 2021, Gwangju / Virtual, South Korea. ⟨hal-03108231⟩
• 
  Cécile Clergeau-Allain Des Beauvais, Krystel Paulus. Stratégie RSE dans les projets évènementiels : propositions d'analyse de la dynamique multipartite du champ d'innovation. 10ème congrès de l'Aderse, Mar 2013, Brest, France. ⟨hal-03107487⟩
• 
  Cécile Clergeau-Allain Des Beauvais, Krystel Paulus. Stratégie RSE dans l’évènementiel : proposition d’un cadre d’analyse des modalités de transfert de connaissances. Semaine du management, 1ère conférence de l’AFMaT, May 2014, Aix-en-Provence, Marseille, France. ⟨hal-03107475⟩
• 
  Damien Chablat, Guillaume Michel, Philippe Bordure, Swaminath Venkateswaran, Ranjan Jha. Workspace Analysis in the Design Parameter Space of a 2-DOF Spherical Parallel Mechanism for a Prescribed Workspace: Application to the Otologic Surgery. Mechanism and Machine Theory, Elsevier, 2021, 157, pp.104224. ⟨10.1016/j.mechmachtheory.2020.104224⟩. ⟨hal-03106584⟩
• 
  Yana Nehmé, Florent Dupont, Jean-Philippe Farrugia, Patrick Le Callet, Guillaume Lavoué. Visual Quality of 3D Meshes with Diffuse Colors in Virtual Reality: Subjective and Objective Evaluation. IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, In press, ⟨10.1109/TVCG.2020.3036153⟩. ⟨hal-03043911⟩
• 
  Carlo Fischione, Luca Turchet, György Fazekas, Mathieu Lagrange, Hossein Ghadikolaei. The Internet of Audio Things: state-of-the-art, vision, and challenges. IEEE internet of things journal, IEEE, 2020, 7 (10), pp.10233-10249. ⟨10.1109/JIOT.2020.2997047⟩. ⟨hal-02930053v2⟩
• 
  Maverick Chardet, Hélène Coullon, Simon Robillard. Toward Safe and Efficient Reconfiguration with Concerto. Science of Computer Programming, Elsevier, 2021. ⟨hal-03103714⟩
• 
  Thomas Minier. Web Preemption for Querying the Linked Open Data. Web. Université de Nantes - Faculté des Sciences et Techniques, 2020. English. ⟨tel-03103600⟩
• 
  Antonietta Capotondi, Michael Jacox, Chris Bowler, Maria Kavanaugh, Patrick Lehodey, et al.. Observational Needs Supporting Marine Ecosystems Modeling and Forecasting: From the Global Ocean to Regional and Coastal Systems. Frontiers in Marine Science, Frontiers Media, 2019, 6, pp.623. ⟨10.3389/fmars.2019.00623⟩. ⟨hal-02316446⟩
• 
  Paul-André Melliès, Nicolas Tabareau, Christine Tasson. An explicit formula for the free exponential modality of linear logic. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2018. ⟨hal-02436316⟩
• 
  Sobhan Razm, Alexandre Dolgui, Ramzi Hammami, Nadjib Brahimi, Stefan Nickel, et al.. A two-phase sequential approach to design bioenergy supply chains under uncertainty and social concerns. Computers & Chemical Engineering, Elsevier, 2021, 145, pp.107131. ⟨10.1016/j.compchemeng.2020.107131⟩. ⟨hal-03100462⟩
• 
  Guilhem Jaber, Colin Riba. Temporal Refinements for Guarded Recursive Types. 2021. ⟨hal-02512655v3⟩
• 
  Amaury Hayat, Thibault Liard, Francesca Marcellini, Benedetto Piccoli. A multiscale second order model for the interaction between AV and traffic flows: analysis and existence of solutions. 2021. ⟨hal-03101423⟩
• 
  Amir Hazem, Béatrice Daille, Louis Chevalier, Dominique Stutzmann, Christopher Kermorvant. Hierarchical Text Segmentation for Medieval Manuscripts. COLING'2020 The 28th International Conference on Computational Linguistics, Dec 2020, Barcelona, Spain. pp.6240-6251. ⟨hal-03100170⟩
• 
  Isabelle Milleville-Pennel, Simon Marquez. Comparison between elderly and young drivers’ performances on a driving simulator and self-assessment of their driving attitudes and mastery. Accident Analysis and Prevention, Elsevier, 2020, 135, pp.105317. ⟨10.1016/j.aap.2019.105317⟩. ⟨hal-02458326⟩
• 
  Clarisse Lemonnier, Morgan Perennou, Damien Eveillard, Antonio Fernandez-Guerra, Aude Leynaert, et al.. Linking Spatial and Temporal Dynamic of Bacterioplankton Communities With Ecological Strategies Across a Coastal Frontal Area. Frontiers in Marine Science, Frontiers Media, 2020, 7, ⟨10.3389/fmars.2020.00376⟩. ⟨hal-02938091⟩
• 
  Balamurugan Jagadeesan, Peter Gerner-Smidt, Marc Allard, Sébastien Leuillet, Anett Winkler, et al.. The Use of Next Generation Sequencing for Improving Food Safety: Translation into practice. Food Microbiology, Elsevier, 2018, ⟨10.1016/j.fm.2018.11.005⟩. ⟨hal-01934206⟩
• 
  Hiroto Kaneko, Romain Blanc-Mathieu, Hisashi Endo, Samuel Chaffron, Tom Delmont, et al.. Eukaryotic virus composition can predict the efficiency of carbon export in the global ocean. iScience, Elsevier, 2020, pp.102002. ⟨10.1016/j.isci.2020.102002⟩. ⟨hal-03097258⟩

7 369

8 383