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 61 to 70 of 1222.

  1. Sebastian Huhn; Rolf Drechsler

    Design für Testbarkeit, Fehlersuche und Zuverlässigkeit Maßnahmen der nächsten Generation unter Verwendung formaler Techniken

    Springer, 2023.

  2. Jakob Karolus; Sebastian S. Feger; Albrecht Schmidt; Pawel W. Wozniak

    Your Text Is Hard to Read: Facilitating Readability Awareness to Support Writing Proficiency in Text Production

    In: DIS '23: Proceedings of the 2023 ACM Designing Interactive Systems Conference. ACM Designing Interactive Systems (DIS-2023), July 10-14, …

  3. Christian Alrabbaa; Stefan Borgwardt; Anke Hirsch; Nina Knieriemen; Alisa Kovtunova; Anna Milena Rothermel; Frederik Wiehr

    In the Head of the Beholder: Comparing Different Proof Representations

    In: Guido Governatori; Anni-Yasmin Turhan (Hrsg.). Rules and Reasoning. International Joint Conference on Rules and Reasoning (RuleML+RR-2022), Cham, …

  4. Veronika Kurchyna; Jan Ole Berndt; Ingo Timm

    Can (and should) Automated Surrogate Modelling be used for Simulation Assistance?

    In: Multi-Agent-Based Simulation XXIV,. International Workshop on Multi-Agent Systems and Agent-Based Simulation (MABS-2023), located at AAMAS, May 6, …

  5. Sk Aziz Ali; Mohammad Sadil Khan; Didier Stricker

    BRep Boundary and Junction Detection for CAD Reverse Engineering

    In: Proceedings of the 3rd IEEE International Conference on Computing and Machine Intelligence. IEEE International Conference on Computing and Machine …

  6. Stefan Wilk; Manisha Luthra; Wolfgang Effelsberg

    One Sensor is not Enough: Adapting and Fusing Sensors for the Quality Assessment of User Generated Video

    In: Proceedings of the 24th ACM International Conference on Multimedia. ACM International Conference on Multimedia (ACM MM-2016), Amsterdam, …

  7. The An Binh Nguyen; Pratyush Agnihotri; Christian Meurisch; Manisha Luthra; Rahul Dwarakanath; Jeremias Blendin; Doreen Böhnstedt; Michael Zink; Ralf Steinmetz

    Efficient Crowd Sensing Task Distribution Through Context-Aware NDN-Based Geocast

    In: 2017 IEEE 42nd Conference on Local Computer Networks (LCN). IEEE Conference on Local Computer Networks (LCN-2017), 42nd Conference on Local …

  8. Manisha Luthra

    Adapting to Dynamic User Environments in Complex Event Processing System using Transitions

    In: Proceedings of the 12th ACM International Conference on Distributed and Event-Based Systems. ACM International Conference on Distributed and …

  9. Yassin Alkhalili; Manisha Luthra; Amr Rizk; Boris Koldehofe

    3-D Urban Objects Detection and Classification From Point Clouds

    In: Proceedings of the 13th ACM International Conference on Distributed and Event-Based Systems. ACM International Conference on Distributed and …

  10. Martin Pfannemüller; Janick Edinger; Markus Weckesser; Roland Kluge; Manisha Luthra; Robin Klose; Christian Becker; Andy Schürr

    Demo: Visualizing Adaptation Decisions in Pervasive Communication Systems

    In: 2019 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops). IEEE International Conference on …

Year

More options