Filter your results
- 5
- 5
- 5
- 1
- 1
- 1
- 2
- 5
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
5 results
|
|
sorted by
|
|
It’s Not the Way You Look, It’s How You Move: Validating a General Scheme for Robot Affective Behaviour15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.239-258, ⟨10.1007/978-3-319-22698-9_16⟩
Conference papers
hal-01609384v1
|
||
|
D–Shuffle for Prêt à Voter15th IFIP International Conference on Communications and Multimedia Security (CMS), Sep 2014, Aveiro, Portugal. pp.104-117, ⟨10.1007/978-3-662-44885-4_9⟩
Conference papers
hal-01404200v1
|
||
|
Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.94-113, ⟨10.1007/978-3-319-40370-0_7⟩
Conference papers
hal-01446035v1
|
||
|
Introduction to Attribute Based Searchable Encryption15th IFIP International Conference on Communications and Multimedia Security (CMS), Sep 2014, Aveiro, Portugal. pp.131-135, ⟨10.1007/978-3-662-44885-4_11⟩
Conference papers
hal-01404203v1
|
||
|
Automatic Generation of User Interface Layouts for Alternative Screen Orientations16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.13-35, ⟨10.1007/978-3-319-67744-6_2⟩
Conference papers
hal-01676168v1
|