Konferenzbeitrag (36)
41.
Konferenzbeitrag
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)
42.
Konferenzbeitrag
276, S. 335 - 351 (2011)
Concurrent Separation Logic and Operational Semantics. MFPS 2011, Pittsburgh, PA, USA, 25. Mai 2011 - 28. Mai 2011. Electronic Notes in Theoretical Computer Science 43.
Konferenzbeitrag
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)
44.
Konferenzbeitrag
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)
Hochschulschrift - Doktorarbeit (1)
45.
Hochschulschrift - Doktorarbeit
System Designs for Bulk and User-generated Content Delivery in the Internet. Dissertation, XVI, 112 S., Universität des Saarlandes, Saarbrücken (2011)
Forschungspapier (2)
46.
Forschungspapier
A theory of robust software synthesis. CoRR abs/1108.3540 (2011), 27 S.
47.
Forschungspapier
Coordinate-invariant incremental Lyapunov functions. CoRR abs/1107.2681 (2011), 8 S.
Bericht (6)
48.
Bericht
Incoop: MapReduce for Incremental Computations. Max Planck Institute for Software Systems, Saarbrücken (2011), 14 S.
49.
Bericht
Fighting Cybercrime with Packet Attestation. Max Planck Institute for Software Systems, Saarbrücken (2011), 14 S.
50.
Bericht
NetEx: Cost-effective Bulk Data Transfers for Cloud Computing. Max Planck Institute for Software Systems, Saarbrücken (2011), 13 S.
51.
Bericht
Defending against large-scale crawls in online social networks. Max Planck Instutute for Software Systems, Saarbrücken (2011), 14 S.
52.
Bericht
Autonomous storage management for personal devices with PodBase. Max Planck Institute for Software Systems, Saarbrücken (2011), 20 S.
53.
Bericht
Excalibur: Building Trustworthy Cloud Services. Max Planck Institute for Software Systems, Saarbrücken (2011), 15 S.