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.

Babaei, M.; Grabowicz, P.; Valera, I.; Gummadi, K. P.; Gomez Rodriguez, M.: On the Efficiency of the Information Networks in Social Media. (2016), 10 pp.

Chen, J.-J.; Brandenburg, B.: A Note on the Period Enforcer Algorithm for Self-Suspending Tasks. (2016), 17 pp.

Chistikov, D.; Majumdar, R.; Niksic, F.: Hitting Families of Schedules for Asynchronous Programs. (2016), 28 pp.

Du, N.; Liang, Y.; Balcan, M.-F.; Gomez Rodriguez, M.; Zha, H.; Song, L.: Scalable Influence Maximization for Multiple Products in Continuous-Time Diffusion Networks. (2016), 45 pp.

Ferreira, M.; Zafar, M. B.; Gummadi, K. P.: The Case for Temporal Transparency: Detecting Policy Change Events in Black-Box Decision Making Systems. Fairness, Accountability, and Transparency in Machine Learning (2016), 7 pp.

Grabowicz, P.; Babaei, M.; Kulshrestha, J.; Weber, I. W.: The Road to Popularity: The Dilution of Growing Audience on Twitter. (2016), 4 pp.

Jourdan, J.-H.: Sparsity Preserving Algorithms for Octagons. (2016), 14 pp.

Karimi, M. R.; Tavakoli, E.; Farajtabar, M.; Song, L.; Gomez Rodriguez, M.: Smart Broadcasting: Do you Want to Be Seen? (2016), 17 pp.

Majumdar, R.; Mallik, K.; Schmuck, A.-K.: Compositional Synthesis of Finite State Abstractions. (2016), 10 pp.

Majumdar, R.; Prabhu, V.: Computing Distances between Reach Flowpipes. (2016), 12 pp.

Mavroforakis, C.; Valera, I.; Gomez Rodriguez, M.: Modeling the Dynamics of Online Learning Activity. (2016), 14 pp.

Shirazi, F.; Simeonovski, M.; Asghar, M. R.; Backes, M.; Diaz, C.: A Survey on Routing in Anonymous Communication Protocols. (2016), 24 pp.

Tabibian, B.; Valera, I.; Farajtabar, M.; Song, L.; Schölkopf, B.; Gomez Rodriguez, M.: Distilling Information Reliability and Source Trustworthiness from Digital Traces. (2016), 15 pp.