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