Filter your results
- 5
- 2
- 5
- 2
- 7
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
7 results
|
|
sorted by
|
|
Cue Now, Reflect Later: A Study of Delayed Reflection of Diary Events15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.367-375, ⟨10.1007/978-3-319-22698-9_24⟩
Conference papers
hal-01609425v1
|
||
|
Enabling the Autonomic Management of Federated Identity Providers7th International Conference on Autonomous Infrastructure (AIMS), Jun 2013, Barcelona, Spain. pp.100-111, ⟨10.1007/978-3-642-38998-6_14⟩
Conference papers
hal-01489959v1
|
||
|
Communications and Multimedia SecuritySpringer, LNCS-7394, 2012, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-32805-3⟩
Books
hal-01540895v1
|
||
|
Coordination Models and LanguagesSimon Bliudze; Laura Bocchi. 12134, 2020, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-50029-0⟩
Books
hal-03168525v1
|
||
|
How Real Is Unreal?16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.273-288, ⟨10.1007/978-3-319-68059-0_18⟩
Conference papers
hal-01679807v1
|
||
|
Automated Machine Learning for Studying the Trade-Off Between Predictive Accuracy and Interpretability3rd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2019, Canterbury, United Kingdom. pp.48-66, ⟨10.1007/978-3-030-29726-8_4⟩
Conference papers
hal-02520064v1
|
||
|
Relational Concurrent Refinement: Timed Refinement13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.121-137, ⟨10.1007/978-3-642-21461-5_8⟩
Conference papers
hal-01583329v1
|