Filter your results
- 27
- 4
- 25
- 6
- 31
- 8
- 1
- 1
- 4
- 1
- 6
- 2
- 6
- 2
- 31
- 20
- 11
- 98
- 78
- 75
- 65
- 59
- 51
- 49
- 47
- 43
- 42
- 40
- 40
- 38
- 35
- 33
- 33
- 33
- 31
- 29
- 29
- 29
- 29
- 28
- 28
- 27
- 26
- 25
- 25
- 25
- 23
- 23
- 22
- 22
- 21
- 21
- 21
- 21
- 20
- 20
- 20
- 19
- 19
- 19
- 18
- 18
- 18
- 17
- 17
- 17
- 17
- 17
- 16
- 16
- 16
- 15
- 15
- 15
- 15
- 15
- 14
- 14
- 14
- 14
- 14
- 14
- 14
- 14
- 14
- 14
- 14
- 13
- 13
- 13
- 13
- 13
- 13
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 11
- 11
- 11
- 11
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 8
- 7
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
31 results
|
|
sorted by
|
|
Human Work Interaction Design. Designing Engaging AutomationSpringer International Publishing, AICT-544, 2019, IFIP Advances in Information and Communication Technology, 978-3-030-05296-6. ⟨10.1007/978-3-030-05297-3⟩
Books
hal-02264608v1
|
||
|
Enhancing Your Mental Well-Being and Creativity While Writing: A Crowdsource-Based Approach5th IFIP Working Conference on Human Work Interaction Design (HWID), Aug 2018, Espoo, Finland. pp.17-35, ⟨10.1007/978-3-030-05297-3_2⟩
Conference papers
hal-02264614v1
|
||
|
Theorizing About Socio-Technical Approaches to HCI5th IFIP Working Conference on Human Work Interaction Design (HWID), Aug 2018, Espoo, Finland. pp.242-262, ⟨10.1007/978-3-030-05297-3_17⟩
Conference papers
hal-02264612v1
|
||
|
Output-sensitive Information flow analysis39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.93-110, ⟨10.1007/978-3-030-21759-4_6⟩
Conference papers
hal-02303984v1
|
||
|
Human-Computer Interaction – INTERACT 2011, Part III: 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, ProceedingsPedro Campos; Nicholas Graham; Joaquim Jorge; Nuno Nunes; Philippe Palanque; Marco Antonio Winckler. Springer, 6948, 2011, Lecture Notes in Computer Science book series (LNCS), 978-3-642-23773-7. ⟨10.1007/978-3-642-23765-2⟩
Books
hal-01590548v1
|
||
|
Human Work Interaction Design: An Overview4th IFIP 13.6 Working Conference on Human Work Interaction Design (HWID), Jun 2015, London, United Kingdom. pp.3-19, ⟨10.1007/978-3-319-27048-7_1⟩
Conference papers
hal-01371776v1
|
||
|
Hammering Models: Designing Usable Modeling Tools13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.537-554, ⟨10.1007/978-3-642-23765-2_37⟩
Conference papers
hal-01591797v1
|
||
|
Human-Computer Interaction – INTERACT 2011, Part ISpringer, 6946, 2011, Lecture Notes in Computer Science book series (LNCS), 978-3-642-23773-7. ⟨10.1007/978-3-642-23774-4⟩
Books
hal-01591820v1
|
||
|
Knowledge-based Distributed Conflict Resolution for Multiparty Interactions and Priorities14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.118-134, ⟨10.1007/978-3-642-30793-5_8⟩
Conference papers
hal-00722485v1
|
||
|
Performing Online and Offline: How DJs Use Social Networks14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.63-80, ⟨10.1007/978-3-642-40480-1_5⟩
Conference papers
hal-01501789v1
|
||
|
WattsBurning on My Mailbox: A Tangible Art Inspired Eco-feedback Visualization for Sharing Energy Consumption14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.133-140, ⟨10.1007/978-3-642-40498-6_10⟩
Conference papers
hal-01510499v1
|
||
|
Human Work Interaction Design: Work Analysis and Interaction Design Methods for Pervasive and Smart WorkplacesJosé Abdelnour Nocera; Barbara Rita Barricelli; Arminda Lopes; Pedro Campos; Torkil Clemmensen. AICT-468, 2015, IFIP Advances in Information and Communication Technology, 978-3-319-27047-0. ⟨10.1007/978-3-319-27048-7⟩
Books
hal-01371624v1
|
||
|
Tracking Eyes in Service Prototyping14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.264-271, ⟨10.1007/978-3-642-40498-6_19⟩
Conference papers
hal-01510546v1
|
||
|
State Estimation and Property-Guided Exploration for Hybrid Systems Testing24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.152-167, ⟨10.1007/978-3-642-34691-0_12⟩
Conference papers
hal-01482399v1
|
||
|
Statistical Abstraction and Model-Checking of Large Heterogeneous SystemsJoint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.32-46, ⟨10.1007/978-3-642-13464-7_4⟩
Conference papers
inria-00554321v2
|
||
|
The Goals Approach: Enterprise Model-Driven Agile Human-Centered Software Engineering6th International Conference on Human-Centred Software Engineering (HCSE 2016), Aug 2016, Stockholm, Sweden. pp.261-280, ⟨10.1007/978-3-319-44902-9_17⟩
Conference papers
hal-01647713v1
|
||
|
Design, Innovation and Respect in the Global South15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.630-632, ⟨10.1007/978-3-319-22723-8_79⟩
Conference papers
hal-01610849v1
|
||
|
The Work and Workplace Analysis in an Elderly Centre for Agility Improvement4th IFIP 13.6 Working Conference on Human Work Interaction Design (HWID), Jun 2015, London, United Kingdom. pp.153-167, ⟨10.1007/978-3-319-27048-7_11⟩
Conference papers
hal-01371795v1
|
||
|
An Abstract Framework for Deadlock Prevention in BIP15th 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.161-177, ⟨10.1007/978-3-642-38592-6_12⟩
Conference papers
hal-00878752v1
|
||
|
Memories of Carvalhal’s Palace: Haunted Encounters, a Museum Experience to Engage Teenagers17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.554-557, ⟨10.1007/978-3-030-29390-1_36⟩
Conference papers
hal-02877669v1
|
||
|
HumanWork Interaction Design: Work Analysis and HCISpringer, AICT-407, 2013, IFIP Advances in Information and Communication Technology, 978-3-642-41144-1. ⟨10.1007/978-3-642-41145-8⟩
Books
hal-01463383v1
|
||
|
Efficient and Generalized Decentralized Monitoring of Regular Languages34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.66-83, ⟨10.1007/978-3-662-43613-4_5⟩
Conference papers
hal-00972559v1
|
||
|
Type Inference of Simulink Hierarchical Block Diagrams in Isabelle37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.194-209, ⟨10.1007/978-3-319-60225-7_14⟩
Conference papers
hal-01658411v1
|
||
|
Monitoring Distributed Systems Using Knowledge13th 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.183-197, ⟨10.1007/978-3-642-21461-5_12⟩
Conference papers
hal-01583313v1
|
||
|
Human-Computer Interaction – INTERACT 2011, Part IISpringer, LNCS-6947, 2011, Lecture Notes in Computer Science, 978-3-642-23770-6. ⟨10.1007/978-3-642-23771-3⟩
Books
hal-01590866v1
|
||
|
SCAH!RF: A Novel Wearable as a Subconscious Approach for Mitigating Anxiety Symptoms17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.664-667, ⟨10.1007/978-3-030-29390-1_58⟩
Conference papers
hal-02878658v1
|
||
|
WATTSBurning: Design and Evaluation of an Innovative Eco-Feedback System14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.453-470, ⟨10.1007/978-3-642-40483-2_32⟩
Conference papers
hal-01497454v1
|
||
|
Improving the Tourists’ Experience5th IFIP Working Conference on Human Work Interaction Design (HWID), Aug 2018, Espoo, Finland. pp.57-68, ⟨10.1007/978-3-030-05297-3_4⟩
Conference papers
hal-02264615v1
|
||
|
Monitoring Dynamical Signals While Testing Timed Aspects of a System23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.115-130, ⟨10.1007/978-3-642-24580-0_9⟩
Conference papers
hal-01583916v1
|
||
|
More Testable Properties22nd International Conference on Testing Software and Systems, Nov 2010, Natal, Brazil. pp.30-46, ⟨10.1007/978-3-642-16573-3_4⟩
Conference papers
inria-00510018v2
|
- 1
- 2