Sühr, T.; Biega, A. J.; Zehlike, M.; Gummadi, K.; Chakraborty, A.: Two-Sided Fairness for Repeated Matchings in Two-Sided Markets: A Case Study of a Ride-Hailing Platform. In: KDD'19, S. 3082 - 3092. 25th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, Anchorage, AK, USA, 04. August 2019 - 08. August 2019. ACM, New York, NY (2019)

Thinniyam, R. S.; Zetzsche, G.: Regular Separability and Intersection Emptiness Are Independent Problems. In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 51 (Hg. Chattopadhyay, A.; Gastin, P.). 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Bombay, India, 11. Dezember 2019 - 13. Dezember 2019. Schloss Dagstuhl, Wadern (2019)

Tsai, L.; De Viti, R.; Lentz, M.; Saroiu, S.; Bhattacharjee, B.; Druschel, P.: enClosure: Group Communication via Encounter Closures. In: Proceedings of the 17th Annual International Conference on Mobile Systems, Applications, and Services, S. 353 - 365. 17th Annual International Conference on Mobile Systems, Applications, and Services, Seoul, South Korea, 17. Juni 2019 - 21. Juni 2019. ACM, New York, NY (2019)

Tschiatschek, S.; Ghosh, A.; Haug, L.; Devidze, R.; Singla, A.: Learner-aware Teaching: Inverse Reinforcement Learning with Preferences and Constraints. In: Advances in Neural Information Processing Systems 32, S. 4145 - 4155 (Hg. Wallach, H.; Larochelle, H.; Beygelzimer, A.; d'Alché-Buc, F.; Fox, E. et al.). 33rd Conference on Neural Information Processing Systems, Vancouver, Canada, 08. Dezember 2019 - 14. Dezember 2019. Curran Associates, Inc. (2019)

Upadhyay, U.; De, A.; Pappu, A.; Gomez Rodriguez, M.: On the Complexity of Opinions and Online Discussions. In: WSDM '19, S. 258 - 266. 12h ACM International Conference on Web Search and Data Mining, Melbourne, Australia, 11. Februar 2019 - 15. Februar 2019. ACM, New York, NY (2019)

Vahldiek-Oberwagner, A.; Elnikety, E.; Duarte, N. O.; Sammler, M.; Druschel, P.; Garg, D.: ERIM: Secure, Efficient In-process Isolation with Protection Keys (MPK). In: Proceedings of the 28th USENIX Security Symposium, S. 1221 - 1238. 28th USENIX Security Symposium, Santa Clara, CA, USA, 14. August 2019 - 16. August 2019. USENIX (2019)

Vassena, M.; Russo, A.; Garg, D.; Rajani, V.; Stefan, D.: From Fine- to Coarse-grained Dynamic Information Flow Control and Back. 46th ACM SIGPLAN Symposium on Principles of Programming Languages, Cascais, Portugal, 13. Januar 2019 - 19. Januar 2019. Proceedings of the ACM on Programming Languages 3, POPL, 76, (2019)

Venkatadri, G.; Sapiezynski, P.; Redmiles, E. M.; Mislove, A.; Goga, O.; Mazurek, M. L.; Gummadi, K.: Auditing Offline Data Brokers via Facebook's Advertising Platform. In: Proceedings of The World Wide Web Conference, S. 1920 - 1930. The Web Conference, San Francisco, CA, USA, 13. Mai 2019 - 17. Mai 2019. ACM, New York, NY (2019)

Yalcinkaya, B.; Nasri, M.; Brandenburg, B.: An Exact Schedulability Test for Non-Preemptive Self-Suspending Real-Time Tasks. In: Proceedings of the 2019 Design, Automation & Test in Europe, S. 1228 - 1233. Design, Automation & Test in Europe Conference , Florence, Italy, 25. März 2019 - 29. März 2019. IEEE, Piscataway, NJ (2019)

Yeo, T.; Kamalaruban, P.; Singla, A.; Merchant, A.; Asselborn, T.; Faucon, L.; Dillenbourg, P.; Cevher, V.: Iterative Classroom Teaching. In: Proceedings of the AAAI Conference on Artificial Intelligence, S. 5684 - 5692. Thirty-Third AAAI Conference on Artificial Intelligence, Honolulu, HI, USA, 27. Januar 2019 - 01. Februar 2019. AAAI Press, Palo Alto, CA (2019)

Zhang, C.; Su, T.; Yan, Y.; Zhang, F.; Pu, G.; Su, Z.: Finding and Understanding Bugs in Software Model Checkers. In: ESEC/FSE '19, S. 763 - 773 (Hg. Dumas, M.; Pfahl, D.; Apel, S.; Russo, A.). 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Tallinn, Estonia, 26. August 2019 - 30. August 2019. ACM, New York, NY (2019)

Zhao, Y.; Sanán, D.; Zhang, F.; Liu, Y.: A Parametric Rely-Guarantee Reasoning Framework for Concurrent Reactive Systems. In: Formal Methods - The Next 30 Years, S. 161 - 178 (Hg. ter Beek, M. H.; McIver, A.; Oliveira, J. N.). 23rd Symposium on Formal Method, Porto, Portugal, 07. Oktober 2019 - 11. Oktober 2019. Springer, Cham (2019)

Chakraborty, S.: Correct Compilation of Relaxed Memory Concurrency. Dissertation, 141 S., Technische Universität Kaiserslautern, Kaiserslautern (2019)

Kilpatrick, S.: Non-reformist reform for Haskell Modularity. Dissertation, 248 S., Universität des Saarlandes, Saarbrücken (2019)

Munz, R.: Towards Usability in Private Data Analytics. Dissertation, XXII, 146 S., Technische Universität Kaiserslautern, Kaiserslautern (2019)

Niksic, F.: Combinatorial Constructions for Effective Testing. Dissertation, 125 S., Technische Universität Kaiserslautern, Kaiserslautern (2019)

Zafar, M. B.: Discrimination in Algorithmic Decision Making: From Principles to Measures and Mechanisms. Dissertation, 111 S., Universität des Saarlandes, Saarbrücken (2019)

Nanda, V.; Xu, P.; Sankararaman, K. A.; Dickerson, J. P.; Srinivasan, A.: Balancing the Tradeoff between Profit and Fairness in Rideshare Platforms During High-Demand Hours. (2019), 8 S.

Samanta, A.; Shrinivasan, S.; Kaufmann, A.; Mace, J.: No DNN Left Behind: Improving Inference in the Cloud with Multi-Tenancy. (2019), 5 S.