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