Publications
Home > Spotlight > Publications
On the Combination of Polyhedral Abstraction and SMT-based Model Checking for Petri nets
42rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2021), Jun 2021, Paris (virtual), France. ⟨10.1007/978-3-030-76983-3_9⟩

Amat Nicolas, Berthomieu Bernard, Dal Zilio Silvano

Uniform null controllability for parabolic equations with discontinuous diffusion coefficients
ESAIM: Control, Optimisation and Calculus of Variations, 2021, ⟨10.1051/cocv/2021063⟩

Dardé Jérémi, Ervedoza Sylvain, Morales Roberto

Boundary null-controllability of 1-D coupled parabolic systems with Kirchhoff-type condition
Mathematics of Control, Signals, and Systems, 2021, 33 (3), pp.413--471. ⟨10.1007/s00498-021-00285-z⟩

Bhandari Kuntal, Boyer Franck, Hernández-Santamaría Víctor

DIFFRACTION TOMOGRAPHY FROM SINGLE-MOLECULE LOCALIZATION MICROSCOPY: NUMERICAL FEASIBILITY
IEEE 18th International Symposium on Biomedical Imaging (ISBI), Apr 2021, Nice (Virtual), France

Pham Thanh-An, Soubies Emmanuel, Soulez Ferréol, Unser Michael

CRITICAL TIME FOR THE OBSERVABILITY OF KOLMOGOROV-TYPE EQUATIONS
Journal de l'École polytechnique — Mathématiques, 2021, ⟨10.5802/jep.160⟩

Dardé Jérémi, Royer Julien

Identification of the anti-diffusion coefficient for the linear Kuramoto-Sivashinsky equation
Journal of Mathematical Analysis and Applications, 2021, 495, pp.124747 -. ⟨10.1016/j.jmaa.2020.124747⟩

Gajardo Diego, Mercado Alberto, Muñoz Juan Carlos

Duality between the local score of one sequence and constrained Hidden Markov Model
Methodology and Computing in Applied Probability, 2021, Methodology and Computing in Applied Probability, 24 (3), pp.1411-1438. ⟨10.1007/s11009-021-09856-8⟩

Mercier Sabine, Nuel Grégory

Automatic and Intelligent Composition of Pervasive Applications - Demonstration
19th IEEE International Conference on Pervasive Computing and Communications (PerCom 2021), Mar 2021, Kassel (virtual), Germany

Delcourt Kévin, Adreit Françoise, Arcangeli Jean-Paul, Hacid Kahina, Trouilhet Sylvie, Younes Walid

On entropy production of repeated quantum measurements II. Examples
Journal of Statistical Physics, 2021, 182 (3), pp.44. ⟨10.1007/s10955-021-02725-1⟩

Benoist Tristan, Cuneo Noé, Jakšić Vojkan, Pillet Claude-Alain

Data analysis from empirical moments and the Christoffel function
Foundations of Computational Mathematics, 2021, 21, pp.243--273. ⟨10.1007/s10208-020-09451-2⟩

Pauwels Edouard, Putinar Mihai, Lasserre Jean-Bernard