Le Centre de recherche CentraleSupélec

Toutes nos publications sur HAL

Dernières publications

Article dans une revue
01/02/2025
An analytical model for the phase transformation front propagation in superelastic SMA under impact tensile loading
Y. Wang, B. Hou, S. Roux, Han Zhao
Article dans une revue
01/02/2025
Effectiveness of deck-isolation and viscous dampers supplement on enhancing seismic performance of offshore jacket platforms
S. Dashti, Karim Tarbali, C. Zhou, J.G. Chase
Article dans une revue
01/02/2025
Errata to “DiffFit: Visually-Guided Differentiable Fitting of Molecule Structures to a Cryo-EM Map”
Deng Luo, Zainab Alsuwaykit, Dawar Khan, Ondřej Strnad, Tobias Isenberg, Ivan Viola
Communication dans un congrès
28/01/2025
Vérification de bout en bout d'une fonction de bibliothèque mathématique
Paul Geneau de Lamarlière
Communication dans un congrès
28/01/2025
Des briques de calcul formel plus solides avec Capla
Josué Moreau
Communication dans un congrès
28/01/2025
Remonter les barrières pour ouvrir une clôture
Paul Patault, Arnaud Golfouse, Xavier Denis
Communication dans un congrès
28/01/2025
Cross-Language Symbolic Runtime Annotation Checking
Zhicheng Hui, Léo Andrès
Communication dans un congrès
28/01/2025
Faire chauffer Why3 avec de l'induction *
Henri Saudubray, Jean-Christophe Filliâtre, Andrei Paskevich
Communication dans un congrès
28/01/2025
Remonter les barrières pour ouvrir une clôture
Paul Patault, Arnaud Golfouse, Xavier Denis
Communication dans un congrès
28/01/2025
HOL-CSP : des erreurs à rattraper
Benoît Ballenghien

Pages