2023    2022    2021    2020    2019    2018    2017    2016    2015   


   
   


   

Consultez nos publications en libre accès sur HAL.

2023


14 publication(s) :

Articles

1 - 

., A. Barrière, ., S. Blazy, ., D. Pichardie, .
Aurèle Barrière, Sandrine Blazy, David Pichardie. Formally Verified Native Code Generation in an Effectful JIT - or: Turning the CompCert Backend into a Formally Verified JIT Compiler. Proceedings of the ACM on Programming Languages, 2023, ⟨10.1145/3571202⟩. ⟨hal-03882598⟩
DOI : https://doi.org/10.1145/3571202
BibTex sert à gérer et traiter des bases bibliographiques
Fichier PDF
 Reprint request: Subject to availability
2 - 

., A. Bernardin, ., E. Coevoet, ., P. Kry, ., S. Andrews, ., C. Duriez, ., M. Marchal, .
Antonin Bernardin, Eulalie Coevoet, Paul Kry, Sheldon Andrews, Christian DuriezConstraint-based Simulation of Passive Suction Cups. ACM Transactions on Graphics, 2023, 42 (1), pp.1-14. ⟨10.1145/3551889⟩. ⟨hal-03869711⟩
DOI : https://doi.org/10.1145/3551889
BibTex sert à gérer et traiter des bases bibliographiques
Fichier PDF
 Reprint request: Subject to availability
3 - 

., A. Herasimenka, ., L. Dell'Elce, ., J.-B. Caillau, ., J.-B. Pomet, .
Alesia Herasimenka, Lamberto Dell'Elce, Jean-Baptiste Caillau, Jean-Baptiste Pomet. Controllability Properties of Solar Sails. Journal of Guidance, Control, and Dynamics, In press. ⟨hal-03331300v2⟩
BibTex sert à gérer et traiter des bases bibliographiques
Fichier PDF
 Reprint request: Subject to availability
4 - 

., A. S. Shamsabadi, ., B. M. L. Srivastava, ., A. Bellet, ., N. Vauquier, ., E. Vincent, ., M. Maouche, ., M. Tommasi, ., N. Papernot, .
Ali Shahin Shamsabadi, Brij Mohan Lal Srivastava, Aurélien Bellet, Nathalie Vauquier, Emmanuel VincentDifferentially private speaker anonymization. Proceedings on Privacy Enhancing Technologies, 2023, 2023 (1). ⟨hal-03588932⟩
BibTex sert à gérer et traiter des bases bibliographiques
 Reprint request: Subject to availability
5 - 

., D. Kouřil, ., O. Strnad, ., P. Mindek, ., S. Halladjian, ., T. Isenberg, ., M. E. Gröller, ., I. Viola, .
David Kouřil, Ondřej Strnad, Peter Mindek, Sarkis Halladjian, Tobias IsenbergMolecumentary: Adaptable Narrated Documentaries Using Molecular Visualization. IEEE Transactions on Visualization and Computer Graphics, In press, ⟨10.1109/TVCG.2021.3130670⟩. ⟨hal-03451509⟩
DOI : https://doi.org/10.1109/TVCG.2021.3130670
BibTex sert à gérer et traiter des bases bibliographiques
Fichier PDF
 Reprint request: Subject to availability
6 - 

., J.-M. Batail, ., I. Corouge, ., B. Combès, ., C. Conan, ., M. Guillery-Sollier, ., M. Vérin, ., P. Sauleau, ., F. Le Jeune, ., J.-Y. Gauvrit, ., G. Robert, ., C. Barillot, ., J.-C. Ferre, ., D. Drapier, .
Jean-Marie Batail, Isabelle Corouge, Benoit Combès, Camille Conan, Muriel Guillery-SollierApathy in depression: An arterial spin labeling perfusion MRI study. Journal of Psychiatric Research, 2023, 157, pp.7-16. ⟨10.1016/j.jpsychires.2022.11.015⟩. ⟨inserm-03866929⟩
DOI : https://doi.org/10.1016/j.jpsychires.2022.11.015
BibTex sert à gérer et traiter des bases bibliographiques
 Reprint request: Subject to availability
7 - 

., R. Meira-Góes, ., H. Marchand, ., S. Lafortune, .
Rômulo Meira-Góes, Hervé Marchand, Stéphane Lafortune. Dealing with sensor and actuator deception attacks in supervisory control. Automatica, 2023, 147, ⟨10.1016/j.automatica.2022.110736⟩. ⟨hal-03878794⟩
DOI : https://doi.org/10.1016/j.automatica.2022.110736
BibTex sert à gérer et traiter des bases bibliographiques
Fichier PDF
 Reprint request: Subject to availability
8 - 

., S. Castellan, ., P. Clairambault, .
Simon Castellan, Pierre Clairambault. The Geometry of Causality: Multi-Token Geometry of Interaction and its Causal Unfolding. Proceedings of the ACM on Programming Languages, In press. ⟨hal-03286443v2⟩
BibTex sert à gérer et traiter des bases bibliographiques
Fichier PDF
 Reprint request: Subject to availability
9 - 

., V. Kmetzsch, ., E. Becker, ., D. Saracino, ., D. Rinaldi, ., A. Camuzat, ., I. Le Ber, ., O. Colliot, .
Virgilio Kmetzsch, Emmanuelle Becker, Dario Saracino, Daisy Rinaldi, Agnes CamuzatDisease progression score estimation from multimodal imaging and microRNA data using supervised variational autoencoders. IEEE Journal of Biomedical and Health Informatics, In press, pp.1-12. ⟨10.1109/JBHI.2022.3208517⟩. ⟨hal-03789357⟩
DOI : https://doi.org/10.1109/JBHI.2022.3208517
BibTex sert à gérer et traiter des bases bibliographiques
Fichier PDF
 Reprint request: Subject to availability

Chapitres d'ouvrages scientifiques

10 - 

., N. Gac, ., J.-F. Nezan, ., A. Ferrari, ., C. Ferrari, ., M. Quinson, ., C. Dumez-Viou, .
Nicolas Gac, Jean-François Nezan, André Ferrari, Chiara Ferrari, Martin QuinsonPrototypage rapide d'un supercalculateur dédié à la radioastronomie. L'Interdisciplinarité. Voyages au-delà des disciplines, CNRS Edition, 2023. ⟨hal-03704333⟩
BibTex sert à gérer et traiter des bases bibliographiques
 Reprint request: Subject to availability


1-10    11-14   

Exporter les données affichées en CSV - Exporter les données affichées en RTF