Search Results - "Forster, Yannick"

Exploring the Interaction Between Anthropomorphic Appearance and Performance on Trust and Acceptance in Voice Assistants.

Authors: Sogemeier, Denise Naujoks, Frederik Forster, Yannick et al.

Source: International Journal of Human-Computer Interaction; Jun2026, Vol. 42 Issue 12, p9506-9525, 20p

From Touch to Feel: Can Piezo Haptics Improve Automotive Touchscreen Interaction?

Authors: Heijboer, Stefan Breitschaft, Stefan Forster, Yannick et al.

Source: International Journal of Human-Computer Interaction; Jun2026, Vol. 42 Issue 12, p8851-8871, 21p

Correct and Complete Type Checking and Certified Erasure for Coq, in Coq.

Authors: Sozeau, Matthieu Forster, Yannick Lennon-Bertrand, Meven et al.

Source: Journal of the ACM. Feb2025, Vol. 72 Issue 1, p1-74. 74p.

Completeness theorems for first-order logic analysed in constructive type theory: Extended version.

Authors: Forster, Yannick Kirst, Dominik Wehr, Dominik

Source: Journal of Logic & Computation; Jan2021, Vol. 31 Issue 1, p112-151, 40p

Where We Come from and Where We Are Going: A Systematic Review of Human Factors Research in Driving Automation.

Authors: Frison, Anna-Katharina Forster, Yannick Wintersberger, Philipp et al.

Source: Applied Sciences (2076-3417); Dec2020, Vol. 10 Issue 24, p8914, 36p

HILBERT’S TENTH PROBLEM IN COQ (EXTENDED VERSION).

Authors: LARCHEY-WENDLING, DOMINIQUE FORSTER, YANNICK

Source: Logical Methods in Computer Science (LMCS); 2022, Vol. 18 Issue 1, p1-41, 41p, 3 Diagrams

Driving across Markets: An Analysis of a Human–Machine Interface in Different International Contexts.

Authors: Sogemeier, Denise Forster, Yannick Naujoks, Frederik et al.

Source: Information. Jun2024, Vol. 15 Issue 6, p349. 26p.

On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control.

Authors: FORSTER, YANNICK KAMMAR, OHAD LINDLEY, SAM et al.

Source: Journal of Functional Programming. 2019, Vol. 29, p1-43. 43p.

User Experience & Usability of Driving: A Bibliometric Analysis of 2000-2019.

Authors: Tan, Hao Sun, Jiahao Wenjia, Wang et al.

Source: International Journal of Human-Computer Interaction; Feb2021, Vol. 37 Issue 4, p297-307, 11p, 2 Diagrams, 7 Charts, 2 Graphs

Self-report measures for the assessment of human–machine interfaces in automated driving.

Authors: Forster, Yannick Hergeth, Sebastian Naujoks, Frederik et al.

Source: Cognition, Technology & Work; Nov2020, Vol. 22 Issue 4, p703-720, 18p

How Many Participants Are Required for Validation of Automated Vehicle Interfaces in User Studies?

Authors: Forster, Yannick Naujoks, Frederik Keinath, Andreas

Source: Information. Oct2021, Vol. 12 Issue 10, p410. 1p.

Improving Usefulness of Automated Driving by Lowering Primary Task Interference through HMI Design.

Authors: Naujoks, Frederik Forster, Yannick Wiedemann, Katharina et al.

Source: Journal of Advanced Transportation. 2017, p1-12. 12p.

Not by equations alone: Reasoning with extensible effects.

Authors: KISELYOV, OLEG MU, SHIN-CHENG SABRY, AMR

Source: Journal of Functional Programming. 2021, Vol. 31 Issue 1/2, p1-42. 42p.

Aside from Deterministic Prophecies, What Is Missing in the Contemporary Debate on Automation and the Future of Work? The Case of Automated Vehicles.

Authors: Silva, Daniel Cunha, Liliana

Source: Social Sciences (2076-0760). Dec2022, Vol. 11 Issue 12, p566. 29p.

Engagement in Non-Driving Related Tasks as a Non-Intrusive Measure for Mode Awareness: A Simulator Study.

Authors: Forster, Yannick Geisel, Viktoria Hergeth, Sebastian et al.

Source: Information. May2020, Vol. 11 Issue 5, p239. 1p.

Two Routes to Trust Calibration: Effects of Reliability and Brand Information on Trust in Automation.

Authors: Kraus, Johannes Maria Forster, Yannick Hergeth, Sebastian et al.

Source: International Journal of Mobile Human Computer Interaction. Jul-Sep2019, Vol. 11 Issue 3, pN.PAG-N.PAG. 1p.

User Education in Automated Driving: Owner's Manual and Interactive Tutorial Support Mental Model Formation and Human-Automation Interaction.

Authors: Forster, Yannick Hergeth, Sebastian Naujoks, Frederik et al.

Source: Information. Apr2019, Vol. 10 Issue 4, p143-143. 1p.

Research Anthology on Cross-Disciplinary Designs and Applications of Automation

Authors: Information Resources Management Association

Resource Type: eBook.

Subjects: Automation

Categories: TECHNOLOGY & ENGINEERING / Automation, TECHNOLOGY & ENGINEERING / Industrial Technology, TECHNOLOGY & ENGINEERING / Robotics

Checklist for Expert Evaluation of HMIs of Automated Vehicles—Discussions on Its Value and Adaptions of the Method within an Expert Workshop.

Authors: Schömig, Nadja Wiedemann, Katharina Hergeth, Sebastian et al.

Source: Information. Apr2020, Vol. 11 Issue 4, p233. 1p.