Filter your results
- 4
- 2
- 4
- 2
- 6
- 6
- 11
- 7
- 12
- 12
- 13
- 10
- 17
- 9
- 10
- 9
- 7
- 6
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Tutorial: Parameterized Verification with Byzantine Model Checker40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.189-207, ⟨10.1007/978-3-030-50086-3_11⟩
Conference papers
hal-03283235v1
|
||
|
Blockchain- and IPFS-Based Data Distribution for the Internet of Things8th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2020, Heraklion, Crete, Greece. pp.177-191, ⟨10.1007/978-3-030-44769-4_14⟩
Conference papers
hal-03203293v1
|
||
|
Conquer Catharsis – A VR Environment for Anxiety Treatment of Children and Adolescents19th International Conference on Entertainment Computing (ICEC), Nov 2020, Xi'an, China. pp.151-162, ⟨10.1007/978-3-030-65736-9_14⟩
Conference papers
hal-03686010v1
|
||
|
Cross-Platform File System Activity Monitoring and Forensics – A Semantic Approach35th IFIP International Conference on ICT Systems Security and Privacy Protection (SEC), Sep 2020, Maribor, Slovenia. pp.384-397, ⟨10.1007/978-3-030-58201-2_26⟩
Conference papers
hal-03440824v1
|
||
Machine Learning and Knowledge ExtractionSpringer International Publishing, LNCS-12279, 2020, Lecture Notes in Computer Science, 978-3-030-57320-1. ⟨10.1007/978-3-030-57321-8⟩
Books
hal-03414737v1
|
|||
|
The Practice of Enterprise ModelingJānis Grabis; Dominik Bork. Springer International Publishing, LNBIP-400, 2020, Lecture Notes in Business Information Processing, 978-3-030-63478-0. ⟨10.1007/978-3-030-63479-7⟩
Books
hal-03434621v1
|