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
-
-
-
Basavesh Ammanaghatta Shivakumar, Gilles Barthe, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, et al.. Typing High-Speed Cryptography against Spectre v1. 2023 IEEE Symposium on Security and Privacy (SP), IEEE, May 2023, San Francisco, United States. pp.1592-1609, ⟨10.1109/SP46215.2023.00091⟩. ⟨hal-04106448⟩
-
-
-
-
Number of full text documents
8 862
Submissions distribution by document type
Keywords
Real-time systems
Validation
Economic intelligence
Model checking
Multicast
Learning
Vérification
Complexité
Formal Concept Analysis
Segmentation
Annotation
Logique linéaire
Narrowing
Linear logic
Automated deduction
Network management
Cryptographic protocols
M
Speech
Modeling
Reinforcement learning
Xml
Ontology
Speech recognition
Sémantique
Parole
Adaptation
Modélisation
Reconnaissance de la parole
Cooperation
Real-time
Fouille de données
Optimization
Parallélisme
Verification
Web sémantique
Semantics
Uml
Réécriture
Ordonnancement
Natural language processing
Performance evaluation
Data mining
Recherche d'information
Security protocols
Coordination
Strategy
Rewriting
Workflow
Constraints
Automatic speech recognition
Spécification
Apprentissage
Complexity
Information retrieval
B method
Event-B
Java
Robustness
Embedded systems
Intelligence économique
Simulation
Term rewriting
Augmented reality
Security
Scheduling
Case-based reasoning
Clustering
Raisonnement à partir de cas
Formal concept analysis
Machine learning
Parallelism
Recommender systems
Performance
Raffinement
Induction
Modelling
Privacy
Temps réel
Reconnaissance automatique de la parole
Association rules
Connexionnisme
Matching
Formal methods
Monitoring
Proof
Classification
Neural networks
Supervision
Management
Apprentissage par renforcement
Optimisation
Deep learning
Web services
Termination
Sécurité
Refinement
Interoperability
Document analysis
Réseaux de neurones