Tang, C.; Ross, K.; Saxena, N.; Chen, R.: What’s in a Name: A Study of Names, Gender Inference, and Gender Behavior in Facebook. In: Database Systems for Adanced Applications: 16th International Conference, DASFAA 2011 InternationalWorkshops: GDB, SIM3, FlashDB, SNSMW, DaMEN, DQIS, pp. 344 - 356 (Eds. Xu, J.; Yu, G.; Zhou, S.; Unland, R.). SNSMW 2011, Hong Kong, China, April 22, 2011 - April 25, 2011. Springer, Berlin (2011)

Vafeiadis, V.: Concurrent Separation Logic and Operational Semantics. MFPS 2011, Pittsburgh, PA, USA, May 25, 2011 - May 28, 2011. Electronic Notes in Theoretical Computer Science 276, pp. 335 - 351 (2011)

Vafeiadis, V.; Zappa Nardelli, F.: Verifying Fence Elimination Optimisations. In: Static Analysis: 18th International Symposium, SAS 2011, pp. 146 - 162 (Ed. Yahav, E.). SAS 2011, Venice, Italy, September 14, 2011 - September 16, 2011. Springer, Berlin (2011)

Wong, E. L.; Levy, I.; Alvisi, L.; Clement, A.; Dahlin, M.: Regret Freedom Isn’t Free. In: Principles of Distributed Systems: 15th International Conference, OPODIS 2011, pp. 80 - 95 (Eds. Fernández Anta, A.; Lipari, G.; Roy, M.). OPODIS 2011, Toulouse, France, December 13, 2011 - December 16, 2011. Springer, Berlin (2011)

Marcon, M.: System Designs for Bulk and User-generated Content Delivery in the Internet. Dissertation, XVI, 112 pp., Universität des Saarlandes, Saarbrücken (2011)

Majumdar, R.; Render, E.; Tabuada, P.: A theory of robust software synthesis. CoRR abs/1108.3540 (2011), 27 pp.

Zamani, M.; Majumdar, R.: Coordinate-invariant incremental Lyapunov functions. CoRR abs/1107.2681 (2011), 8 pp.

Bhatotia, P.; Wieder, A.; Rodrigues, R.; Acar, U. A.; Pasquini, R.: Incoop: MapReduce for Incremental Computations. Max Planck Institute for Software Systems, Saarbrücken (2011), 14 pp.

Haeberlen, A.; Fonseca, P.; Rodrigues, R.; Druschel, P.: Fighting Cybercrime with Packet Attestation. Max Planck Institute for Software Systems, Saarbrücken (2011), 14 pp.

Marcon, M.; Santos, N.; Gummadi, K. P.; Laoutaris, N.; Rodriguez, P.; Vahdat, A.: NetEx: Cost-effective Bulk Data Transfers for Cloud Computing. Max Planck Institute for Software Systems, Saarbrücken (2011), 13 pp.

Mondal, M.; Viswanath, B.; Clement, A.; Druschel, P.; Gummadi, K.; Mislove, A.; Post, A.: Defending against large-scale crawls in online social networks. Max Planck Instutute for Software Systems, Saarbrücken (2011), 14 pp.

Post, A.; Navarro, J.; Kuznetsov, P.; Druschel, P.: Autonomous storage management for personal devices with PodBase. Max Planck Institute for Software Systems, Saarbrücken (2011), 20 pp.

Santos, N.; Rodrigues, R.; Gummadi, K. P.; Saroiu, S.: Excalibur: Building Trustworthy Cloud Services. Max Planck Institute for Software Systems, Saarbrücken (2011), 15 pp.