Babaei, M.; Grabowicz, P.; Martinez, I. V.; Gomez-Rodriguez, M.: On the Users' Efficiency in the Twitter Information Network. In: Proceedings of the Ninth International Conference on Web and Social Media, S. 570 - 573 (Hg. Quercia, D.). 9th International Conference on Web and Social Media, Oxford, UK, 26. Mai 2015 - 29. Mai 2015. AAAI Press, Palo Alto, CA (2015)

Bhatotia, P.; Fonseca, P.; Acar, U.; Brandenburg, B.; Rodrigues, R.: iThreads: A Threading Library for Parallel Incremental Computation. In: ASPLOS XX, S. 645 - 659. Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, Instanbul, Turkey, 14. März 2015 - 18. März 2015. ACM, New York, NY (2015)

Chakraborty, A.; Ghosh, S.; Ganguly, N.; Gummadi, K.: Can Trending News Stories Create Coverage Bias? On the Impact of High Content Churn in Online News Media. In: Computation and Journalism Symposium. Computation and Journalism Symposium, New York, NY, USA, 02. Oktober 2015 - 03. Oktober 2015. (2015)

Chistikov, D.; Dimitrova, R.; Majumdar, R.: Approximate Counting in SMT and Value Estimation for Probabilistic Programs. In: Tools and Algorithms for the Construction and Analysis of Systems, S. 320 - 332 (Hg. Baier, C.; Tinelli, C.). 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, London, UK, 11. April 2015 - 18. April 2015. Springer, Berlin (2015)

Correa, D.; Silva, L. A.; Mondal, M.; Benevenuto, F.; Gummadi, K.: The Many Shades of Anonymity: Characterizing Anonymous Social Media Content. In: Proceedings of the 9th International AAAI Conference on Web and Social Media. 9th International AAAI Conference on Web and Social Media, Oxford, UK, 25. Mai 2015 - 29. Mai 2015. AAAI, Palo Alto, CA (2015)

Datta, A.; Garg, D.; Kaynar, D.; Sharma, D.; Sinha, A.: Program Actions as Actual Causes: A Building Block for Accountability. In: CSF 2015, S. 261 - 275. 28th Computer Security Foundations Symposium, Verona, Italy, 13. Juli 2015 - 17. Juli 2015. IEEE, Piscataway, NJ (2015)

Deshmukh, J.; Majumdar, R.; Prabhu, V.: Quantifying Conformance Using the Skorokhod Metric. In: Computer Aided Verification, S. 234 - 250 (Hg. Kroening, D.; Păsăreanu, C. S.). 27th International Conference on Computer Aided Verification, San Francisco, CA, USA, 18. Juli 2015 - 24. Juli 2015. Springer, Berlin (2015)

Dimitrova, R.; Majumdar, R.: Reachability Analysis of Reversal-bounded Automata on Series-Parallel Graphs. In: Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification, S. 100 - 114 (Hg. Esparza, J.; Tronci, E.). Sixth International Symposium on Games, Automata, Logics and Formal Verification , Genoa, Italy, 21. September 2015 - 22. September 2015. (2015)

Durand-Gasselin, A.; Esparza, J.; Ganty, P.; Majumdar, R.: Model Checking Parameterized Asynchronous Shared-Memory Systems. In: Computer Aided Verification, S. 67 - 84 (Hg. Kroening, D.; Păsăreanu, C. S.). 27th International Conference on Computer Aided Verification, San Francisco, CA, USA, 18. Juli 2015 - 24. Juli 2015. Springer, Berlin (2015)

Emmi, M.; Ganty, P.; Majumdar, R.; Rosa-Velardo, F.: Analysis of Asynchronous Programs with Event-based Synchronization. In: Programming Languages and Systems, S. 535 - 559. 24th European Symposium on Programming, London, UK, 11. April 2015 - 18. April 2015. Springer, Berlin (2015)

Esparza, J.; Ganty, P.; Leroux, J.; Majumdar, R.: Verification of Population Protocols. In: 26th International Conference on Concurrency Theory, S. 470 - 482 (Hg. Aceto, L.; de Frutos Escrig, D.). 26th International Conference on Concurrency Theory, Madrid, Spain, 01. September 2015 - 04. September 2015. Schloss Dagstuhl, Wadern (2015)

Farajtabar, M.; Gomez Rodriguez, M.; Wang, Y.; Li, S.; Zha, H.; Song, L.: Co-evolutionary Dynamics of Information Diffusion and Network Structure. In: WWW'15 Companion, S. 619 - 620. 24th International Conference on World Wide Web , Florence, Italy, 18. Mai 2015 - 22. Mai 2015. ACM, New York, NY (2015)

Farajtabar, M.; Gomez-Rodriguez, M.; Du, N.; Zamani, M.; Zha, H.; Song, L.: Back to the Past: Source Identification in Diffusion Networks from Partially Observed Cascades. In: Proceedings of the Eighteenth International Conference on Artificial Intelligence and Statistics, S. 232 - 240 (Hg. Lebaonon, G.; Vishwanathan, S. V. N.). 18th International Conference on Artificial Intelligence and Statistics, San Diego, CA, USA, 10. Mai 2015 - 12. Mai 2015. (2015)

Farajtabar, M.; Wang, Y.; Gomez Rodriguez, M.; Li, S.; Zha, H.; Song, L.: COEVOLVE: A Joint Point Process Model for Information Diffusion and Network Co-evolution. In: Advances in Neural Information Processing Systems 29, S. 1945 - 1953 (Hg. Cortes, C.; Lawrence, N. D.; Lee, D. D.; Sugiyama, M.; Garnett, R. et al.). Twenty-ninth Annual Conference on Neural Information Processing Systems, Montréal, Canada, 07. Dezember 2015 - 12. Dezember 2015. Curran, New York, NY (2015)

Gavran, I.; Niksic, F.; Kanade, A.; Majumdar, R.; Vafeiadis, V.: Rely-Guarantee Reasoning for Asynchronous Programs. In: 26th International Conference on Concurrency Theory, S. 483 - 496 (Hg. Aceto, L.; de Frutos Escrig, D.). 26th International Conference on Concurrency Theory, Madrid, Spain, 01. September 2015 - 04. September 2015. Schloss Dagstuhl, Wadern (2015)

Goga, O.; Loiseau, P.; Summer, R.; Teixeira, R.; Gummadi, K.: On the Reliability of Profile Matching Across Large Online Social Networks. In: KDD'15, S. 1799 - 1808. 21st ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Sydney, Australia, 10. August 2015 - 13. August 2015. ACM, New York, NY (2015)

Goga, O.; Venkatadri, G.; Gummadi, K.: The Doppelgänger Bot Attack: Exploring Identity Impersonation in Online Social Networks. In: IMC'15, S. 141 - 153. Internet Measurement Conference , Tokyo, Japan, 28. Oktober 2015 - 30. Oktober 2015. ACM, New York, NY (2015)

Gujarati, A.; Brandenburg, B.: When Is CAN the Weakest Link? A Bound on Failures-in-Time in CAN-Based Real-Time Systems. In: IEEE 36th Real-Time Systems Symposium, S. 249 - 260. IEEE 36th Real-Time Systems Symposium, San Antonio, TX, USA, 01. Dezember 2015 - 04. Dezember 2015. IEEE Computer Society, Los Alamitos, CA (2015)

Gulwani, S.; Mayer, M.; Niksic, F.; Piskac, R.: StriSynth: Synthesis for Live Programming. In: ICSE 2015, S. 701 - 704. 37th IEEE International Conference on Software Engineering, Florence, Italy, 16. Mai 2015 - 24. Mai 2015. IEEE, Piscataway, NJ (2015)

Hemed, N.; Rinetzky, N.; Vafeiadis, V.: Modular Verification of Concurrency-Aware Linearizability. In: Distributed Computing, S. 371 - 387 (Hg. Moses, Y.). 29th International Symposium on Distributed Computing, Tokyo, Japan, 05. Oktober 2015 - 09. Oktober 2015. Springer, Berlin (2015)