Konferenzbeitrag (68)
81.
Konferenzbeitrag
An Empirical Analysis of Facebook's Free Basics. In: SIGMETRICS'17, S. 37 - 38. ACM SIGMETRICS / International Conference on Measurement and Modeling of Computer Systems, Urbana-Champaign, IL, USA, 05. Juni 2017 - 09. Juni 2017. ACM, New York, NY (2017)
82.
Konferenzbeitrag
Controller Synthesis for Reward Collecting Markov Processes in Continuous Space. In: HSCC'17, S. 45 - 54. 20th International Conference on Hybrid Systems: Computation and Control , Pittsburgh, PA, USA, 18. April 2017 - 20. April 2017. ACM, New York, NY (2017)
83.
Konferenzbeitrag
Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems. In: Quantitative Evaluation of Systems, S. 351 - 367 (Hg. Bertrand, N.; Bortolussi, L.). 14th International Conference on Quantitative Evaluation of Systems, Berlin, Germany, 05. September 2017 - 07. September 2017. Springer, Berlin (2017)
84.
Konferenzbeitrag
A Higher-Order Logic for Concurrent Termination-Preserving Refinement. In: Programming Languages and Systems, S. 909 - 936 (Hg. Yang, H.). 26th European Symposium on Programming, Uppsala, Sweden, 22. April 2017 - 29. April 2017. Springer, Berlin (2017)
85.
Konferenzbeitrag
Uncovering the Dynamics of Crowdlearning and the Value of Knowledge. In: WSDM'17, S. 61 - 70. 10th ACM International Conference on Web Search and Data Mining, Cambridge, UK, 06. Februar 2017 - 10. Februar 2017. ACM, New York, NY (2017)
86.
Konferenzbeitrag
Program Verification Under Weak Memory Consistency Using Separation Logic. In: Computer Aided Verification, S. 30 - 46 (Hg. Majumdar, R.). 29th International Conference on Computer-Aided Verification, Heidelberg, Germany, 24. Juli 2017 - 28. Juli 2017. Springer, Berlin (2017)
87.
Konferenzbeitrag
Supporting Low-Latency, Low-Criticality Tasks in a Certified Mixed-Criticality OS. In: Proceedings of the 25th International Conference on Real-Time Networks and Systems, S. 227 - 236. 25th International Conference on Real-Time Networks and Systems, Grenoble, France, 04. Oktober 2017 - 06. Oktober 2017. ACM, New York, NY (2017)
88.
Konferenzbeitrag
From Parity to Preference-based Notions of Fairness in Classification. In: Fairness, Accountability, and Transparency in Machine Learning. 4th Workshop on Fairness, Accountability, and Transparency in Machine Learning , Halifax, Canada, 14. August 2017. (2017)
89.
Konferenzbeitrag
From Parity to Preference-based Notions of Fairness in Classification. In: Advances in Neural Information Processing Systems 30, S. 229 - 239 (Hg. Guyon, I.; Luxburg, U. V.; Bengio, S.; Wallach, H.; Fergus, R. et al.). 31st Annual Conference on Neural Information Processing Systems, Long Beach, CA, USA, 04. Dezember 2017 - 09. Dezember 2017. Curran Associates (2017)
90.
Konferenzbeitrag
Fairness Constraints: Mechanisms for Fair Classification. In: Proceedings of the 20th International Conference on Artificial Intelligence and Statistics, S. 962 - 970 (Hg. Singh, A.; Zhu, J.). 20th International Conference on Artificial Intelligence and Statistics, Fort Lauderdale, FL, USA, 20. April 2017 - 22. April 2017. (2017)
91.
Konferenzbeitrag
Fairness Beyond Disparate Treatment & Disparate Impact: Learning Classification without Disparate Mistreatment. In: WWW'17, S. 1171 - 1180. 26th International Conference on World Wide Web , Perth, Australia, 03. April 2017 - 07. April 2017. ACM, New York, NY (2017)
92.
Konferenzbeitrag
Cheshire: An Online Algorithm for Activity Maximization in Social Networks. In: 55th Annual Allerton Conference on Communications, Control, and Computing, Paper ThC2.3. 55th Annual Allerton Conference on Communications, Control, and Computing, Monticello, IL, USA, 03. Oktober 2017 - 06. Oktober 2017. (2017)
93.
Konferenzbeitrag
RedQueen: An Online Algorithm for Smart Broadcasting in Social Networks. In: WSDM'17, S. 51 - 60. 10th ACM International Conference on Web Search and Data Mining, Cambridge, UK, 06. Februar 2017 - 10. Februar 2017. ACM, New York, NY (2017)
94.
Konferenzbeitrag
Relational Cost Analysis. In: POPL'17, S. 316 - 329 (Hg. Castagna, G.; Gordon, A. D.). 44th ACM SIGPLAN Symposium on Principles of Programming Languages, Paris, France, 15. Januar 2017 - 21. Januar 2017. ACM, New York, NY (2017)
Hochschulschrift - Doktorarbeit (2)
95.
Hochschulschrift - Doktorarbeit
Understanding & Controlling User Privacy in Social Media via Exposure. Dissertation, xxi, 205 S., Universität des Saarlandes, Saarbrücken (2017)
96.
Hochschulschrift - Doktorarbeit
Blocking analysis of spin locks under partitioned fixed-priority scheduling. Dissertation, 260 S., Universität des Saarlandes, Saarbrücken (2017)
Forschungspapier (31)
97.
Forschungspapier
A Relational Logic for Higher-Order Programs. (2017), 57 S.
98.
Forschungspapier
WebPol: Fine-grained Information Flow Policies for Web Browsers. (2017), 21 S.
99.
Forschungspapier
An Instrumenting Compiler for Enforcing Confidentiality in Low-Level Code. (2017), 14 S.
100.
Forschungspapier
Who Makes Trends? Understanding Demographic Biases in Crowdsourced Recommendations. (2017), 10 S.