Learning to Singulate Objects Using a Push Proposal Network. - Andreas Eitel; Nico Hauff; Wolfram Burgard (ISRR, 2017)

Self-supervised Transfer Learning for Instance Segmentation through Physical Interaction. - Andreas Eitel; Nico Hauff; Wolfram Burgard (IROS, 2019)

Hanfor: Semantic Requirements Review at Scale. - Samuel Becker; Daniel Dietsch; Nico Hauff; Elisabeth Henkel; Vincent Langenfeld; Andreas Podelski; Bernd Westphal (REFSQ Workshops, 2021)

An Empirical Study of the Intuitive Understanding of a Formal Pattern Language. - Elisabeth Henkel; Nico Hauff; Lukas Eber; Vincent Langenfeld; Andreas Podelski (REFSQ, 2023)

Scalable Redundancy Detection for Real-Time Requirements. - Elisabeth Henkel; Nico Hauff; Lena Funk; Vincent Langenfeld; Andreas Podelski (RE, 2024)

Systematic adaptation and investigation of the understandability of a formal pattern language. - Elisabeth Henkel; Nico Hauff; Vincent Langenfeld; Lukas Eber; Andreas Podelski (Requir. Eng., 2024)

Scalable Redundancy Detection for Real-Time Requirements (artefact). - Elisabeth Henkel; Nico Hauff; Lena Funk; Vincent Langenfeld; Andreas Podelski (Zenodo, 2024)

Hanfor: Requirements Formalisation and Beyond. - Nico Hauff; Elisabeth Henkel; Tobias Kolzer; Vincent Langenfeld; Andreas Podelski (REFSQ Workshops, 2025)