Loading...
Collection of the publications of the LORIA, Lorraine Laboratory of IT Research and its Applications - UMR 7503
This collection contains all the HAL, HAL-INRIA, TEL publications (notice or deposit with full text) where at least one author is affliated to the LORIA.
A consultation by subcollection is also possible, each subcollection corresponding to a scientific department of the laboratory:
- Department 1: Algorithms, Computation, Image & Geometry
- Department 2: Formal methods
- Department 3: Networks, Systems and Services
- Department 4: Natural Language Processing & Knowledge Discovery
- Department 5: Complex Systems, Artificial Intelligence and Robotics
For all your questions or comments about this collection, please contact us at: publications@loria.fr
Latest deposits

Number of full text documents
8 811
Submissions distribution by document type
Keywords
Automated deduction
Adaptation
Uml
Association rules
Supervision
Réseaux de neurones
Information retrieval
Data mining
Ontology
Semantics
Complexity
Natural language processing
Speech recognition
Economic intelligence
Web services
Document analysis
Modelling
Reinforcement learning
Security
Network management
Cryptographic protocols
Performance
Performance evaluation
Coordination
Verification
Workflow
Reconnaissance automatique de la parole
Fouille de données
Parole
Formal methods
Matching
Refinement
Sécurité
Termination
Clustering
Annotation
Segmentation
Java
Induction
Real-time
Machine learning
Optimisation
Recommender systems
Sémantique
Xml
Formal Concept Analysis
Cooperation
Web sémantique
Intelligence économique
Deep learning
Recherche d'information
Raffinement
Optimization
Linear logic
Parallelism
Temps réel
Apprentissage par renforcement
B method
Formal concept analysis
Term rewriting
Spécification
Narrowing
Event-B
Proof
Model checking
Simulation
Constraints
Strategy
Modélisation
Complexité
Rewriting
Scheduling
M
Ordonnancement
Parallélisme
Multicast
Privacy
Validation
Real-time systems
Speech
Réécriture
Apprentissage
Robustness
Connexionnisme
Embedded systems
Logique linéaire
Reconnaissance de la parole
Raisonnement à partir de cas
Modeling
Security protocols
Automatic speech recognition
Monitoring
Learning
Case-based reasoning
Vérification
Neural networks
Augmented reality
Classification
Interoperability
Management