Understanding idiomatic traversals backwards and forwards. - Richard S. Bird; Jeremy Gibbons; Stefan Mehner; Janis Voigtländer; Tom Schrijvers (Haskell, 2013)

Location-independent fall detection with smartphone. - Stefan Mehner; Ronny Klauck; Hartmut König (PETRA, 2013)

Parametricity and Proving Free Theorems for Functional-Logic Languages. - Stefan Mehner; Daniel Seidel; Lutz Straßburger; Janis Voigtländer (PPDP, 2014)

Tools for Reasoning about Effectful Declarative Programs. - Stefan Mehner (2015)

No Need to Marry to Change Your Name! Attacking Profinet IO Automation Networks Using DCP. - Stefan Mehner; Hartmut König (DIMVA, 2019)

Lights on Power Plant Control Networks. - Stefan Mehner; Franka Schuster; Oliver Hohlfeld (PAM, 2022)

TSN Scheduler Benchmarking. - Eike Bjoern Schweissguth; Helge Parzyjegla; Peter Danielis; Gero Mühl; Dirk Timmermann; Stefan Mehner; Oliver Hohlfeld; David Hellmanns; Jonathan Falk (WFCS, 2023)

IPD: Detecting Traffic Ingress Points at ISPs. - Stefan Mehner; Helge Reelfs; Ingmar Poese; Oliver Hohlfeld (SIGCOMM, 2024)