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