Forschungspapier (89)

1061.
Forschungspapier
Garg, D.; Hritcu, C.; Patrignani, M.; Stronati, M.; Swasey, D.: Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract). (2017), 3 S.
1062.
Forschungspapier
Grgić-Hlača, N.; Zafar, M. B.; Gummadi, K.; Weller, A.: On Fairness, Diversity and Randomness in Algorithmic Decision Making. (2017), 7 S.
1063.
Forschungspapier
Hirnschall, C.; Singla, A.; Tschiatschek, S.; Krause, A.: Learning User Preferences to Incentivize Exploration in the Sharing Economy. (2017), 18 S.
1064.
Forschungspapier
Jankowiak, M.; Gomez Rodriguez, M.: Uncovering the Spatiotemporal Patterns of Collective Social Activity. (2017), 22 S.
1065.
Forschungspapier
Kim, J.; Tabibian, B.; Oh, A.; Schoelkopf, B.; Gomez Rodriguez, M.: Leveraging the Crowd to Detect and Reduce the Spread of Fake News and Misinformation. (2017), 15 S.
1066.
Forschungspapier
Kulshrestha, J.; Zafar, M. B.; Espin Noboa, L.; Gummadi, K.; Ghosh, S.: Characterizing Information Diets of Social Media Users. (2017), 11 S.
1067.
Forschungspapier
Kusmierczyk, T.; Gomez Rodriguez, M.: Harnessing Natural Experiments to Quantify the Causal Effect of Badges. (2017), 13 S.
1068.
Forschungspapier
Lavaei, A.; Soudjani, S.; Majumdar, R.; Zamani, M.: Compositional Abstractions of Interconnected Discrete-Time Stochastic Control Systems. (2017), 6 S.
1069.
Forschungspapier
Lengál, O.; Lin, A. W.; Majumdar, R.; Rümmer, P.: Fair Termination for Parameterized Probabilistic Concurrent Systems (Technical Report). (2017), 21 S.
1070.
Forschungspapier
Mallik, K.; Soudjani, S.; Schmuck, A.-K.; Majumdar, R.: Compositional Construction of Finite State Abstractions for Stochastic Control Systems. (2017), 8 S.
1071.
Forschungspapier
Neider, D.; Weinert, A.; Zimmermann, M.: Synthesizing Optimally Resilient Controllers. (2017), 19 S.
1072.
Forschungspapier
Neider, D.; Garg, P.; Madhusudan, P.; Saha, S.; Park, D.: Invariant Synthesis for Incomplete Verification Engines. (2017), 23 S.
1073.
Forschungspapier
Radanovic, G.; Singla, A.; Krause, A.; Faltings, B.: Information Gathering with Peers: Submodular Optimization with Peer-Prediction Constraints. (2017), 12 S.
1074.
Forschungspapier
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 S.
1075.
Forschungspapier
Soudjani, S.; Majumdar, R.; Nagapetyan, T.: Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems. (2017), 16 S.
1076.
Forschungspapier
Tabibian, B.; Upadhyay, U.; De, A.; Zarezade, A.; Schoelkopf, B.; Gomez Rodriguez, M.: Optimizing Human Learning. (2017), 20 S.
1077.
Forschungspapier
Tassarotti, J.; Jung, R.; Harper, R.: A Higher-Order Logic for Concurrent Termination-Preserving Refinement. (2017), 78 S.
1078.
Forschungspapier
Tschiatschek, S.; Singla, A.; Gomez Rodriguez, M.; Merchant, A.; Krause, A.: Detecting Fake News in Social Networks via Crowdsourcing. (2017), 9 S.
1079.
Forschungspapier
Zafar, M. B.; Valera, I.; Gomez Rodriguez, M.; Gummadi, K. P.: Fairness Constraints: Mechanisms for Fair Classification. (2017), 12 S.
1080.
Forschungspapier
Zafar, M. B.; Valera, I.; Gomez Rodriguez, M.; Gummadi, K.; Weller, A.: From Parity to Preference-based Notions of Fairness in Classification. (2017), 14 S.
Zur Redakteursansicht