Skip to Main content Skip to Navigation

inria-00000426v1  Journal articles
Abdessamad ImineMichaël RusinowitchGérald OsterPascal Molli. Formal Design and Verification of Operational Transformation Algorithms for Copies Convergence
Theoretical Computer Science, Elsevier, 2006, Algebraic Methodology and Software Technology, 351 (2), pp.167--183. ⟨10.1016/j.tcs.2005.09.066⟩
inria-00000553v1  Journal articles
Hubert Comon-LundhVéronique Cortier. Tree automata with one memory, set constraints and cryptographic protocols
Theoretical Computer Science, Elsevier, 2005, 331 (1), pp.143-214
hal-00013870v1  Journal articles
Pascal HebrardAntoine Henrot. A spillover phenomenon in the optimal location of actuators
SIAM Journal on Control and Optimization, Society for Industrial and Applied Mathematics, 2005, 44 (1), pp.349--366. ⟨10.1137/S0363012903436247⟩
inria-00000889v1  Journal articles
Patricio CumsilleMarius Tucsnak. Wellposedness for the Navier-Stokes flow in the exterior of a rotating obstacle
Mathematical Methods in the Applied Sciences, Wiley, 2006, 29 (5), pp.595--623. ⟨10.1002/mma.702⟩
hal-00020156v1  Journal articles
Céline BarangerGérard BaudinLaurent BoudinBruno DesprésFrédéric Lagoutière et al.  Liquid jet generation and break-up
IRMA - Lectures in Mathematics and Theoretical Physics, EMS, 2005, 7, pp.149-176. ⟨10.4171/012-1/8⟩
inria-00087876v1  Journal articles
Jorge San MartinJean-Francois ScheidTakéo TakahashiMarius Tucsnak. An Initial and Boundary Value Problem Modeling Fish-like Swimming
Archive for Rational Mechanics and Analysis, Springer Verlag, 2008, 188 (3), pp.429-455. ⟨10.1007/s00205-007-0092-2⟩
hal-00091669v1  Journal articles
Xavier AntoineHélène Barucq. Approximation by Generalized Impedance Boundary Conditions of a Transmission Problem in Acoustic Scattering
ESAIM: Mathematical Modelling and Numerical Analysis, EDP Sciences, 2005, 39 (5), pp.1041-1059. ⟨10.1051/m2an:2005037⟩
hal-00091672v1  Journal articles
Xavier AntoineMarion DarbasYa Yan Lu. An Improved Surface Radiation Condition for High-Frequency Acoustics Scattering Problems
Computer Methods in Applied Mechanics and Engineering, Elsevier, 2006, 195 (33-36), pp.4060-4074. ⟨10.1016/j.cma.2005.07.010⟩
hal-00091673v1  Journal articles
Xavier AntoineChristophe BesseStéphane Descombes. Artificial Boundary Conditions for One-Dimensional Cubic Nonlinear Schrodinger Equations
SIAM Journal on Numerical Analysis, Society for Industrial and Applied Mathematics, 2006, 43 (6), pp.2272-2293
hal-00091676v1  Journal articles
Xavier AntoineMarion DarbasYa Yan Lu. An Improved On-Surface Radiation Condition for Acoustic Scattering Problems in the High-Frequency Spectrum
Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 2005, 340, pp.769-774. ⟨10.1016/j.crma.2005.04.025⟩
hal-00092000v1  Journal articles
Piotr FulmanskiAntoine LaurainJean-Francois ScheidJan Sokolowski. A levelset method in shape and topology optimization for variational inequalities
International Journal of Applied Mathematics and Computer Science, University of Zielona Góra 2007, 17 (3), pp.413-430. ⟨10.2478/v10006-007-0034-z⟩
hal-00092094v1  Journal articles
Jorge San MartinJean-Francois ScheidTakéo TakahashiMarius Tucsnak. Convergence of the Lagrange-Galerkin method for the Equations Modelling the Motion of a Fluid-Rigid System
SIAM Journal on Numerical Analysis, Society for Industrial and Applied Mathematics, 2005, Volume 43, Issue 4, pp.1536-1571. ⟨10.1137/S0036142903438161⟩
hal-00092356v1  Journal articles
Antoine HenrotJan Sokolowski. Mathematical challenges in shape optimization
Control and Cybernetics, Polish Academy of Sciences, 2005, 34, numéro 1, pp.37-57
hal-00094327v1  Journal articles
José CarrilloSimon Labrunie. Global solutions for the one-dimensional Vlasov-Maxwell system for Laser-Plasma interaction
Mathematical Models and Methods in Applied Sciences, World Scientific Publishing, 2006, 16 (1), pp.19-57. ⟨10.1142/S0218202506001042⟩
hal-00094341v1  Journal articles
Mihai BostanSimon Labrunie. On the harmonic Boltzmannian waves in laser-plasma interaction
Journal of Physics A: Mathematical and Theoretical, IOP Publishing, 2006, 39 (37), pp.11697-11706. ⟨10.1088/0305-4470/39/37/022⟩
hal-00095617v1  Journal articles
Jean-Gabriel HouotAlexandre Munnier. On the motion and collisions of rigid bodies in an ideal fluid
Asymptotic Analysis, IOS Press, 2008, 56 (3-4), pp.125-158
inria-00096780v1  Journal articles
Marius TucsnakSorin Micu. Approximate controllability of a semi-discrete 1-D wave equation
Annals of the University of Craiova. Mathematics and Computer Science series, University of Craiova, 2005
hal-00097065v1  Journal articles
Alexandre MunnierEnrique Zuazua. Large time behavior for a simplified N-dimensional model of fluid-solid interaction
Communications in Partial Differential Equations, Taylor & Francis, 2005, 30, 1-3, 377--417
hal-00097173v1  Journal articles
Andrei A. AgrachevUgo BoscainMario Sigalotti. A Gauss-Bonnet-like Formula on Two-Dimensional almost-Riemannian Manifolds
Discrete and Continuous Dynamical Systems - Series A, American Institute of Mathematical Sciences, 2008, 20 (4), pp.801-822. ⟨10.3934/dcds.2008.20.801⟩
hal-00097159v1  Journal articles
Thomas ChambrionMario Sigalotti. Tracking control for an ellipsoidal submarine driven by Kirchhoff's laws
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2008, 53 (1), pp.339-349. ⟨10.1109/TAC.2007.914958⟩