Filter your results
- 3
- 3
- 3
- 2
- 1
- 10
- 9
- 6
- 1
- 2
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
On Secure Embedded Token Design7th International Workshop on Information Security THeory and Practice (WISTP), May 2013, Heraklion, Greece. pp.112-128, ⟨10.1007/978-3-642-38530-8_8⟩
Conference papers
hal-01485937v1
|
||
|
|
Ability-Based Optimization: Designing Smartphone Text Entry Interface for Older Adults16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.326-331, ⟨10.1007/978-3-319-68059-0_22⟩
Conference papers
hal-01679821v1
|
||
|
|
Type Inference of Simulink Hierarchical Block Diagrams in Isabelle37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.194-209, ⟨10.1007/978-3-319-60225-7_14⟩
Conference papers
hal-01658411v1
|