Skip to main content Skip to main navigation

Publications

Displaying results 271 to 280 of 13704.

  1. Sabine Janzen; Prajvi Saxena; Cicy Agnes; Muhammad Ebad Ullah Khan; Amr Gomaa; Michael Feld; André Zenner; Pascal Lessel; Julian Wolter; Florian Daiber; Rafael Math; Niko Kleer; Tim Schwartz; Antonio Krüger; Wolfgang Maaß

    FEDWELL: Life-Long Federated User and Mental Modeling for Health and Well-being

    In: RPEatCAiSE25: Research Projects Exhibition at the International Conference on Advanced Information Systems Engineering, June 16-20, 2025, Vienna, Austria. International Conference on Advanced Information Systems Engineering (CAiSE-2025), 6/2025.

  2. Rolf Drechsler

    Preserving and Improving Verifiability of Circuits Based on Local Transformations

    In: 26th IEEE Latin American Test Symposium 2025. IEEE Latin American Test Symposium (LATS-2025), March 11-14, San Andres, Colombia, 2025.

  3. Sabine Janzen; Hannah Stein; Katharina Trinley; Cicy Agnes; Vaibhav Jain; Karan Rajeshkar; Nirav Shenoy; Anika Rusch; Sujatro Ghosh; Wolfgang Maaß

    ESCADE: Energy-efficient Artificial Intelligence for Cost-effective and Sustainable Data Centers

    In: RPEatCAiSE25: Research Projects Exhibition at the International Conference on Advanced Information Systems Engineering, June 16-20, 2025, Vienna, Austria. International Conference on Advanced Information Systems Engineering (CAiSE-2025), 6/2025.

  4. Jan Kleinekathöfer; Alireza Mahzoon; Rolf Drechsler

    Lower bound proof for the size of BDDs representing a shifted addition

    In: Information Processing Letters, Vol. 24, Pages 140-151, IEEE, 2025.

  5. Bernhard J. Berger; Christina Plump; Rolf Drechsler

    Why less is sometimes more: Using Boolean literals to solve 2048

    In: IT - information technology (IT), Vol. 66, Pages 4-5, De Gruyter Brill, 2025.

  6. Lennart Weingarten; Kamalika Datta; Sallar Ahmadi-Pour; Abhoy Kole; Rolf Drechsler

    Ensuring Correctness Efficiently for RISC-V Processors with Customised Multiplier Designs

    In: Design and Verification of Cyber-Physical Systems: From Theory to Applications, Science Direct, 2025.

  7. Sabine Janzen; Hannah Stein; Lotfy Abdel Khaliq; Florian Hergert; Wolfgang Maaß

    Designing Decision Support Systems for Rural Mobility Enhancement

    In: Proceedings of the 30th International Conference on Exploring Modeling Methods for Systems Analysis and Development (EMMSAD). International Conference on Exploring Modelling Methods for Systems Analysis and Design (EMMSAD-2025), located at CAiSE 2025, Vienna, Austria, 6/2025.

  8. Prathap Kashyap; Alireza Javanmardi; Pragati Jaiswal; Alain Pagani; Gerd Reis

    Spatio-Temporal Diffusion Model for Satellite Imagery

    In: Proceedings of The Eleventh International Conference on Remote Sensing and Geoinformation of Environment (RSCy). Workshop in Artificial Intelligence Applications in Earth Observation and Geoinformatics, located at RSCy 2025, March 19, Paphos, Cyprus, SPIE, 2025.

  9. Leo Wanner; Daniel Bowen; Marta Burgos; Ester Carrasco; Jan Černocký; Toni Codina; Jevgenijs Danilins; Steffi Davey; Joan de Lara; Eleni Dimopoulou; Ekaterina Egorova; Christine Gebhard; Jens Grivolla; Elena Jaramillo-Rojas; Matthias Klusch; Athanasios Mavropoulos; Maria Moudatsou; Artemisia Nikolaidou; Dimos Ntioudis; Irene Rodríguez; Mirela Rosgova; Yash Shekhawat; Alexander Shvets; Oleksandr Sobko; Grigoris Tzionis; Stefanos Vrochidis

    Support of Migrant Reception, Integration, and Social Inclusion by Intelligent Technologies

    In: Information, Vol. 15, No. 11, Pages 686-718, MDPI, 2024.

  10. Desiree Heim; Lars-Peter Meyer; Markus Schröder; Johannes Frey; Andreas Dengel

    How do Scaling Laws Apply to Knowledge Graph Engineering Tasks? The Impact of Model Size on Large Language Model Performance

    In: Proceeding of the Workshop on Evaluation of Language Models in Knowledge Engineering co-located with the 22th Extended Semantic Conference. Extended Semantic Web Conference (ESWC-2025), 2nd Workshop on Evaluation of Language Models in Knowledge Engineering, located at ESWC 2025, June 1-5, Portoroz, Slovenia, CEUR Workshop Proceedings, 2025.

Year

More options