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 801.
  1. Christoph Heinbach; Friedemann Kammler; Oliver Thomas

    Exploring Design Requirements of Fleet Telematics Systems Supporting Road Freight Transportation: A Digital Service Side Perspective

    In: Wirtschaftsinformatik Proceedings (2022). Internationale Tagung Wirtschaftsinformatik (WI-2022), February 21-23, Erlangen-Nürnberg, Germany, …

  2. Enrica Loria; Stuart Hallifax; Maximilian Altmeyer; Lennart E. Nacke; Annapaola Marconi

    Turning Users' In-Game Behaviours into Actionable Adaptive Gamification Strategies using the PEAS Framework

    In: Proceedings of the 55th Hawaii International Conference on System Sciences. Hawaii International Conference on System Sciences (HICSS-2022), …

  3. Oliver Zielinski; Daniela Pieck; Jan Schulz; Claudia Thölen; Jochen Wollschläger; et al.

    The Spiekeroog Coastal Observatory: A scientific infrastructure at the land-sea transition zone (southern North Sea)

    In: Frontiers in Marine Science (FMarS), Vol. 8, No. 754905, Pages 1-28, Frontiers, 2/2022.

  4. Thomas Röfer; Tim Laue; Arne Hasselbring; Lukas Malte Monnerjahn; Nele Matschull; Lukas Plecher

    B-Human 2021 - Playing Soccer Out of the Box

    In: Rachid Alami; Joydeep Biswas; Maya Cakmak; Oliver Obst (Hrsg.). RoboCup 2021: Robot World Cup XXIV. RoboCup International Symposium …

  5. System Level Verification of Analog/Mixed-Signal Systems using Metamorphic Relations

    In: 34. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von …

  6. Marcel Merten; Sebastian Huhn; Rolf Drechsler

    Quality Assessment of RFET-based Logic Locking Protection Mechanisms using Formal Methods

    In: 34. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von …

  7. Payam Habiby; Sebastian Huhn; Rolf Drechsler

    An ILP-based Global Optimum Test Scheduler for IEEE 1687 Multi-Power Domain Networks

    In: 34. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von …

  8. Erste Schritte zu einem virtuellen Zuchtgarten mittels eines autonomen Roboters

    In: Markus Gandorfer; Christa Hoffmann; Nadja El Benni; Marianne Cockburn; Thomas Anken; Helga Floto (Hrsg.). 42. GIL-Jahrestagung, Künstliche …

  9. Christoph Tieben; Tobias Reuter; Konstantin Nahrstedt; Franz Kraatz; Kai Lingemann; Dieter Trautz; Thomas Jarmer; Joachim Hertzberg

    Auf dem Weg zu einem Entscheidungsunterstützungssystem zur Pflege und Ernte von Grünlandflächen

    In: Markus Gandorfer; Christa Hoffmann; Nadja El Benni; Marianne Cockburn; Thomas Anken; Helga Floto (Hrsg.). 42. GIL-Jahrestagung, Künstliche …

  10. Interactive Machine Learning for Image Captioning

    The AAAI-22 Workshop on Interactive Machine Learning, 2/2022.