People - MADOC

Order by: Document Type | Year of publication | No order

Skip to: Article | Doctoral dissertation | Conference or workshop publication | Working paper

Number of items: 13.

Article

Klein, Tobias J. ; Lambertz, Christian ; Stahl, Konrad (2016) Market transparency, adverse selection, and moral hazard. Journal of Political Economy Chicago, IL 124 6 1677-1713 [Article]

Lambertz, Christian ; Majster-Cederbaum, Mila (2013) Efficient deadlock analysis of component-based software architectures. Science of Computer Programming Amsterdam [u.a.] 78 12 2488-2510 [Article]

Klein, Tobias J. ; Spagnolo, Giancarlo ; Lambertz, Christian ; Stahl, Konrad (2009) The actual structure of eBay’s feedback mechanism and early evidence on the effect of recent changes. International Journal of Electronic Business : IJEB Olney, Bucks. 7 6 301-320 [Article]

Doctoral dissertation

Lambertz, Christian (2014) Reputation in anonymous markets. Mannheim [Doctoral dissertation]

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

Mannheim [Doctoral dissertation]

Preview

Conference or workshop publication

Lambertz, Christian ; Majster-Cederbaum, Mila Analyzing Component-Based Systems on the Basis of Architectural Constraints. Arbab, Farhad Lecture Notes in Computer Science 7141 64-79 In: Fundamentals of Software Engineering : 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers (2012) Berlin [u.a.] [Conference or workshop publication]

Lambertz, Christian ; Majster-Cederbaum, Mila Port protocols for deadlock-freedom of component-based systems. Bliudze, Simon Electronic Proceedings in Theoretical Computer Science : EPTCS 38 7-11 In: Proceedings : 3rd Interaction and Concurrency Experience Workshop (ICE 2010) (2010) Sydney ICE 2010 (Amsterdam, The Netherlands) [Conference or workshop publication]

Lambertz, Christian Exploiting Architectural Constraints and Branching Bisimulation : Equivalences in Component-Based Systems. Mousavi, MohammadReza Proceedings of Formal Methods 2009 Doctoral Symposium November 6, 2009 Eindhoven, The Netherlands 1-7 In: Proceedings of Formal Methods 2009 Doctoral Symposium : November 6, 2009 Eindhoven, The Netherlands (2009) Eindhoven [Conference or workshop publication]

Freiling, Felix ; Lambertz, Christian ; Majster-Cederbaum, Mila Modular Consensus Algorithms for the Crash-Recovery Model. Second International Workshop on Reliability, Availability, and Security (WRAS 2009) Hiroshima, Japan, December 2009; proceedings 287-292 In: 2009 International Conference on Parallel and Distributed Computing, Applications and Technologies : PDCAT 2009 ; Higashi-Hiroshima, Japan, 8 - 11 December 2009 ; [including workshop papers] (2009) Washington, DC [Conference or workshop publication]

Freiling, Felix ; Lambertz, Christian ; Majster-Cederbaum, Mila Easy Consensus Algorithms for the Crash-Recovery Model. Taubenfeld, Gadi Lecture Notes in Computer Science 5218 507-508 In: Distributed computing : 22nd International Symposium, DISC 2008, Arcachon, France, September 22 - 24, 2008; proceedings (2008) Berlin [u.a.] [Conference or workshop publication]