Human-Computer Interaction – INTERACT 2019: 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2–6, 2019, Proceedings, Part IV
David Lamas
,
Fernando Loizides
,
Helen Petrie
,
Marco Winckler
,
Panayiotis Zaphiris
,
et al.
Springer International Publishing, LNCS-11749, 2019, Lecture Notes in Computer Science
Books
hal-02896565v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
Verification of concurrent design patterns with data
Simon Bliudze
,
Ludovic Henrio
,
Eric Madelaine
COORDINATION 2019 - 21st International Conference on Coordination Models and Languages , Jun 2019, Kongens Lyngby, Denmark. pp.161-181,
⟨10.1007/978-3-030-22397-7_10⟩
Conference papers
hal-02143782v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
Ensuring the Consistency Between User Requirements and GUI Prototypes: A Behavior-Based Automated Approach
Thiago Rocha Silva
,
Marco Winckler
,
Hallvard Trætteberg
Conference papers
hal-02544532v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
Characterizing Sets of Systems: Representation and Analysis of Across-Systems Properties
Elodie Bouzekri
,
Alexandre Canny
,
Célia Martinie
,
Philippe Palanque
Conference papers
hal-03188820v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
Designing a VR Experience to Reduce the Experience of Pain: Scare, Excite or Relax?
Erik Spek
,
Luuk Roelofs
1st Joint International Conference on Entertainment Computing and Serious Games (ICEC-JCSG) , Nov 2019, Arequipa, Peru. pp.97-110,
⟨10.1007/978-3-030-34644-7_8⟩
Conference papers
hal-03652056v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More