1. Completeness theorems for first-order logic analysed in constructive type theory: Extended version. (21st January 2021) Authors: Forster, Yannick; Kirst, Dominik; Wehr, Dominik Journal: Journal of logic and computation Issue: Volume 31:Number 1(2021) Page Start: 112 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Does it deliver what it promises? Evaluation of cognitive distraction caused by speech-based interfaces with detection response and box task. (November 2022) Authors: Loew, Alexandra; Forster, Yannick; Naujoks, Frederik; Biebl, Bianca; Keinath, Andreas; Bengler, Klaus Journal: Transportation research Issue: Volume 91(2022) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Driver compliance to take-over requests with different auditory outputs in conditional automation. (December 2017) Authors: Forster, Yannick; Naujoks, Frederik; Neukum, Alexandra; Huestegge, Lynn Journal: Accident analysis and prevention Issue: Volume 109(2017) Page Start: 18 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Improving Usefulness of Automated Driving by Lowering Primary Task Interference through HMI Design. (16th August 2017) Authors: Naujoks, Frederik; Forster, Yannick; Wiedemann, Katharina; Neukum, Alexandra Other Names: Llorca David F. Academic Editor. Journal: Journal of advanced transportation Issue: Volume 2017(2017) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Learning to use automation: Behavioral changes in interaction with automated driving systems. (April 2019) Authors: Forster, Yannick; Hergeth, Sebastian; Naujoks, Frederik; Beggiato, Matthias; Krems, Josef F.; Keinath, Andreas Journal: Transportation research Issue: Volume 62(2019) Page Start: 599 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Test procedure for evaluating the human–machine interface of vehicles with automated driving systems. (12th June 2019) Authors: Naujoks, Frederik; Hergeth, Sebastian; Wiedemann, Katharina; Schömig, Nadja; Forster, Yannick; Keinath, Andreas Journal: Traffic injury prevention Issue: Volume 20(2019)Suppement 1 Page Start: S146 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. The impact of speech-based assistants on the driver's cognitive distraction. (January 2023) Authors: Loew, Alexandra; Koniakowsky, Ina; Forster, Yannick; Naujoks, Frederik; Keinath, Andreas Journal: Accident analysis and prevention Issue: Volume 179(2023) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. What and how to tell beforehand: The effect of user education on understanding, interaction and satisfaction with driving automation. (January 2020) Authors: Forster, Yannick; Hergeth, Sebastian; Naujoks, Frederik; Krems, Josef F.; Keinath, Andreas Journal: Transportation research Issue: Volume 68(2020) Page Start: 316 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗