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