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 13079.

  1. Dmitry Alexandrovsky; Susanne Putze; Valentin Schwind; Elisa D. Mekler; Jan David Smeddinck; Denise Kahl; Antonio Krüger; Rainer Malaka

    Evaluating User Experiences in Mixed Reality

    In: Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing Systems. ACM International Conference on Human Factors in Computing …

  2. Payam Habiby; Sebastian Huhn; Rolf Drechsler

    Optimization-based Test Scheduling for IEEE 1687 Multi-Power Domain Networks Using Boolean Satisfiability

    In: 16th IEEE International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS). International Conference on Design & …

  3. Denise Kahl; Marc Ruble; Antonio Krüger

    Identification of Everyday Proxies for Tangible Augmented Reality

    Everyday Proxy Objects for Virtual Reality Workshop @ CHI'21, CHI'21, 5/2021.

  4. Rhea Rinaldo; Timo F. Horeis; Tobias Kain

    Hybrid Modeling for the Assessment of Complex Autonomous Systems - A Safety and Security Case Study

    In: Bruno Castanier; Marko Cepin; David Bigaud; Christophe Berenguer (Hrsg.). Proceedings of the 31th European Safety and Reliability Conference. …

  5. Michael Schulze; Markus Schröder; Christian Jilek; Torsten Albers; Heiko Maus; Andreas Dengel

    P2P-O: A Purchase-To-Pay Ontology for Enabling Semantic Invoices

    In: Ruben Verborgh; Katja Hose; Heiko Paulheim; Pierre-Antoine Champin; Maria Maleshkova; Oscar Corcho; Petar Ristoski; Mehwish Alam (Hrsg.). The …

  6. Henrik Kortum-Landwehr; Jonas Rebstadt; Laura Gravemeier; Oliver Thomas

    Data-based Customer-Retention-as-a-Service: Induktive Entwicklung eines datenbasierten Geschäftsmodells auf Basis einer Fallstudie der Automobilbranche

    In: HMD - Praxis der Wirtschaftsinformatik (HMD), Vol. 58, Pages 1-15, Springer, 2021.

  7. Alireza Mahzoon; Daniel Große; Rolf Drechsler

    RevSCA-2.0: SCA-based Formal Verification of Non-trivial Multipliers using Reverse Engineering and Local Vanishing Removal

    In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), IEEE, 2021.

  8. Philipp Niemann; Rolf Drechsler

    Synthesis of Asymptotically Optimal Adders for Multiple-Valued Logic

    In: 51st International Symposium on Multiple-Valued Logic (ISMVL). IEEE International Symposium on Multiple-Valued Logic (ISMVL-2021), May 25-27, …

  9. Martha Schnieber; Saman Fröhlich; Rolf Drechsler

    Depth Optimized Synthesis of Symmetric Boolean Functions

    In: IEEE Computer Society Annual Symposium on VLSI (ISVLSI). IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2021), July 7-9, Tampa/Virtual, …

  10. Omair Shahzad Bhatti; Michael Barz; Daniel Sonntag

    EyeLogin - Calibration-Free Authentication Method for Public Displays Using Eye Gaze

    In: ACM Symposium on Eye Tracking Research and Applications. Symposium on Eye Tracking Research & Applications (ETRA-2021), May 24-27, Virtual, …

Year

More options