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-00091668v1  Journal articles
Xavier AntoineMarion Darbas. Alternative Integral Equations for the Iterative Solution of Acoustic Scattering Problems
Quarterly Journal of Mechanics and Applied Mathematics, Oxford University Press (OUP), 2005, 58 (1), pp.107-128. ⟨10.1093/qjmamj/hbh023⟩
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, pp.no. 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⟩
inria-00099945v1  Journal articles
Yannick ChevalierLaurent Vigneron. Strategy for Verifying Security Protocols with Unbounded Message Size
Journal of Automated Software Engineering, Springer, 2004, 11 (2), pp.141-166
inria-00099981v1  Journal articles
Hubert Comon-LundhVéronique Cortier. Security properties: two agents are sufficient
Science of Computer Programming, Elsevier, 2004, 50 (1-3), pp.51-71
inria-00100005v1  Journal articles
Tarek AbbesAdel BouhoulaMichaël Rusinowitch. On the Fly Pattern Matching For Intrusion Detection with Snort
Annals of Telecommunications - annales des télécommunications, Springer, 2004, 59 (9-10), pp.941--967
inria-00103985v1  Journal articles
Michaël RusinowitchMathieu Turuani. Protocol insecurity with a finite number of sessions, composed keys is NP-complete.
Theoretical Computer Science, Elsevier, 2003, Theoretical Computer Science, 1-3 (299), pp.451-475. ⟨10.1016/S0304-3975(02)00490-5⟩
inria-00104005v1  Journal articles
Michael BackesAnupam DattaAnte DerekJohn C. MitchellMathieu Turuani. Compositional Analysis of Contract Signing Protocols
Theoretical Computer Science, Elsevier, 2006, Theoretical Computer Science
inria-00103807v1  Journal articles
Yannick ChevalierRalf KüstersMichaël RusinowitchMathieu Turuani. An NP Decision Procedure for Protocol Insecurity with XOR
Theoretical Computer Science, Elsevier, 2005, Theoretical Computer Science, 338 (1-3), pp.247-274
inria-00104145v1  Journal articles
François LaroussiniePhilippe SchnoebelenMathieu Turuani. On the expressivity and complexity of quantitative branching-time temporal logics.
Theoretical Computer Science, Elsevier, 2003, Theoretical Computer Science, 1-3 (297), pp.297-315. ⟨10.1016/S0304-3975(02)00644-8⟩
inria-00105523v1  Journal articles
Najah ChridiLaurent Vigneron. Sécurité des communications de groupe
La Revue de l'électricité et de l'électronique, Société de l'Électricité, de l'Électronique et des Technologies de l'Information et de la Communication, 2006, Risques et sécurité des réseaux et des systèmes à composante logicielle, pp.51-60
inria-00108376v1  Journal articles
Véronique Cortier. Vérifier les protocoles cryptographiques
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2005
inria-00108407v1  Journal articles
Véronique Cortier. Ces protocoles qui nous protègent
Bibliothèque Tangente, Editions Pôle Paris, 2006
inria-00108411v1  Journal articles
Véronique Cortier. Protocoles cryptographiques : analyse par méthodes formelles
Techniques de l'Ingenieur, Techniques de l'ingénieur, 2006
inria-00108408v1  Journal articles
Véronique Cortier. Divers protocoles couramment utilisés en informatique
Bibliothèque Tangente, Editions Pôle Paris, 2006
inria-00108372v1  Journal articles
Véronique CortierMartin Abadi. Deciding knowledge in security protocols under equational theories.
Theoretical Computer Science, Elsevier, 2006, 367 (1-2), pp.2-32
...
inria-00110757v1  Journal articles
Michaël GutnicMatthieu HaefeleEric Sonnendrücker. Moments conservation in adaptive Vlasov solver
Nuclear Instruments and Methods in Physics Research, Elsevier, 2006, Proceedings of the 8th International Computational Accelerator Physics Conference - ICAP 2004, 558 (1), pp.159-162. ⟨10.1016/j.nima.2005.11.225⟩
...
inria-00110865v1  Journal articles
Michel MehrenbergerEric Violard. A Hermite type adaptive semi-Lagrangian scheme
International Journal of Applied Mathematics and Computer Science, University of Zielona Góra 2006, ⟨10.2478/v10006-007-0027-y⟩
...
inria-00111165v1  Journal articles
Michel MehrenbergerEric ViolardOlivier HoenenMartin Campos PintoEric Sonnendrücker. A Parallel Adaptive Vlasov Solver Based on Hierarchical Finite Element Interpolation
Nuclear Instruments and Methods in Physics Research, Elsevier, 2006, Proceedings of the 8th International Computational Accelerator Physics Conference - ICAP 2004, 558 (1), pp.188-191. ⟨10.1016/j.nima.2005.11.225⟩
...
hal-00014216v2  Journal articles
Pedro FreitasAntoine Henrot. On the first twisted Dirichlet eigenvalue
Communications in Analysis and Geometry, 2004, 12, pp.1083-1103