Filter your results
- 4
- 4
- 4
- 2
- 1
- 1
- 4
- 3
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Psi-Calculi Revisited: Connectivity and Compositionality39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.3-20, ⟨10.1007/978-3-030-21759-4_1⟩
Conference papers
hal-02313748v1
|
||
|
|
Physiological Indicators for User Trust in Machine Learning with Influence Enhanced Fact-Checking3rd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2019, Canterbury, United Kingdom. pp.94-113, ⟨10.1007/978-3-030-29726-8_7⟩
Conference papers
hal-02520035v1
|
||
|
|
Reasoning About Distributed Secrets37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.156-170, ⟨10.1007/978-3-319-60225-7_11⟩
Conference papers
hal-01658413v1
|
||
|
|
HandsIn3D: Supporting Remote Guidance with Immersive Virtual Environments14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.70-77, ⟨10.1007/978-3-642-40483-2_5⟩
Conference papers
hal-01497482v1
|