Aranea: web framework construction and integration kit. - Oleg Mürk; Jevgeni Kabanov (PPPJ, 2006)

KeY-C: A Tool for Verification of C Programs. - Oleg Mürk; Daniel Larsson; Reiner Hähnle (CADE, 2007)

Competitive Programming with Large Reasoning Models. - Ahmed El-Kishky; Alexander Wei; Andre Saraiva 001; Borys Minaiev; Daniel Selsam; David Dohan; Francis Song; Hunter Lightman; Ignasi Clavera Gilaberte; Jakub Pachocki; Jerry Tworek; Lorenz Kuhn; et al. (CoRR, 2025)