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