Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Axel Legay
Information Security, Privacy, and Trust in Social Robotic Assistants for Older Adults
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Generalized Quantitative Analysis of Metric Transition Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Vision Paper: Make a Difference! (Semantically)
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Parametric and Quantitative Extensions of Modal Transition Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The State of Fault Injection Vulnerability Detection
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On the Performance of Convolutional Neural Networks for Side-Channel Analysis
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Tutorial: An Overview of Malware Detection and Evasion Techniques
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Statistical Model Checking of LLVM Code
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Quantitative Modal Transition Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
1
2
3
›