A Simplified Proof for a Self-Stabilizing Protocol: A Game of Cards. - Jörg Desel; Ekkart Kindler; Tobias Vesper; Rolf Walter (Inf. Process. Lett., 1995)

Distributed Algorithms for Networks of Agents. - Wolfgang Reisig; Ekkart Kindler; Tobias Vesper; Hagen Völzer; Rolf Walter (Petri Nets (2), 1996)

ESTL: A Temporal Logic for Events and States. - Ekkart Kindler; Tobias Vesper (ICATPN, 1998)

Automatisches verteiltes Rücksetzen. - Tobias Vesper; Michael Weber 003 (FBT, 1999)

Petrinetze zum Entwurf selbststabilisierender Algorithmen. - Tobias Vesper (2000)