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