Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

22 results
Image document

Frameworks for Studying Social Media Interaction: A Discussion on Phenomenology and Poststructuralism

Henrik Åhman , Anders Hedman
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.701-718, ⟨10.1007/978-3-030-29387-1_41⟩
Conference papers hal-02553856v1
Image document

Defining Gestural Interactions for Large Vertical Touch Displays

Robin Andersson , Jonas Berglund , Aykut Coşkun , Morten Fjeld , Mohammad Obaid
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.36-55, ⟨10.1007/978-3-319-67744-6_3⟩
Conference papers hal-01676158v1
Image document

Introduction to User-Centred Design Sprint

Marta Larusdottir , Virpi Roto , Åsa Cajander
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.253-256, ⟨10.1007/978-3-030-85607-6_17⟩
Conference papers hal-04291204v1
Image document

Verification of Directed Acyclic Ad Hoc Networks

Parosh Aziz Abdulla , Mohamed Faouzi Atig , Othmane Rezine
15th 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.193-208, ⟨10.1007/978-3-642-38592-6_14⟩
Conference papers hal-01515235v1
Image document

The Usage of Usability Techniques in Scrum Projects

Yuan Jia , Marta Kristin Larusdottir , Åsa Cajander
4th International Conference on Human-Centered Software Engineering (HCSE), Oct 2012, Toulouse, France. pp.331-341, ⟨10.1007/978-3-642-34347-6_25⟩
Conference papers hal-01556824v1
Image document

Did We Miss Something? Correspondence Analysis of Usability Data

Stanislaw Zabramski , Wolfgang Stuerzlinger
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.272-279, ⟨10.1007/978-3-642-40498-6_20⟩
Conference papers hal-01510508v1
Image document

ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations

Kiko Fernandez-Reyes , Dave Clarke , Daniel S. Mccain
18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.101-120, ⟨10.1007/978-3-319-39519-7_7⟩
Conference papers hal-01631723v1
Image document

Forward to a Promising Future

Kiko Fernandez-Reyes , Dave Clarke , Elias Castegren , Huu-Phuc Vo
20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.162-180, ⟨10.1007/978-3-319-92408-3_7⟩
Conference papers hal-01821490v1
Image document

Using Critical Incidents in Workshops to Inform eHealth Design

Christiane Grünloh , Jean D. Hallewell Haslwanter , Bridget Kane , Eunji Lee , Thomas Lind , et al.
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.364-373, ⟨10.1007/978-3-319-67744-6_24⟩
Conference papers hal-01676170v1

Challenges from the Future: Bridging the Gaps through HCI Education

Lars Oestreicher , Paula Alexandra Silva
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.779
Conference papers hal-01513847v1
Image document

Recreating a TransMedia Architectural Location In-Game via Modular Environment Assets

Rui Rodrigues , Nataska Statham , João Jacob , Mikael Fridenfalk
20th International Conference on Entertainment Computing (ICEC), Nov 2021, Coimbra, Portugal. pp.377-385, ⟨10.1007/978-3-030-89394-1_29⟩
Conference papers hal-04144401v1
Image document

Push-Down Automata with Gap-Order Constraints

Parosh Aziz Abdulla , Mohamed Faouzi Atig , Giorgio Delzanno , Andreas Podelski
5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.199-216, ⟨10.1007/978-3-642-40213-5_13⟩
Conference papers hal-01514667v1
Image document

Continuous Improvement in Agile Development Practice

Marta Kristín Lárusdóttir , Åsa Cajander , Michael Simader
5th International Conference on Human-Centred Software Engineering (HCSE), Sep 2014, Paderborn, Germany. pp.57-72, ⟨10.1007/978-3-662-44811-3_4⟩
Conference papers hal-01405065v1
Image document

Existing but Not Explicit - The User Perspective in Scrum Projects in Practice

Åsa Cajander , Marta Larusdottir , Jan Gulliksen
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.762-779, ⟨10.1007/978-3-642-40477-1_52⟩
Conference papers hal-01504928v1

Generating Models of Infinite-State Communication Protocols using Regular Inference with Abstraction

Fides Aarts , Bengt Jonsson , Johan Uijen
IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.188-204, ⟨10.1007/978-3-642-16573-3_14⟩
Conference papers hal-00767416v1
Image document

Between Overexploitation and Underexploitation of Digital Opportunities – A Case Study with Focus on Affordances and Constraints

Göran Goldkuhl
19th International Conference on Electronic Government (EGOV), Aug 2020, Linköping, Sweden. pp.3-14, ⟨10.1007/978-3-030-57599-1_1⟩
Conference papers hal-03282784v1
Image document

Recognizing Complexity: Visualization for Skilled Professionals in Complex Work Situations

Arne W. Andersson , Anders Jansson , Bengt Sandblad , Simon Tschirner
8th Workshop on Human-Computer Interaction and Visualization (HCIV), Sep 2011, Lisbon, Portugal. pp.47-66, ⟨10.1007/978-3-642-54894-9_5⟩
Conference papers hal-01414652v1
Image document

Fencing Programs with Self-Invalidation and Self-Downgrade

Parosh Aziz Abdulla , Mohamed Faouzi Atig , Stefanos Kaxiras , Carl Leonardsson , Alberto Ros , et al.
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.19-35, ⟨10.1007/978-3-319-39570-8_2⟩
Conference papers hal-01432925v1
Image document

Development of Novel eHealth Services for Citizen Use – Current System Engineering vs. Best Practice in HCI

Isabella Scandurra , Jesper Holgersson , Thomas Lind , Gunilla Myreteg
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.372-379, ⟨10.1007/978-3-642-40480-1_24⟩
Conference papers hal-01501755v1

Human Work Interaction Design (HWID): Past History and Future Challenges

Torkil Clemmensen , José Abdelnour Nocera , Arminda Guerra Lopes , Bengt Sandblad
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.780
Conference papers hal-01513874v1
Image document

Responsibilities and Challenges of Product Owners at Spotify - An Exploratory Case Study

Sigurhanna Kristinsdottir , Marta Larusdottir , Åsa Cajander
6th International Conference on Human-Centred Software Engineering (HCSE) / 8th International Conference on Human Error, Safety, and System Development (HESSD), Aug 2016, Stockholm, Sweden. pp.3-16, ⟨10.1007/978-3-319-44902-9_1⟩
Conference papers hal-01647723v1
Image document

Weak Nominal Modal Logic

Joachim Parrow , Tjark Weber , Johannes Borgström , Lars-Henrik Eriksson
37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.179-193, ⟨10.1007/978-3-319-60225-7_13⟩
Conference papers hal-01658420v1