Tassarotti, J.; Jung, R.; Harper, R.: A Higher-Order Logic for Concurrent Termination-Preserving Refinement. In: Programming Languages and Systems, pp. 909 - 936 (Ed. Yang, H.). 26th European Symposium on Programming, Uppsala, Sweden, April 22, 2017 - April 29, 2017. Springer, Berlin (2017)

Upadhyay, U.; Valera, I.; Gomez Rodriguez, M.: Uncovering the Dynamics of Crowdlearning and the Value of Knowledge. In: WSDM'17, pp. 61 - 70. 10th ACM International Conference on Web Search and Data Mining, Cambridge, UK, February 06, 2017 - February 10, 2017. ACM, New York, NY (2017)

Vafeiadis, V.: Program Verification Under Weak Memory Consistency Using Separation Logic. In: Computer Aided Verification, pp. 30 - 46 (Ed. Majumdar, R.). 29th International Conference on Computer-Aided Verification, Heidelberg, Germany, July 24, 2017 - July 28, 2017. Springer, Berlin (2017)

Vanga, M.; Bastoni, A.; Theiling, H.; Brandenburg, B.: Supporting Low-Latency, Low-Criticality Tasks in a Certified Mixed-Criticality OS. In: Proceedings of the 25th International Conference on Real-Time Networks and Systems, pp. 227 - 236. 25th International Conference on Real-Time Networks and Systems, Grenoble, France, October 04, 2017 - October 06, 2017. ACM, New York, NY (2017)

Zafar, M. B.; Valera, I.; Gomez Rodriguez, M.; Gummadi, K.; Weller, A.: From Parity to Preference-based Notions of Fairness in Classification. In: Fairness, Accountability, and Transparency in Machine Learning. 4th Workshop on Fairness, Accountability, and Transparency in Machine Learning , Halifax, Canada, August 14, 2017. (2017)

Zafar, M. B.; Valera, I.; Gomez Rodriguez, M.; Gummadi, K.; Weller,, A.: From Parity to Preference-based Notions of Fairness in Classification. In: Advances in Neural Information Processing Systems 30, pp. 229 - 239 (Eds. Guyon, I.; Luxburg, U. V.; Bengio, S.; Wallach, H.; Fergus, R. et al.). 31st Annual Conference on Neural Information Processing Systems, Long Beach, CA, USA, December 04, 2017 - December 09, 2017. Curran Associates (2017)

Zafar, M. B.; Valera, I.; Gomez Rodriguez, M.; Gummadi, K. P.: Fairness Constraints: Mechanisms for Fair Classification. In: Proceedings of the 20th International Conference on Artificial Intelligence and Statistics, pp. 962 - 970 (Eds. Singh, A.; Zhu, J.). 20th International Conference on Artificial Intelligence and Statistics, Fort Lauderdale, FL, USA, April 20, 2017 - April 22, 2017. (2017)

Zafar, M. B.; Valera, I.; Gomez Rodriguez, M.; Gummadi, K.: Fairness Beyond Disparate Treatment & Disparate Impact: Learning Classification without Disparate Mistreatment. In: WWW'17, pp. 1171 - 1180. 26th International Conference on World Wide Web , Perth, Australia, April 03, 2017 - April 07, 2017. ACM, New York, NY (2017)

Zarezade, A.; De, A.; Rabiee, H.; Gomez Rodriguez, M.: Cheshire: An Online Algorithm for Activity Maximization in Social Networks. In: 55th Annual Allerton Conference on Communications, Control, and Computing, Paper ThC2.3. 55th Annual Allerton Conference on Communications, Control, and Computing, Monticello, IL, USA, October 03, 2017 - October 06, 2017. (2017)

Zarezade, A.; Upadhyay, U.; Rabiee, H. R.; Gomez Rodriguez, M.: RedQueen: An Online Algorithm for Smart Broadcasting in Social Networks. In: WSDM'17, pp. 51 - 60. 10th ACM International Conference on Web Search and Data Mining, Cambridge, UK, February 06, 2017 - February 10, 2017. ACM, New York, NY (2017)

Ҫiҫek, E.; Barthe, G.; Gaboardi, M.; Garg, D.; Hoffmann, J.: Relational Cost Analysis. In: POPL'17, pp. 316 - 329 (Eds. Castagna, G.; Gordon, A. D.). 44th ACM SIGPLAN Symposium on Principles of Programming Languages, Paris, France, January 15, 2017 - January 21, 2017. ACM, New York, NY (2017)

Lahav, O.; Vafeiadis, V.: Explaining Relaxed Memory Models with Program Transformations. In: FM 2016: Formal Methods, pp. 479 - 495 (Eds. Fitzgerald, J.; Heitmeyer, C.; Gnesi, S.; Philippou, A.). 21st International Symposium on Formal Methods, Limassol, Cyprus, November 02, 2016 - November 11, 2016. Springer, Berlin (2016)

He, M.; Vafeiadis, V.; Qin, S.: Reasoning about Fences and Relaxed Atomics. In: PDP 2016, pp. 520 - 527. 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, Heraklion Crete, Greece, February 17, 2016 - February 19, 2016. IEEE, Piscataway, NJ (2016)

Acar, Y.; Backes, M.; Bugiel, S.; Fahl, S.; McDaniel, P.; Smith, M.: SoK: Lessons Learned From Android Security Research For Appified Software Platforms. In: IEEE Symposium on Security and Privacy, pp. 433 - 451. 37th IEEE Symposium on Security and Privacy, San Jose, CA, USA, May 23, 2016 - May 25, 2016. IEEE, Piscataway, NJ (2016)

Acar, Y.; Backes, M.; Fahl, S.; Kim, D.; Mazurek, M. L.; Stransky, C.: You Get Where You're Looking for: The Impact of Information Sources on Code Security. In: IEEE Symposium on Security and Privacy, pp. 289 - 305. 37th IEEE Symposium on Security and Privacy, San Jose, CA, USA, May 23, 2016 - May 25, 2016. IEEE, Piscataway, NJ (2016)

Aditya, P.; Sen, R.; Druschel, P.; Oh, S. J.; Benenson, R.; Fritz, M.; Schiele, B.; Bhattachariee, B.; Wu, T. T.: I-Pic: A Platform for Privacy-Compliant Image Capture. In: MobiSys'16, pp. 235 - 248. 4th Annual International Conference on Mobile Systems, Applications, and Services, Singapore, June 25, 2016 - June 30, 2016. ACM, New York, NY (2016)

Babaei, M.; Grabowicz, P.; Valera, I.; Gummadi, K. P.; Gomez Rodriguez, M.: On the Efficiency of the Information Networks in Social Media. In: WSDM'16, pp. 82 - 93. 9th ACM International Conference on Web Search and Data Mining, San Francisco, CA, USA, February 22, 2016 - February 25, 2016. ACM, New York, NY (2016)

Backes, M.; Berrang, P.; Goga, O.; Gummadi, K. P.; Manoharan, P.: On Profile Linkability despite Anonymity in Social Media Systems. In: WPES'16, pp. 25 - 35. ACM Workshop on Privacy in the Electronic Society, Vienna, Austria, October 24, 2016. ACM, New York, NY (2016)

Backes, M.; Berrang, P.; Hecksteden, A.; Humbert, M.; Keller, A.; Meyer, T.: Privacy in Epigenetics: Temporal Linkability of MicroRNA Expression Profiles. In: Proceedings of the 25th USENIX Security Symposium, pp. 1223 - 1240. 25th USENIX Security Symposium, Austin, TX, USA, August 10, 2016 - August 12, 2016. USENIX Association, Berkeley, CA (2016)

Backes, M.; Berrang, P.; Humbert, M.; Manoharan, P.: Membership Privacy in MicroRNA-based Studies. In: CCS'16, pp. 319 - 330. 23rd ACM Conference on Computer and Communications Security, Vienna, Austria, October 24, 2016 - October 28, 2016. ACM, New York, NY (2016)