Publications
Accueil > Actions marquantes > 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

Bisimulations for intuitionistic temporal logics (2021)
Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications, 2021, 8 (8), pp.2265-2285

Balbiani Philippe, Boudou Joseph, Diéguez Martín, Fernández-Duque David

On the resolution of singularities of one-dimensional foliations on three-manifolds
Russian Mathematical Surveys, 2021, 76 (2), pp.291-355. ⟨10.1070/RM9993⟩

Rebelo Julio, Reis H.

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