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 51 to 60 of 10636.

  1. Ece Nur Demirhan Coskun; Sallar Ahmadi-Pour; Muhammad Hassan; Rolf Drechsler

    Towards Completeness: Security Coverage for System Level IFT

    In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und …

  2. Shreya Tayade and Hans D. Schotten (Hrsg.)

    Control Requirements Aware Resource Allocation for Edge-cloud based AGV

    IEEE International Conference on Advanced Networks and Telecommunications Systems (IEEE ANTS-2023), Jaipur India, India, IEEE, 12/2023.

  3. Sebastian Huhn; Rolf Drechsler

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

    Springer, 2023.

  4. 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, …

  5. 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, …

  6. 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, …

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

  8. 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, …

  9. 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 …

  10. 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 …

Year

More options