Working Paper (79)

1041.
Working Paper
Neider, D.; Garg, P.; Madhusudan, P.; Saha, S.; Park, D.: Invariant Synthesis for Incomplete Verification Engines. (2017), 23 pp.
1042.
Working Paper
Radanovic, G.; Singla, A.; Krause, A.; Faltings, B.: Information Gathering with Peers: Submodular Optimization with Peer-Prediction Constraints. (2017), 12 pp.
1043.
Working Paper
Radhakrishna, A.; Lewchenko, N.; Meier, S.; Mover, S.; Sripada, K. C.; Zufferey, D.; Chang, B.-Y. E.; Černý, P.: Learning Asynchronous Typestates for Android Classes. (2017), 26 pp.
1044.
Working Paper
Soudjani, S.; Majumdar, R.; Nagapetyan, T.: Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems. (2017), 16 pp.
1045.
Working Paper
Tabibian, B.; Upadhyay, U.; De, A.; Zarezade, A.; Schoelkopf, B.; Gomez Rodriguez, M.: Optimizing Human Learning. (2017), 20 pp.
1046.
Working Paper
Tassarotti, J.; Jung, R.; Harper, R.: A Higher-Order Logic for Concurrent Termination-Preserving Refinement. (2017), 78 pp.
1047.
Working Paper
Tschiatschek, S.; Singla, A.; Gomez Rodriguez, M.; Merchant, A.; Krause, A.: Detecting Fake News in Social Networks via Crowdsourcing. (2017), 9 pp.
1048.
Working Paper
Zafar, M. B.; Valera, I.; Gomez Rodriguez, M.; Gummadi, K. P.: Fairness Constraints: Mechanisms for Fair Classification. (2017), 12 pp.
1049.
Working Paper
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.
1050.
Working Paper
Zarezade, A.; De, A.; Rabiee, H.; Gomez Rodriguez, M.: Cheshire: An Online Algorithm for Activity Maximization in Social Networks. (2017), 16 pp.
1051.
Working Paper
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.
1052.
Working Paper
Chen, J.-J.; Brandenburg, B.: A Note on the Period Enforcer Algorithm for Self-Suspending Tasks. (2016), 17 pp.
1053.
Working Paper
Chistikov, D.; Majumdar, R.; Niksic, F.: Hitting Families of Schedules for Asynchronous Programs. (2016), 28 pp.
1054.
Working Paper
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.
1055.
Working Paper
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.
1056.
Working Paper
Grabowicz, P.; Babaei, M.; Kulshrestha, J.; Weber, I. W.: The Road to Popularity: The Dilution of Growing Audience on Twitter. (2016), 4 pp.
1057.
Working Paper
Jourdan, J.-H.: Sparsity Preserving Algorithms for Octagons. (2016), 14 pp.
1058.
Working Paper
Karimi, M. R.; Tavakoli, E.; Farajtabar, M.; Song, L.; Gomez Rodriguez, M.: Smart Broadcasting: Do you Want to Be Seen? (2016), 17 pp.
1059.
Working Paper
Majumdar, R.; Prabhu, V.: Computing Distances between Reach Flowpipes. (2016), 12 pp.
1060.
Working Paper
Majumdar, R.; Mallik, K.; Schmuck, A.-K.: Compositional Synthesis of Finite State Abstractions. (2016), 10 pp.
Go to Editor View