Latest submissions

Article in a review
04/01/2025
Parametric ontologies in formal software engineering
Achim Brucker, Idir Ait-Sadoune, Nicolas Méric, Burkhart Wolff
Article in a review
04/01/2025
Article in a review
04/01/2025
Hydrogen subsidies under three pillar-frameworks: A Europe-United States multi-stakeholder comparison
Arnauld Guillotin, Claire Bergaentzlé, Virginie Dussartre, Thomas Heggarty, Olivier Massol, Yannick Perez
Article in a review
03/31/2025
Pre-submission / Working document
03/31/2025
Experimental Validation of Open-Loop Walking based on Whole-Body Model Predictive Control
Luca Rossini, Francesco Ruscelli, Quentin Rouxel, Nikos Tsagarakis, Enrico Mingo Hoffman
Communication on a congress
03/31/2025
Pre-submission / Working document
03/29/2025
Pre-submission / Working document
03/28/2025
Pre-submission / Working document
03/28/2025
Computing Isomorphisms between Products of Supersingular Elliptic Curves
Pierrick Gaudry, Julien Soumier, Pierre-Jean Spaenlehauer

Pages