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