Filter your results
- 6
- 5
- 1
- 6
- 2
- 3
- 3
- 3
- 2
- 4
- 4
- 2
- 1
- 2
- 3
- 1
- 6
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Electronic GovernmentSpringer International Publishing, LNCS-12219, 2020, Lecture Notes in Computer Science, 978-3-030-57598-4. ⟨10.1007/978-3-030-57599-1⟩
Books
hal-03282761v1
|
||
|
|
Passive Testing with Asynchronous Communications15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.99-113, ⟨10.1007/978-3-642-38592-6_8⟩
Conference papers
hal-01515240v1
|
||
|
|
Social Media and Government Responsiveness: The Case of the UK Food Standards Agency12th International Conference on Electronic Government (EGOV), Sep 2013, Koblenz, Germany. pp.310-321, ⟨10.1007/978-3-642-40358-3_26⟩
Conference papers
hal-01490916v1
|
||
|
|
What to Be Disclosed? Attributes of Online Games for the Market Transparency Policy12th International Conference on Electronic Participation (ePart), Aug 2020, Linköping, Sweden. pp.81-92, ⟨10.1007/978-3-030-58141-1_7⟩
Conference papers
hal-03201957v1
|
||
|
|
Implementing Multiparty Session Types in Rust22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.127-136, ⟨10.1007/978-3-030-50029-0_8⟩
Conference papers
hal-03273998v1
|
||
|
|
Dynamic Spatial Positioning: Physical Collaboration around Interactive Table by Children in India14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.141-158, ⟨10.1007/978-3-642-40498-6_11⟩
Conference papers
hal-01510543v1
|