Skip to Main content Skip to Navigation

hal-01893012v1  Conference papers
Isabelle Gnaedig. Termination of Order-sorted Rewriting
ALP 1992 - 3rd International Conference on Algebraic and Logic Programming, Sep 1992, Volterra, Italy. pp.37 - 52, ⟨10.1007/bfb0013818⟩
hal-01112891v1  Conference papers
Kamel SmaïliFrançois CharpilletJean-Paul Haton. A new algorithm for Automatic Word Classification based on an Improved Simulated Annealing Technique
The 5th International Conference on the Cognitive Science of Natural Language Processing, 1996, Dublin, Ireland
hal-01098490v1  Conference papers
François CharpilletAnne Boyer. Composing and Monitoring Non Deterministic Design-to-time Methods
AAAI Fall Symposium on Flexible Computation in Intelligent Systems, Nov 1996, Boston, United States
hal-01112900v1  Conference papers
Dominique FohrJ.-P HatonJean-François MariKamel SmaïliImed Zitouni. Towards an oral interface for data entry: The MAUD System
European Research Consortium for Informatics and Mathematics User Interfaces for AII, 1997, Nancy, France
hal-01112905v1  Conference papers
Kamel SmaïliImed ZitouniFrançois CharpilletJean-Paul Haton. An Hybrid Language Model for a Continuous Dictation Prototype
5th European Conference on Speech Communication and Technology, Sep 1997, Rhodes, Greece
hal-01112917v1  Conference papers
Imed ZitouniKamel SmaïliJean-Paul Haton. Variable-length class sequences based on a hierarchical approach: MCnv
SPECOM 1998 - 3rd International Workshop on Speech and Computer, Oct 1998, Saint-Petersbourg, Russia
hal-00347868v1  Journal articles
Xavier AntoineHélène BarucqAbderrahmane Bendali. Bayliss-Turkel-like Radiation Condition on Surfaces of Arbitrary Shape
Journal of Mathematical Analysis and Applications, Elsevier, 1999, 229 (1), pp.184-211. ⟨10.1006/jmaa.1998.6153⟩
hal-00347872v1  Journal articles
Xavier AntoineHélène Barucq. Microlocal Diagonalization of Strictly Hyperbolic Pseudodifferential Systems and Application to the Design of Radiation Conditions in Electromagnetism
SIAM Journal on Applied Mathematics, Society for Industrial and Applied Mathematics, 2001, 61 (6), pp.1877-1905
hal-00347869v1  Journal articles
Xavier Antoine. Fast Approximate Computation of a Time-Harmonic Scattered Field using the On-Surface Radiation Condition Method
IMA Journal of Applied Mathematics, Oxford University Press (OUP), 2001, 66 (1), pp.83-110. ⟨10.1093/imamat/66.1.83⟩
hal-03116903v1  Conference papers
Jean-Francois ScheidGiulio Schimperna. Regularity and uniqueness results for a phase change problem in binary alloys
4th European Conference Elliptic and Parabolic Problems, Sep 2001, Gaeta, Italy. pp.475-484, ⟨10.1142/9789812777201_0045⟩
inria-00100916v1  Conference papers
Yannick ChevalierLaurent Vigneron. Automated Unbounded Verification of Security Protocols
14th International Conference on Computer Aided Verification - CAV'2002, 2002, Copenhaguen, Denmark, pp.324-337
inria-00107574v1  Conference papers
Imine AbdessamadPascal MolliGérald OsterMichaël Rusinowitch. Development of Transformation Functions Assisted by a Theorem Prover
Fourth International Workshop on Collaborative Editing 2002 - ACM CSCW'2002, 2002, Nouvelle-Orléans, USA, 8 p
inria-00107572v1  Conference papers
Gilles SimonMarie-Odile Berger. Real time registration of known or recovered multi-planar structures: application to AR
13th British Machine Vision Conference 2002 - BMVC'2002, 2002, Cardiff, United Kingdom, France. pp.567-576
hal-00210535v1  Journal articles
Stephanie LohrengelChristophe Hazard. A singular field method for Maxwell's equations: numerical aspects for 2D magnetostatics
SIAM Journal on Numerical Analysis, Society for Industrial and Applied Mathematics, 2002, 40 (3), pp.1021--1040. ⟨10.1137/S0036142900375761⟩
hal-00347876v1  Journal articles
Xavier Antoine. An Algorithm Coupling the OSRC and FEM for the Computation of an Approximate Scattered Acoustic Field by a Non-convex Body
International Journal for Numerical Methods in Engineering, Wiley, 2002, 54 (7), pp.1021-1041. ⟨10.1002/nme.458⟩
hal-00133420v1  Journal articles
Emmanuel FrénodFrédérique Watbled. The Vlasov equation with strong magnetic field and oscillating electric field as a model of isotope resonant separation
Electronic Journal of Differential Equations, Texas State University, Department of Mathematics, 2002, 2000, pp.1--20
hal-00956165v1  Journal articles
Jean-Michel DischlerKarl MaritaudBruno LévyDjamchid Ghazanfarpour. Texture Particles
Computer Graphics Forum, Wiley, 2002, 21 (3), pp.401-410. ⟨10.1111/1467-8659.t01-1-00600⟩
inria-00100915v1  Conference papers
Alessandro ArmandoDavid BasinMehdi BouallaguiYannick ChevalierLuca Compagna et al.  The AVISS Security Protocol Analysis Tool
14th International Conference on Computer Aided Verification - CAV'2002, Jul 2002, Copenhaguen, Denmark, pp.349-353
inria-00103879v1  Conference papers
Mehdi BouallaguiYannick ChevalierMichaël RusinowitchMathieu TuruaniLaurent Vigneron. Analyse Automatique de Protocoles de Sécurité avec CASRUL
Sécurité et Architecture Réseaux - SAR'2002, Jul 2002, Marrackech, Maroc, Morocco
hal-00115319v1  Journal articles
Antoine HenrotEdouard Oudet. Minimizing the second eigenvalue of the Laplace operator with Dirichlet boundary conditions
Archive for Rational Mechanics and Analysis, Springer Verlag, 2003, 169, pp.73-87. ⟨10.1007/s00205-003-0259-4⟩
inria-00099700v1  Conference papers
Abdessamad IminePascal MolliGérald OsterPascal Urso. VOTE: Group Editors Analyzing Tool
Fourth International Workshop on First-Order Theorem Proving - FTP'03, 2003, Valencia, Spain, pp.153-161, ⟨10.1016/S1571-0661(04)80660-1⟩
inria-00107652v1  Conference papers
Abdessamad IminePascal MolliGérald OsterMichaël Rusinowitch. Proving Correctness of Transformation Functions in Real-Time Groupware
8th European Conference of Computer-supported Cooperative Work - ECSCW'03, 2003, Helsinki, Finland, 18 p
inria-00107740v1  Reports
Pascal MolliGérald OsterHala Skaf-MolliAbdessamad Imine. Safe Generic Data Synchronizer
[Intern report] A03-R-062 || molli03a, 2003, 8 p
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-00107738v1  Reports
Roman PutanowiczFrédéric Magoulès. Simple visualizations of unstructured grids with VTK
[Intern report] A03-R-039 || putanowicz03b, 2003, 27 p
hal-00115548v1  Journal articles
Antoine Henrot. Minimization problems for eigenvalues of the Laplacian
Journal of Evolution Equations, Springer Verlag, 2003, 3, pp.443-461. ⟨10.1007/978-3-0348-7924-8_24⟩
hal-00867272v1  Journal articles
Abderrahim OuahbiAbderrahman IggidrMohamed El Bagdouri. Stabilization of an Exploited Fish Population
Systems Analysis Modelling Simulation, Informa UK (Taylor & Francis), 2003, 43 (4), pp.513-524. ⟨10.1080/02329290290028543⟩
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-00099513v1  Directions of work or proceedings
Ingo DahnLaurent Vigneron. 4th International Workshop on First-Order Theorem Proving- FTP'2003
1 (1), Elsevier Science Publishers, 2003, Electronic Notes in Theoretical Computer Science
hal-02556177v1  Conference papers
Haoxun ChenLionel AmodeoLydia Boudjeloud-Assala. Supply chain optimization with Petri Nets and Genetic Algorithms
International Conference on Industrial Engineering and Production Management, May 2003, Porto, Portugal
hal-00433115v1  Conference papers
Abdessamad IminePascal Urso. Automatic Detection of Copies Divergence in Collaborative Editing Systems
Eighth International Workshop on Formal Methods for Industrial Critical Systems - FMICS'03, Jun 2003, Trondheim, Norway. pp.92-108, ⟨10.1016/S1571-0661(04)80811-9⟩
inria-00103954v1  Conference papers
Yannick ChevalierRalf KüstersMichaël RusinowitchMathieu Turuani. An NP Decision Procedure for Protocol Insecurity with XOR
18th IEEE Symposium on Logic in Computer Science (LICS 2003), Jun 2003, Ottawa, Canada, pp.261-270
inria-00099514v1  Conference papers
Yannick ChevalierRalf KüstersMichaël RusinowitchMathieu TuruaniLaurent Vigneron. Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions
Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Güdel Colloquium, KGC 2003, Aug 2003, Vienna, Austria, pp.128-141
hal-00347894v1  Journal articles
Xavier AntoineMohammed Lemou. Wavelet Approximations of a Collision Operator in Kinetic Theory
Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 2003, 337 (5), pp.353-358. ⟨10.1016/S1631-073X(03)00345-5⟩
inria-00099815v1  Conference papers
Pascal MolliGérald OsterHala Skaf-MolliAbdessamad Imine. Using the Transformational Approach to Build a Safe and Generic Data Synchronizer
International Conference on Supporting Group Work - Group 2003, ACM SIGGROUP, Nov 2003, Sanibel Island, Florida, USA, pp.212-220, ⟨10.1145/958160.958194⟩
inria-00103935v1  Conference papers
Yannick ChevalierRalf KüstersMichaël RusinowitchMathieu Turuani. Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Dec 2003, Mumbai, India, pp.124-135
hal-00141800v1  Journal articles
Jorge San MartinJean-Francois ScheidTakéo TakahashiMarius Tucsnak. Convergence of the Lagrange-Galerkin method for a fluid-rigid system
Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 2004, 339 (1), pp.59-64. ⟨10.1016/j.crma.2004.04.007⟩
hal-00141072v1  Book sections
Xavier AntoineChristophe Besse. Artificial Boundary Conditions for Schrödinger-type Equations and their Numerical Approximation
Y.Y. Lu, W.W. Sun and Tao Tang. Advances in Scientific Computing and Applications, Science Press, pp.8-21, 2004
hal-00139351v1  Journal articles
Michel Mehrenberger. Observability of coupled systems
Acta Mathematica Hungarica, Springer Verlag, 2004, 4 (103), pp.321-348. ⟨10.1023/B:AMHU.0000028832.47891.09⟩
hal-00141917v1  Journal articles
Antoine HenrotMichel PierreMounir Rihani. Positivity of the shape Hessian and instability of some equilibrium shapes
Mediterranean Journal of Mathematics, Springer Verlag, 2004, 1 (2), pp.195-214. ⟨10.1007/s00009-004-0011-9⟩
inria-00099882v1  Conference papers
Yannick ChevalierLuca CompagnaJorge CuellarPaul Hankes DrielsmaJacopo Mantovani et al.  A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols
Workshop on Specification and Automated Processing of Security Requirements - SAPS'2004, 2004, Linz, Austria, 13 p
inria-00099986v1  Conference papers
Abdessamad IminePascal MolliGérald OsterMichaël Rusinowitch. Deductive Verification of Distributed Groupware Systems
Tenth International Conference on Algebraic Methodology and Software Technology - AMAST 2004, 2004, Stirling, Scotland, United Kingdom, pp.226-240
inria-00099991v1  Conference papers
David BasinMichaël Rusinowitch. Automated Reasoning
Second International Joint Conference on Automated Reasoning - IJCAR'2004, 2004, Cork, Irlande, France. XII-491 p
inria-00099993v1  Conference papers
Michaël Rusinowitch. A Decidable Analysis of Security Protocols
18th IFIP World Computer Congress on Theoretical Computer Science - TCS'2004, 2004, Toulouse, France, 1 p
inria-00099985v1  Conference papers
Silvio RaniseChristophe RingeissenDuc-Khanh Tran. Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn
First International Colloquium on Theoretical Aspects of Computing - ICTAC 2004, Keijiro Araki, Zhiming Liu, 2004, Guiyang, Chine, 15 p
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-00100008v1  Conference papers
Tarek AbbesAlakesh HaloiMichaël Rusinowitch. High Performance Intrusion Detection using Traffic Classification
International Conference on Advances in Intelligent Systems - Theory and Applications - AISTA 2004, 2004, Luxembourg
inria-00100031v1  Directions of work or proceedings
Deepak KapurLaurent Vigneron. Special issue on First-Order Theorem Proving of the Journal of Automated Reasoning
Deepak Kapur and Laurent Vigneron. 33 / n°3-4, Kluwer, pp.219-383, 2004
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
hal-00014216v2  Journal articles
Pedro FreitasAntoine Henrot. On the first twisted Dirichlet eigenvalue
Communications in Analysis and Geometry, 2004, 12, pp.1083-1103
hal-00794524v1  Journal articles
Christophe HazardKarim Ramdani. Selective Acoustic Focusing Using Time-Harmonic Reversal Mirrors
SIAM Journal on Applied Mathematics, Society for Industrial and Applied Mathematics, 2004, 64 (3), pp.1057-1076. ⟨10.1137/S0036139903428732⟩
hal-00141920v1  Journal articles
Andrew AckerAntoine HenrotMichael PoghosyanHenrik Shahgholian. The multi-layer free boundary problem for the $p$-Laplacian in convex domains
Interfaces and Free Boundaries, European Mathematical Society, 2004, 6 (1), pp.81-103
hal-00594782v1  Journal articles
Nicolas Besse. Convergence of a semi-Lagrangian scheme for the one-dimensional Vlasov-Poisson system
SIAM Journal on Numerical Analysis, Society for Industrial and Applied Mathematics, 2004, 42 (1), pp.350-382. ⟨10.1137/S0036142902410775⟩
hal-00866648v1  Book sections
Abderrahman Iggidr. Controllability, Observability, and Stability of Mathematical Models
Jerzy A. Filar. Encyclopedia of Life Support Systems (EOLSS), Mathematical Models, UNESCO, Eolss Publishers, 2004