Filter your results
- 71
- 7
- 69
- 8
- 1
- 78
- 4
- 1
- 1
- 8
- 6
- 17
- 2
- 3
- 6
- 6
- 2
- 7
- 5
- 12
- 4
- 78
- 78
- 4
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 33
- 18
- 15
- 12
- 8
- 6
- 5
- 5
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
|
Introduction to Automation and to Its Potential for Interactive Systems Design17th IFIP Conference on Human-Computer Interaction (INTERACT 2019), Sep 2019, Paphos, Cyprus. pp.523-526, ⟨10.1007/978-3-030-29390-1_29⟩
Conference papers
hal-02877685v1
|
||
|
DVFS Aware CPU Credit Enforcement in a Virtualized System14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.123-142, ⟨10.1007/978-3-642-45065-5_7⟩
Conference papers
hal-01151030v2
|
||
|
User Experience Evaluation in Entertainment and Games13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.716-717, ⟨10.1007/978-3-642-23768-3_130⟩
Conference papers
hal-01596944v1
|
||
|
Integration of the Supplier Capacity for Choosing the Less Risky Schedule within an Uncertain Environment11th IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE), Oct 2010, Saint-Etienne, France. pp.509-516, ⟨10.1007/978-3-642-15961-9_61⟩
Conference papers
hal-01055952v1
|
||
|
A Design Process for Exhibiting Design Choices and Trade-Offs in (Potentially) Conflicting User Interface Guidelines4th International Conference on Human-Centered Software Engineering (HCSE 2012), Oct 2012, Toulouse, France. pp.53-71, ⟨10.1007/978-3-642-34347-6_4⟩
Conference papers
hal-01556811v1
|
||
|
5th Workshop on Software and Usability Engineering Cross-Pollination: Patterns, Usability and User Experience13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.718-719, ⟨10.1007/978-3-642-23768-3_131⟩
Conference papers
hal-01596941v1
|
||
|
Human-Computer Interaction – INTERACT 2011, Part IVSpringer, 6949, 2011, Lecture Notes in Computer Science book series (LNCS), 978-3-642-23767-6. ⟨10.1007/978-3-642-23768-3⟩
Books
hal-01597099v1
|
||
|
Modeless Pointing with Low-Precision Wrist Movements14th IFIP TC 13 International Conference - INTERACT, Sep 2013, Cape Town, South Africa. pp.494-511, ⟨10.1007/978-3-642-40477-1_31⟩
Conference papers
hal-00821078v2
|
||
|
Experimenting and improving perception of 3D rotation-based transitions between 2D visualizations13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.531-534, ⟨10.1007/978-3-642-23768-3_75⟩
Conference papers
hal-01022319v1
|
||
|
A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments4th International Conference on Human-Centered Software Engineering (HCSE 2012), Oct 2012, Toulouse, France. pp.72-93, ⟨10.1007/978-3-642-34347-6_5⟩
Conference papers
hal-01556835v1
|
||
|
TV Interaction Beyond the Button Press15th Human-Computer Interaction (INTERACT 2015), Sep 2015, Bamberg, Germany. pp.412-419, ⟨10.1007/978-3-319-22668-2_31⟩
Conference papers
hal-01599878v1
|
||
|
A Collaborative Planning Model to Coordinate Mining and Smelting Furnace16th IFIP Working Conference on Virtual Enterprises : Risks and Resilience of Collaborative Networks (PRO-VE 2015), IFIP International Federation for Information Processing, Oct 2015, Albi, France. pp.557-565, ⟨10.1007/978-3-319-24141-8_52⟩
Conference papers
hal-01303831v2
|
||
|
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
|
||
|
Structuring and Composition Mechanisms to Address Scalability Issues in Task Models13th International Conference on Human-Computer Interaction (INTERACT 2011), Sep 2011, Lisbon, Portugal. pp.589-609, ⟨10.1007/978-3-642-23765-2_40⟩
Conference papers
hal-01591816v1
|
||
|
R++, User-Friendly Statistical Software17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.605-609, ⟨10.1007/978-3-030-29390-1_46⟩
Conference papers
hal-02878633v1
|
||
|
Possibility theory and possibilistic logic: Tools for reasoning under and about incomplete information4th IFIP International Conference on Intelligence Science - TC 12: Artificial Intelligence (ICIS 2021), IFIP : International Federation for Information Processing, Feb 2021, Durgapur (virtual), India. pp.79-89, ⟨10.1007/978-3-030-74826-5_7⟩
Conference papers
hal-03222778v1
|
||
|
Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems5th International Conference on Fundamentals of Software Engineering (FSEN 2013), Apr 2013, Tehran, Iran. pp.111-132, ⟨10.1007/978-3-642-40213-5_8⟩
Conference papers
hal-01231765v1
|
||
|
Permutations in Coinductive Graph Representation11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.218-237, ⟨10.1007/978-3-642-32784-1_12⟩
Conference papers
hal-01539884v1
|
||
|
QBP Notation for Explicit Representation of Properties, Their Refinement and Their Potential Conflicts: Application to Interactive Systems16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.91-105, ⟨10.1007/978-3-319-92081-8_9⟩
Conference papers
hal-01821411v1
|
||
|
Goal-Oriented Monitoring Adaptation: Methodology and Patterns8th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jun 2014, Brno, Czech Republic. pp.133-146, ⟨10.1007/978-3-662-43862-6_17⟩
Conference papers
hal-01401300v1
|
||
|
Toward an agile adaptation of supply chain planning : a situational use case20th Working Conference on Virtual Enterprises (PRO-VE), Sep 2019, Turin, Italy. pp.344-354, ⟨10.1007/978-3-030-28464-0_30⟩
Conference papers
hal-02290428v1
|
||
|
A Generic Multimodels-Based Approach for the Analysis of Usability and Security of Authentication MechanismsHCSE 2020 - 8th International Conference on Human-Centered Software Engineering - IFIP WG 13.2 International Working Conference, Nov 2020, Eindhoven/ Online, Netherlands. pp.61-83, ⟨10.1007/978-3-030-64266-2_4⟩
Conference papers
hal-03079818v1
|
||
|
HCI Challenges in Human Movement Analysis17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.725-730, ⟨10.1007/978-3-030-29390-1_70⟩
Conference papers
hal-02378742v1
|
||
|
Investigating Feedback for Two-Handed Exploration of Digital Maps Without Vision17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.305-324, ⟨10.1007/978-3-030-29381-9_19⟩
Conference papers
hal-02544543v1
|
||
|
MIODMIT: A Generic Architecture for Dynamic Multimodal Interactive Systems7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.109-129, ⟨10.1007/978-3-030-05909-5_7⟩
Conference papers
hal-02270703v1
|
||
|
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
|
||
|
A System Architecture Supporting the Agile Coordination of Homecare Services11th IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE), Oct 2010, Saint-Etienne, France. pp.227-234, ⟨10.1007/978-3-642-15961-9_27⟩
Conference papers
hal-01055989v1
|
||
|
Optimization Models to Improve First Quality Agricultural Production Through a Collaboration Program in Different Scenarios21st IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE 2020), Nov 2020, Valencia, Spain. pp.546-559, ⟨10.1007/978-3-030-62412-5_45⟩
Conference papers
hal-03176820v1
|
||
|
Designing and Assessing Interactive Systems Using Task Models (2017)16th IFIP Conference on Human-Computer Interaction (INTERACT 2017), Sep 2017, Bombay, India. pp.383-386, ⟨10.1007/978-3-319-68059-0_35⟩
Conference papers
hal-02748859v2
|
||
|
A Hoare-Like Calculus Using the SROIQσ Logic on Transformations of Graphs8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.164-178, ⟨10.1007/978-3-662-44602-7_14⟩
Conference papers
hal-01402040v1
|