E-LIB Suche - Ergebnisse für: Forster, Yannick

1

Test procedure for the evaluation of partially automated dr..:

Schömig, Nadja ; Kremer, Christina ; Gary, Sebastian...
MethodsX. 12 (2024) - p. 102573 , 2024

Link: https://doi.org/10.1016/..

2

Driving across Markets: An Analysis of a Human–Machine Inte..:

Sogemeier, Denise ; Forster, Yannick ; Naujoks, Frederik..
Information. 15 (2024) 6 - p. 349 , 2024

Link: https://doi.org/10.3390/..

3

Verified Extraction from Coq to OCaml:

Forster, Yannick ; Sozeau, Matthieu ; Tabareau, Nicolas
Proceedings of the ACM on Programming Languages. 8 (2024) PLDI - p. 52-75 , 2024

Link: https://doi.org/10.1145/..

4

Editorial: Trust in Automated Vehicles:

Walker, Francesco ; Forster, Yannick ; Hergeth, Sebastian...
Frontiers in Psychology. 15 (2024) - p. , 2024

Link: https://doi.org/10.3389/..

5

Cross-Cultural Differences: Is a Weighting Scheme for the U..:

, In: Adjunct Proceedings of the 15th International Conference on Automotive User Interfaces and Interactive Vehicular Applications,

Sogemeier, Denise ; Forster, Yannick ; Naujoks, Frederik.. - p. 48-52 , 2023

Link: https://dl.acm.org/doi/1..

6

Oracle Computability and Turing Reducibility in the Calculu..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Forster, Yannick ; Kirst, Dominik ; Mück, Niklas - p. 155-181 , 2023

Link: https://doi.org/10.1007/..

7

A Computational Cantor-Bernstein and Myhill's Isomorphism T..:

, In: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs,

Forster, Yannick ; Jahn, Felix ; Smolka, Gert - p. 159-166 , 2023

Link: https://dl.acm.org/doi/1..

8

Trust in automated vehicles: constructs, psychological proc..:

Walker, Francesco ; Forster, Yannick ; Hergeth, Sebastian...
Frontiers in Psychology. 14 (2023) - p. , 2023

Link: https://doi.org/10.3389/..

9

How Do Automation Modes Influence the Frequency of Advanced..:

, In: Adjunct Proceedings of the 15th International Conference on Automotive User Interfaces and Interactive Vehicular Applications,

Koniakowsky, Ina Marie ; Forster, Yannick ; Naujoks, Frederik.. - p. 111-114 , 2023

Link: https://dl.acm.org/doi/1..

10

The impact of speech-based assistants on the driver's cogni..:

Loew, Alexandra ; Koniakowsky, Ina ; Forster, Yannick..
Accident Analysis & Prevention. 179 (2023) - p. 106898 , 2023

Link: https://doi.org/10.1016/..

11

Hilbert's Tenth Problem in Coq (Extended Version):

Larchey-Wendling, Dominique ; Forster, Yannick
Logical Methods in Computer Science. 18, Issue 1 (2022) - p. , 2022

Link: https://doi.org/10.46298..

12

How to Map Cultural Dimensions to Usability Criteria: Impli..:

, In: Adjunct Proceedings of the 14th International Conference on Automotive User Interfaces and Interactive Vehicular Applications,

Sogemeier, Denise ; Forster, Yannick ; Naujoks, Frederik.. - p. 123-126 , 2022

Link: https://dl.acm.org/doi/1..

13

Does it deliver what it promises? Evaluation of cognitive d..:

Loew, Alexandra ; Forster, Yannick ; Naujoks, Frederik...
Transportation Research Part F: Traffic Psychology and Behaviour. 91 (2022) - p. 1-16 , 2022

Link: https://doi.org/10.1016/..

14

How Manufacturer Brand Reputation Influences Evaluation of ..:

, In: Adjunct Proceedings of the 14th International Conference on Automotive User Interfaces and Interactive Vehicular Applications,

Forster, Yannick ; Daexl, Susanne ; Sogemeier, Denise.. - p. 62-66 , 2022

Link: https://dl.acm.org/doi/1..

15

Evaluating Automated Vehicle Human–Machine Interfaces and t..:

, In: Studies in Computational Intelligence; User Experience Design in the Era of Automated Driving,

Forster, Yannick ; Hergeth, Sebastian ; Naujoks, Frederik.. - p. 179-205 , 2022

Link: https://doi.org/10.1007/..