Bluetooth Mesh Networks for Indoor Localization. - Martin Jürgens; Dennis Meis; Dominik Möllers; Felix Nolte; Etienne Stork; Gottfried Vossen; Christian Werner; Hendrik Winkelmann (MDM, 2019)

Constraint-Logic Object-Oriented Programming with Free Arrays. - Hendrik Winkelmann; Jan C. Dageförde; Herbert Kuchen (WFLP, 2020)

Free Objects in Constraint-logic Object-oriented Programming. - Jan C. Dageförde; Hendrik Winkelmann; Herbert Kuchen (PPDP, 2021)

Symbolic execution of NoSQL applications using versioned schemas. - Hendrik Winkelmann; Herbert Kuchen (SAC, 2021)

Constraint-logic object-oriented programming on the Java virtual machine. - Hendrik Winkelmann; Herbert Kuchen (SAC, 2022)

Constraint-logic object-oriented programming for test case generation. - Hendrik Winkelmann; Laura Troost; Herbert Kuchen (SAC, 2022)

Constraint-Logic Object-Oriented Programming with Free Arrays of Reference-Typed Elements via Symbolic Aliasing. - Hendrik Winkelmann; Herbert Kuchen (ENASE, 2023)

Lost in Transformation: Rediscovering LLM-Generated Campaigns in Social Media. - Britta Grimme; Janina Pohl; Hendrik Winkelmann; Lucas Stampe; Christian Grimme (MISDOOM, 2023)

An Integrated Visualization Approach Combining Dynamic Data-Flow Analysis with Symbolic Execution. - Laura Troost; Hendrik Winkelmann; Herbert Kuchen (ENASE, 2024)

Evaluation of Hypothetical Document and Query Embeddings for Information Retrieval Enhancements in the Context of Diverse User Queries. - Marten Jostmann; Hendrik Winkelmann (Wirtschaftsinformatik, 2024)

Constraint-logic object-oriented programming and text case generation. - Hendrik Winkelmann (2024)

Mutation Operators for Mutation Testing of Angular Web Applications. - Sarah Augustin; Hendrik Winkelmann; Herbert Kuchen (ENASE, 2025)