Search - IFIP Open Digital Library Access content directly

Filter your results

6 results
Structure: Internal structure identifier : 300969
publicationDateY_i : 2021
Page :
sorted by
Image document

On Bidirectional Runtime Enforcement

 Luca Aceto , Ian Cassar , Adrian Francalanza , Anna Ingólfsdóttir
41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.3-21, ⟨10.1007/978-3-030-78089-0_1⟩
Conference papers hal-03740261v1
Image document

How Adaptive and Reliable is Your Program?

 Valentina Castiglioni , Michele Loreti , Simone Tini
41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.60-79, ⟨10.1007/978-3-030-78089-0_4⟩
Conference papers hal-03740265v1
Image document

Understanding Users Through Three Types of Personas

 Lene Nielsen , Marta Larusdottir , Lars Bo Larsen
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.330-348, ⟨10.1007/978-3-030-85616-8_20⟩
Conference papers hal-04196842v1
Image document

Focus, Structure, Reflection! Integrating User-Centred Design and Design Sprint

 Virpi Roto , Marta Larusdottir , Andrés Lucero , Jan Stage , Ilja Šmorgun
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.239-258, ⟨10.1007/978-3-030-85616-8_15⟩
Conference papers hal-04196894v1
Image document

Remote User Testing

 Lars Bo Larsen , Tina Øvad , Lene Nielsen , Marta Larusdottir
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.579-583, ⟨10.1007/978-3-030-85607-6_81⟩
Conference papers hal-04291186v1
Image document

What Is a Game Mechanic?

 Priscilla Lo , David Thue , Elin Carstensdottir
20th International Conference on Entertainment Computing (ICEC), Nov 2021, Coimbra, Portugal. pp.336-347, ⟨10.1007/978-3-030-89394-1_25⟩
Conference papers hal-04144396v1
Page :