Easy Consensus Algorithms for the Crash-Recovery Model. - Felix C. Freiling; Christian Lambertz; Mila E. Majster-Cederbaum (DISC, 2008)

Modular Consensus Algorithms for the Crash-Recovery Model. - Felix C. Freiling; Christian Lambertz; Mila E. Majster-Cederbaum (PDCAT, 2009)

The actual structure of eBay's feedback mechanism and early evidence on the effects of recent changes. - Tobias J. Klein; Christian Lambertz; Giancarlo Spagnolo; Konrad O. Stahl (Int. J. Electron. Bus., 2009)

Port Protocols for Deadlock-Freedom of Component Systems - Christian Lambertz; Mila E. Majster-Cederbaum (ICE, 2010)

Analyzing Component-Based Systems on the Basis of Architectural Constraints. - Christian Lambertz; Mila E. Majster-Cederbaum (FSEN, 2011)

Software components and formal methods from a computational viewpoint. - Christian Lambertz (2012)

Efficient deadlock analysis of component-based software architectures. - Christian Lambertz; Mila E. Majster-Cederbaum (Sci. Comput. Program., 2013)