Due to maintenance work, it is currently not possible to search for publications by author.
Petra Beenken; Luise-Sophie Bleckmann; Benny Björn Briesemeister; Marc Ebel; Susanne Fittkau; Caroline Grauel; Maik Günther; Doris Hanway; Claudia Heß; Heiko Holz; Isabel Hörmann; Kurt Jeschke; Tobias Kesting; Sonja Klose; Ralf Kneuper; Ralf T. Kreutzer; Nicolai Krüger; Sibylle Kunz; Visieu Lac; Christina Lagodka; Alexander Lawall; Damian Leschik; Vera Lenz-Kesekamp; Nikolaj Lunze; Jan-Paul Lüdtke; Elisabeth L' Orange; Sebastian Mertens; Manuel Muth; Gerd Nufer; Miriam O'Shea; Ban Pahlawan; Florian Perst; Marc Peter; Jan Pieper; Lavinia Celina Rahmawati; Katharina-Maria Rehfeld; Marie Salkowski; Philipp Schmid; Annkristin Schürhaus; Freddy Sikouonmeu; Neal Wessling; Klaus Wildhirt; Atilla Wohllebe; Cansu Rosa Yildirim; Tanja Marlen Zweigle; Thomas Bolz; Gabriele Schuster (Hrsg.)
ISBN 978-3-658-45131-8, Springer Fachmedien Wiesbaden, Wiesbaden, 2024.
Sören Tempel; Tobias Brandt; Christoph Lüth; Rolf Drechsler
In: 4th International KLEE Workshop on Symbolic Execution. KLEE Workshop on Symbolic Execution, April 14-16, Lisbon, Portugal, 2024.
Bernhard J. Berger; Christina Plump; Rolf Drechsler
In: 16th International Workshop on Boolean Problems (IWSBP). International Workshop on Boolean Problems (IWSBP-2024), September 19-20, Bremen, …
Luca Müller; Rolf Drechsler
Chandan Kumar Jha; Khushboo Qayyum; Muhammad Hassan; Rolf Drechsler
Abhoy Kole; Kamalika Datta; Rolf Drechsler
In: 37th IEEE International System-on-Chip Conference. IEEE International System-on-Chip Conference (SOCC-2024), September 16-19, Dresden, Germany, …
Sana Hassan Imam; Christopher A. Metz; Lars Hornuf; Rolf Drechsler
In: Jeffrey Nichols (Hrsg.). Proceedings of the ACM on Human-Computer Interaction (PACMHCI), Vol. 08, ACM, 2024.
Stanislav Frolov; Brian Moser; Andreas Dengel
In: IEEE/CVF Winter Conference on Applications of Computer Vision (WACV). IEEE Winter Conference on Applications of Computer Vision (WACV-2025), IEEE, …
Stanislav Frolov; Brian Moser; Sebastian Palacio; Andreas Dengel
In: 32nd ACM Multimedia Conference. ACM International Conference on Multimedia (ACM MM-2024), ACM Digital Library, 2024.
Malte Luttermann; Ralf Möller; Mattis Hartwig
In: Andreas Hotho; Sebastian Rudolph (Hrsg.). Proceedings of the Forty-Seventh German Conference on Artificial Intelligence. German Conference on …
