Publications
Home > Spotlight > Publications
EXISTENCE AND STABILITY OF NONMONOTONE HYDRAULIC SHOCKS FOR THE SAINT VENANT EQUATIONS OF INCLINED THIN-FILM FLOW
Archive for Rational Mechanics and Analysis, 2024, 248 (5), pp.82. ⟨10.1007/s00205-024-02033-4⟩

Faye Grégory, Rodrigues L. Miguel, Yang Zhao, Zumbrun Kevin

Low frequency asymptotics and local energy decay for the Schrödinger equation
Journal of the European Mathematical Society, 2024, ⟨10.4171/jems/1429⟩

Royer Julien

Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability
Verification, Model Checking, and Abstract Interpretation. VMCAI 2024, Jan 2024, London, United Kingdom. pp.101-123, ⟨10.1007/978-3-031-50524-9_5⟩

Amat Nicolas, Dal Zilio Silvano, Le Botlan Didier

JITBULL: Securing JavaScript Runtime with a Go/No-Go Policy for JIT Engine
54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2024 ), University of Queensland, Australia, Jun 2024, Brisbane, Australia. pp.156--168, …

Decourcelle Jean-Baptiste, Teabe Boris, Hagimont Daniel

Almost complex structures, transverse complex structures, and transverse Dolbeault cohomology
Revista Matemática Iberoamericana, 2024, 40 (4)

Cahen Michel, Gutt Jean, Gutt Simone

Fast VM Replication on Heterogeneous Hypervisors for Robust Fault Tolerance
Middleware '23: 24th International Middleware Conference, Dec 2023, Bologna Italy, France. 14 p., ⟨10.1145/3590140.3592849⟩

Decourcelle Jean-Baptiste, Dinh Ngoc Tu, Teabe Boris, Hagimont Daniel

Ethical Planning with Multiple Temporal Values
5th biennial Robophilosophy Conference : Social Robots in Social Institutions (Robophilosophy 2022), Aug 2022, Helsiinki, Finland. ⟨10.3233/FAIA220644⟩

Parker Timothy, Grandi Umberto, Lorini Emiliano, Clodic Aurélie, Alami Rachid

The MLE is a reliable source: sharp performance guarantees for localization problems
Inverse Problems, 2023, ⟨10.1088/1361-6420/ad0dbb⟩

Munier Nathanaël, Soubies Emmanuel, Weiss Pierre

Price of Anarchy with multiple information sources under competition
Operations Research Letters, 2023, 51 (6), pp.605-611. ⟨10.1016/j.orl.2023.10.004⟩

Miguelez Fernando, Ayesta Urtzi, Doncel Josu

Small cycle structure for words in conjugation invariant random permutations
Random Structures and Algorithms, 2023, ⟨10.1002/rsa.21203⟩

Slim Kammoun Mohamed, Maïda Mylène