Christian Lambertz

Port Protocols for Deadlock-Freedom of Component Systems

Mila E. Majster-Cederbaum, Christian Lambertz, 2010, ICE.

Easy Consensus Algorithms for the Crash-Recovery Model

Felix C. Freiling, Mila E. Majster-Cederbaum, Christian Lambertz, 2008, DISC.

Analyzing Component-Based Systems on the Basis of Architectural Constraints

Mila E. Majster-Cederbaum, Christian Lambertz, M. Majster-Cederbaum, 2011, FSEN.

Modular Consensus Algorithms for the Crash-Recovery Model

Felix C. Freiling, Mila E. Majster-Cederbaum, Christian Lambertz, 2009, 2009 International Conference on Parallel and Distributed Computing, Applications and Technologies.

Efficient deadlock analysis of component-based software architectures

Mila E. Majster-Cederbaum, Christian Lambertz, M. Majster-Cederbaum, 2013, Sci. Comput. Program..

Software components and formal methods from a computational viewpoint

Christian Lambertz, 2012 .

Exploiting Architectural Constraints and Branching Bisimulation : Equivalences in Component-Based Systems

Christian Lambertz, 2009 .

The actual structure of eBay's feedback mechanism and early evidence on the effects of recent changes

Christian Lambertz, Tobias J. Klein, Giancarlo Spagnolo, 2009, Int. J. Electron. Bus..