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-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-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-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-01563654v1  Conference papers
Brigitte BigiKamel Smaïli. Identification thématique hiérarchique : Application aux forums de discussions
9ème conférence annuelle sur le Traitement Automatique des Langues Naturelles - TALN'02, Jun 2002, Nancy, France. pp.24 - 27
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-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-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-00099496v1  Conference papers
Tarek AbbesAdel BouhoulaMichaël Rusinowitch. Filtrage Efficace Pour la Détection d'Intrusions
Conférence Francophone sur Sécurité et Architecture Réseaux (SAR'03), Jul 2003, Nancy, France, 10 p
tel-00004633v1  Theses
Romuald Ginhoux. Compensation des mouvements physiologiques en chirurgie robotisée par commande prédictive
Automatique / Robotique. Université Louis Pasteur - Strasbourg I, 2003. Français
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
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-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
inria-00070767v1  Reports
Calogero G. Zarba. C-tableaux
[Research Report] RR-5229, INRIA. 2004, pp.31
hal-01079278v1  Conference papers
Maxime AmblardAlain LecomteChristian Retoré. Syntax and Semantics interacting in a Minimalist theory
Prospect and advance in the syntax/semantic interface, Jan 2004, Nancy, France
hal-02314741v1  Journal articles
Pierre-Etienne MoreauOlivier Zendra. GC2: a generational conservative garbage collector for the ATerm library
Journal of Logic and Algebraic Programming, Elsevier, 2004, 59 (1-2), pp.5-34. ⟨10.1016/j.jlap.2003.12.003⟩
inria-00108119v1  Conference papers
Gérald OsterPascal MolliHala Skaf-MolliAbdessamad Imine. Un modèle sûr et générique pour la synchronisation de données divergentes
Premières Journées Francophones : Mobilité et Ubiquité - UbiMob'04, Jun 2004, Nice, France, 9 p
inria-00099889v1  Conference papers
Yannick Chevalier. A Simple Constraint-solving Decision Procedure for Protocols with Exclusive or
18th International Workshop on Unification - UNIF'2004, Jul 2004, Cork, Ireland, 15 p
hal-00121005v1  Journal articles
Gilles MillériouxLionel RosierGérard BlochJamal Daafouz. Bounded State Reconstruction Error for LPV Systems With Estimated Parameters
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2004, 49 (8), pp.1385-1389. ⟨10.1109/TAC.2004.832669⟩
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⟩
inria-00070512v1  Reports
Yannick ChevalierMichaël Rusinowitch. Combining Intruder Theories
[Research Report] RR-5495, INRIA. 2005, pp.37
hal-01564249v1  Conference papers
Salma JamoussiKamel SmaïliJean-Paul Haton. From speech to SQL queries : a speech understanding system
The twentieth national Conference on Artificial Intelligence workshop on spoken language understanding, 2005, Pittsburg, United States
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-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-00139352v1  Journal articles
Michel Mehrenberger. Critical length for a Beurling type theorem
Bollettino dell'Unione Matematica Italiana, Springer Verlag, 2005, 8,
inria-00000481v1  Conference papers
Pascal FontaineSilvio RaniseCalogero Zarba. Combining Lists with Non-Stably Infinite Theories
11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'04), Mar 2005, Montevideo/Uruguay, pp.51--66, ⟨10.1007/b106931⟩
inria-00000409v1  Directions of work or proceedings
Laurent Vigneron. Proceedings of the 19th International Workshop on Unification
A05-R-022 (A05-R-022), LORIA, pp.143, 2005
hal-01079268v1  Conference papers
Maxime Amblard. Counting dependencies and Minimalist Grammars
Logical Aspects of Computational Linguistics, student session, Apr 2005, Bordeaux, France
inria-00000408v1  Conference papers
Alessandro ArmandoDavid BasinYohan BoichutYannick ChevalierLuca Compagna et al.  The AVISPA Tool for the automated validation of internet security protocols and applications
17th International Conference on Computer Aided Verification - CAV 2005, Jul 2005, Edinburgh, Scotland/UK, France. pp.281-285
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⟩
hal-00140479v1  Conference papers
Karim RamdaniTakéo TakahashiMarius Tucsnak. A uniformly stable finite difference space semi-discretization for the internal stabilization of the plate equation in a square
ENUMATH 2005 - The 6th European Conference on Numerical Mathematics and Advanced Applications, Jul 2005, Santiago de Compostela, Spain. pp.1068--1076, ⟨10.1007/978-3-540-34288-5_107⟩
inria-00105894v1  Conference papers
Najet BoughanmiSilvio RaniseChristophe Ringeissen. On Structural Information and the Experimental Evaluation of SMT Tools
International Workshop on First-Order Theorem Proving - FTP'2005, Sep 2005, Koblenz, Germany
inria-00000606v1  Conference papers
Najah ChridiLaurent Vigneron. Modélisation des propriétés de sécurité de protocoles de groupe
1er Colloque sur les Risques et la Sécurité d'Internet et des Systèmes, CRiSIS, Oct 2005, Bourges, France, pp.119-132
inria-00000607v1  Conference papers
Judson Santos SantiagoLaurent Vigneron. Study for Automatically Analysing Non-repudiation
1er Colloque sur les Risques et la Sécurité d'Internet et des Systèmes- CRiSIS 2005, Oct 2005, Bourges/France, pp.157--171
inria-00000427v1  Conference papers
Abdessamad IminePascal MolliGérald OsterMichaël Rusinowitch. Towards Synchronizing Linear Collaborative Objects with Operation Transformation
International Conference on Formal Techniques for Networked and Distributed Systems - FORTE 2005, Oct 2005, Taipei/Taiwan, pp.411-427
inria-00000428v1  Conference papers
Gérald OsterPascal UrsoPascal MolliAbdessamad Imine. Edition collaborative sur réseau pair-à-pair à large échelle
Journées Francophones sur la Cohérence des Données en Univers Réparti - CDUR 2005, Nov 2005, Paris/France, pp.42-47
inria-00112897v1  Conference papers
Alexandre DenisMatthieu QuignardGuillaume Pitel. A Deep-Parsing Approach to Natural Language Understanding in Dialogue System: Results of a Corpus-Based Evaluation
Proceedings of Language Resources and Evaluation Conference, 2006, Genoa, Italy. pp.339-344
inria-00110858v1  Conference papers
Alexandre DenisGuillaume PitelMatthieu Quignard. A model of grouping for plural and ordinal references
18th European Summer School in Logic, Language and Information - ESSLLI 2006, 2006, Malaga, Spain
inria-00112888v1  Conference papers
Alexandre DenisGuillaume PitelMatthieu Quignard. Resolution of Referents Groupings in Practical Dialogues
7th SIGDial Workshop on Discourse and Dialogue - SIGdial'06, 2006, Sydney, Australia
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⟩