Working Paper (120)
1341.
Working Paper
Characterizing Information Diets of Social Media Users. (2017), 11 pp.
1342.
Working Paper
Harnessing Natural Experiments to Quantify the Causal Effect of Badges. (2017), 13 pp.
1343.
Working Paper
Compositional Abstractions of Interconnected Discrete-Time Stochastic Control Systems. (2017), 6 pp.
1344.
Working Paper
Fair Termination for Parameterized Probabilistic Concurrent Systems (Technical Report). (2017), 21 pp.
1345.
Working Paper
Compositional Construction of Finite State Abstractions for Stochastic Control Systems. (2017), 8 pp.
1346.
Working Paper
Synthesizing Optimally Resilient Controllers. (2017), 19 pp.
1347.
Working Paper
Invariant Synthesis for Incomplete Verification Engines. (2017), 23 pp.
1348.
Working Paper
Information Gathering with Peers: Submodular Optimization with Peer-Prediction Constraints. (2017), 12 pp.
1349.
Working Paper
Learning Asynchronous Typestates for Android Classes. (2017), 26 pp.
1350.
Working Paper
Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems. (2017), 16 pp.
1351.
Working Paper
Optimizing Human Learning. (2017), 20 pp.
1352.
Working Paper
A Higher-Order Logic for Concurrent Termination-Preserving Refinement. (2017), 78 pp.
1353.
Working Paper
Detecting Fake News in Social Networks via Crowdsourcing. (2017), 9 pp.
1354.
Working Paper
From Parity to Preference-based Notions of Fairness in Classification. (2017), 14 pp.
1355.
Working Paper
Fairness Constraints: Mechanisms for Fair Classification. (2017), 12 pp.
1356.
Working Paper
Cheshire: An Online Algorithm for Activity Maximization in Social Networks. (2017), 16 pp.
1357.
Working Paper
On the Efficiency of the Information Networks in Social Media. (2016), 10 pp.
1358.
Working Paper
A Note on the Period Enforcer Algorithm for Self-Suspending Tasks. (2016), 17 pp.
1359.
Working Paper
Hitting Families of Schedules for Asynchronous Programs. (2016), 28 pp.
1360.
Working Paper
Scalable Influence Maximization for Multiple Products in Continuous-Time Diffusion Networks. (2016), 45 pp.