Algebraic specifications in an integrated software development and verification system. - Angelika Voss (1986)

Data Ecosystems: A New Dimension of Value Creation Using AI and Machine Learning. - Dirk Hecker; Angelika Voss; Stefan Wrobel (Designing Data Spaces, 2022)

Guideline for Trustworthy Artificial Intelligence - AI Assessment Catalog. - Maximilian Poretschkin; Anna Schmitz 001; Maram Akila; Linara Adilova; Daniel Becker 010; Armin B. Cremers; Dirk Hecker; Sebastian Houben; Michael Mock; Julia Rosenzweig; Joachim Sicking; Elena Schulz; et al. (CoRR, 2023)

Developing trustworthy AI applications with foundation models. - Michael Mock; Sebastian Schmidt; Felix Müller; Rebekka Görge; Anna Schmitz 001; Elena Haedecke; Angelika Voss; Dirk Hecker; Maximilian Poretschkin (CoRR, 2024)