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