Formal Analysis of Fault Recovery in Self-Organizing Systems. - Jan Calta; Miroslaw Malek (DASC, 2009)

Finding Uniform Strategies for Multi-agent Systems. - Jan Calta; Dmitry Shkatov; Bernd-Holger Schlingloff (CLIMA, 2010)

Formal Verification of Self-Organizing Systems. - Jan Calta (AlgoSyn, 2010)

Synthesizing Strategies for Homogenous Multi-Agent Systems with Incomplete Information. - Jan Calta; Dmitry Shkatov (CLIMA, 2011)