Publications
Home > Spotlight > Publications
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 DERIVATIVE NONLINEAR SCHRÖDINGER EQUATION ON THE HALF LINE WITH ROBIN BOUNDARY CONDITION
Journal of Mathematical Physics, 2021, ⟨10.1063/5.0049337⟩

van Tin Phan

Optimization over trace polynomials
Annales Henri Poincaré, 2021, ⟨10.1007/s00023-021-01095-4⟩

Klep Igor, Magron Victor, Volčič Jurij

Incremental Without Replacement Sampling in Nonconvex Optimization
Journal of Optimization Theory and Applications, 2021, ⟨10.1007/s10957-021-01883-2⟩

Pauwels Edouard

The Besicovitch-Stability of Noisy Tilings is Undecidable
Automata 2021, Jul 2021, Marseille, France

Gayral Léo

Sequential convergence of AdaGrad algorithm for smooth convex optimization
Operations Research Letters, 2021, 49 (4), pp.452-458. ⟨10.1016/j.orl.2021.04.011⟩

Traoré Cheik, Pauwels Edouard

Accelerating the Computation of Dead and Concurrent Places using Reductions
27th International SPIN Symposium on Model Checking of Software, Jul 2021, Aarhus, Denmark. ⟨10.1007/978-3-030-84629-9_3⟩

Amat Nicolas, Dal Zilio Silvano, Le Botlan Didier

Optical diffraction tomography from single-molecule localization microscopy
Optics Communications, 2021, 499, pp.127290. ⟨10.1016/j.optcom.2021.127290⟩

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

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