• 
  Guilhem Jaber, Colin Riba. Temporal Refinements for Guarded Recursive Types. 2021. ⟨hal-02512655v4⟩
• 
  S Sieberts, Fan Zhu, Javier García-García, Eli Stahl, Abhishek Pratap, et al.. Crowdsourced assessment of common genetic contribution to predicting anti-TNF treatment response in rheumatoid arthritis.. Nature Communications, Nature Publishing Group, 2016, 7, pp.12460. ⟨10.1038/ncomms12460⟩. ⟨hal-01420921⟩
• 
  Guilhem Jaber, Andrzej S. Murawski. Complete trace models of state and control. 2021. ⟨hal-03116698⟩
• 
  Puviyarasu .S.A, Catherine da Cunha. Smart Factory: From concepts to operational sustainable outcomes using test-beds. Log forum- Scientific journal of logistics, Poznan School of Logistics, 2021, 1, pp.7-23. ⟨10.17270/J.LOG.2021.545⟩. ⟨hal-03114323⟩
• 
  Emeline Bailly , Sylvie Laroche. Les lisières urbaines : lieux de reliance urbaine et sensible. CIST2020 - Population, temps, territoires, Centre National de la Recherche Scientifique [CNRS], Ined, Université Paris 1, Nov 2020, Paris-Aubervilliers, France. ⟨hal-03114118⟩
• 
  Dmitry Ivanov, Alexandre Dolgui. OR-methods for coping with the ripple effect in supply chains during COVID-19 pandemic: Managerial insights and research implications. International Journal of Production Economics, Elsevier, 2021, pp.107921. ⟨10.1016/j.ijpe.2020.107921⟩. ⟨hal-03112204⟩
• 
  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⟩
• 
  Zhiqiang Wang, Mathieu Ritou, Catherine da Cunha, Benoît Furet. Contextual classification for smart machining based on unsupervised machine learning by Gaussian mixture model. International Journal of Computer Integrated Manufacturing, Taylor & Francis, 2020, 33 (10-11), pp.1042-1054. ⟨10.1080/0951192X.2020.1775302⟩. ⟨hal-02888452⟩
• 
  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⟩
• 
  Marie Lefebvre, Alban Gaignard, Maxime Folschette, Jérémie Bourdon, Carito Guziolowski. Large-scale regulatory and signaling network assembly through linked open data. Database - The journal of Biological Databases and Curation, Oxford University Press, 2021, ⟨10.1093/database/baaa113⟩. ⟨hal-03107317⟩
• 
  Vimalesh Muralidharan, Philippe Wenger. Optimal design and comparative study of two antagonistically actuated tensegrity joints. Mechanism and Machine Theory, Elsevier, In press. ⟨hal-03107170⟩
• 
  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⟩
• 
  Ramzi Ben Mhenni, Sébastien Bourguignon, Jérôme Idier. A Greedy Sparse Approximation Algorithm Based On L1-Norm Selection Rules. ICASSP 2020 - 2020 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), May 2020, Barcelona, Spain. pp.5390-5394, ⟨10.1109/ICASSP40776.2020.9054670⟩. ⟨hal-02563553⟩
• 
  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⟩
• 
  Jean-Luc Béchennec, Didier Lime, Olivier Henri Roux. Control of DES with Urgency, Avoidability and Ineluctability. 19th International Conference on Application of Concurrency to System Design (ACSD 2019), Jun 2019, Aachen, Germany. ⟨hal-02415301⟩
• 
  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⟩
• 
  Mohamed Kouki, Bogdan Marinescu, Florent Xavier. Exhaustive Modal Analysis of Interconnected European Power System: Exhaustive Modal Analysis of Interconnected European Power System. 2020 IEEE Electric Power and Energy Conference (EPEC), Nov 2020, Edmonton, AB, Canada. ⟨hal-03103860⟩

7 383

8 385