Skip to Main content
Skip to Navigation
Toggle navigation
HAL
HAL
HALSHS
TEL
MédiHAL
Liste des portails
AURéHAL
API
Data
Documentation
Episciences.org
Episciences.org
Journals
Documentation
Sciencesconf.org
Support
Sign in
Sign in
Sign in with ORCID
se connecter avec Fédération
Create account
Forgot your password?
Have you forgotten your login?
fr
en
Home
Browse
Document list
List by document type
List by year
List by subject
Search
Home
Last submissions
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⟩
Number of fulltext
7 369
Number of reference
8 383
Submissions evolution
Submissions distribution by document type