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
|
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
|
||
|
Investigating Screen Reachability on an Articulated Dual-Display Smartphone17th IFIP Conference on Human-Computer Interaction (INTERACT 2019), Sep 2019, Paphos, Cyprus. pp.476-485, ⟨10.1007/978-3-030-29387-1_27⟩
Conference papers
hal-02553854v1
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
Computations in Graph Rewriting: Inductive Types and Pullbacks in DPO Approach4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.150-163, ⟨10.1007/978-3-642-28038-2_12⟩
Conference papers
hal-01527378v1
|
||
|
Advances in Data Management in the Big Data EraAdvancing Research in Information and Communication Technology, AICT - 600, IFIP : International Federation for Information Processing, pp.99-126, 2021, IFIP Advances in Information and Communication Technology book series (IFIPAICT), 978-3-030-81700-8. ⟨10.1007/978-3-030-81701-5_4⟩
Book sections
hal-03325984v1
|
||
|
Model Assisted Creativity Sessions for the Design of Mixed Interactive Systems: a Protocol Analysis14th International Conference on Human-Computer Interaction (INTERACT 2013), Sep 2013, Cap Town, South Africa. pp.126-143, ⟨10.1007/978-3-642-40477-1_8⟩
Conference papers
hal-01264520v1
|
||
|
TouchGlass: Raycasting from a Glass Surface to Point at Physical Objects in Public Exhibits17th IFIP Conference on Human-Computer Interaction (INTERACT 2019), Sep 2019, Paphos, Cyprus. pp.249-269, ⟨10.1007/978-3-030-29387-1_15⟩
Conference papers
hal-02553872v1
|
||
|
Engaging Automation at Work – A Literature Review5th IFIP Working Conference on Human Work Interaction Design (HWID 2018), Aug 2018, Espoo, Finland. pp.158-172, ⟨10.1007/978-3-030-05297-3_11⟩
Conference papers
hal-02264626v1
|
||
|
Control Rooms in Safety Critical Contexts: Design, Engineering and Evaluation IssuesIFIP WG 13.5 Workshop @18th IFIP TC 13 International Conference on Human-Computer-Interaction (INTERACT 2021), IFIP: International Federation for Information Processing, Aug 2021, Bari, Italy. pp.542-547, ⟨10.1007/978-3-030-85607-6_72⟩
Conference papers
hal-03376237v1
|
||
|
Energy: A New Criteria for Performances in Large Scale Distributed SystemsPerformance Evaluation of Computer and Communication Systems (PERFORM), Oct 2010, Vienna, Austria. pp.38-48, ⟨10.1007/978-3-642-25575-5_4⟩
Conference papers
hal-01586899v1
|