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
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⟩