Soudjani, S.; Majumdar, R.; Nagapetyan, T.: Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems. (2017), 16 pp.

Tabibian, B.; Upadhyay, U.; De, A.; Zarezade, A.; Schoelkopf, B.; Gomez Rodriguez, M.: Optimizing Human Learning. (2017), 20 pp.

Tassarotti, J.; Jung, R.; Harper, R.: A Higher-Order Logic for Concurrent Termination-Preserving Refinement. (2017), 78 pp.

Tschiatschek, S.; Singla, A.; Gomez Rodriguez, M.; Merchant, A.; Krause, A.: Detecting Fake News in Social Networks via Crowdsourcing. (2017), 9 pp.

Zafar, M. B.; Valera, I.; Gomez Rodriguez, M.; Gummadi, K.; Weller, A.: From Parity to Preference-based Notions of Fairness in Classification. (2017), 14 pp.

Zafar, M. B.; Valera, I.; Gomez Rodriguez, M.; Gummadi, K. P.: Fairness Constraints: Mechanisms for Fair Classification. (2017), 12 pp.

Zarezade, A.; De, A.; Rabiee, H.; Gomez Rodriguez, M.: Cheshire: An Online Algorithm for Activity Maximization in Social Networks. (2017), 16 pp.

Chen, J.-J.; Nelissen, G.; Huang, W.-H.; Yang, M.; Brandenburg, B.; Bletsas, K.; Liu, C.; Richard, P.; Ridouard, F.; Audsley, N. et al.; Rajkumar, R.; de Niz, D.: Many Suspensions, Many Problems: A Review of Self-Suspending Tasks in Real-Time Systems (Technical Reports in Computer Science, 854). Technische Universität Dortmund, Dortmund (2017), 67 pp.