Skip to main content Skip to main navigation

Publications

Displaying results 131 to 140 of 15128.
  1. Emilia Pietras; Bernd Kiefer; Guglielmo Borzone; Norbert Krüger; Leon Bodenhagen

    Robot Reasoning Architecture for Transparent Collaborative Disassembly

    In: Social Robotics + ART : 17th International Conference, ICSR+ART 2026 Proceedings. International Conference on Social Robotics (ICSR-2026), London, United Kingdom, ISBN 0302-9743, Springer, 7/2026.

  2. Hoang Nguyen; Dang Le; Ta Duc Huy; Han Nguyen; Vy Tuong Dang; Duy Duong-Tran; Khoa D Doan; Anji Liu; Li Shen; Pengtao Xie; others

    Structural Bottleneck Reasoning: Efficient Medical VQA via Concept Alignment

    In: ICML 2026 3rd Workshop on Multi-modal Foundation Models and Large Language Models for Life Sciences. International Conference on Machine Learning (ICML), ICML 2026 3rd Workshop on Multi-modal Foundation Models and Large Language Models for Life Sciences, 2026.

  3. Alexander Fabisch; Melvin Laux; Mariela De Lucas Alvarez; Edoardo Caroselli; Julian Theis

    Deep Reinforcement Learning for Spacecraft Attitude Control During Atmospheric Re-Entry

    In: Reinforcement Learning Journal (RLJ), Vol. 7, Pages 1-36, 8/2026.

  4. Veronika Kurchyna; Ye Eun Bae; Thomas Ellwart; Marco Schulz; Julia Birke; Johanna T. Paul; Jan Ole Berndt; Ingo Timm

    Micromechanisms of Simulated Work: Translating Task-Level Demands into Organizational Strain

    In: Advances in Social Simulation. Social Simulation Conference (SSC), 21st Social Simulation Conference, August 24-28, Durham, United Kingdom, Springer, 2027.

  5. Wolfgang Maaß; Hyoil Han; Hasan Yasar

    Bridging conceptual modeling and machine learning

    In: Data & Knowledge Engineering (DKE), Vol. 0, Pages 0-0, Elsevier, 8/2026.

  6. Wolfgang Maaß; Iris Reinhartz-Berger

    AI-Intent: A Conceptual Modeling Framework for Accountable Multi-Agent AI Systems

    In: ER 2026. International Conference on Conceptual Modeling (ER-2026), 45th International Conference on Conceptual Modeling, located at ER 2026, October 5-8, St. John's, NL, Canada, Springer, 10/2026.

  7. FormalHandshake — Open Source Design and Verification Flow for complex Hardware Circuits

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2026), September 9-11, Rom, Italy, 2026.

  8. Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    Scalable Verification for Dot-Product Architectures using Symbolic Computer Algebra

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL), September 9-11, Rom, Italy, 2026.

  9. Jan Kleinekathöfer; Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    Polynomial Formal Verification of Structurally Simple Multipliers

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2026), September 9-11, Rom, Italy, 2026.