Thread-Sensitive Data Race Detection for Java. - Stefan Schulz 006; Emanuel Herrendorf; Christoph Bockisch (APSEC, 2021)

PACE Solver Description: ADE-Solver. - Alexander Bille; Dominik Brandenstein; Emanuel Herrendorf (IPEC, 2021)

On the Complexity of Community-Aware Network Sparsification. - Emanuel Herrendorf; Christian Komusiewicz; Nils Morawietz; Frank Sommer (MFCS, 2024)