RaceVis: Ein Werkzeug zur Visualisierung von Data Races. - Steffen Keul; Mikhail Prokharau; Daniel Gerlach; Carola Jenke; Aoun Raza (Softwaretechnik-Trends, 2010)

Static Analysis of Predicate-based Synchronisation. - Mikhail Prokharau; Daniel Gerlach; Steffen Keul (Softwaretechnik-Trends, 2011)

Aspects of Code Pattern Removal. - Mikhail Prokharau (Softwaretechnik-Trends, 2012)