Working Paper (96)

1181.
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.
1182.
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.
1183.
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.
1184.
Working Paper
Jourdan, J.-H.: Sparsity Preserving Algorithms for Octagons. (2016), 14 pp.
1185.
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.
1186.
Working Paper
Majumdar, R.; Mallik, K.; Schmuck, A.-K.: Compositional Synthesis of Finite State Abstractions. (2016), 10 pp.
1187.
Working Paper
Majumdar, R.; Prabhu, V.: Computing Distances between Reach Flowpipes. (2016), 12 pp.
1188.
Working Paper
Mavroforakis, C.; Valera, I.; Gomez Rodriguez, M.: Modeling the Dynamics of Online Learning Activity. (2016), 14 pp.
1189.
Working Paper
Shirazi, F.; Simeonovski, M.; Asghar, M. R.; Backes, M.; Diaz, C.: A Survey on Routing in Anonymous Communication Protocols. (2016), 24 pp.
1190.
Working Paper
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.
1191.
Working Paper
Upadhyay, U.; Valera, I.; Gomez Rodriguez, M.: Uncovering the Dynamics of Crowdlearning and the Value of Knowledge. (2016), 17 pp.
1192.
Working Paper
Zafar, M. B.; Valera, I.; Gomez Rodriguez, M.; Gummadi, K. P.: Fairness Beyond Disparate Treatment & Disparate Impact: Learning Classification without Disparate Mistreatment. Fairness, Accountability, and Transparency in Machine Learning (2016), 10 pp.
1193.
Working Paper
Zarezade, A.; Upadhyay, U.; Rabiee, H.; Gomez Rodriguez, M.: RedQueen: An Online Algorithm for Smart Broadcasting in Social Networks. (2016), 17 pp.
1194.
Working Paper
Schmuck, A.-K.; Tabuada, P.; Raisch, J.: Comparing Asynchronous l-Complete Approximations and Quotient Based Abstractions. (2015), 22 pp.
1195.
Working Paper
Calin, G.; Derevenetc, E.; Majumdar, R.; Meyer, R.: A Theory of Partitioned Global Address Spaces. (2013)
1196.
Working Paper
Esmaeilsabzal, S.; Majumdar, R.; Wies, T.; Zufferey, D.: Dynamic Package Interfaces - Extended Version. (2013)
1197.
Working Paper
Esmaeilsabzal, S.; Majumdar, R.; Wies, T.; Zufferey, D.: A Notion of Dynamic Interface for Depth-Bounded Object-Oriented Packages. (2013)
1198.
Working Paper
Zamani, M.; Esfahani, P. M.; Majumdar, R.; Abate, A.; Lygeros, J.: Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions. (2013), 27 pages, 4 figures pp.
1199.
Working Paper
Majumdar, R.; Render, E.; Tabuada, P.: A theory of robust software synthesis. CoRR abs/1108.3540 (2011), 27 pp.
1200.
Working Paper
Zamani, M.; Majumdar, R.: Coordinate-invariant incremental Lyapunov functions. CoRR abs/1107.2681 (2011), 8 pp.
Go to Editor View