Scientific publications

All our submissions on HAL

Latest submissions

Pre-submission / Working document
12/16/2024
Coma, an Intermediate Verification Language with Explicit Abstraction Barriers
Andrei Paskevich, Paul Patault, Jean-Christophe Filliâtre
Article in a review
12/16/2024
New trends in electromagnetic inverse problems
Oliver Dorn, Yu Zhong, Dominique Lesselier
Communication on a congress
12/16/2024
A vector almost-supermartingale convergence theorem and its applications
Aditya Mahajan, Silviu-Iulian Niculescu, Mathukumalli Vidyasagar
Pre-submission / Working document
12/16/2024
Partitions of planar (oriented) graphs into a connected acyclic and an independent set
Stijn Cambie, François Dross, Kolja Knauer, Hoang La, Petru Valicov
Pre-submission / Working document
12/16/2024
dles14: large-eddy simulation of solid/fluid heat and mass transfer applied to the thermal degradation of composite material
Adrien Grenouilloux, Roxane Letournel, Nicolas Dellinger, Kevin Bioche, Vincent Moureau
Communication on a congress
12/16/2024
Homogeneous observer for a low-dimensional neural fields model of cortical activity
Adel, Malik Annabi, Ludovic Sacchelli, Jean-Baptiste Pomet, Dario Prandi
Communication on a congress
12/16/2024
Symbolically Synthesized Motion Primitives for Autonomous Navigation
Zhixin Zhao, Antoine Girard, Sorin Olaru
Pre-submission / Working document
12/16/2024
An Algebraic Point of View on the Generation of Pairing-Friendly Curves
Jean Gasnier, Aurore Guillevic
Communication on a congress
12/16/2024
Growth conditions to ensure input-to-state stability of time-delay systems under point-wise dissipation
Epiphane Loko, Antoine Chaillet, Yuan Wang, Iasson Karafyllis, Pierdomenico Pepe
Communication on a congress
12/16/2024
For time-invariant delay systems, global asymptotic stability does not imply uniform global attractivity
Antoine Chaillet, Fabian Wirth, Andrii Mironchenko, Lucas Brivadis

Pages

See also

CentraleSupélec Research Center

Our research center

Developing innovative solutions to major technological and social challenges.

Plus d'infos
Scientific publications of CentraleSupélec

Scientific publications

All of our online scientific articles.

Plus d'infos
Directory of researchers of CentraleSupélec

Directory of researchers

Contacts of all our researchers.

Plus d'infos