Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 91 to 100 of 12937.

  1. Tim Meywerk; Marcel Walter; Daniel Große; Rolf Drechsler

    Clustering-Guided SMT(LRA) Learning

    In: 16th International Conference on integrated Formal Methods (iFM). International Conference on Integrated Formal Methods (IFM-2020), November …

  2. Hangfan Liu; Yongzhi Su; Jason Raphael Rambach; Alain Pagani; Didier Stricker

    TGA: Two-level Group Attention for Assembly State Detection

    In: Proceedings of the 19th IEEE ISMAR. IEEE International Symposium on Mixed and Augmented Reality (ISMAR-2020), November 9-13, Recife/Porto de …

  3. Giovanni Ribeiro; Katja Rogers; Maximilian Altmeyer; Thomas Terkildsen; Lennart E. Nacke

    Game Atmosphere: Effects of Audiovisual Thematic Cohesion on Player Experience and Psychophysiology

    In: Proceedings of the Annual Symposium on Computer-Human Interaction in Play. ACM SIGCHI Annual Symposium On Computer-Human Interaction in Play (CHI …

  4. Maximilian Altmeyer; Gustavo F. Tondello; Antonio Krüger; Lennart E. Nacke

    HexArcade: Predicting Hexad User Types By Using Gameful Applications

    In: Proceedings of the Annual Symposium on Computer-Human Interaction in Play. ACM SIGCHI Annual Symposium On Computer-Human Interaction in Play (CHI …

  5. Paul Libbrecht; Thierry Declerck; Tim Schlippe; Thomas Mandl; Daniel Schiffner

    NLP for Student and Teacher: Concept for an AI based Information Literacy Tutoring System

    In: Stefan Conrad; Ilaria Tiddi (Hrsg.). Proceedings of the CIKM 2020 Workshops,. International Workshop on Investigating Learning During Web Search …

  6. Muhammad Hassan; Daniel Große; Rolf Drechsler

    System-Level Verification of Linear and Non-Linear Behaviors of RF Amplifiers using Metamorphic Relations

    In: 26th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-2021), January …

  7. Marcel Walter; Winston Haaswijk; Robert Wille; Frank Sill Torres; Rolf Drechsler

    One-pass Synthesis for Field-coupled Nanocomputing Technologies

    In: 26th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-2021), January …

  8. Mehran Goli; Rolf Drechsler

    ATLaS: Automatic Detection of Timing-based Information Leakage Flows for SystemC HLS Designs

    In: 26th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-2021), January …

  9. Agne Grünerbl

    Leveraging Motion and Location Tracking for Supporting Cognitive State and Behavior Analysis

    PhD-Thesis, Technische Universität Kaiserslautern, 1/2020.

  10. Ronny Seiger; Uwe Aßmann; Dominik Grzelak; Mikhail Belov; Paul Riedel; Ariel Podlubne; Wanqi Zhao; Jens Kerber; Jonas Mohr; Fabio Espinosa; Tim Schwartz

    Immersives verteiltes Robotic Co-working - Der Festakt zum Informatik-Jubiläum 2019 mit Mixed-Reality-Fallstudie

    In: Informatik Spektrum, Vol. 43, No. 6, Pages 425-435, Springer, 9/2020.

Year

More options