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