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, S. 344 - 356 (Hg. Xu, J.; Yu, G.; Zhou, S.; Unland, R.). SNSMW 2011, Hong Kong, China, 22. April 2011 - 25. April 2011. Springer, Berlin (2011)

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

Vafeiadis, V.; Zappa Nardelli, F.: Verifying Fence Elimination Optimisations. In: Static Analysis: 18th International Symposium, SAS 2011, S. 146 - 162 (Hg. Yahav, E.). SAS 2011, Venice, Italy, 14. September 2011 - 16. September 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, S. 80 - 95 (Hg. Fernández Anta, A.; Lipari, G.; Roy, M.). OPODIS 2011, Toulouse, France, 13. Dezember 2011 - 16. Dezember 2011. Springer, Berlin (2011)

Marcon, M.: System Designs for Bulk and User-generated Content Delivery in the Internet. Dissertation, XVI, 112 S., 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 S.

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

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 S.

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

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 S.

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 S.

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 S.

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