The following pages link to Pierre Cornilleau (Q438979):
Displaying 9 items.
- Controllability and observability of an artificial advection-diffusion problem (Q438980) (← links)
- (Q619265) (redirect page) (← links)
- Nonlinear Neumann boundary stabilization of the wave equation using rotated multipliers (Q619268) (← links)
- Energy decay for solutions of the wave equation with general memory boundary conditions. (Q636935) (← links)
- On the local exact controllability of micropolar fluids with few controls (Q2968801) (← links)
- Modular SMT Proofs for Fast Reflexive Checking Inside Coq (Q3100210) (← links)
- On the cost of null-control of an artificial advection-diffusion problem (Q5397551) (← links)
- Carleman estimates for the Zaremba Boundary Condition and Stabilization of Waves (Q5414940) (← links)
- Exponential stabilization of waves for the Zaremba boundary condition (Q6123303) (← links)